agentfootprint 12.2.0 → 13.0.0

package/dist/esm/core/agent/evidence/codeRegions.d.ts

@@ -0,0 +1,130 @@
+/**
+ * codeRegions — the fenced code blocks of an answer, read by one linear pass,
+ * closed where a CommonMark renderer closes them.
+ *
+ * Pattern: pure leaf. Imports nothing — it does not know the gate exists. The
+ *          one reader of "which bytes of this answer sit inside a fenced
+ *          block", asked by the script match (`../scripts/match.ts`) under
+ *          `.namesAndNumbersFromEvidence({ code: 'match' })`. Under the
+ *          default `code: 'check'` it is never called.
+ * Role:    core/ layer (the evidence gate's folder), no state, no events.
+ *
+ * ## Why it must agree with the renderer
+ *
+ * A region that matches a submission is exempt from the evidence check. If
+ * this reader saw a block where a renderer shows prose, a model could submit a
+ * program holding a sentence, show it fenced so that the sentence renders
+ * outside the block, and the sentence would never be checked. So the reader
+ * closes a block exactly where CommonMark closes it. Where a renderer could
+ * pair fences another way, it stops reading blocks altogether.
+ *
+ * ## The grammar (design: docs/design/2026-10-script-artifact.md § 5.1–5.2, aligned with CommonMark)
+ *
+ * The answer is read line by line. A line ends at an LF, a CR or a CRLF, as
+ * CommonMark ends it.
+ *
+ * - An OPENING fence starts at column 0 with three or more backticks, or three
+ *   or more tildes, then an optional info string, and ENDS IN A LINE ENDING.
+ *   A backtick fence's info string may not contain a backtick.
+ * - The CLOSING fence uses the same character and is at least as long. As in
+ *   CommonMark, it may be indented by up to three spaces and is followed only
+ *   by spaces.
+ * - The CONTENT is exactly the bytes between the opening line's line ending
+ *   and the ONE line ending before the closing line: every space, tab, CR and
+ *   code point as written. Before the closing line, an LF is the wrapper's (a
+ *   CR before it is content), and so is a lone CR. A closing fence on the line
+ *   right after the opening one gives an empty block (content `''`).
+ * - A fence that never closes is NOT a region: the text from it to the end is
+ *   prose.
+ * - At most {@link MAX_CODE_REGIONS} regions are read; the rest are prose and
+ *   counted in `dropped`.
+ *
+ * ## Where reading stops (`stoppedAt`)
+ *
+ * The reader models CommonMark's top level only. It does not model list
+ * items, block quotes, HTML blocks or the extensions renderers add. At the
+ * first line where a renderer could pair fences another way, reading STOPS.
+ * No region is read from there on: everything after that point is prose and
+ * checked.
+ *
+ * Outside a block, reading stops at:
+ * - a fence indented by one to three spaces. It is either a list item's fence,
+ *   which the item scopes, or an indented fence, whose content a renderer
+ *   strips (and "as written" and "with the indentation removed" are two
+ *   different programs);
+ * - a line that may start an HTML block (up to three spaces, `<`, then a
+ *   letter, `/`, `!` or `?`). Inside an HTML block, a fence is not a fence;
+ * - a line opening display math (`$$`), the block extension chat renderers
+ *   commonly add. Inside display math, a fence is not a fence;
+ * - a byte-order mark at the very start, which some renderers drop and some
+ *   keep.
+ *
+ * Inside a block, reading stops at:
+ * - a closing run followed by a TAB. CommonMark 0.30 closes the block there
+ *   and 0.29 does not, so the block is read (it is code either way) and
+ *   reading stops after it;
+ * - a run of the block's own fence character, anywhere in its content, as long
+ *   as its opening fence. A renderer laxer than CommonMark could close the
+ *   block there, so the block is prose and reading stops at its opening line.
+ *   The library's own wrapper never writes such a block
+ *   (`../scripts/wrapper.ts` · `fenceFor`: the longest run + 1).
+ *
+ * Nothing here normalizes anything: no trimming, no line-ending rewrite, no
+ * Unicode normalization. A region is the program a reader would copy.
+ *
+ * ## Linear by construction
+ *
+ * The text is model output, so the pass is linear in it (the
+ * `lib/linearText.ts` law, pinned by `test/security/linear-scanners.test.ts`).
+ * Each line is read ONCE, character by character, from where the last one
+ * ended: its indentation, its fence run, the rest of it and its line ending.
+ * No regular expression runs over the answer.
+ *
+ * @example
+ * ```ts
+ * const { regions } = codeRegionsOf('Total:\n```python\nprint(1)\n```\nDone.');
+ * regions[0].content; // 'print(1)'
+ * regions[0].block;   // 1
+ * codeRegionsOf('```\na\n  ```\nRevenue was 4321.').regions[0].content; // 'a'
+ * ```
+ */
+/** Regions read per answer; the rest are prose and counted (`dropped`). Design § 4.4. */
+export declare const MAX_CODE_REGIONS = 32;
+/** One fenced block, as the answer wrote it. */
+export interface CodeRegion {
+    /** 1-based position among the regions READ, in answer order. */
+    readonly block: number;
+    /** Index of the opening fence line's first character. */
+    readonly start: number;
+    /** Index just past the closing fence line (past its line ending when it has one). */
+    readonly end: number;
+    /** The bytes between the wrapper's two line endings — the program as written. */
+    readonly content: string;
+    /** The opening line's info string, as written (spaces excluded at the ends). */
+    readonly info: string;
+}
+/** Every region of one answer, and how many more there were. */
+export interface CodeRegions {
+    readonly regions: readonly CodeRegion[];
+    /** Regions past {@link MAX_CODE_REGIONS}: read as prose, never matched. */
+    readonly dropped: number;
+    /**
+     * Where reading stopped, when it did: the index of the first character no
+     * region is read from. Everything from here on is prose. Absent when the
+     * whole answer was read.
+     */
+    readonly stoppedAt?: number;
+    /**
+     * The opening run of a fence still open at the END (`'```'`, `'~~~~'`) —
+     * the block a renderer is still inside there. The fence is prose for the
+     * match; a writer that appends after this text closes it first
+     * (`../scripts/attachment.ts` · `attachmentBoundary`). Never set with
+     * `stoppedAt`: after a stop the reader does not know what is open.
+     */
+    readonly openFence?: string;
+}
+/**
+ * The fenced code regions of `text`, in order, how many past the cap, and where
+ * reading stopped. Pure and linear; `max` defaults to {@link MAX_CODE_REGIONS}.
+ */
+export declare function codeRegionsOf(text: string, max?: number): CodeRegions;

