agentfootprint 12.2.0 → 13.0.0

package/dist/core/agent/scripts/label.js

@@ -0,0 +1,143 @@
+"use strict";
+/**
+ * scripts/label — the ONE rule that turns a code call's record into a label,
+ * and the label's words.
+ *
+ * Pattern: pure function over two separate facts (design § 4.3).
+ * Role:    core/ layer leaf. Asked by the dispatch loop when it files a call's
+ *          `script` row (`rows.ts` · `scriptRowFor`); every sentence that names
+ *          an outcome — the attachment's label line, the recovery clause, the
+ *          answer account — reads the row's label through {@link labelWords}.
+ * Emits:   N/A.
+ *
+ * ## Three facts, read in one order
+ *
+ * The record holds three facts about a code call, written by three mechanisms:
+ * EXECUTION evidence (the runner's facts — `codeRunnerTool.ts` ·
+ * `CodeRunFacts`, taken right after `tool.execute` returns), call SETTLEMENT
+ * (did the call return, throw, or never enter `execute`) and result DELIVERY
+ * (the tool's ceiling replaced the payload). A label is read from execution
+ * evidence first, then settlement, and NEVER from delivery: a withheld result
+ * does not undo a completed execution (it rides the row as `resultWithheld`).
+ *
+ * | the record says | label |
+ * |---|---|
+ * | an explicit `exitCode: 0` | `completed` |
+ * | an explicit non-zero `exitCode` (a whole number — {@link isExitCode}) | `completed-with-failure` |
+ * | `serviceError` and no exit code | `outcome-unknown` |
+ * | `ok: true`, no exit code | `reported-success` |
+ * | `ok: false`, no exit code, no service error (a stopped process included) | `reported-failure` |
+ * | facts that report no outcome (`ok` absent, no exit code) | — no execution evidence: the settlement decides |
+ * | no facts, the call returned | `returned` |
+ * | no facts, the call threw (a timeout, a cancellation, a staging refusal) | `outcome-unknown` |
+ * | the call never entered `execute` (or has not settled) | `submitted` |
+ *
+ * Only an explicit exit code proves the program reached an exit. `ok` is a
+ * VERDICT: it never yields `completed`, and no word here prints an exit number
+ * the record does not hold.
+ *
+ * @example
+ * ```ts
+ * scriptLabelOf({ settlement: 'returned', facts: { exitCode: 0 } });          // { label: 'completed', exitCode: 0 }
+ * scriptLabelOf({ settlement: 'returned', facts: { ok: false, serviceError: true } }); // { label: 'outcome-unknown', serviceError: true }
+ * scriptLabelOf({ settlement: 'threw' });                                      // { label: 'outcome-unknown' }
+ * labelWords('completed-with-failure', 7);                                     // 'completed with failure, exit 7'
+ * ```
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SCRIPT_LABELS = exports.labelWords = exports.scriptLabelOf = exports.exitCodeFits = exports.isExitCode = void 0;
+/**
+ * Whether `value` is an exit code: a whole number, as a process reports one
+ * (a negative one included — a signal, on some runtimes). THE rule for every
+ * writer and reader of a script's exit code — the label below, and the
+ * readers of a saved record (`rows.ts` · `scriptRowIsWellFormed`,
+ * `attachment.ts` · `recordedScripts`, `match.ts` · `recordedBlocks`), so the
+ * writer never files a row the checkpoint door refuses. A runner that reports
+ * anything else (`1.5`, `NaN`) reported no exit code.
+ */
+const isExitCode = (value) => Number.isInteger(value);
+exports.isExitCode = isExitCode;
+/**
+ * Whether a recorded label and exit code agree, as {@link scriptLabelOf}
+ * writes them: an exit code rides exactly the two labels one proves — `0` on
+ * `completed`, any other on `completed-with-failure` — and no other label.
+ * A record where they disagree holds a value no writer of this library files.
+ */
+function exitCodeFits(label, exitCode) {
+    if (label === 'completed')
+        return exitCode === 0;
+    if (label === 'completed-with-failure')
+        return (0, exports.isExitCode)(exitCode) && exitCode !== 0;
+    return exitCode === undefined;
+}
+exports.exitCodeFits = exitCodeFits;
+/**
+ * The label of one call — execution evidence first, then settlement. `facts`
+ * is ABSENT when the tool filed none (a declared tool that is not
+ * `codeRunnerTool`, or a call that never reached its runner).
+ */
+function scriptLabelOf(input) {
+    const facts = input.facts;
+    if (facts !== undefined) {
+        if ((0, exports.isExitCode)(facts.exitCode)) {
+            return {
+                label: facts.exitCode === 0 ? 'completed' : 'completed-with-failure',
+                exitCode: facts.exitCode,
+            };
+        }
+        if (facts.serviceError === true)
+            return { label: 'outcome-unknown', serviceError: true };
+        if (facts.ok === true)
+            return { label: 'reported-success' };
+        if (facts.ok === false)
+            return { label: 'reported-failure' };
+        // Facts with no outcome in them — the runner reported neither an exit code
+        // nor a verdict — are no execution evidence: the settlement decides below.
+    }
+    switch (input.settlement) {
+        case 'not-entered':
+            return { label: 'submitted' };
+        case 'returned':
+            return { label: 'returned' };
+        case 'threw':
+            return { label: 'outcome-unknown' };
+    }
+}
+exports.scriptLabelOf = scriptLabelOf;
+/**
+ * The label's own words — the one phrase every library sentence about a call's
+ * outcome uses (design § 4.3). `exitCode` is printed only for
+ * `completed-with-failure`, and only the number the record holds.
+ */
+function labelWords(label, exitCode) {
+    switch (label) {
+        case 'submitted':
+            return 'submitted';
+        case 'returned':
+            return 'tool call returned; execution not confirmed';
+        case 'reported-success':
+            return 'runner reported success; no exit code';
+        case 'reported-failure':
+            return 'runner reported failure; no exit code';
+        case 'completed':
+            return 'completed, exit 0';
+        case 'completed-with-failure':
+            return exitCode === undefined
+                ? 'completed with failure'
+                : `completed with failure, exit ${exitCode}`;
+        case 'outcome-unknown':
+            return 'outcome unknown';
+    }
+}
+exports.labelWords = labelWords;
+/** Every label, in the design's order — for a reader that validates one. */
+exports.SCRIPT_LABELS = Object.freeze([
+    'submitted',
+    'returned',
+    'reported-success',
+    'reported-failure',
+    'completed',
+    'completed-with-failure',
+    'outcome-unknown',
+]);
+//# sourceMappingURL=label.js.map

