@agenticprimitives/orchestration 0.0.0-alpha.2 → 0.0.0-alpha.21

package/dist/judgment.d.ts

@@ -0,0 +1,131 @@
+import type { StructuredCallLike } from './selection.js';
+export declare const NOT_APPLICABLE = "n/a";
+export type JudgmentQuestionV1 = {
+    id: string;
+    kind: 'yes-no';
+    statement: string;
+} | {
+    id: string;
+    kind: 'scale';
+    question: string; /** worst → best */
+    levels: ReadonlyArray<{
+        id: string;
+        describe: string;
+    }>;
+    notApplicable?: string;
+} | {
+    id: string;
+    kind: 'choice';
+    question: string;
+    options: ReadonlyArray<{
+        id: string;
+        describe: string;
+    }>;
+    /** Outcomes that are not options — e.g. "ask the person", "needs several" — listed after the options, never
+     *  shuffled or renamed. */
+    alsoOutcomes?: ReadonlyArray<{
+        id: string;
+        describe: string;
+    }>;
+    /** Describes when NONE of the options applies; present ⇒ `n/a` is an outcome. */ notApplicable?: string;
+};
+/** One question's answer: the normalised distribution over its outcomes, the top outcome, and how far it leads. */
+export interface JudgmentAnswerV1 {
+    id: string;
+    kind: JudgmentQuestionV1['kind'];
+    distribution: Record<string, number>;
+    top: string;
+    /** P(top). */
+    confidence: number;
+    /** P(top) − P(runner-up). */
+    lead: number;
+    /** Scale only: the expected level index (0 = worst), over the applicable levels. */
+    expectedLevel?: number;
+}
+export interface JudgmentV1 {
+    /** The binding that decided (J3), e.g. `ap.decision-model.structured-call.v1`. */
+    judge: {
+        name: string;
+        kind: 'model' | 'mechanical' | 'human';
+    };
+    answers: Record<string, JudgmentAnswerV1>;
+    /** Questions the binding answered in a shape that could not be read as a distribution (J8: said, never guessed). */
+    unreadable: string[];
+    /** The binding failed outright (the provider refused, timed out, called nothing): no answers. */
+    error?: string;
+    /** For each unreadable question, the SHAPE of what came back (types and field names, never values) — so "malformed"
+     *  can be diagnosed without recording anything the judge read or wrote. */
+    received?: Record<string, string>;
+}
+/** Raw distributions from a binding, per question id, before normalisation. */
+export type RawDistributionsV1 = Record<string, Record<string, number>>;
+/** THE DECISION-MODEL PORT (J13): a frozen state + typed questions in, one distribution per question out. A binding
+ *  may add `received`: the shape of anything it could not read (never values). */
+export interface DecisionModelPort {
+    readonly name: string;
+    readonly kind: 'model' | 'mechanical' | 'human';
+    decide(state: string, questions: ReadonlyArray<JudgmentQuestionV1>): Promise<{
+        distributions: RawDistributionsV1;
+        received?: Record<string, string>;
+    }>;
+}
+/** The shape of a value — types and field names only, never a value. */
+export declare function shapeOf(v: unknown, depth?: number): string;
+/** The outcomes a question admits, in order. */
+export declare function outcomesOf(q: JudgmentQuestionV1): string[];
+/** Normalise one raw distribution over a question's outcomes. Unknown keys and non-finite / negative values are
+ *  dropped; an all-zero answer is unreadable (null). Deterministic tie-break by outcome order. */
+export declare function answerOf(q: JudgmentQuestionV1, raw: Record<string, number> | undefined): JudgmentAnswerV1 | null;
+/** Ask a decision model the questions about one state. A failed binding is `error`, never an answer (J8). */
+export declare function judgeQuestions(state: string, questions: ReadonlyArray<JudgmentQuestionV1>, port: DecisionModelPort): Promise<JudgmentV1>;
+/** THE DECLARED DECISION RULE over a choice/scale answer: take the top only when it is an option (not n/a), carries at
+ *  least `floor`, and leads the runner-up (n/a included) by `margin`. Otherwise abstain, naming why. */
+export interface DecisionRuleV1 {
+    floor: number;
+    margin: number;
+}
+export type DecisionV1 = {
+    decided: string;
+} | {
+    decided: null;
+    because: 'not-applicable' | 'below-floor' | 'no-margin' | 'unreadable';
+};
+export declare function applyDecisionRule(answer: JudgmentAnswerV1 | undefined, rule: DecisionRuleV1): DecisionV1;
+/** J10 — the explanation is COMPOSED from the numbers, never generated. */
+export declare function explainAnswer(answer: JudgmentAnswerV1, label?: (outcome: string) => string): string;
+/**
+ * A decision model bound to one forced structured call. The tool's schema has, per question, an array of
+ * `{outcome, p}` with `outcome` an enum of that question's outcomes — and NOTHING ELSE: no reason, no text (J10).
+ * `name` is recorded on every judgment (J3); it should change whenever the prompt or the model changes (J5).
+ */
+export declare function structuredCallDecisionModel(call: StructuredCallLike, opts: {
+    name: string;
+    maxTokens?: number;
+    /** A `scratch` field, FIRST in the schema, where the model may reason before the numbers — for a model that does not
+     *  reason internally (measured 2026-09-26: numbers-only cost Claude Haiku 12 points and its calibration; Gemini, which
+     *  thinks, lost nothing). Discarded here, never returned, never recorded (J7, J10). */
+    privateReasoning?: boolean;
+    /** The questions go in the SYSTEM prompt and the state last, so the prefix is the same on every call for the same
+     *  questions — what a provider's prompt cache keys on. (The default puts the state first.) */
+    stablePrefix?: boolean;
+}): DecisionModelPort;
+export interface AveragedJudgmentV1 extends JudgmentV1 {
+    /** How many permutations were asked and how many answered (an unanswered one is left out of the average, and said). */
+    permutations: {
+        asked: number;
+        answered: number;
+    };
+}
+export declare function judgeQuestionsAveraged(state: string, questions: ReadonlyArray<JudgmentQuestionV1>, port: DecisionModelPort, opts: {
+    permutations: number;
+}): Promise<AveragedJudgmentV1>;
+/** The host call: one letter among `letters`, each letter's reported log-probability. */
+export type LogprobChoiceLike = (input: {
+    system: string;
+    user: string;
+    letters: readonly string[];
+}) => Promise<Record<string, number>>;
+export declare function logprobChoiceDecisionModel(choose: LogprobChoiceLike, opts: {
+    name: string;
+}): DecisionModelPort;
+//# sourceMappingURL=judgment.d.ts.map

