// ── The judge resource ─────────────────────────────────────────────
//
// judge — issue a LIVE judge: budget judgments of fuel, backend is the
// Decisions API. Requires OPENROUTER_API_KEY in the environment.
~pub tor judge { budget: i32 } -> *Judge<greedy!>

// chaos — flip to sampled mode. Consumes <greedy>, reissues <chaotic>.
~pub tor chaos { j: *Judge<!greedy> } -> *Judge<chaotic!>

// settle — back to argmax. The two modes form a phantom cycle.
~pub tor settle { j: *Judge<!chaotic> } -> *Judge<greedy!>

// retire — the discharge. Every issued judge must be retired, and
// the caller never spells it: retire is the sole spliceable disposer
// of <greedy> (void, no output — chaos returns a value and is never
// a candidate), so the emitter inserts the call at every scope exit.
~pub tor retire { j: *Judge<!greedy> }

// ── Judgments ──────────────────────────────────────────────────────
//
// Each judgment is split in two: `*.map` asks (one POST, fuel spent)
// and returns the WHOLE distribution as a `| map` payload; `*.pick`
// (greedy borrow) argmaxes it and `*.draw` (chaotic borrow) samples it
// — the decode is pure, free, repeatable. `feels`/`triage` and their
// chaotic twins are the same ask+decode composed as sugar.
//
// The judge on `map` is unphased: asking is mode-agnostic — the decode
// carries the policy, so a greedy judge picks and a chaotic one draws.
//
// feels.map — the binary ask, undecoded. `| map d` binds the whole
// distribution: d.yes / d.no are probabilities, d.confidence.* the
// API's per-choice confidence.
~pub tor feels.map { j: *Judge, text: string, question: string }
| map FeelsDist
| exhausted
| err Err

// feels.pick — greedy decode over a fetched distribution.
~pub tor feels.pick { j: *Judge<greedy>, d: FeelsDist }
| yes f64
| no f64
| err Err

// feels.draw — sampled decode over the same distribution.
~pub tor feels.draw { j: *Judge<chaotic>, d: FeelsDist }
| yes f64
| no f64
| err Err

// triage.map — the multi-way ask, undecoded.
~pub tor triage.map { j: *Judge, text: string, question: string }
| map TriageDist
| exhausted
| err Err

// triage.pick — greedy decode.
~pub tor triage.pick { j: *Judge<greedy>, d: TriageDist }
| bug: Bug reports f64
| feature: Feature requests f64
| other: Other messages f64
| err Err

// triage.draw — sampled decode.
~pub tor triage.draw { j: *Judge<chaotic>, d: TriageDist }
| bug: Bug reports f64
| feature: Feature requests f64
| other: Other messages f64
| err Err

// feels — binary judgment: | yes f64 | no f64 asks exactly that
// question — the branch names are the criteria keys. Sugar: map+pick.
~pub tor feels { j: *Judge<greedy>, text: string, question: string }
| yes f64
| no f64
| exhausted
| err Err

// cfeels — same question, sampled. Only a <chaotic> judge can be asked.
// Sugar: map+draw.
~pub tor cfeels { j: *Judge<chaotic>, text: string, question: string }
| yes f64
| no f64
| exhausted
| err Err

// triage — multi-way choice. The answer space lives ONLY in the type:
// each [tag: description] branch is one criterion — tag the key Jev
// answers with, description the text it reads to separate options.
// Proc, not sugar: `=>` branch ctors cannot spell a pattern name —
// `=> [bug: Bug reports] p` does not parse — so the subflow that
// would compose map+pick cannot construct these branches. FLOATED.
~pub tor triage { j: *Judge<greedy>, text: string, question: string }
| bug: Bug reports f64
| feature: Feature requests f64
| other: Other messages f64
| exhausted
| err Err

// ctriage — same label set, sampled from the real distribution.
// Proc for the same reason as triage.
~pub tor ctriage { j: *Judge<chaotic>, text: string, question: string }
| bug: Bug reports f64
| feature: Feature requests f64
| other: Other messages f64
| exhausted
| err Err

// gen — NOT a System One call. Judgment models cannot generate text;
// revision goes to a chat-completions model on the same key.
~pub tor gen { j: *Judge<greedy>, instruction: string, using: string }
| done string
| exhausted
| err Err

~pub tor polish { j: *Judge<greedy>, draft: string }
| polished string
| exhausted