package/dist/core/agent/scripts/label.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"label.js","sourceRoot":"","sources":["../../../../src/core/agent/scripts/label.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;;;AA8BH;;;;;;;;GAQG;AACI,MAAM,UAAU,GAAG,CAAC,KAAc,EAAmB,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAA1E,QAAA,UAAU,cAAgE;AAEvF;;;;;GAKG;AACH,SAAgB,YAAY,CAAC,KAAc,EAAE,QAAiB;IAC5D,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,QAAQ,KAAK,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,wBAAwB;QAAE,OAAO,IAAA,kBAAU,EAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC;IACtF,OAAO,QAAQ,KAAK,SAAS,CAAC;AAChC,CAAC;AAJD,oCAIC;AAED;;;;GAIG;AACH,SAAgB,aAAa,CAAC,KAG7B;IACC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,IAAA,kBAAU,EAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/B,OAAO;gBACL,KAAK,EAAE,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,wBAAwB;gBACpE,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QACzF,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC;QAC5D,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC;QAC7D,2EAA2E;QAC3E,2EAA2E;IAC7E,CAAC;IACD,QAAQ,KAAK,CAAC,UAAU,EAAE,CAAC;QACzB,KAAK,aAAa;YAChB,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QAChC,KAAK,UAAU;YACb,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;QAC/B,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AA1BD,sCA0BC;AAED;;;;GAIG;AACH,SAAgB,UAAU,CAAC,KAAkB,EAAE,QAAiB;IAC9D,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,6CAA6C,CAAC;QACvD,KAAK,kBAAkB;YACrB,OAAO,uCAAuC,CAAC;QACjD,KAAK,kBAAkB;YACrB,OAAO,uCAAuC,CAAC;QACjD,KAAK,WAAW;YACd,OAAO,mBAAmB,CAAC;QAC7B,KAAK,wBAAwB;YAC3B,OAAO,QAAQ,KAAK,SAAS;gBAC3B,CAAC,CAAC,wBAAwB;gBAC1B,CAAC,CAAC,gCAAgC,QAAQ,EAAE,CAAC;QACjD,KAAK,iBAAiB;YACpB,OAAO,iBAAiB,CAAC;IAC7B,CAAC;AACH,CAAC;AAnBD,gCAmBC;AAED,4EAA4E;AAC/D,QAAA,aAAa,GAA2B,MAAM,CAAC,MAAM,CAAC;IACjE,WAAW;IACX,UAAU;IACV,kBAAkB;IAClB,kBAAkB;IAClB,WAAW;IACX,wBAAwB;IACxB,iBAAiB;CAClB,CAAC,CAAC"}