package/dist/judgment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgment.d.ts","sourceRoot":"","sources":["../src/judgment.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAEzD,eAAO,MAAM,cAAc,QAAQ,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAC1B;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,mBAAmB;IAAC,MAAM,EAAE,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GACpJ;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvG;+BAC2B;IAC3B,YAAY,CAAC,EAAE,aAAa,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,iFAAiF,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjH,mHAAmH;AACnH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACjC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,cAAc;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,oFAAoF;IACpF,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,kFAAkF;IAClF,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,OAAO,CAAA;KAAE,CAAC;IAChE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1C,oHAAoH;IACpH,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iGAAiG;IACjG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;+EAC2E;IAC3E,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnC;AAED,+EAA+E;AAC/E,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAExE;kFACkF;AAClF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,YAAY,GAAG,OAAO,CAAC;IAChD,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,kBAAkB,CAAC,GAAG,OAAO,CAAC;QAAE,aAAa,EAAE,kBAAkB,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;CACxJ;AAED,wEAAwE;AACxE,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,SAAI,GAAG,MAAM,CAKrD;AAED,gDAAgD;AAChD,wBAAgB,UAAU,CAAC,CAAC,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAI1D;AAED;kGACkG;AAClG,wBAAgB,QAAQ,CAAC,CAAC,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,GAAG,gBAAgB,GAAG,IAAI,CAiBhH;AAED,6GAA6G;AAC7G,wBAAsB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,UAAU,CAAC,CAW9I;AAED;wGACwG;AACxG,MAAM,WAAW,cAAc;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AACjE,MAAM,MAAM,UAAU,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,gBAAgB,GAAG,aAAa,GAAG,WAAW,GAAG,YAAY,CAAA;CAAE,CAAC;AACzI,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,SAAS,EAAE,IAAI,EAAE,cAAc,GAAG,UAAU,CAMxG;AAED,2EAA2E;AAC3E,wBAAgB,aAAa,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,GAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAiB,GAAG,MAAM,CAK7G;AAuBD;;;;GAIG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC7G;;2FAEuF;IACvF,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;kGAC8F;IAC9F,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,iBAAiB,CAmC7C;AAkBD,MAAM,WAAW,kBAAmB,SAAQ,UAAU;IACpD,uHAAuH;IACvH,YAAY,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;CACnD;AAED,wBAAsB,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE;IAAE,YAAY,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAwC9L;AAQD,yFAAyF;AACzF,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAKzI,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,iBAAiB,CAkB/G"}

package/dist/judgment.js