package/dist/esm/core/agent/evidence/codeRegions.js

@@ -0,0 +1,275 @@
+/**
+ * codeRegions — the fenced code blocks of an answer, read by one linear pass,
+ * closed where a CommonMark renderer closes them.
+ *
+ * Pattern: pure leaf. Imports nothing — it does not know the gate exists. The
+ *          one reader of "which bytes of this answer sit inside a fenced
+ *          block", asked by the script match (`../scripts/match.ts`) under
+ *          `.namesAndNumbersFromEvidence({ code: 'match' })`. Under the
+ *          default `code: 'check'` it is never called.
+ * Role:    core/ layer (the evidence gate's folder), no state, no events.
+ *
+ * ## Why it must agree with the renderer
+ *
+ * A region that matches a submission is exempt from the evidence check. If
+ * this reader saw a block where a renderer shows prose, a model could submit a
+ * program holding a sentence, show it fenced so that the sentence renders
+ * outside the block, and the sentence would never be checked. So the reader
+ * closes a block exactly where CommonMark closes it. Where a renderer could
+ * pair fences another way, it stops reading blocks altogether.
+ *
+ * ## The grammar (design: docs/design/2026-10-script-artifact.md § 5.1–5.2, aligned with CommonMark)
+ *
+ * The answer is read line by line. A line ends at an LF, a CR or a CRLF, as
+ * CommonMark ends it.
+ *
+ * - An OPENING fence starts at column 0 with three or more backticks, or three
+ *   or more tildes, then an optional info string, and ENDS IN A LINE ENDING.
+ *   A backtick fence's info string may not contain a backtick.
+ * - The CLOSING fence uses the same character and is at least as long. As in
+ *   CommonMark, it may be indented by up to three spaces and is followed only
+ *   by spaces.
+ * - The CONTENT is exactly the bytes between the opening line's line ending
+ *   and the ONE line ending before the closing line: every space, tab, CR and
+ *   code point as written. Before the closing line, an LF is the wrapper's (a
+ *   CR before it is content), and so is a lone CR. A closing fence on the line
+ *   right after the opening one gives an empty block (content `''`).
+ * - A fence that never closes is NOT a region: the text from it to the end is
+ *   prose.
+ * - At most {@link MAX_CODE_REGIONS} regions are read; the rest are prose and
+ *   counted in `dropped`.
+ *
+ * ## Where reading stops (`stoppedAt`)
+ *
+ * The reader models CommonMark's top level only. It does not model list
+ * items, block quotes, HTML blocks or the extensions renderers add. At the
+ * first line where a renderer could pair fences another way, reading STOPS.
+ * No region is read from there on: everything after that point is prose and
+ * checked.
+ *
+ * Outside a block, reading stops at:
+ * - a fence indented by one to three spaces. It is either a list item's fence,
+ *   which the item scopes, or an indented fence, whose content a renderer
+ *   strips (and "as written" and "with the indentation removed" are two
+ *   different programs);
+ * - a line that may start an HTML block (up to three spaces, `<`, then a
+ *   letter, `/`, `!` or `?`). Inside an HTML block, a fence is not a fence;
+ * - a line opening display math (`$$`), the block extension chat renderers
+ *   commonly add. Inside display math, a fence is not a fence;
+ * - a byte-order mark at the very start, which some renderers drop and some
+ *   keep.
+ *
+ * Inside a block, reading stops at:
+ * - a closing run followed by a TAB. CommonMark 0.30 closes the block there
+ *   and 0.29 does not, so the block is read (it is code either way) and
+ *   reading stops after it;
+ * - a run of the block's own fence character, anywhere in its content, as long
+ *   as its opening fence. A renderer laxer than CommonMark could close the
+ *   block there, so the block is prose and reading stops at its opening line.
+ *   The library's own wrapper never writes such a block
+ *   (`../scripts/wrapper.ts` · `fenceFor`: the longest run + 1).
+ *
+ * Nothing here normalizes anything: no trimming, no line-ending rewrite, no
+ * Unicode normalization. A region is the program a reader would copy.
+ *
+ * ## Linear by construction
+ *
+ * The text is model output, so the pass is linear in it (the
+ * `lib/linearText.ts` law, pinned by `test/security/linear-scanners.test.ts`).
+ * Each line is read ONCE, character by character, from where the last one
+ * ended: its indentation, its fence run, the rest of it and its line ending.
+ * No regular expression runs over the answer.
+ *
+ * @example
+ * ```ts
+ * const { regions } = codeRegionsOf('Total:\n```python\nprint(1)\n```\nDone.');
+ * regions[0].content; // 'print(1)'
+ * regions[0].block;   // 1
+ * codeRegionsOf('```\na\n  ```\nRevenue was 4321.').regions[0].content; // 'a'
+ * ```
+ */
+/** Regions read per answer; the rest are prose and counted (`dropped`). Design § 4.4. */
+export const MAX_CODE_REGIONS = 32;
+const BACKTICK = 0x60;
+const TILDE = 0x7e;
+const SPACE = 0x20;
+const TAB = 0x09;
+const CR = 0x0d;
+const LF = 0x0a;
+const LESS_THAN = 0x3c;
+const DOLLAR = 0x24;
+const BYTE_ORDER_MARK = 0xfeff;
+/**
+ * Read the line starting at `start`, each character once. `watch` is the fence
+ * character of the block that is open (0 when none): the longest run of it on
+ * the line is counted.
+ */
+function readLine(text, start, watch) {
+    const length = text.length;
+    let i = start;
+    let c = i < length ? text.charCodeAt(i) : -1;
+    while (c === SPACE)
+        c = ++i < length ? text.charCodeAt(i) : -1;
+    const indent = i - start;
+    const first = c === CR || c === LF ? -1 : c;
+    let char = 0;
+    let run = 0;
+    let current = 0;
+    let longest = 0;
+    if (c === BACKTICK || c === TILDE) {
+        char = c;
+        while (c === char) {
+            run += 1;
+            c = ++i < length ? text.charCodeAt(i) : -1;
+        }
+        if (watch !== 0 && char === watch)
+            longest = current = run;
+    }
+    let restSpaces = true;
+    let restBlank = true;
+    let restBacktick = false;
+    let infoFrom = -1;
+    let infoTo = i;
+    while (c !== -1 && c !== CR && c !== LF) {
+        if (c !== SPACE) {
+            restSpaces = false;
+            if (c !== TAB)
+                restBlank = false;
+            if (infoFrom === -1)
+                infoFrom = i;
+            infoTo = i + 1;
+        }
+        if (c === BACKTICK)
+            restBacktick = true;
+        if (watch !== 0 && c === watch) {
+            current += 1;
+            if (current > longest)
+                longest = current;
+        }
+        else {
+            current = 0;
+        }
+        c = ++i < length ? text.charCodeAt(i) : -1;
+    }
+    const end = i;
+    let next = end;
+    if (c === CR) {
+        next = end + 1;
+        if (next < length && text.charCodeAt(next) === LF)
+            next += 1;
+    }
+    else if (c === LF) {
+        next = end + 1;
+    }
+    return {
+        end,
+        next,
+        terminated: next > end,
+        indent,
+        first,
+        char,
+        run,
+        restSpaces,
+        restBlank,
+        restBacktick,
+        infoFrom: infoFrom === -1 ? infoTo : infoFrom,
+        infoTo,
+        longest,
+    };
+}
+/**
+ * Whether a line outside any block could be read by a renderer as something
+ * that pairs fences another way: an indented fence, an HTML block's start, or
+ * display math.
+ */
+function unsettles(text, lineStart, line) {
+    if (line.indent > 3)
+        return false;
+    if (line.run >= 3)
+        return line.indent > 0;
+    if (line.first !== LESS_THAN && line.first !== DOLLAR)
+        return false;
+    const second = text.charCodeAt(lineStart + line.indent + 1);
+    if (line.first === LESS_THAN) {
+        // A letter (an open tag), `/` (a closing tag), `!` (a comment, a
+        // declaration, CDATA) or `?` (a processing instruction).
+        const lower = second | 0x20;
+        return ((lower >= 0x61 && lower <= 0x7a) || second === 0x2f || second === 0x21 || second === 0x3f);
+    }
+    return second === DOLLAR;
+}
+/**
+ * The fenced code regions of `text`, in order, how many past the cap, and where
+ * reading stopped. Pure and linear; `max` defaults to {@link MAX_CODE_REGIONS}.
+ */
+export function codeRegionsOf(text, max = MAX_CODE_REGIONS) {
+    const regions = [];
+    let dropped = 0;
+    if (text.length > 0 && text.charCodeAt(0) === BYTE_ORDER_MARK) {
+        return { regions, dropped, stoppedAt: 0 };
+    }
+    let open;
+    // The longest run of the open block's fence character in its content so far.
+    let longest = 0;
+    let lineStart = 0;
+    while (lineStart < text.length) {
+        const line = readLine(text, lineStart, open?.char ?? 0);
+        if (open === undefined) {
+            if (line.indent === 0 &&
+                line.run >= 3 &&
+                line.terminated &&
+                !(line.char === BACKTICK && line.restBacktick)) {
+                open = {
+                    start: lineStart,
+                    contentStart: line.next,
+                    char: line.char,
+                    length: line.run,
+                    info: text.slice(line.infoFrom, line.infoTo),
+                };
+                longest = 0;
+            }
+            else if (unsettles(text, lineStart, line)) {
+                return { regions, dropped, stoppedAt: lineStart };
+            }
+        }
+        else if (line.indent <= 3 &&
+            line.char === open.char &&
+            line.run >= open.length &&
+            line.restBlank) {
+            // A laxer renderer could have closed the block inside its content.
+            if (longest >= open.length)
+                return { regions, dropped, stoppedAt: open.start };
+            if (regions.length < max) {
+                // The ONE line ending before the closing line is the wrapper's: its
+                // last character (the LF of an LF or a CRLF, or a lone CR). A closing
+                // line right after the opening one leaves an empty block.
+                const contentEnd = Math.max(open.contentStart, lineStart - 1);
+                regions.push({
+                    block: regions.length + 1,
+                    start: open.start,
+                    end: line.next,
+                    content: text.slice(open.contentStart, contentEnd),
+                    info: open.info,
+                });
+            }
+            else {
+                dropped += 1;
+            }
+            open = undefined;
+            // A tab after the run: CommonMark versions disagree on what follows.
+            if (!line.restSpaces)
+                return { regions, dropped, stoppedAt: line.next };
+        }
+        else if (line.longest > longest) {
+            longest = line.longest;
+        }
+        lineStart = line.next;
+    }
+    // A fence still open here never closed: prose to the end, not a region —
+    // and the block a renderer is still inside, for a writer appending after.
+    if (open !== undefined) {
+        return { regions, dropped, openFence: String.fromCharCode(open.char).repeat(open.length) };
+    }
+    return { regions, dropped };
+}
+//# sourceMappingURL=codeRegions.js.map