package/dist/core/agent/scripts/match.js

@@ -0,0 +1,233 @@
+"use strict";
+/**
+ * scripts/match — is a fenced block the program ONE call of this turn
+ * submitted? Identity against the record, never evidence for a value.
+ *
+ * Pattern: pure function over the answer and this turn's rows.
+ * Role:    core/ layer. Asked inside the ONE judge closure the Route decider
+ *          builds (`stages/route.ts` · `judgeEvidence`, through `judge.ts`),
+ *          before the names-and-numbers extractor reads the text — so the
+ *          draft and the delivered candidate are read alike. Only under
+ *          `.namesAndNumbersFromEvidence({ code: 'match' })`.
+ * Emits:   N/A.
+ *
+ * ## The match rule: exact, after removing only the wrapper (design § 5.2)
+ *
+ * A block matches a call only when its content (`../evidence/codeRegions.ts`)
+ * equals the program the call SUBMITTED to the tool, byte for byte. Nothing is
+ * transformed: no trailing-space strip, no line-ending rewrite, no Unicode
+ * normalization, no shape, no edit distance — each can change a literal and so
+ * the program (`print(len("""A  \nB"""))` prints 5, its copy without the two
+ * spaces 3; `"é"` written with a combining mark is one more character than its
+ * NFC form). The strings are compared as they hold the text (UTF-16 code
+ * units): for well-formed text that is UTF-8 byte equality, and for a lone
+ * surrogate it is stricter, the safe direction.
+ *
+ * - Against the rows of the CURRENT TURN only; earlier turns are counted
+ *   (`earlierTurnRows`), never compared, and a miss says "no submission of
+ *   this turn", never "no submission".
+ * - A block over `MAX_SCRIPT_BYTES` is `over-size`: no row keeps a program
+ *   that long, so it is never compared.
+ * - Two calls that submitted byte-identical programs: the block names the
+ *   LATEST, counts the rest (`alsoMatches`) and carries its label.
+ * - No nearest submission is ever named: a near match is a different program.
+ *
+ * WHAT A MATCH YIELDS. The block is script content: it is cut out of the text
+ * the extractor reads, so it yields no value candidates — and it grounds
+ * nothing: the evidence corpus is untouched, so a value in the prose that also
+ * sits in the script still needs a result. A MISS stays in the text and is
+ * checked as prose, exactly as today.
+ *
+ * COST. One linear scan of the answer (`codeRegionsOf`); each of at most
+ * `MAX_CODE_REGIONS` blocks is looked up once among at most `MAX_SCRIPT_ROWS`
+ * programs of at most `MAX_SCRIPT_BYTES` — within the 512 comparisons per
+ * judged answer of design § 4.4. Earlier turns add nothing.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.recordedBlocks = exports.blockVerdictOf = exports.UNMATCHED_REASONS = exports.copyScriptsVerdict = exports.readShownScripts = void 0;
+const codeRegions_js_1 = require("../evidence/codeRegions.js");
+const utf8_js_1 = require("../../../lib/utf8.js");
+const label_js_1 = require("./label.js");
+const rows_js_1 = require("./rows.js");
+/** The text with `cut` regions removed, whole lines each (fence lines included). */
+function without(text, cut) {
+    if (cut.length === 0)
+        return text;
+    const parts = [];
+    let from = 0;
+    for (const region of cut) {
+        parts.push(text.slice(from, region.start));
+        from = region.end;
+    }
+    parts.push(text.slice(from));
+    return parts.join('');
+}
+/** Whether a block's content is over the per-script bound — never compared then. */
+function overSize(content) {
+    // Every UTF-16 unit is at least one UTF-8 byte: a long string is over at once.
+    return content.length > rows_js_1.MAX_SCRIPT_BYTES || (0, utf8_js_1.utf8Length)(content) > rows_js_1.MAX_SCRIPT_BYTES;
+}
+/**
+ * Read `answer`'s fenced blocks against this turn's submissions. Pure; the
+ * rows are `rows.ts` · `scriptRowsOfTurn`'s reading (last row per call).
+ */
+function readShownScripts(answer, turn, scriptsDropped) {
+    const { regions, dropped } = (0, codeRegions_js_1.codeRegionsOf)(answer);
+    // The programs this turn submitted, each with every call that submitted it,
+    // in the order the calls were made — the last is "the latest".
+    const byProgram = new Map();
+    for (const row of turn.current) {
+        if (row.text === undefined)
+            continue;
+        const calls = byProgram.get(row.text);
+        if (calls === undefined)
+            byProgram.set(row.text, [row]);
+        else
+            calls.push(row);
+    }
+    const blocks = [];
+    const matched = [];
+    for (const region of regions) {
+        if (overSize(region.content)) {
+            blocks.push({ block: region.block, label: 'unmatched', reason: 'over-size' });
+            continue;
+        }
+        const calls = byProgram.get(region.content);
+        if (calls === undefined) {
+            blocks.push({ block: region.block, label: 'unmatched', reason: 'no-submission-this-turn' });
+            continue;
+        }
+        const latest = calls[calls.length - 1];
+        matched.push(region);
+        blocks.push({
+            block: region.block,
+            label: latest.outcome,
+            ...(latest.exitCode !== undefined && { exitCode: latest.exitCode }),
+            toolCallId: latest.toolCallId,
+            tool: latest.tool,
+            dispatch: latest.dispatch,
+            ...(calls.length > 1 && { alsoMatches: calls.length - 1 }),
+        });
+    }
+    return {
+        prose: without(answer, matched),
+        outsideCode: without(answer, regions),
+        verdict: {
+            blocks,
+            earlierTurnRows: turn.earlier,
+            regionsDropped: dropped,
+            ...(scriptsDropped !== undefined && scriptsDropped > 0 && { scriptsDropped }),
+        },
+    };
+}
+exports.readShownScripts = readShownScripts;
+/**
+ * A verdict as detached plain data — field by field, never a reference into
+ * state (a value read back through a TypedScope is a live view, and an event
+ * payload must be plain data).
+ */
+function copyScriptsVerdict(verdict) {
+    return {
+        blocks: verdict.blocks.map((b) => b.label === 'unmatched'
+            ? { block: b.block, label: 'unmatched', reason: b.reason }
+            : {
+                block: b.block,
+                label: b.label,
+                ...(b.exitCode !== undefined && { exitCode: b.exitCode }),
+                toolCallId: b.toolCallId,
+                tool: b.tool,
+                dispatch: b.dispatch,
+                ...(b.alsoMatches !== undefined && { alsoMatches: b.alsoMatches }),
+            }),
+        earlierTurnRows: verdict.earlierTurnRows,
+        regionsDropped: verdict.regionsDropped,
+        ...(verdict.scriptsDropped !== undefined && { scriptsDropped: verdict.scriptsDropped }),
+    };
+}
+exports.copyScriptsVerdict = copyScriptsVerdict;
+// ─── Reading a record back ────────────────────────────────────────────
+//
+// A saved verdict is JSON a reader is handed, not a value this library holds.
+// ONE rule reads its fields for every reader of the shape — the answer
+// account (`evidence_checked.scripts`) and the checkpoint door's
+// `script-shown` witness row (`assessment/witness.ts`) — and it refuses
+// exactly what no writer of this library files.
+/** Every reason a block can be unmatched for. */
+exports.UNMATCHED_REASONS = Object.freeze([
+    'no-submission-this-turn',
+    'over-size',
+    'kept-out',
+]);
+const isObject = (value) => value !== null && typeof value === 'object' && !Array.isArray(value);
+const isPositive = (value) => typeof value === 'number' && Number.isInteger(value) && value >= 1;
+/**
+ * One block verdict's fields, checked as {@link readShownScripts} writes them
+ * — a fresh copy, or `undefined` when any field is one no writer of this
+ * library files: a position or a dispatch that is not a whole number from 1,
+ * a label outside the vocabulary, an exit code its label does not carry
+ * (`label.ts` · `exitCodeFits`), an unmatched block that names a call, a
+ * matched one without its call. Fields beside these (a witness row's `kind`,
+ * `turn`, `iteration`) are not read.
+ */
+function blockVerdictOf(value) {
+    if (!isObject(value))
+        return undefined;
+    const { block, label, reason, toolCallId, tool, dispatch, exitCode, alsoMatches } = value;
+    if (!isPositive(block))
+        return undefined;
+    if (label === 'unmatched') {
+        const named = toolCallId !== undefined ||
+            tool !== undefined ||
+            dispatch !== undefined ||
+            exitCode !== undefined ||
+            alsoMatches !== undefined;
+        if (named || !exports.UNMATCHED_REASONS.includes(reason))
+            return undefined;
+        return { block, label: 'unmatched', reason: reason };
+    }
+    if (reason !== undefined || !label_js_1.SCRIPT_LABELS.includes(label)) {
+        return undefined;
+    }
+    if (!(0, label_js_1.exitCodeFits)(label, exitCode))
+        return undefined;
+    if (typeof toolCallId !== 'string' || typeof tool !== 'string')
+        return undefined;
+    if (!isPositive(dispatch))
+        return undefined;
+    if (alsoMatches !== undefined && !isPositive(alsoMatches))
+        return undefined;
+    return {
+        block,
+        label: label,
+        ...(exitCode !== undefined && { exitCode: exitCode }),
+        toolCallId,
+        tool,
+        dispatch,
+        ...(alsoMatches !== undefined && { alsoMatches }),
+    };
+}
+exports.blockVerdictOf = blockVerdictOf;
+/**
+ * A saved `evidence_checked.scripts` — THE reader of the shape for a reader
+ * of a record. `undefined` when the event carries no scripts arm. Bounded by
+ * the writer's cap: no reader iterates more verdicts than a writer files.
+ */
+function recordedBlocks(value) {
+    if (value === undefined)
+        return undefined;
+    if (!isObject(value) || !Array.isArray(value.blocks))
+        return { blocks: [], unread: 1 };
+    const all = value.blocks;
+    const blocks = [];
+    let unread = Math.max(0, all.length - codeRegions_js_1.MAX_CODE_REGIONS);
+    for (let index = 0; index < Math.min(all.length, codeRegions_js_1.MAX_CODE_REGIONS); index++) {
+        const verdict = blockVerdictOf(all[index]);
+        if (verdict === undefined)
+            unread += 1;
+        else
+            blocks.push({ index, verdict });
+    }
+    return { blocks, unread };
+}
+exports.recordedBlocks = recordedBlocks;
+//# sourceMappingURL=match.js.map