@@ -0,0 +1,249 @@
+export const NOT_APPLICABLE = 'n/a';
+/** The shape of a value — types and field names only, never a value. */
+export function shapeOf(v, depth = 0) {
+    if (v === null)
+        return 'null';
+    if (Array.isArray(v))
+        return `array(${v.length})${v.length && depth < 2 ? `<${shapeOf(v[0], depth + 1)}>` : ''}`;
+    if (typeof v === 'object')
+        return depth < 2 ? `{${Object.keys(v).slice(0, 8).map((k) => `${k.length > 40 ? 'key' : k}:${shapeOf(v[k], depth + 1)}`).join(',')}}` : 'object';
+    return typeof v;
+}
+/** The outcomes a question admits, in order. */
+export function outcomesOf(q) {
+    if (q.kind === 'yes-no')
+        return ['true', 'false'];
+    const base = [...(q.kind === 'scale' ? q.levels : q.options), ...(q.kind === 'choice' ? q.alsoOutcomes ?? [] : [])].map((o) => o.id);
+    return q.notApplicable !== undefined ? [...base, NOT_APPLICABLE] : base;
+}
+/** Normalise one raw distribution over a question's outcomes. Unknown keys and non-finite / negative values are
+ *  dropped; an all-zero answer is unreadable (null). Deterministic tie-break by outcome order. */
+export function answerOf(q, raw) {
+    if (!raw || typeof raw !== 'object')
+        return null;
+    const outcomes = outcomesOf(q);
+    const vals = outcomes.map((o) => { const v = raw[o]; return typeof v === 'number' && Number.isFinite(v) && v > 0 ? v : 0; });
+    const total = vals.reduce((s, v) => s + v, 0);
+    if (total <= 0)
+        return null;
+    const distribution = Object.fromEntries(outcomes.map((o, i) => [o, Number((vals[i] / total).toFixed(4))]));
+    const ranked = outcomes.map((o, i) => [o, vals[i] / total, i]).sort((a, b) => b[1] - a[1] || a[2] - b[2]);
+    const [top, p] = ranked[0];
+    const second = ranked[1]?.[1] ?? 0;
+    const out = { id: q.id, kind: q.kind, distribution, top, confidence: Number(p.toFixed(4)), lead: Number((p - second).toFixed(4)) };
+    if (q.kind === 'scale') {
+        const applicable = q.levels.map((l) => distribution[l.id] ?? 0);
+        const mass = applicable.reduce((s, v) => s + v, 0);
+        if (mass > 0)
+            out.expectedLevel = Number((applicable.reduce((s, v, i) => s + v * i, 0) / mass).toFixed(4));
+    }
+    return out;
+}
+/** Ask a decision model the questions about one state. A failed binding is `error`, never an answer (J8). */
+export async function judgeQuestions(state, questions, port) {
+    const judgeId = { name: port.name, kind: port.kind };
+    let raw;
+    let received;
+    try {
+        ({ distributions: raw, received } = await port.decide(state, questions));
+    }
+    catch (e) {
+        return { judge: judgeId, answers: {}, unreadable: questions.map((q) => q.id), error: String(e?.message ?? e).slice(0, 300) };
+    }
+    const answers = {};
+    const unreadable = [];
+    for (const q of questions) {
+        const a = answerOf(q, raw?.[q.id]);
+        if (a)
+            answers[q.id] = a;
+        else
+            unreadable.push(q.id);
+    }
+    const shapes = unreadable.length && received ? Object.fromEntries(unreadable.filter((id) => received[id]).map((id) => [id, received[id]])) : {};
+    return { judge: judgeId, answers, unreadable, ...(Object.keys(shapes).length ? { received: shapes } : {}) };
+}
+export function applyDecisionRule(answer, rule) {
+    if (!answer)
+        return { decided: null, because: 'unreadable' };
+    if (answer.top === NOT_APPLICABLE)
+        return { decided: null, because: 'not-applicable' };
+    if (answer.confidence < rule.floor)
+        return { decided: null, because: 'below-floor' };
+    if (answer.lead < rule.margin)
+        return { decided: null, because: 'no-margin' };
+    return { decided: answer.top };
+}
+/** J10 — the explanation is COMPOSED from the numbers, never generated. */
+export function explainAnswer(answer, label = (o) => o) {
+    const ranked = Object.entries(answer.distribution).sort((a, b) => b[1] - a[1]);
+    const pct = (v) => `${Math.round(v * 100)}%`;
+    const [top, p] = ranked[0];
+    const second = ranked[1];
+    return `${label(top)} at ${pct(p)}${second ? `, ahead of ${label(second[0])} at ${pct(second[1])}` : ''}.`;
+}
+// ── The structured-call binding ──────────────────────────────────────────────────────────────────────────────────
+const PRIVATE_REASONING = 'Before the numbers, you may think in the `scratch` field: weigh what the request actually asks for '
+    + 'against each outcome. `scratch` is discarded unread — it is never shown or recorded; only the probabilities count. '
+    + 'Keep it under 120 words.';
+const DECISION_SYSTEM = 'You are a decision model. You do not answer the request, explain, or write anything. For EACH question you are '
+    + 'given, assign a probability to EVERY outcome listed for it; each question\'s probabilities sum to 1. Use "n/a" '
+    + 'where it is offered and none of the other outcomes applies. An outcome you give 0 may be left out. Probabilities '
+    + 'should be calibrated: an outcome given '
+    + '0.8 should be right about 80% of the time. Report through the tool; its only fields are numbers.';
+/** Render one question for the model (the outcomes are the enum the tool accepts). */
+function renderQuestion(q) {
+    if (q.kind === 'yes-no')
+        return `[${q.id}] yes-no — "${q.statement}" — outcomes: true, false`;
+    const opts = [...(q.kind === 'scale' ? q.levels : q.options), ...(q.kind === 'choice' ? q.alsoOutcomes ?? [] : [])].map((o) => `    - ${o.id}: ${o.describe}`).join('\n');
+    const na = q.notApplicable !== undefined ? `\n    - ${NOT_APPLICABLE}: ${q.notApplicable}` : '';
+    return `[${q.id}] ${q.kind}${q.kind === 'scale' ? ' (worst → best)' : ''} — ${q.question}\n  outcomes:\n${opts}${na}`;
+}
+/**
+ * A decision model bound to one forced structured call. The tool's schema has, per question, an array of
+ * `{outcome, p}` with `outcome` an enum of that question's outcomes — and NOTHING ELSE: no reason, no text (J10).
+ * `name` is recorded on every judgment (J3); it should change whenever the prompt or the model changes (J5).
+ */
+export function structuredCallDecisionModel(call, opts) {
+    return {
+        name: opts.name, kind: 'model',
+        async decide(state, questions) {
+            const properties = Object.fromEntries([
+                ...(opts.privateReasoning ? [['scratch', { type: 'string', description: 'Private working; discarded unread.' }]] : []),
+                ...questions.map((q) => [q.id, {
+                        type: 'array', description: `The probability of each outcome of question ${q.id}.`,
+                        items: { type: 'object', properties: { outcome: { type: 'string', enum: outcomesOf(q) }, p: { type: 'number', minimum: 0, maximum: 1 } }, required: ['outcome', 'p'] },
+                    }])
+            ]);
+            const sys = opts.privateReasoning ? `${DECISION_SYSTEM} ${PRIVATE_REASONING}` : DECISION_SYSTEM;
+            const qs = questions.map(renderQuestion).join('\n\n');
+            const out = await call({
+                system: opts.stablePrefix ? `${sys}\n\nQuestions:\n${qs}` : sys,
+                messages: [{ role: 'user', content: opts.stablePrefix ? `State:\n${state}` : `State:\n${state}\n\nQuestions:\n${qs}` }],
+                tool: { name: 'decide', description: 'One probability per outcome, per question. Numbers only.', input_schema: { type: 'object', properties, required: questions.map((q) => q.id) } },
+                // Sized by the outcomes, not the questions: a model that lists every outcome (zeros included) of a 40-class
+                // question needs ~40 tokens per outcome, and a bound it runs out of returns no call at all.
+                maxTokens: opts.maxTokens ?? (opts.privateReasoning ? 500 : 300) + 40 * questions.reduce((n, q) => n + outcomesOf(q).length, 0),
+            });
+            const raw = {};
+            const received = {};
+            for (const q of questions) {
+                received[q.id] = out?.[q.id] === undefined ? `absent (top-level: ${shapeOf(out)})` : shapeOf(out[q.id]);
+                // Some hosts hand a nested array argument back as its JSON text; that is an encoding, not a different answer.
+                let rows = out?.[q.id];
+                if (typeof rows === 'string') {
+                    try {
+                        rows = JSON.parse(rows);
+                    }
+                    catch {
+                        continue;
+                    }
+                }
+                if (!Array.isArray(rows))
+                    continue;
+                const d = {};
+                for (const r of rows)
+                    if (typeof r?.outcome === 'string' && typeof r.p === 'number')
+                        d[r.outcome] = Math.max(d[r.outcome] ?? 0, r.p);
+                raw[q.id] = d;
+            }
+            return { distributions: raw, received };
+        },
+    };
+}
+// ── Permutation-averaged judging (debiasing) ────────────────────────────────────────────────────────────────────────
+// A judge reading options in a list is biased by their ORDER and by their LABELS (position bias; option-id bias). Each
+// of K calls sees the choice options in a different order under neutral ids (`o1`, `o2`, …) and the yes-no questions in a
+// different order under neutral ids; the answers are mapped back and the distributions AVERAGED. Averaging also turns K
+// calls into a spread the consistency gate can read. The permutations are drawn from a seed derived from the state, so
+// the same state is asked the same way every time (J5); what varies between repeats is the model, not the harness.
+/** A small deterministic PRNG (mulberry32) seeded from a string. */
+function seeded(seedText) {
+    let h = 2166136261;
+    for (let i = 0; i < seedText.length; i++) {
+        h ^= seedText.charCodeAt(i);
+        h = Math.imul(h, 16777619);
+    }
+    let a = h >>> 0;
+    return () => { a = (a + 0x6d2b79f5) >>> 0; let t = a; t = Math.imul(t ^ (t >>> 15), t | 1); t ^= t + Math.imul(t ^ (t >>> 7), t | 61); return ((t ^ (t >>> 14)) >>> 0) / 4294967296; };
+}
+function shuffled(xs, rnd) { const a = [...xs]; for (let i = a.length - 1; i > 0; i--) {
+    const j = Math.floor(rnd() * (i + 1));
+    [a[i], a[j]] = [a[j], a[i]];
+} return a; }
+export async function judgeQuestionsAveraged(state, questions, port, opts) {
+    const K = Math.max(1, Math.floor(opts.permutations));
+    const runs = await Promise.all(Array.from({ length: K }, async (_, k) => {
+        const rnd = seeded(`${k}\u0000${state}`);
+        const qMap = new Map(); // neutral question id → real
+        const oMap = new Map(); // real question id → (neutral option id → real)
+        const neutral = shuffled(questions, rnd).map((q, qi) => {
+            const nid = q.kind === 'yes-no' ? `q${qi + 1}` : q.id; // choice/scale keep their id (it names no option)
+            qMap.set(nid, q.id);
+            if (q.kind !== 'choice')
+                return { ...q, id: nid };
+            const back = new Map();
+            const options = shuffled(q.options, rnd).map((o, oi) => { const id = `o${oi + 1}`; back.set(id, o.id); return { id, describe: o.describe }; });
+            oMap.set(q.id, back);
+            return { ...q, id: nid, options };
+        });
+        const j = await judgeQuestions(state, neutral, port);
+        if (j.error !== undefined)
+            return { error: j.error };
+        const answers = {};
+        for (const [nid, a] of Object.entries(j.answers)) {
+            const real = qMap.get(nid);
+            const back = oMap.get(real);
+            answers[real] = Object.fromEntries(Object.entries(a.distribution).map(([o, v]) => [back?.get(o) ?? o, v]));
+        }
+        return { answers, received: j.received };
+    }));
+    const ok = runs.filter((r) => 'answers' in r);
+    const judgeId = { name: port.name, kind: port.kind };
+    if (!ok.length)
+        return { judge: judgeId, answers: {}, unreadable: questions.map((q) => q.id), error: runs[0].error, permutations: { asked: K, answered: 0 } };
+    const answers = {};
+    const unreadable = [];
+    for (const q of questions) {
+        const got = ok.map((r) => r.answers[q.id]).filter((d) => !!d);
+        if (!got.length) {
+            unreadable.push(q.id);
+            continue;
+        }
+        const mean = {};
+        for (const o of outcomesOf(q))
+            mean[o] = got.reduce((s, d) => s + (d[o] ?? 0), 0) / got.length;
+        const a = answerOf(q, mean);
+        if (a)
+            answers[q.id] = a;
+        else
+            unreadable.push(q.id);
+    }
+    const received = Object.assign({}, ...ok.map((r) => r.received ?? {}));
+    const shapes = unreadable.length ? Object.fromEntries(unreadable.filter((id) => received[id]).map((id) => [id, received[id]])) : {};
+    return { judge: judgeId, answers, unreadable, ...(Object.keys(shapes).length ? { received: shapes } : {}), permutations: { asked: K, answered: ok.length } };
+}
+const LETTER_SYSTEM = 'You are a decision model. Read the options and the state. Reply with exactly ONE capital letter: the '
+    + 'option that best answers the question for this state. No other text.';
+export function logprobChoiceDecisionModel(choose, opts) {
+    return {
+        name: opts.name, kind: 'model',
+        async decide(state, questions) {
+            if (questions.length !== 1 || questions[0].kind !== 'choice')
+                throw new Error('the log-probability binding answers exactly one choice question per call');
+            const q = questions[0];
+            const outcomes = outcomesOf(q);
+            if (outcomes.length > 26)
+                throw new Error(`the log-probability binding offers at most 26 options (letters); this question has ${outcomes.length}`);
+            const letters = outcomes.map((_, i) => String.fromCharCode(65 + i));
+            const describe = (o) => (o === NOT_APPLICABLE ? q.notApplicable ?? 'none of these' : [...q.options, ...(q.alsoOutcomes ?? [])].find((x) => x.id === o)?.describe ?? o);
+            const system = `${LETTER_SYSTEM}\n\nQuestion: ${q.question}\nOptions:\n${outcomes.map((o, i) => `${letters[i]}. ${describe(o)}`).join('\n')}`;
+            const lp = await choose({ system, user: `State:\n${state}\n\nAnswer with one letter.`, letters });
+            const max = Math.max(...Object.values(lp));
+            const raw = {};
+            outcomes.forEach((o, i) => { const v = lp[letters[i]]; if (v !== undefined)
+                raw[o] = Math.exp(v - max); });
+            return { distributions: { [q.id]: raw } };
+        },
+    };
+}
+//# sourceMappingURL=judgment.js.map