package/dist/esm/core/agent/evidence/codeRegions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codeRegions.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/codeRegions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyFG;AAEH,yFAAyF;AACzF,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAqCnC,MAAM,QAAQ,GAAG,IAAI,CAAC;AACtB,MAAM,KAAK,GAAG,IAAI,CAAC;AACnB,MAAM,KAAK,GAAG,IAAI,CAAC;AACnB,MAAM,GAAG,GAAG,IAAI,CAAC;AACjB,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,SAAS,GAAG,IAAI,CAAC;AACvB,MAAM,MAAM,GAAG,IAAI,CAAC;AACpB,MAAM,eAAe,GAAG,MAAM,CAAC;AA+B/B;;;;GAIG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAa,EAAE,KAAa;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,OAAO,CAAC,KAAK,KAAK;QAAE,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,CAAC;QACT,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YAClB,GAAG,IAAI,CAAC,CAAC;YACT,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,GAAG,OAAO,GAAG,GAAG,CAAC;IAC7D,CAAC;IACD,IAAI,UAAU,GAAG,IAAI,CAAC;IACtB,IAAI,SAAS,GAAG,IAAI,CAAC;IACrB,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAChB,UAAU,GAAG,KAAK,CAAC;YACnB,IAAI,CAAC,KAAK,GAAG;gBAAE,SAAS,GAAG,KAAK,CAAC;YACjC,IAAI,QAAQ,KAAK,CAAC,CAAC;gBAAE,QAAQ,GAAG,CAAC,CAAC;YAClC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,KAAK,QAAQ;YAAE,YAAY,GAAG,IAAI,CAAC;QACxC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,CAAC;YACb,IAAI,OAAO,GAAG,OAAO;gBAAE,OAAO,GAAG,OAAO,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,CAAC;QACd,CAAC;QACD,CAAC,GAAG,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC;IACd,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACb,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC;QACf,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE;YAAE,IAAI,IAAI,CAAC,CAAC;IAC/D,CAAC;SAAM,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACpB,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,OAAO;QACL,GAAG;QACH,IAAI;QACJ,UAAU,EAAE,IAAI,GAAG,GAAG;QACtB,MAAM;QACN,KAAK;QACL,IAAI;QACJ,GAAG;QACH,UAAU;QACV,SAAS;QACT,YAAY;QACZ,QAAQ,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;QAC7C,MAAM;QACN,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,IAAY,EAAE,SAAiB,EAAE,IAAU;IAC5D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAClC,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACpE,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7B,iEAAiE;QACjE,yDAAyD;QACzD,MAAM,KAAK,GAAG,MAAM,GAAG,IAAI,CAAC;QAC5B,OAAO,CACL,CAAC,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,KAAK,MAAM,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,MAAc,gBAAgB;IACxE,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,eAAe,EAAE,CAAC;QAC9D,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,IAQS,CAAC;IACd,6EAA6E;IAC7E,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,OAAO,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IACE,IAAI,CAAC,MAAM,KAAK,CAAC;gBACjB,IAAI,CAAC,GAAG,IAAI,CAAC;gBACb,IAAI,CAAC,UAAU;gBACf,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,YAAY,CAAC,EAC9C,CAAC;gBACD,IAAI,GAAG;oBACL,KAAK,EAAE,SAAS;oBAChB,YAAY,EAAE,IAAI,CAAC,IAAI;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,IAAI,CAAC,GAAG;oBAChB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;iBAC7C,CAAC;gBACF,OAAO,GAAG,CAAC,CAAC;YACd,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC5C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;YACpD,CAAC;QACH,CAAC;aAAM,IACL,IAAI,CAAC,MAAM,IAAI,CAAC;YAChB,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YACvB,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM;YACvB,IAAI,CAAC,SAAS,EACd,CAAC;YACD,mEAAmE;YACnE,IAAI,OAAO,IAAI,IAAI,CAAC,MAAM;gBAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/E,IAAI,OAAO,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;gBACzB,oEAAoE;gBACpE,sEAAsE;gBACtE,0DAA0D;gBAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC;gBAC9D,OAAO,CAAC,IAAI,CAAC;oBACX,KAAK,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;oBACzB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,GAAG,EAAE,IAAI,CAAC,IAAI;oBACd,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,UAAU,CAAC;oBAClD,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAI,CAAC,CAAC;YACf,CAAC;YACD,IAAI,GAAG,SAAS,CAAC;YACjB,qEAAqE;YACrE,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1E,CAAC;aAAM,IAAI,IAAI,CAAC,OAAO,GAAG,OAAO,EAAE,CAAC;YAClC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QACzB,CAAC;QACD,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC9B,CAAC"}