package/dist/core/agent/scripts/match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"match.js","sourceRoot":"","sources":["../../../../src/core/agent/scripts/match.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;;;AAEH,+DAA8F;AAC9F,kDAAkD;AAClD,yCAAyD;AACzD,uCAA+D;AAkB/D,oFAAoF;AACpF,SAAS,OAAO,CAAC,IAAY,EAAE,GAA0B;IACvD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;IACpB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7B,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,oFAAoF;AACpF,SAAS,QAAQ,CAAC,OAAe;IAC/B,+EAA+E;IAC/E,OAAO,OAAO,CAAC,MAAM,GAAG,0BAAgB,IAAI,IAAA,oBAAU,EAAC,OAAO,CAAC,GAAG,0BAAgB,CAAC;AACrF,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAC9B,MAAc,EACd,IAAiB,EACjB,cAAuB;IAEvB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,IAAA,8BAAa,EAAC,MAAM,CAAC,CAAC;IACnD,4EAA4E;IAC5E,+DAA+D;IAC/D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;YACnD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;YAC5F,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAc,CAAC;QACpD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,KAAK,EAAE,MAAM,CAAC,OAAO;YACrB,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;YACnE,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;SAC3D,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC;QAC/B,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC;QACrC,OAAO,EAAE;YACP,MAAM;YACN,eAAe,EAAE,IAAI,CAAC,OAAO;YAC7B,cAAc,EAAE,OAAO;YACvB,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,cAAc,GAAG,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC;SAC9E;KACF,CAAC;AACJ,CAAC;AAjDD,4CAiDC;AAED;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,OAAuB;IACxD,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/B,CAAC,CAAC,KAAK,KAAK,WAAW;YACrB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,WAAoB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;YACnE,CAAC,CAAC;gBACE,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACzD,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;aACnE,CACN;QACD,eAAe,EAAE,OAAO,CAAC,eAAe;QACxC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,GAAG,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC;KACxF,CAAC;AACJ,CAAC;AAnBD,gDAmBC;AAED,yEAAyE;AACzE,EAAE;AACF,8EAA8E;AAC9E,uEAAuE;AACvE,iEAAiE;AACjE,wEAAwE;AACxE,gDAAgD;AAEhD,iDAAiD;AACpC,QAAA,iBAAiB,GAA+B,MAAM,CAAC,MAAM,CAAC;IACzE,yBAAyB;IACzB,WAAW;IACX,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CAAC,KAAc,EAA8C,EAAE,CAC9E,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,MAAM,UAAU,GAAG,CAAC,KAAc,EAAmB,EAAE,CACrD,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAErE;;;;;;;;GAQG;AACH,SAAgB,cAAc,CAAC,KAAc;IAC3C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC1F,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GACT,UAAU,KAAK,SAAS;YACxB,IAAI,KAAK,SAAS;YAClB,QAAQ,KAAK,SAAS;YACtB,QAAQ,KAAK,SAAS;YACtB,WAAW,KAAK,SAAS,CAAC;QAC5B,IAAI,KAAK,IAAI,CAAE,yBAAwC,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3F,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,MAAyB,EAAE,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAE,wBAAoC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,IAAA,uBAAY,EAAC,KAAK,EAAE,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,OAAO;QACL,KAAK;QACL,KAAK,EAAE,KAAoB;QAC3B,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,QAAkB,EAAE,CAAC;QAC/D,UAAU;QACV,IAAI;QACJ,QAAQ;QACR,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC;KAClD,CAAC;AACJ,CAAC;AA9BD,wCA8BC;AAoBD;;;;GAIG;AACH,SAAgB,cAAc,CAAC,KAAc;IAC3C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACvF,MAAM,GAAG,GAAuB,KAAK,CAAC,MAAM,CAAC;IAC7C,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,iCAAgB,CAAC,CAAC;IACxD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,iCAAgB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,CAAC,CAAC;;YAClC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAZD,wCAYC"}