package/dist/judgment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgment.js","sourceRoot":"","sources":["../src/judgment.ts"],"names":[],"mappings":"AAsBA,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,CAAC;AAiDpC,wEAAwE;AACxE,MAAM,UAAU,OAAO,CAAC,CAAU,EAAE,KAAK,GAAG,CAAC;IAC3C,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACjH,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAE,CAA6B,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;IACnN,OAAO,OAAO,CAAC,CAAC;AAClB,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,UAAU,CAAC,CAAqB;IAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrI,OAAO,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED;kGACkG;AAClG,MAAM,UAAU,QAAQ,CAAC,CAAqB,EAAE,GAAuC;IACrF,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7H,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAE,GAAG,KAAK,EAAE,CAAC,CAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpH,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;IAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,GAAG,GAAqB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACrJ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,CAAC,aAAa,GAAG,MAAM,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6GAA6G;AAC7G,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAAa,EAAE,SAA4C,EAAE,IAAuB;IACvH,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACrD,IAAI,GAAuB,CAAC;IAAC,IAAI,QAA4C,CAAC;IAC9E,IAAI,CAAC;QAAC,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QAC3F,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAE,CAAW,EAAE,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;IAC1I,CAAC;IACD,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAC,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;;YAAM,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACxH,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAS,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnJ,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9G,CAAC;AAMD,MAAM,UAAU,iBAAiB,CAAC,MAAoC,EAAE,IAAoB;IAC1F,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;IAC7D,IAAI,MAAM,CAAC,GAAG,KAAK,cAAc;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;IACvF,IAAI,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;IACrF,IAAI,MAAM,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAC9E,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AACjC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,MAAwB,EAAE,QAAqC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnG,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC;IACrD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;IAAC,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AAC7G,CAAC;AAED,oHAAoH;AAEpH,MAAM,iBAAiB,GAAG,qGAAqG;MAC3H,qHAAqH;MACrH,0BAA0B,CAAC;AAE/B,MAAM,eAAe,GACnB,iHAAiH;MAC/G,iHAAiH;MACjH,mHAAmH;MACnH,yCAAyC;MACzC,kGAAkG,CAAC;AAEvG,sFAAsF;AACtF,SAAS,cAAc,CAAC,CAAqB;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,SAAS,2BAA2B,CAAC;IAC9F,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1K,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,cAAc,KAAK,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,OAAO,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,kBAAkB,IAAI,GAAG,EAAE,EAAE,CAAC;AACxH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAAwB,EAAE,IAO5C;IACxB,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO;QAC9B,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS;YAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC;gBACpC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oCAAoC,EAAE,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/H,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE;wBAC/B,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,+CAA+C,CAAC,CAAC,EAAE,GAAG;wBAClF,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE;qBACvK,CAAU,CAAC;aAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,eAAe,IAAI,iBAAiB,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;YAChG,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC;gBACrB,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,GAAG,mBAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG;gBAC/D,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,mBAAmB,EAAE,EAAE,EAAE,CAAC;gBACvH,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0DAA0D,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrL,4GAA4G;gBAC5G,4FAA4F;gBAC5F,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;aAChI,CAAC,CAAC;YACH,MAAM,GAAG,GAAuB,EAAE,CAAC;YACnC,MAAM,QAAQ,GAA2B,EAAE,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBAC1B,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxG,8GAA8G;gBAC9G,IAAI,IAAI,GAAY,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAAC,IAAI,CAAC;wBAAC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAAC,CAAC;oBAAC,MAAM,CAAC;wBAAC,SAAS;oBAAC,CAAC;gBAAC,CAAC;gBACtF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACnC,MAAM,CAAC,GAA2B,EAAE,CAAC;gBACrC,KAAK,MAAM,CAAC,IAAI,IAAiD;oBAAE,IAAI,OAAO,CAAC,EAAE,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;wBAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClL,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;YACD,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC1C,CAAC;KACF,CAAC;AACJ,CAAC;AAED,uHAAuH;AACvH,uHAAuH;AACvH,0HAA0H;AAC1H,wHAAwH;AACxH,uHAAuH;AACvH,mHAAmH;AAEnH,oEAAoE;AACpE,SAAS,MAAM,CAAC,QAAgB;IAC9B,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAAC,CAAC,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IAAC,CAAC;IACtG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,OAAO,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AACzL,CAAC;AACD,SAAS,QAAQ,CAAI,EAAgB,EAAE,GAAiB,IAAS,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;IAAC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;AAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAOhN,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,KAAa,EAAE,SAA4C,EAAE,IAAuB,EAAE,IAA8B;IAC/J,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QACtE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,6BAA6B;QACrE,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+B,CAAC,CAAC,gDAAgD;QACrG,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;YACrD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,kDAAkD;YACzG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACpB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAwB,CAAC;YACxE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/I,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACrB,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAwB,CAAC;QAC1D,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAW,CAAC;QAC9D,MAAM,OAAO,GAA2C,EAAE,CAAC;QAC3D,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;YAAC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzD,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7G,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAW,CAAC;IACpD,CAAC,CAAC,CAAC,CAAC;IACJ,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgD,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;IAC5F,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACrD,IAAI,CAAC,EAAE,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAG,IAAI,CAAC,CAAC,CAAuB,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;IACrL,MAAM,OAAO,GAAqC,EAAE,CAAC;IACrD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAA+B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;YAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACrD,MAAM,IAAI,GAA2B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QAC/F,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;;YAAM,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpI,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;AAC/J,CAAC;AAWD,MAAM,aAAa,GAAG,uGAAuG;MACzH,sEAAsE,CAAC;AAE3E,MAAM,UAAU,0BAA0B,CAAC,MAAyB,EAAE,IAAsB;IAC1F,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO;QAC9B,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS;YAC3B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,CAAC;YAC3J,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAoD,CAAC;YAC1E,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,QAAQ,CAAC,MAAM,GAAG,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,sFAAsF,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YACnJ,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACpE,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,CAAC;YAC/K,MAAM,MAAM,GAAG,GAAG,aAAa,iBAAiB,CAAC,CAAC,QAAQ,eAAe,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9I,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,KAAK,6BAA6B,EAAE,OAAO,EAAE,CAAC,CAAC;YAClG,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3C,MAAM,GAAG,GAA2B,EAAE,CAAC;YACvC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5G,OAAO,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QAC5C,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/loop.d.ts