package/dist/esm/core/agent/evidence/gate.d.ts

@@ -66,6 +66,9 @@ import type { FigureCheck } from './figures.js';
 import type { EvidencePosture, EvidenceVerdict, NamesAndNumbersOptions, ResolvedEvidenceGate, UnsupportedValue } from './types.js';
 export { EVIDENCE_CHECK_FRAME_PREFIX };
 export { MAX_REPORTED_VALUES };
+/** Clip a value for display without letting it pretend to be complete — the
+ *  spelling every verdict reports a value under (`UnsupportedValue.value`). */
+export declare function clip(v: string): string;
 /**
  * Validate the caller's options once, at build time, into the config the chart
  * carries. Refusals name the option and the fix — nothing here is discovered

package/dist/esm/core/agent/evidence/gate.js

@@ -74,8 +74,9 @@ export { EVIDENCE_CHECK_FRAME_PREFIX };
 export { MAX_REPORTED_VALUES };
 /** Longest a single value is quoted at. */
 const MAX_VALUE_CHARS = 64;
-/** Clip a value for display without letting it pretend to be complete. */
-function clip(v) {
+/** Clip a value for display without letting it pretend to be complete — the
+ *  spelling every verdict reports a value under (`UnsupportedValue.value`). */
+export function clip(v) {
     return v.length <= MAX_VALUE_CHARS ? v : `${v.slice(0, MAX_VALUE_CHARS - 1)}…`;
 }
 /**
@@ -113,6 +114,14 @@ export function resolveEvidenceGate(opts = {}) {
             `whether it is a rounding, sum, ratio or unit conversion of the numbers one did; ` +
             `absent or \`false\` is the gate as it was.`);
     }
+    const code = opts.code ?? 'check';
+    if (code !== 'check' && code !== 'match') {
+        throw new Error(`AgentBuilder.namesAndNumbersFromEvidence: code '${String(opts.code)}' is not a mode ` +
+            "this library has. Use 'check' (the default — a fenced block is read as prose, as " +
+            "always) or 'match' (a fenced block that equals a program this turn's code-running " +
+            'calls submitted is script content; any other block stays prose). There is no ' +
+            "'skip': exempting every fence would exempt any claim typed inside one.");
+    }
     const decimalRounding = opts.decimalRounding ?? false;
     if (typeof decimalRounding !== 'boolean') {
         throw new Error('AgentBuilder.namesAndNumbersFromEvidence: decimalRounding must be a boolean. ' +
@@ -164,6 +173,7 @@ export function resolveEvidenceGate(opts = {}) {
         nudge,
         figures,
         ...(decimalRounding && { decimalRounding: true }),
+        ...(code === 'match' && { code: 'match' }),
         ...(opts.recoveryInstruction !== undefined && {
             recoveryInstruction: opts.recoveryInstruction,
         }),

package/dist/esm/core/agent/evidence/gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAE5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAYxE,MAAM,QAAQ,GAA+B,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE1E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B,2CAA2C;AAC3C,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,0EAA0E;AAC1E,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,GAAG,CAAC,CAAC,GAAG,CAAC;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA+B,EAAE;IACnE,2BAA2B,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,sDAAsD,MAAM,CAAC,OAAO,CAAC,qBAAqB;YACxF,oFAAoF;YACpF,oFAAoF;YACpF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,WAAW,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,uDAAuD;YACxF,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,0EAA0E;YACxE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,+DAA+D;YACpF,sFAAsF;YACtF,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC;IACtC,IAAI,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,4EAA4E;YAC1E,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,uDAAuD;YAC9E,iFAAiF;YACjF,kFAAkF;YAClF,4CAA4C,CAC/C,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,KAAK,CAAC;IACtD,IAAI,OAAO,eAAe,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,+EAA+E;YAC7E,mFAAmF;YACnF,gEAAgE,CACnE,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,wFAAwF;gBACtF,kFAAkF;gBAClF,4EAA4E,CAC/E,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,wEAAwE,IAAI,WAAW;gBACrF,6EAA6E,CAChF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,YAAY,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,oDAAoD,IAAI,6BAA6B,CACtF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,YAAY,MAAM;YAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;aACrD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,sEAAsE;YACtE,gDAAgD;YAChD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC;gBAAE,IAAI,IAAI,KAAK,EAAE;oBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,oFAAoF,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,MAAM;QACN,YAAY;QACZ,cAAc;QACd,SAAS;QACT,KAAK;QACL,OAAO;QACP,GAAG,CAAC,eAAe,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QACjD,GAAG,CAAC,IAAI,CAAC,mBAAmB,KAAK,SAAS,IAAI;YAC5C,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;SAC9C,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,EAAU;IACxB,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,IAyBC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE;QAC5C,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO;QAC9B,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;QACjC,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,IAAI;KAC3B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IACtC,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,eAAmC,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,uEAAuE;QACvE,uEAAuE;QACvE,sEAAsE;QACtE,yEAAyE;QACzE,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACpD,oEAAoE;QACpE,wEAAwE;QACxE,wEAAwE;QACxE,kCAAkC;QAClC,IAAI,IAAwB,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,IAAI,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC;QAC7E,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,kEAAkE;YAClE,gEAAgE;YAChE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;gBACvE,SAAS;YACX,CAAC;YACD,6DAA6D;YAC7D,sEAAsE;YACtE,MAAM,GAAG,GACP,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,IAAI,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS;gBAC3E,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;oBACjB,IAAI,CAAC,OAAO,KAAK,SAAS;oBAC1B,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC;oBAChE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3E,SAAS;QACX,CAAC;QACD,wEAAwE;QACxE,+CAA+C;QAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACjD,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YACtC,YAAY,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,cAAc,IAAI,CAAC,CAAC;QACpB,IAAI,eAAe,KAAK,SAAS,IAAI,IAAI,GAAG,eAAe;YAAE,eAAe,GAAG,IAAI,CAAC;IACtF,CAAC;IACD,OAAO;QACL,WAAW;QACX,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,qEAAqE;QACrE,qFAAqF;QACrF,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QACjF,QAAQ;QACR,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QAC9C,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC/C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;QAC1C,yEAAyE;QACzE,2BAA2B;QAC3B,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,SAAS,EAAE;YACT,YAAY;YACZ,cAAc;YACd,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,eAAe,EAAE,CAAC;YACzD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW;YACtC,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB;YACtD,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;SACxC;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,cAAc,CAAC,MAAmC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1C,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/D,CAAC;AAED,4CAA4C;AAC5C,yGAAyG;AACzG,mFAAmF;AACnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,MAAmC,EACnC,UAA4B;IAE5B,MAAM,KAAK,GACT,GAAG,2BAA2B,2DAA2D;QACzF,0FAA0F;QAC1F,4FAA4F;QAC5F,cAAc;QACd,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC;QACtE,6EAA6E;QAC7E,4FAA4F;QAC5F,2FAA2F;QAC3F,oBAAoB,CAAC;IACvB,OAAO;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE;QAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAmC,EACnC,OAAwB,EACxB,OAAgB;AAChB;2DAC2D;AAC3D,OAAiB;IAEjB,MAAM,IAAI,GACR,OAAO,KAAK,OAAO;QACjB,CAAC,CAAC,kDAAkD,MAAM,CAAC,MAAM,wDAAwD;QACzH,CAAC,CAAC,uCAAuC,MAAM,CAAC,MAAM,uDAAuD,CAAC;IAClH,OAAO,CACL,GAAG,IAAI,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI;QACvC,CAAC,OAAO,CAAC,CAAC,CAAC,2EAA2E,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;YACnF,CAAC,CAAC,qFAAqF;gBACrF,sFAAsF;gBACtF,8BAA8B;YAChC,CAAC,CAAC,EAAE,CAAC;QACP,sFAAsF;QACtF,4FAA4F;QAC5F,2FAA2F;QAC3F,uFAAuF;QACvF,4FAA4F;QAC5F,yFAAyF;QACzF,4DAA4D,CAC7D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAE5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1D,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAYxE,MAAM,QAAQ,GAA+B,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAE1E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAEvC,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAE/B,2CAA2C;AAC3C,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B;+EAC+E;AAC/E,MAAM,UAAU,IAAI,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,GAAG,CAAC,CAAC,GAAG,CAAC;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA+B,EAAE;IACnE,2BAA2B,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,sDAAsD,MAAM,CAAC,OAAO,CAAC,qBAAqB;YACxF,oFAAoF;YACpF,oFAAoF;YACpF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,WAAW,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,uDAAuD;YACxF,0FAA0F,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,0EAA0E;YACxE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,+DAA+D;YACpF,sFAAsF;YACtF,0BAA0B,CAC7B,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC;IACtC,IAAI,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,4EAA4E;YAC1E,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,uDAAuD;YAC9E,iFAAiF;YACjF,kFAAkF;YAClF,4CAA4C,CAC/C,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC;IAClC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,mDAAmD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB;YACpF,mFAAmF;YACnF,oFAAoF;YACpF,+EAA+E;YAC/E,wEAAwE,CAC3E,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,KAAK,CAAC;IACtD,IAAI,OAAO,eAAe,KAAK,SAAS,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,+EAA+E;YAC7E,mFAAmF;YACnF,gEAAgE,CACnE,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,wFAAwF;gBACtF,kFAAkF;gBAClF,4EAA4E,CAC/E,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CACb,wEAAwE,IAAI,WAAW;gBACrF,6EAA6E,CAChF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,YAAY,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,oDAAoD,IAAI,6BAA6B,CACtF,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,YAAY,MAAM;YAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;aACrD,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAChC,sEAAsE;YACtE,gDAAgD;YAChD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC;gBAAE,IAAI,IAAI,KAAK,EAAE;oBAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CACb,oFAAoF,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,MAAM;QACN,YAAY;QACZ,cAAc;QACd,SAAS;QACT,KAAK;QACL,OAAO;QACP,GAAG,CAAC,eAAe,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QACjD,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,IAAI,EAAE,OAAgB,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,mBAAmB,KAAK,SAAS,IAAI;YAC5C,mBAAmB,EAAE,IAAI,CAAC,mBAAmB;SAC9C,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,EAAU;IACxB,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,IAyBC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE;QAC5C,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO;QAC9B,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;QACjC,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK,IAAI;KAC3B,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IACtC,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,eAAmC,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,uEAAuE;QACvE,uEAAuE;QACvE,sEAAsE;QACtE,yEAAyE;QACzE,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QACpD,oEAAoE;QACpE,wEAAwE;QACxE,wEAAwE;QACxE,kCAAkC;QAClC,IAAI,IAAwB,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,IAAI,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC;QAC7E,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,kEAAkE;YAClE,gEAAgE;YAChE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;gBACrD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;gBACvE,SAAS;YACX,CAAC;YACD,6DAA6D;YAC7D,sEAAsE;YACtE,MAAM,GAAG,GACP,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,IAAI,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS;gBAC3E,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC;gBAC3D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO;oBACjB,IAAI,CAAC,OAAO,KAAK,SAAS;oBAC1B,CAAC,SAAS,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,KAAK,QAAQ,CAAC;oBAChE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC;oBACvC,CAAC,CAAC,SAAS,CAAC;YAChB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;gBAChF,SAAS;YACX,CAAC;YACD,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3E,SAAS;QACX,CAAC;QACD,wEAAwE;QACxE,+CAA+C;QAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACjD,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;YACtC,YAAY,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,cAAc,IAAI,CAAC,CAAC;QACpB,IAAI,eAAe,KAAK,SAAS,IAAI,IAAI,GAAG,eAAe;YAAE,eAAe,GAAG,IAAI,CAAC;IACtF,CAAC;IACD,OAAO;QACL,WAAW;QACX,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,qEAAqE;QACrE,qFAAqF;QACrF,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QACjF,QAAQ;QACR,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QAC9C,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC/C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;QAC1C,yEAAyE;QACzE,2BAA2B;QAC3B,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,SAAS,EAAE;YACT,YAAY;YACZ,cAAc;YACd,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,eAAe,EAAE,CAAC;YACzD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,WAAW;YACtC,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB;YACtD,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;SACxC;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,cAAc,CAAC,MAAmC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1C,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/D,CAAC;AAED,4CAA4C;AAC5C,yGAAyG;AACzG,mFAAmF;AACnF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,uBAAuB,CACrC,YAAoB,EACpB,MAAmC,EACnC,UAA4B;IAE5B,MAAM,KAAK,GACT,GAAG,2BAA2B,2DAA2D;QACzF,0FAA0F;QAC1F,4FAA4F;QAC5F,cAAc;QACd,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC;QACtE,6EAA6E;QAC7E,4FAA4F;QAC5F,2FAA2F;QAC3F,oBAAoB,CAAC;IACvB,OAAO;QACL,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE;QAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,OAAO,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE;KACnE,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAmC,EACnC,OAAwB,EACxB,OAAgB;AAChB;2DAC2D;AAC3D,OAAiB;IAEjB,MAAM,IAAI,GACR,OAAO,KAAK,OAAO;QACjB,CAAC,CAAC,kDAAkD,MAAM,CAAC,MAAM,wDAAwD;QACzH,CAAC,CAAC,uCAAuC,MAAM,CAAC,MAAM,uDAAuD,CAAC;IAClH,OAAO,CACL,GAAG,IAAI,MAAM,cAAc,CAAC,MAAM,CAAC,IAAI;QACvC,CAAC,OAAO,CAAC,CAAC,CAAC,2EAA2E,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;YACnF,CAAC,CAAC,qFAAqF;gBACrF,sFAAsF;gBACtF,8BAA8B;YAChC,CAAC,CAAC,EAAE,CAAC;QACP,sFAAsF;QACtF,4FAA4F;QAC5F,2FAA2F;QAC3F,uFAAuF;QACvF,4FAA4F;QAC5F,yFAAyF;QACzF,4DAA4D,CAC7D,CAAC;AACJ,CAAC"}

package/dist/esm/core/agent/evidence/recovery.d.ts

@@ -17,7 +17,11 @@ export declare function buildEvidenceRecovery(input: {
 }, extra?: EvidenceRecoveryInstruction, staged?: StagedRefsMatch, 
 /** The figures dial's late line (`figures.ts` · `figuresConclusionLine`,
  *  composed by Route, which loaded the module): rides the request LAST. */
-conclusion?: string): PendingEvidenceRecovery;
+conclusion?: string, 
+/** Under `code: 'match'`: the script clause (`scripts/recovery.ts` ·
+ *  `scriptRecoveryClause`, composed by Route) — after "Recovery action:
+ *  replace the rejected draft". Absent or `''` → the bytes it always was. */
+scriptClause?: string): PendingEvidenceRecovery;
 /** The late line, on the iteration its instruction is served — `callLLM` and `servedView` alike. */
 export declare function evidenceConclusionLine(pending: PendingEvidenceRecovery | undefined, used: boolean | undefined, iteration: number): string | undefined;
 /** Shared by live request assembly and servedAt's independent reconstruction. */