package/dist/core/agent/scripts/recovery.js

@@ -0,0 +1,81 @@
+"use strict";
+/**
+ * scripts/recovery — the one clause the evidence revision request gains under
+ * `code: 'match'`: keep the script, fix the values.
+ *
+ * Pattern: Lens — a library sentence about a FINISHED call, composed from the
+ *          match's verdict, in the past tense, naming no tool as where to go
+ *          next (`core/agent/README.md`, the correction law). Request-only:
+ *          it rides the internal recovery instruction (`../evidence/recovery.ts`
+ *          · `buildEvidenceRecovery`), never history.
+ * Role:    core/ layer. Composed by the Route decider, which holds this turn's
+ *          rows, and carried to the recheck stage on `evidenceUnsupported`.
+ * Emits:   N/A.
+ *
+ * Two clauses, chosen by what the verdict holds (design § 7):
+ *
+ * - a block that matched no submission, and a flagged value that sat only in
+ *   such a block — its contents were checked as prose: keep a script, show it
+ *   exactly as submitted, or say the code shown is not the one submitted, and
+ *   fix the values in the prose;
+ * - a block that matched a call, with values flagged in the prose — the
+ *   script was not checked: keep it; the listed values were in the prose.
+ *
+ * The parenthesis carries the call's ACTUAL label in its words
+ * (`label.ts` · `labelWords`) — never a fixed "executed", never an exit
+ * number the record does not hold.
+ *
+ * WHAT IT CANNOT DO, stated: deleting an unmatched block removes its
+ * candidates and the `script-unmatched` reason, so a draft without the script
+ * can pass the check. No sentence makes a model keep a script; mandatory
+ * display comes from `.scriptTravelsWithTheAnswer()`, which needs no
+ * cooperation from the model.
+ *
+ * @example
+ * ```ts
+ * scriptRecoveryClause({ blocks: [{ block: 1, label: 'completed-with-failure', exitCode: 7,
+ *   toolCallId: 'c1', tool: 'run_code' }], earlierTurnRows: 0, regionsDropped: 0 },
+ *   [{ value: '1200', shape: 'number', region: 'prose' }], ['run_code']);
+ * // 'The script shown is the one submitted to `run_code` on call c1 (completed with failure,
+ * //  exit 7) and was not checked. Keep it. The listed values were in the prose around it.'
+ * ```
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.scriptRecoveryClause = void 0;
+const label_js_1 = require("./label.js");
+/** `run_code`, `` `a` or `b` `` — the tools named, quoted. */
+function toolsNamed(tools) {
+    const quoted = tools.map((t) => `\`${t}\``);
+    if (quoted.length === 0)
+        return 'a code-running tool';
+    if (quoted.length === 1)
+        return quoted[0];
+    return `${quoted.slice(0, -1).join(', ')} or ${quoted[quoted.length - 1]}`;
+}
+/**
+ * The clause(s) for one rejected draft — `''` when the verdict calls for
+ * none (no fenced block, or no flagged value the blocks bear on).
+ * `toolsThisTurn` names the code-running tools this turn's calls submitted
+ * to, in first-call order.
+ */
+function scriptRecoveryClause(scripts, unsupported, toolsThisTurn) {
+    const clauses = [];
+    const unmatched = scripts.blocks.some((b) => b.label === 'unmatched');
+    if (unmatched && unsupported.some((v) => v.region === 'code')) {
+        clauses.push(`The fenced code in the rejected draft matched no submission to ${toolsNamed(toolsThisTurn)} recorded this turn, so its contents were checked as prose. Keep a script in the ` +
+            'answer: show the program exactly as it was submitted on that call, byte for byte, or ' +
+            'say that the code shown is not the one that was submitted. Fix the values in the prose.');
+    }
+    const matched = scripts.blocks.flatMap((b) => (b.label === 'unmatched' ? [] : [b]));
+    if (matched.length > 0 && unsupported.some((v) => v.region === 'prose')) {
+        const calls = matched.map((b) => `to \`${b.tool}\` on call ${b.toolCallId} (${(0, label_js_1.labelWords)(b.label, b.exitCode)})`);
+        clauses.push(matched.length === 1
+            ? `The script shown is the one submitted ${calls[0]} and was not checked. Keep it. The ` +
+                'listed values were in the prose around it.'
+            : `The scripts shown are the ones submitted ${calls.join(' and ')} and were not checked. ` +
+                'Keep them. The listed values were in the prose around them.');
+    }
+    return clauses.join(' ');
+}
+exports.scriptRecoveryClause = scriptRecoveryClause;
+//# sourceMappingURL=recovery.js.map

package/dist/core/agent/scripts/recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../../../../src/core/agent/scripts/recovery.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;;;AAEH,yCAAwC;AAQxC,8DAA8D;AAC9D,SAAS,UAAU,CAAC,KAAwB;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,qBAAqB,CAAC;IACtD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAW,CAAC;IACpD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,OAAuB,EACvB,WAAoC,EACpC,aAAgC;IAEhC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC;IACtE,IAAI,SAAS,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,IAAI,CACV,kEAAkE,UAAU,CAC1E,aAAa,CACd,mFAAmF;YAClF,uFAAuF;YACvF,yFAAyF,CAC5F,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CACvB,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,UAAU,KAAK,IAAA,qBAAU,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CACvF,CAAC;QACF,OAAO,CAAC,IAAI,CACV,OAAO,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,CAAC,yCAAyC,KAAK,CAAC,CAAC,CAAC,qCAAqC;gBACpF,4CAA4C;YAChD,CAAC,CAAC,4CAA4C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB;gBACtF,6DAA6D,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AA9BD,oDA8BC"}