Compile-time Elixir macro DSL, two-tier caching layer, and execution runner for TypeSafe Jev (SystemOneSDK) semantic contracts.

JevDSL compiles %SystemOneSDK.Prepared{} contracts at build time (defnoul, defchoice, defscore, defjev, defalias), caches rehydrated Jason.Fragment wire payloads in :persistent_term in O(1), provides deterministic SHA-256 content-addressed L1/L2 caching (JevDSL.Cache), and generates evaluate/3, evaluate!/3, evaluate_many/3, available?/2, cache_key/2, contract/1, prepared/1, and __export_cue__/0 directly on your contract module.

Both atoms and strings are supported interchangeably for contract keys, question keys, stab-clause option keys, and answer lookups (fetch_answer/2, choice?/2, probability/2).

Quick Start

defmodule MyApp.TriageContracts do
  use JevDSL,
    otp_app: :my_app,
    cache: JevDSL.Cache.ETS

  defnoul :is_spam do
    "Does this message contain unsolicited promotional spam?"
  end

  defchoice :sentiment,
    ask: "Classify the overall tone of the message." do
    positive -> "Constructive, appreciative, or favorable tone."
    neutral -> "Factual or informational without strong emotion."
    negative -> "Critical, frustrated, or dissatisfied tone."
  end

  defscore :completeness,
    ask: "Rate how complete the submission is." do
    incomplete -> "Missing required identity or contact fields."
    partial -> "Core fields are present but optional context is missing."
    complete -> "All identity, contact, and biographical fields are populated."
  end

  defjev :ticket_triage do
    noul :requires_escalation do
      "Does this issue require immediate engineering escalation?"
    end

    choice :priority,
      ask: "Select the appropriate response priority." do
      urgent -> "Production outage or security incident."
      normal -> "Standard bug report or feature question."
    end

    score :clarity,
      ask: "Rate the clarity of the reproduction steps." do
      vague -> "No steps or environment details provided."
      clear -> "Includes clear steps and expected vs actual behavior."
    end
  end
end

Evaluating Contracts

# Single evaluation (automatically cached by state + contract fingerprint)
{:ok, response} = MyApp.TriageContracts.evaluate(:sentiment, %{text: "Great work!"})

# Concurrent batch evaluation (resolves L1/L2 cache hits first, batches only misses)
results = MyApp.TriageContracts.evaluate_many(:is_spam, [%{body: "a"}, %{body: "b"}])

# Deterministic unit tests via 1-arity `:eval_fn` (or `:cache_only` / `SystemOneSDK.Test`)
{:ok, mocked} =
  MyApp.TriageContracts.evaluate(:is_spam, %{body: "a"},
    eval_fn: fn _state -> {:ok, %{answers: %{is_spam: %{noul: 0.05}}}} end
  )