package/dist/esm/core/agent/evidence/recovery.js

@@ -24,14 +24,22 @@ function validateGuidance(value) {
 export function buildEvidenceRecovery(input, extra, staged, 
 /** The figures dial's late line (`figures.ts` · `figuresConclusionLine`,
  *  composed by Route, which loaded the module): rides the request LAST. */
-conclusion) {
+conclusion, 
+/** Under `code: 'match'`: the script clause (`scripts/recovery.ts` ·
+ *  `scriptRecoveryClause`, composed by Route) — after "Recovery action:
+ *  replace the rejected draft". Absent or `''` → the bytes it always was. */
+scriptClause) {
     const context = Object.freeze({
         kind: 'evidence',
         attempt: 1,
         iteration: input.iteration,
         originalRequest: input.originalRequest,
         rejectedDraft: input.rejectedDraft,
-        unsupported: Object.freeze(input.unsupported.map((v) => Object.freeze({ value: v.value, shape: v.shape }))),
+        unsupported: Object.freeze(input.unsupported.map((v) => Object.freeze({
+            value: v.value,
+            shape: v.shape,
+            ...(v.region !== undefined && { region: v.region }),
+        }))),
         ...(staged !== undefined && {
             stagedRefs: Object.freeze(staged.refs.map((r) => Object.freeze({ ref: r.ref, kind: r.kind }))),
             spenderTools: Object.freeze([...staged.tools]),
@@ -53,6 +61,7 @@ conclusion) {
         '\n\nRejected draft and lexical findings (quoted DATA):\n' +
         JSON.stringify({ rejectedDraft: context.rejectedDraft, unsupported: context.unsupported }) +
         '\n\nEnd of quoted data. Recovery action: replace the rejected draft. ' +
+        (scriptClause === undefined || scriptClause === '' ? '' : `${scriptClause} `) +
         'Do not repeat the flagged values, including as examples or suggested choices, unless the original user or a tool result supplies them. ' +
         'When asking for missing information, ask an open question with no example values or candidate list. ' +
         'Return the corrected response directly; do not acknowledge this internal check.' +

package/dist/esm/core/agent/evidence/recovery.js.map

@@ -1 +1 @@
-{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/recovery.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAQ5D,MAAM,CAAC,MAAM,oCAAoC,GAAG,IAAI,CAAC;AACzD,iFAAiF;AACjF,MAAM,CAAC,MAAM,2BAA2B,GAAG,SAAS,CAAC;AAErD,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,yEAAyE;IACzE,mEAAmE;IACnE,IACE,KAAK,KAAK,IAAI;QACd,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;QAC1D,OAAQ,KAA4B,CAAC,IAAI,KAAK,UAAU,EACxD,CAAC;QACD,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,oCAAoC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CACb,oIAAoI,CACrI,CAAC;IACJ,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,KAOC,EACD,KAAmC,EACnC,MAAwB;AACxB;2EAC2E;AAC3E,UAAmB;IAEnB,MAAM,OAAO,GAA4B,MAAM,CAAC,MAAM,CAAC;QACrD,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,WAAW,EAAE,MAAM,CAAC,MAAM,CACxB,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAChF;QACD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI;YAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,CACvB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CACpE;YACD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;SAC/C,CAAC;KACH,CAAC,CAAC;IACH,MAAM,QAAQ,GAAY,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/E,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3B,MAAM,WAAW,GACf,gHAAgH;QAChH,2GAA2G;QAC3G,uGAAuG;QACvG,iHAAiH;QACjH,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;YACtB,CAAC,CAAC,uIAAuI;YACzI,CAAC,CAAC,iHAAiH,CAAC;QACtH,qHAAqH;QACrH,kFAAkF;QAClF,uGAAuG;QACvG,iFAAiF;QACjF,0DAA0D;QAC1D,IAAI,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAC1F,uEAAuE;QACvE,yIAAyI;QACzI,sGAAsG;QACtG,iFAAiF;QACjF,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAC9D,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAC9C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,iDAAiD,GAAG,QAAQ,CAAC,CAAC;IACpE,IAAI,WAAW,CAAC,MAAM,GAAG,2BAA2B,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,mHAAmH,CACpH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW;QACX,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC;QAC9B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;KACzE,CAAC;AACJ,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,sBAAsB,CACpC,OAA4C,EAC5C,IAAyB,EACzB,SAAiB;IAEjB,OAAO,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,SAAS;QAClE,CAAC,CAAC,OAAO,EAAE,UAAU;QACrB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CACnC,OAA4C,EAC5C,IAAyB,EACzB,SAAiB;IAEjB,OAAO,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;QAC9E,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,mBAAmB,EAAE;QACzF,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}
+{"version":3,"file":"recovery.js","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/recovery.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAQ5D,MAAM,CAAC,MAAM,oCAAoC,GAAG,IAAI,CAAC;AACzD,iFAAiF;AACjF,MAAM,CAAC,MAAM,2BAA2B,GAAG,SAAS,CAAC;AAErD,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU;QAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,yEAAyE;IACzE,mEAAmE;IACnE,IACE,KAAK,KAAK,IAAI;QACd,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;QAC1D,OAAQ,KAA4B,CAAC,IAAI,KAAK,UAAU,EACxD,CAAC;QACD,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,oCAAoC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CACb,oIAAoI,CACrI,CAAC;IACJ,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,qBAAqB,CACnC,KAOC,EACD,KAAmC,EACnC,MAAwB;AACxB;2EAC2E;AAC3E,UAAmB;AACnB;;6EAE6E;AAC7E,YAAqB;IAErB,MAAM,OAAO,GAA4B,MAAM,CAAC,MAAM,CAAC;QACrD,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,WAAW,EAAE,MAAM,CAAC,MAAM,CACxB,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1B,MAAM,CAAC,MAAM,CAAC;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;SACpD,CAAC,CACH,CACF;QACD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI;YAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,CACvB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CACpE;YACD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;SAC/C,CAAC;KACH,CAAC,CAAC;IACH,MAAM,QAAQ,GAAY,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/E,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3B,MAAM,WAAW,GACf,gHAAgH;QAChH,2GAA2G;QAC3G,uGAAuG;QACvG,iHAAiH;QACjH,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;YACtB,CAAC,CAAC,uIAAuI;YACzI,CAAC,CAAC,iHAAiH,CAAC;QACtH,qHAAqH;QACrH,kFAAkF;QAClF,uGAAuG;QACvG,iFAAiF;QACjF,0DAA0D;QAC1D,IAAI,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAC1F,uEAAuE;QACvE,CAAC,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,CAAC;QAC7E,yIAAyI;QACzI,sGAAsG;QACtG,iFAAiF;QACjF,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QAC9D,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAC9C,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,iDAAiD,GAAG,QAAQ,CAAC,CAAC;IACpE,IAAI,WAAW,CAAC,MAAM,GAAG,2BAA2B,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,mHAAmH,CACpH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,WAAW;QACX,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC;QAC9B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;KACzE,CAAC;AACJ,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,sBAAsB,CACpC,OAA4C,EAC5C,IAAyB,EACzB,SAAiB;IAEjB,OAAO,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,SAAS;QAClE,CAAC,CAAC,OAAO,EAAE,UAAU;QACrB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CACnC,OAA4C,EAC5C,IAAyB,EACzB,SAAiB;IAEjB,OAAO,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;QAC9E,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,mBAAmB,EAAE;QACzF,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC"}

package/dist/esm/core/agent/evidence/types.d.ts

@@ -7,6 +7,7 @@
  * Emits:   N/A.
  */
 import type { AnswerGroundingReading } from '../../../integrity/prior-turn-evidence/check.js';
+import type { ScriptsVerdict } from '../scripts/types.js';
 /**
  * How hard the check pushes back. **Same three words as the skill-graph
  * routing dial, deliberately** — one posture vocabulary across the library —
@@ -160,6 +161,25 @@ export interface NamesAndNumbersOptions {
      * The library's internal framing and validation remain in force. The text
      * is request-only and never becomes evidence, user history or an exemption. */
     readonly recoveryInstruction?: EvidenceRecoveryInstruction;
+    /**
+     * How a fenced code block in a PROSE answer is read. Default `'check'` —
+     * today's behaviour, byte for byte: the whole answer is prose.
+     *
+     * `'match'` — each fenced block (```` ``` ```` or `~~~`, at column 0, closed)
+     * is compared, byte for byte after removing only the Markdown wrapper,
+     * against the programs this TURN's calls of a declared code-running tool
+     * (`Tool.script`, which `codeRunnerTool` declares) submitted to the tool. A
+     * block that matches one is script content: it yields no value to ground
+     * and is labelled with that call's recorded outcome (`completed, exit 0`,
+     * `outcome unknown`, …). A block that matches none stays prose, checked as
+     * today, and is labelled `unmatched`. Code is never evidence: a value in the
+     * prose that also sits in the script still needs a tool result.
+     *
+     * Inline spans, unclosed fences and indented code are prose. A typed answer
+     * is not scanned. There is no `'skip'`: exempting every fence would be an
+     * exemption by formatting. See `core/agent/scripts/README.md`.
+     */
+    readonly code?: 'check' | 'match';
 }
 /**
  * One value a tool result DID carry (9.110.0): the candidate as normalized
@@ -192,6 +212,12 @@ export interface UnsupportedValue {
     /** Which rule made it a candidate: `'identifier'`, `'number'`, or the name
      *  of a declared {@link EvidenceShape}. */
     readonly shape: string;
+    /**
+     * Under `code: 'match'` only: `'code'` when every occurrence of the value is
+     * inside a fenced block that matched no submission (checked as prose all the
+     * same), `'prose'` otherwise. Absent under `'check'`.
+     */
+    readonly region?: 'prose' | 'code';
 }
 /**
  * What the builder resolved once and the chart carries for the whole run.
@@ -217,6 +243,8 @@ export interface ResolvedEvidenceGate {
     /** Present only when true: an absent dial preserves resolved default bytes. */
     readonly decimalRounding?: true;
     readonly recoveryInstruction?: EvidenceRecoveryInstruction;
+    /** Present only for `code: 'match'`: an absent field is `'check'`, byte for byte. */
+    readonly code?: 'match';
     /**
      * Set by the agent, never by `resolveEvidenceGate`: a posture that can
      * revise under an ENFORCING answer validation. The revision and every later
@@ -300,4 +328,11 @@ export interface EvidenceVerdict {
      * no posture changes because of it.
      */
     readonly grounding: AnswerGroundingReading;
+    /**
+     * Under `code: 'match'` on a prose answer: the verdict on each fenced block
+     * (matched → its call's label, or `unmatched` with a reason), the script
+     * rows of earlier turns counted, and blocks past the cap counted. Never the
+     * code. Absent under `'check'` and on a typed answer.
+     */
+    readonly scripts?: ScriptsVerdict;
 }