@@ -1,9 +1,18 @@
 import type { Intent, Plan, PlanStep, RunResult, StepObservation, ToolSpec } from './types.js';
+import { CONTINUE_STEP_ID } from './types.js';
 import type { Planner } from './planner.js';
-import type { ToolInvoker } from './tool-invoker.js';
+import { type ToolInvoker } from './tool-invoker.js';
 import { type SuppliedInputV1 } from './input.js';
 import type { MandatePresentation, OrchestrationPorts, ResolvedStep, StepReceipt } from './authority.js';
 export interface RunIntentOpts {
+    /** Spec 438 §3 — the work this run is part of, when the caller already holds the id (the Ask's session, the
+     *  door's data part). Stamped onto `RunStarted` and the record; NEVER looked up here. Absent is correct for a
+     *  solo run, and a retry does not inherit it — joining work is an explicit `AttachRun`. */
+    work?: {
+        endeavorId: string;
+        commitmentId?: string;
+        planStepId?: string;
+    };
     /** The injected planning port (deterministic default or the LLM adapter). */
     planner: Planner;
     /** The tools the agent exposes — the plan may only reference these (fail-closed). */
@@ -14,6 +23,13 @@ export interface RunIntentOpts {
     maxSteps?: number;
     /** How many times the loop re-plans after a step failure. Default 1 (one observe→re-plan cycle). */
     maxReplans?: number;
+    /** Spec 421 W1 — CONTINUATION: the planner may end a plan with `plan.continue` ("show me what these reads return, then
+     *  I will plan the rest"); the loop then plans again from the SUCCESSFUL observations, through every gate a first plan
+     *  passes. `max` bounds it per run (inside the step budget). Absent ⇒ off: the reserved step is not offered, and a plan
+     *  naming it is refused as an unknown tool. */
+    continuation?: {
+        max: number;
+    };
     /** Optional observer for each executed step (telemetry; never authority). */
     onObserve?: (obs: StepObservation) => void;
     /** Spec 374 §1 — WHICH STEPS ARE JUDGED ELSEWHERE. Returns the agent a step is routed to when its
@@ -81,6 +97,29 @@ export interface RunIntentOpts {
         version: string;
         commitment: string;
     };
+    /** Spec 414 A1 — which SKILL.md contract a tool came from, as the compiled definition says (injected, like
+     *  skillRef). Absent, or undefined for a tool ⇒ the receipt names no per-step skill. */
+    skillOf?: (toolId: string) => {
+        id: string;
+        version: string;
+        contractDigest: string;
+    } | undefined;
+    /**
+     * Spec 413 — ONE DECLARED RETRIEVAL STEP, run before the first plan (a playbook's `retrievalQueries`, the harness's
+     * wiring). It is a real step: `StepProposed` → `ToolInvoked` → a receipt at stepRef `retrieve`, so the trace shows it.
+     * Its observation joins the run's observations — what the ANSWER is composed from — and is kept OUT of every planner
+     * input, first plan and re-plan alike: retrieved passages ground what is said, never what is done, so they neither
+     * reach a prompt nor mark the run as having read untrusted content. Only an informational tool may be named (a
+     * retrieval that needed a mandate would not be retrieval); anything else is refused before anything runs. Skipped on
+     * resume (the checkpoint carries what happened). A failed or empty retrieval is recorded as such and the run goes on.
+     */
+    retrieval?: {
+        toolId: string;
+        args: Record<string, unknown>;
+        /** Spec 416 §4g — run the retrieval only when the PLAN needs it (evaluated after planning; the passages are never
+         *  planner input, so nothing is lost by waiting). Absent ⇒ before the plan, always (spec 413 as written). */
+        onlyIf?: (plan: Plan) => boolean;
+    };
     /** Unix-seconds clock, injected so receipts are deterministic in tests. */
     now?: () => number;
     /** What to do when a step needs a mandate and none was presented. `'throw'` (the default, unchanged)
@@ -88,6 +127,10 @@ export interface RunIntentOpts {
      *  the step, so an Ask surface can tell the person what authority it would need instead of refusing —
      *  it grants nothing: the caller must come back with a mandate, which is then verified as always. */
     onMissingMandate?: 'throw' | 'report';
+    /** Spec 418 §12 — a COMPARISON run holds its self-acting writes: the step is reached, its args normalised and resolved,
+     *  and its receipt recorded as `skipped` ("dry run"), but the invoker is not called — so an experiment never changes the
+     *  estate its cases assume, nor writes test data into a person's vault. Never set on a person's own run. */
+    dryRunSelfActs?: boolean;
     /**
      * Normalise a step's args before ANYTHING judges them — spec 350 §3.1.
      *
@@ -125,13 +168,15 @@ export interface RunIntentOpts {
      *  already executed is re-invoked under the same idempotency key (an invoker makes it a no-op). */
     supplied?: SuppliedInputV1[];
 }
+/** Spec 413 — the stepRef of the declared pre-plan retrieval step. */
+export declare const RETRIEVAL_STEP_REF = "retrieve";
 /**
- * Run an intent to a terminal result. Plans, executes the steps in order (threading `ref` results into later
- * args), observes, and re-plans (bounded) when a step throws. Returns `completed` with the last successful
- * step's result, `failed` with the error, `denied` when authority refused a step, or `suspended` when an
- * approval is pending. Fail-closed throughout: an unknown tool, an empty plan, no plan, an exhausted step
- * budget, a capability step with no verifier, or a denial all produce a non-completed RunResult — never a
- * misleading empty success.
+ * The indices of the batch starting at `i`: the step and the consecutive steps after it that may run
+ * beside it (spec 370 P3). A step runs beside others only when its tool exercises no capability, it fans
+ * nothing out, no `after` edge points into the batch, none of its `$ref`s (or its `when`) name a result the
+ * batch produces, and it is not a replay (a replay is instant; keeping it alone keeps the order obvious).
  */
+export { CONTINUE_STEP_ID };
+export declare const CONTINUE_TOOL: ToolSpec;
 export declare function runIntent(intent: Intent, opts: RunIntentOpts): Promise<RunResult>;
 //# sourceMappingURL=loop.d.ts.map

package/dist/loop.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../src/loop.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE/F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAiB,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAA8C,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAC9F,OAAO,KAAK,EACwB,mBAAmB,EAAc,kBAAkB,EAAE,YAAY,EAAE,WAAW,EACjH,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,aAAa;IAC5B,6EAA6E;IAC7E,OAAO,EAAE,OAAO,CAAC;IACjB,qFAAqF;IACrF,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,kFAAkF;IAClF,MAAM,EAAE,WAAW,CAAC;IACpB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oGAAoG;IACpG,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6EAA6E;IAC7E,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,IAAI,CAAC;IAC3C;;4GAEwG;IACxG,wBAAwB,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,MAAM,GAAG,IAAI,CAAC;IACjE,oFAAoF;IACpF,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B;;;;iGAI6F;IAC7F,SAAS,CAAC,EAAE,mBAAmB,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAC;IAC/D;;2EAEuE;IACvE,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,mBAAmB,GAAG,IAAI,CAAC;IACpG;6GACyG;IACzG,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC3D,iGAAiG;IACjG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,SAAS,EAAE,aAAa,CAAC;YAAE,OAAO,EAAE,MAAM,CAAC;YAAC,MAAM,CAAC,EAAE,OAAO,CAAC;YAAC,OAAO,CAAC,EAAE,WAAW,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC;IAChH,wFAAwF;IACxF,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,gBAAgB,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC7F;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7H;;4GAEwG;IACxG,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE,2EAA2E;IAC3E,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB;;;yGAGqG;IACrG,gBAAgB,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC;IACtC;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/H;;gHAE4G;IAC5G,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC7F;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/H;;uGAEmG;IACnG,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC;CAC9B;AA0JD;;;;;;;GAOG;AACH,wBAAsB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CA2gBvF"}
+{"version":3,"file":"loop.d.ts","sourceRoot":"","sources":["../src/loop.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC/F,OAAO,EAAE,gBAAgB,EAAsB,MAAM,YAAY,CAAC;AAClE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAA8C,KAAK,WAAW,EAA0B,MAAM,mBAAmB,CAAC;AACzH,OAAO,EAA8C,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAE9F,OAAO,KAAK,EACwB,mBAAmB,EAAc,kBAAkB,EAAE,YAAY,EAAE,WAAW,EACjH,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,aAAa;IAC5B;;+FAE2F;IAC3F,IAAI,CAAC,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1E,6EAA6E;IAC7E,OAAO,EAAE,OAAO,CAAC;IACjB,qFAAqF;IACrF,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,kFAAkF;IAClF,MAAM,EAAE,WAAW,CAAC;IACpB,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oGAAoG;IACpG,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;mDAG+C;IAC/C,YAAY,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/B,6EAA6E;IAC7E,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,IAAI,CAAC;IAC3C;;4GAEwG;IACxG,wBAAwB,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,MAAM,GAAG,IAAI,CAAC;IACjE,oFAAoF;IACpF,KAAK,CAAC,EAAE,kBAAkB,CAAC;IAC3B;;;;iGAI6F;IAC7F,SAAS,CAAC,EAAE,mBAAmB,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAC;IAC/D;;2EAEuE;IACvE,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,mBAAmB,EAAE,KAAK,mBAAmB,GAAG,IAAI,CAAC;IACpG;6GACyG;IACzG,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC3D,iGAAiG;IACjG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,SAAS,EAAE,aAAa,CAAC;YAAE,OAAO,EAAE,MAAM,CAAC;YAAC,MAAM,CAAC,EAAE,OAAO,CAAC;YAAC,OAAO,CAAC,EAAE,WAAW,CAAA;SAAE,CAAC,CAAA;KAAE,CAAC;IAChH,wFAAwF;IACxF,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,gBAAgB,EAAE,kBAAkB,GAAG,SAAS,CAAC;IAC7F;;;;;;;;;;OAUG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7H;;4GAEwG;IACxG,QAAQ,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACpE;4FACwF;IACxF,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAClG;;;;;;;;OAQG;IACH,SAAS,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC1D;qHAC6G;QAC7G,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,CAAA;KAAE,CAAC;IACrC,2EAA2E;IAC3E,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB;;;yGAGqG;IACrG,gBAAgB,CAAC,EAAE,OAAO,GAAG,QAAQ,CAAC;IACtC;;gHAE4G;IAC5G,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/H;;gHAE4G;IAC5G,eAAe,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAC;QAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,KAAK,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAC7F;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,aAAa,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/H;;uGAEmG;IACnG,QAAQ,CAAC,EAAE,eAAe,EAAE,CAAC;CAC9B;AA6FD,sEAAsE;AACtE,eAAO,MAAM,kBAAkB,aAAa,CAAC;AA4D7C;;;;;GAKG;AACH,OAAO,EAAE,gBAAgB,EAAE,CAAC;AAC5B,eAAO,MAAM,aAAa,EAAE,QAM3B,CAAC;AAqCF,wBAAsB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CA+qBvF"}