agentfootprint 12.2.0 → 13.0.0

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

@@ -0,0 +1,131 @@
+/**
+ * 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;
+//# sourceMappingURL=codeRegions.d.ts.map

package/dist/types/core/agent/evidence/codeRegions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codeRegions.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/codeRegions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyFG;AAEH,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,KAAK,CAAC;AAEnC,gDAAgD;AAChD,MAAM,WAAW,UAAU;IACzB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iFAAiF;IACjF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,gEAAgE;AAChE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAoID;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAE,MAAyB,GAAG,WAAW,CA2EvF"}

package/dist/types/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/types/core/agent/evidence/gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,KAAK,EAEV,eAAe,EAEf,eAAe,EAEf,sBAAsB,EACtB,oBAAoB,EACpB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAOpB,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAIvC,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAU/B;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,GAAE,sBAA2B,GAAG,oBAAoB,CAwG3F;AAcD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE;IACJ,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B,GACA,eAAe,CAsFjB;AAED,2EAA2E;AAC3E,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAAG,MAAM,CAK1E;AAKD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,wBAAgB,uBAAuB,CACrC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,SAAS,gBAAgB,EAAE,EACnC,UAAU,CAAC,EAAE,eAAe,GAC3B,SAAS,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAetF;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,gBAAgB,EAAE,EACnC,OAAO,EAAE,eAAe,EACxB,OAAO,EAAE,OAAO;AAChB;2DAC2D;AAC3D,OAAO,CAAC,EAAE,OAAO,GAChB,MAAM,CAqBR"}
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,KAAK,EAEV,eAAe,EAEf,eAAe,EAEf,sBAAsB,EACtB,oBAAoB,EACpB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAOpB,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAIvC,OAAO,EAAE,mBAAmB,EAAE,CAAC;AAK/B;+EAC+E;AAC/E,wBAAgB,IAAI,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAEtC;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,GAAE,sBAA2B,GAAG,oBAAoB,CAoH3F;AAcD;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE;IACJ,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B,GACA,eAAe,CAsFjB;AAED,2EAA2E;AAC3E,wBAAgB,cAAc,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAAG,MAAM,CAK1E;AAKD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,wBAAgB,uBAAuB,CACrC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,SAAS,gBAAgB,EAAE,EACnC,UAAU,CAAC,EAAE,eAAe,GAC3B,SAAS,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAetF;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,gBAAgB,EAAE,EACnC,OAAO,EAAE,eAAe,EACxB,OAAO,EAAE,OAAO;AAChB;2DAC2D;AAC3D,OAAO,CAAC,EAAE,OAAO,GAChB,MAAM,CAqBR"}

package/dist/types/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/types/core/agent/evidence/recovery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"recovery.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/recovery.ts"],"names":[],"mappings":"AAAA;4EAC4E;AAC5E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,EAEV,2BAA2B,EAC3B,uBAAuB,EACvB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,oCAAoC,OAAO,CAAC;AACzD,iFAAiF;AACjF,eAAO,MAAM,2BAA2B,UAAY,CAAC;AAErD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAEhE;AAoBD,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,KAAK,EAAE;IACL,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,EACD,KAAK,CAAC,EAAE,2BAA2B,EACnC,MAAM,CAAC,EAAE,eAAe;AACxB;2EAC2E;AAC3E,UAAU,CAAC,EAAE,MAAM,GAClB,uBAAuB,CAmDzB;AAED,oGAAoG;AACpG,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,uBAAuB,GAAG,SAAS,EAC5C,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB,MAAM,GAAG,SAAS,CAIpB;AAED,iFAAiF;AACjF,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,uBAAuB,GAAG,SAAS,EAC5C,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAA;CAAE,GAAG,SAAS,CAIxF"}
+{"version":3,"file":"recovery.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/recovery.ts"],"names":[],"mappings":"AAAA;4EAC4E;AAC5E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,EAEV,2BAA2B,EAC3B,uBAAuB,EACvB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,oCAAoC,OAAO,CAAC;AACzD,iFAAiF;AACjF,eAAO,MAAM,2BAA2B,UAAY,CAAC;AAErD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAEhE;AAoBD,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,KAAK,EAAE;IACL,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B,EACD,KAAK,CAAC,EAAE,2BAA2B,EACnC,MAAM,CAAC,EAAE,eAAe;AACxB;2EAC2E;AAC3E,UAAU,CAAC,EAAE,MAAM;AACnB;;6EAE6E;AAC7E,YAAY,CAAC,EAAE,MAAM,GACpB,uBAAuB,CA0DzB;AAED,oGAAoG;AACpG,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,uBAAuB,GAAG,SAAS,EAC5C,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB,MAAM,GAAG,SAAS,CAIpB;AAED,iFAAiF;AACjF,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,uBAAuB,GAAG,SAAS,EAC5C,IAAI,EAAE,OAAO,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAA;CAAE,GAAG,SAAS,CAIxF"}

package/dist/types/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,5 +328,12 @@ 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;
 }
 //# sourceMappingURL=types.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AAE9F;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,aAAa;IAC5B;sDACkD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;wEACwE;AACxE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjF,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AAED,6EAA6E;AAC7E,MAAM,MAAM,2BAA2B,GACnC,MAAM,GACN,CAAC,CAAC,OAAO,EAAE,uBAAuB,KAAK,MAAM,GAAG,SAAS,CAAC,CAAC;AAE/D,oDAAoD;AACpD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C;;;;;;;;OAQG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC/C;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC;;;;mFAI+E;IAC/E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,2BAA2B,CAAC;CAC5D;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,kFAAkF;AAClF,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,mBAAmB,GACnB,YAAY,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC/B,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;+CAC2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,uEAAuE;IACvE,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,2BAA2B,CAAC;IAC3D;;;;;;;OAOG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;CACvC;AAED,wCAAwC;AACxC,MAAM,WAAW,eAAe;IAC9B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC9C;;;;;;;OAOG;IACH,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;CAC5C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/evidence/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iDAAiD,CAAC;AAC9F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,aAAa;IAC5B;sDACkD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;wEACwE;AACxE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjF,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3C;AAED,6EAA6E;AAC7E,MAAM,MAAM,2BAA2B,GACnC,MAAM,GACN,CAAC,CAAC,OAAO,EAAE,uBAAuB,KAAK,MAAM,GAAG,SAAS,CAAC,CAAC;AAE/D,oDAAoD;AACpD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,oDAAoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAC;IACnC,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C;;;;;;;;OAQG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC/C;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC;;;;mFAI+E;IAC/E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,2BAA2B,CAAC;IAC3D;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC;CACnC;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,kFAAkF;AAClF,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,mBAAmB,GACnB,YAAY,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC/B,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;+CAC2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,MAAM,CAAC;CACpC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,uEAAuE;IACvE,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,mEAAmE;IACnE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,2BAA2B,CAAC;IAC3D,qFAAqF;IACrF,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB;;;;;;;OAOG;IACH,QAAQ,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;CACvC;AAED,wCAAwC;AACxC,MAAM,WAAW,eAAe;IAC9B,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C;;;;;;;;OAQG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAC9C;;;;;;;OAOG;IACH,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC;IAC3C;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;CACnC"}

package/dist/types/core/agent/findings/types.d.ts

@@ -33,7 +33,8 @@ import type { Assertion } from '../../../integrity/assertion/types.js';
 import type { ArgumentRow } from '../arguments/rows.js';
 import type { DeclaredSource } from '../arguments/sources.js';
 import type { PeriodRow } from '../../../semantics/coverage/period.js';
-import type { GroundedRow, StepsUnfinishedRow } from '../assessment/witness.js';
+import type { GroundedRow, ScriptShownRow, StepsUnfinishedRow } from '../assessment/witness.js';
+import type { ScriptRow } from '../scripts/types.js';
 import type { CallRow, CallWindowRow, ClockOnResumeRow, ClockRow, TimeAnswerRow, SourceClockRow, TimeDerivedRow, TimeReadingRow } from '../../../time/rows.js';
 import type { CoverageItem } from '../../../semantics/coverage/types.js';
 import type { ClaimVerificationRow } from './verificationTypes.js';
@@ -435,7 +436,7 @@ export type NegativeProseFinding = import('../../../integrity/negative-claim/typ
     readonly iteration: number;
     readonly turn?: number;
 };
-export type FindingsRow = import('./refusal.js').ReferenceRefusalRow | NegativeProseFinding | BasisRow | StandingRow | ConflictRow | JudgmentRow | JudgmentErrorRow | ContingentRow | UnsettledByAbsenceRow | ClaimVerificationRow | ArgumentRow | PeriodRow | GroundedRow | StepsUnfinishedRow | ClockRow | ClockOnResumeRow | CallRow | TimeReadingRow | CallWindowRow | TimeAnswerRow | TimeDerivedRow | SourceClockRow;
+export type FindingsRow = import('./refusal.js').ReferenceRefusalRow | NegativeProseFinding | BasisRow | StandingRow | ConflictRow | JudgmentRow | JudgmentErrorRow | ContingentRow | UnsettledByAbsenceRow | ClaimVerificationRow | ArgumentRow | PeriodRow | GroundedRow | StepsUnfinishedRow | ScriptRow | ScriptShownRow | ClockRow | ClockOnResumeRow | CallRow | TimeReadingRow | CallWindowRow | TimeAnswerRow | TimeDerivedRow | SourceClockRow;
 /** The committed key: flat, append-only, a fresh array on every write. */
 export type FindingsLedger = readonly FindingsRow[];
 //# sourceMappingURL=types.d.ts.map

package/dist/types/core/agent/findings/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAChF,OAAO,KAAK,EACV,OAAO,EACP,aAAa,EACb,gBAAgB,EAChB,QAAQ,EACR,aAAa,EACb,cAAc,EACd,cAAc,EACd,cAAc,EACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAEnE,kFAAkF;AAClF,eAAO,MAAM,iBAAiB,aAAuB,CAAC;AACtD,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,aAAuB,CAAC;AAExD,2EAA2E;AAC3E,MAAM,MAAM,KAAK,GAAG,QAAQ,GAAG,aAAa,CAAC;AAC7C,gFAAgF;AAChF,MAAM,MAAM,MAAM,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;AAC/C,yFAAyF;AACzF,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,WAAW,CAAC;AAE/D,wEAAwE;AACxE,eAAO,MAAM,YAAY,EAAE,SAAS,KAAK,EAA6C,CAAC;AACvF,eAAO,MAAM,aAAa,EAAE,SAAS,MAAM,EAA6C,CAAC;AACzF,eAAO,MAAM,eAAe,EAAE,SAAS,QAAQ,EAK7C,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC,2FAA2F;AAC3F,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,+DAA+D;AAC/D,MAAM,WAAW,gBAAgB;IAC/B,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,sDAAsD;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,8FAA8F;IAC9F,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,oCAAoC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED,6EAA6E;AAC7E,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,QAAQ,CAAC;AAEpE,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,6FAA6F;AAC7F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,2FAA2F;IAC3F,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,OAAO,CAAC;AAEvC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,wFAAwF;IACxF,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAE1C,uFAAuF;AACvF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,4FAA4F;IAC5F,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9C,2FAA2F;IAC3F,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;8EAC8E;AAC9E,MAAM,MAAM,oBAAoB,GAAG,OAAO,4CAA4C,EAAE,QAAQ,GAAG;IACjG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB,OAAO,cAAc,EAAE,mBAAmB,GAC1C,oBAAoB,GACpB,QAAQ,GACR,WAAW,GACX,WAAW,GACX,WAAW,GACX,gBAAgB,GAChB,aAAa,GACb,qBAAqB,GAGrB,oBAAoB,GAIpB,WAAW,GAGX,SAAS,GAKT,WAAW,GACX,kBAAkB,GAWlB,QAAQ,GACR,gBAAgB,GAChB,OAAO,GACP,cAAc,GACd,aAAa,GACb,aAAa,GACb,cAAc,GACd,cAAc,CAAC;AAEnB,0EAA0E;AAC1E,MAAM,MAAM,cAAc,GAAG,SAAS,WAAW,EAAE,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAChG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EACV,OAAO,EACP,aAAa,EACb,gBAAgB,EAChB,QAAQ,EACR,aAAa,EACb,cAAc,EACd,cAAc,EACd,cAAc,EACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AACzE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAEnE,kFAAkF;AAClF,eAAO,MAAM,iBAAiB,aAAuB,CAAC;AACtD,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,aAAuB,CAAC;AAExD,2EAA2E;AAC3E,MAAM,MAAM,KAAK,GAAG,QAAQ,GAAG,aAAa,CAAC;AAC7C,gFAAgF;AAChF,MAAM,MAAM,MAAM,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;AAC/C,yFAAyF;AACzF,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,WAAW,CAAC;AAE/D,wEAAwE;AACxE,eAAO,MAAM,YAAY,EAAE,SAAS,KAAK,EAA6C,CAAC;AACvF,eAAO,MAAM,aAAa,EAAE,SAAS,MAAM,EAA6C,CAAC;AACzF,eAAO,MAAM,eAAe,EAAE,SAAS,QAAQ,EAK7C,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC,2FAA2F;AAC3F,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,+DAA+D;AAC/D,MAAM,WAAW,gBAAgB;IAC/B,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,sDAAsD;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,8FAA8F;IAC9F,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,oCAAoC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,uDAAuD;IACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC3C;AAED,6EAA6E;AAC7E,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAAG,QAAQ,CAAC;AAEpE,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,6FAA6F;AAC7F,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,2FAA2F;IAC3F,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,OAAO,CAAC;AAEvC;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,mGAAmG;IACnG,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,0FAA0F;IAC1F,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACjF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,wFAAwF;IACxF,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAE1C,uFAAuF;AACvF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,4FAA4F;IAC5F,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,yEAAyE;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC9C,2FAA2F;IAC3F,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/C;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,2DAA2D;IAC3D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;8EAC8E;AAC9E,MAAM,MAAM,oBAAoB,GAAG,OAAO,4CAA4C,EAAE,QAAQ,GAAG;IACjG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB,OAAO,cAAc,EAAE,mBAAmB,GAC1C,oBAAoB,GACpB,QAAQ,GACR,WAAW,GACX,WAAW,GACX,WAAW,GACX,gBAAgB,GAChB,aAAa,GACb,qBAAqB,GAGrB,oBAAoB,GAIpB,WAAW,GAGX,SAAS,GAKT,WAAW,GACX,kBAAkB,GAMlB,SAAS,GACT,cAAc,GAWd,QAAQ,GACR,gBAAgB,GAChB,OAAO,GACP,cAAc,GACd,aAAa,GACb,aAAa,GACb,cAAc,GACd,cAAc,CAAC;AAEnB,0EAA0E;AAC1E,MAAM,MAAM,cAAc,GAAG,SAAS,WAAW,EAAE,CAAC"}

package/dist/types/core/agent/scripts/attachment.d.ts

@@ -0,0 +1,180 @@
+/**
+ * scripts/attachment — `.scriptTravelsWithTheAnswer()`: the recorded program
+ * itself, under the answer, labelled from the execution record.
+ *
+ * Pattern: composed by the FRAMEWORK, never requested from the model (the
+ *          `.limitsTravelWithTheAnswer()` precedent, `semantics/coverage/
+ *          answer.ts`). Pure: rows in, data and text out.
+ * Role:    core/ layer. Read by the final branch (`stages/prepareFinal.ts`):
+ *          the data rides `turn_end.scripts` on every answer under the arm;
+ *          the text is appended to a PROSE answer through the one composer
+ *          (`composeAnswerWithCoverage`), after the standing line and the
+ *          limits block. A typed answer gets the data only — its bytes are
+ *          never edited.
+ * Emits:   N/A.
+ *
+ * ## Why the library attaches it
+ *
+ * An app's rule "always show the script" is a rule the model can break, and
+ * the cheapest revision that passes a names-and-numbers check is to delete
+ * the script. The attachment needs no cooperation from the model: the program
+ * comes from the record (the row's `text` — what was SUBMITTED to the tool),
+ * so there is nothing to retype and nothing to check. When the model also
+ * showed a matched copy, the attachment is still appended: the model's copy
+ * never decides whether the authoritative one is delivered.
+ *
+ * ## What is attached (design § 4.1, § 4.4)
+ *
+ * - `which: 'last'` (default): the last call of the turn that REACHED the tool
+ *   (its label is not `submitted`); `'all'`: every such call, at most
+ *   {@link MAX_ATTACHED_SCRIPTS}, the rest counted in `omitted`.
+ * - `maxBytes` (default 4,000 UTF-8 bytes) bounds each program shown, cut at a
+ *   code-point boundary; a cut says so — `[incomplete: showing N of M bytes —
+ *   not the whole program]` and `truncated.shownBytes` — and is never
+ *   advertised as a complete, reproducible program.
+ * - A program over `MAX_SCRIPT_BYTES` has no text on its row: it is counted in
+ *   `omitted` and the text says "one script of N bytes is over the bound and
+ *   is not shown". Calls past `MAX_SCRIPT_ROWS` have no row: counted too.
+ *
+ * Every line is library-authored and past tense, names the CALL (never a
+ * destination), and uses the label's words (`label.ts` · `labelWords`).
+ *
+ * @example
+ * ```ts
+ * const data = scriptsOfAnswer(scriptRowsOfTurn(ledger, turn).current, { which: 'last', maxBytes: 4000 });
+ * scriptsBlock(data);
+ * // Script submitted to run_code on call c1 — completed, exit 0. Attached by the library from the run record:
+ * //
+ * // ```python
+ * // print(41 + 1)
+ * // ```
+ * ```
+ */
+import type { ResolvedScriptTravel, ScriptLabel, ScriptRow, ScriptTravelOptions, ShownScript, TurnEndScripts } from './types.js';
+/** Scripts attached under `which: 'all'`; the rest are counted (`omitted`). Design § 4.1. */
+export declare const MAX_ATTACHED_SCRIPTS = 8;
+/** Default UTF-8 bytes of each program shown. Design § 4.1. */
+export declare const DEFAULT_ATTACHED_BYTES = 4000;
+/**
+ * Check `.scriptTravelsWithTheAnswer()`'s options once, at the call site, into
+ * the arm the chart carries. Refusals name the option and the fix.
+ */
+export declare function resolveScriptTravel(opts?: ScriptTravelOptions): ResolvedScriptTravel;
+/**
+ * What travels with this turn's answer — the data form (`turn_end.scripts`).
+ * `rows` is this turn's reading (`rows.ts` · `scriptRowsOfTurn`); fresh plain
+ * objects, never a reference into the ledger.
+ */
+export declare function scriptsOfAnswer(rows: readonly ScriptRow[], travel: ResolvedScriptTravel, scriptsDropped?: number): TurnEndScripts & {
+    readonly overSize: readonly ScriptRow[];
+};
+/** The label line of one attached script — library words, past tense, the call named. */
+export declare function scriptLabelLine(script: ShownScript): string;
+/** The line that stands for a script whose program is kept out of the text (`withheldFromText`). */
+export declare function scriptWithheldLine(script: ShownScript): string;
+/** One attached script as text: its label line, then the program in the library's fence. */
+export declare function shownScriptBlock(script: ShownScript): string;
+/**
+ * What the text BEFORE the attachment leaves open, as a CommonMark renderer
+ * reads it — the rendering boundary (finding: a model answer that ends inside
+ * an unfinished fence would take the library's programs in, and a fence line
+ * inside a program would then close it, leaving the rest as prose).
+ *
+ * - `clean`: nothing the attachment could fall into.
+ * - `closed`: a fence is still open; the attachment begins by closing it
+ *   (`fence`, the same character and length).
+ * - `unsettled`: the reader stopped (an indented fence, raw HTML, display
+ *   math — `../evidence/codeRegions.ts`), so nothing says what a program would
+ *   render inside. The programs stay out of the text; the data keeps them.
+ *
+ * `before` is exactly the text the attachment follows — the composer's
+ * (`semantics/coverage/answer.ts` · `composeAnswerWithCoverage`). Read with a
+ * line ending after it, as it is composed: an opening fence on its last line
+ * opens there.
+ */
+export type AttachmentBoundary = {
+    readonly kind: 'clean';
+} | {
+    readonly kind: 'closed';
+    readonly fence: string;
+} | {
+    readonly kind: 'unsettled';
+};
+/** The boundary after `before` (see {@link AttachmentBoundary}). */
+export declare function attachmentBoundary(before: string): AttachmentBoundary;
+export type RecordedBoundary = {
+    readonly kind: 'clean';
+} | {
+    readonly kind: 'closed';
+    readonly char: 'backtick' | 'tilde';
+    readonly length: number;
+} | {
+    readonly kind: 'unsettled';
+};
+/**
+ * The boundary to rebuild a recorded text behind — `undefined` when its fence
+ * is longer than `within`, the text it would have to be found in: the one
+ * repetition a reader makes is bounded by what it reads.
+ */
+export declare function rebuildBoundary(recorded: RecordedBoundary, within: number): AttachmentBoundary | undefined;
+/** The label an attached script can carry: a call that never reached the tool is never attached (`reached`). */
+export type AttachedLabel = Exclude<ScriptLabel, 'submitted'>;
+/** An attached script as a reader gets it back: its label, by type, one an attached script can carry. */
+export type RecordedScript = ShownScript & {
+    readonly label: AttachedLabel;
+};
+/** One attached script read back, at its position in the record's `shown`. */
+export interface RecordedShown {
+    readonly index: number;
+    readonly script: RecordedScript;
+}
+/** A saved `turn_end.scripts`, read back. */
+export interface RecordedScripts {
+    /** The entries a writer of this library files, at their record position. */
+    readonly shown: readonly RecordedShown[];
+    /**
+     * What no writer files, counted once each: an entry that does not read
+     * back, every entry past `MAX_ATTACHED_SCRIPTS` (the writer attaches no
+     * more), an `omitted` that is not a whole number, a boundary
+     * ({@link RecordedBoundary}) that is not one a writer states, or a
+     * `scripts` value that is not `{ shown: [...] }`. Zero means every field
+     * was read back — only then can the attached text be rebuilt.
+     */
+    readonly unread: number;
+    /** `omitted`, when the record's is a whole number. */
+    readonly omitted?: number;
+    /** The rendering boundary, when the record's is one a writer states. */
+    readonly boundary?: RecordedBoundary;
+}
+/**
+ * A saved `turn_end.scripts` — THE reader of the shape for a reader of a
+ * record. `undefined` when the event carries no scripts arm. `within` is the
+ * length of the answer the block was appended to (a fence longer than it is
+ * refused). Bounded by the writer's cap: no reader iterates more entries
+ * than a writer attaches.
+ */
+export declare function recordedScripts(value: unknown, within?: number): RecordedScripts | undefined;
+/**
+ * The text form: one block per attached script, then one line per omission —
+ * `''` when nothing travels (the composer then appends nothing). Every cut and
+ * every omission is stated. Behind a `closed` boundary the block opens with
+ * the closing fence; behind an `unsettled` one each script is its label line
+ * alone (`scriptWithheldLine`) — the programs ride the data only.
+ */
+export declare function scriptsBlock(scripts: TurnEndScripts & {
+    readonly overSize?: readonly ScriptRow[];
+}, boundary?: AttachmentBoundary): string;
+/**
+ * The text form behind the boundary the text before it leaves — `''` when
+ * nothing travels (no boundary is then taken). The second value is the
+ * boundary the text was written behind: what `turn_end.scripts` records.
+ */
+export declare function scriptsBlockAfter(scripts: TurnEndScripts & {
+    readonly overSize?: readonly ScriptRow[];
+}, before: string): {
+    readonly text: string;
+    readonly boundary: AttachmentBoundary;
+};
+/** The data form as detached plain data — what `turn_end.scripts` carries. */
+export declare function turnEndScriptsOf(scripts: TurnEndScripts, boundary?: AttachmentBoundary): TurnEndScripts;
+//# sourceMappingURL=attachment.d.ts.map

package/dist/types/core/agent/scripts/attachment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/scripts/attachment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAOH,OAAO,KAAK,EACV,oBAAoB,EACpB,WAAW,EACX,SAAS,EACT,mBAAmB,EACnB,WAAW,EACX,cAAc,EACf,MAAM,YAAY,CAAC;AAGpB,6FAA6F;AAC7F,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,+DAA+D;AAC/D,eAAO,MAAM,sBAAsB,OAAQ,CAAC;AAI5C;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,GAAE,mBAAwB,GAAG,oBAAoB,CA4BxF;AAyBD;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,SAAS,SAAS,EAAE,EAC1B,MAAM,EAAE,oBAAoB,EAC5B,cAAc,SAAI,GACjB,cAAc,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAiB9D;AAgBD,yFAAyF;AACzF,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAE3D;AAED,oGAAoG;AACpG,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAK9D;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAO5D;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAInC,oEAAoE;AACpE,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,CAMrE;AAUD,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AA8BnC;;;;GAIG;AACH,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,GACb,kBAAkB,GAAG,SAAS,CAIhC;AAED,gHAAgH;AAChH,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;AAE9D,yGAAyG;AACzG,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAAE,CAAC;AAmD7E,8EAA8E;AAC9E,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AAED,6CAA6C;AAC7C,MAAM,WAAW,eAAe;IAC9B,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CACtC;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,EACd,MAAM,GAAE,MAAgC,GACvC,eAAe,GAAG,SAAS,CAqB7B;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,cAAc,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,EACtE,QAAQ,GAAE,kBAA0B,GACnC,MAAM,CAuBR;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,cAAc,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,EACtE,MAAM,EAAE,MAAM,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAA;CAAE,CAIlE;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,cAAc,EACvB,QAAQ,GAAE,kBAA0B,GACnC,cAAc,CAehB"}

package/dist/types/core/agent/scripts/inert.d.ts

@@ -0,0 +1,39 @@
+/**
+ * scripts/inert — a dynamic value (a tool's name, a provider's call id) written
+ * into a library line as an inline code span that cannot leave its line.
+ *
+ * Pattern: pure leaf.
+ * Role:    core/ layer leaf, asked by the attachment's lines (`attachment.ts`)
+ *          for every name and id they print.
+ * Emits:   N/A.
+ *
+ * THE RULE. A provider may hand the library any string as a call id: line
+ * breaks, a sentence, a fence. Interpolated as it is, a blank line in an id ends
+ * the library's label paragraph, and the rest of the id renders as a paragraph
+ * of its own — text nobody checked, under the answer, in the library's voice.
+ * So a value is written as inline code:
+ *
+ * - every character that can end a line, turn the line's direction or hide
+ *   (C0 and C1 controls, DEL, U+2028 and U+2029, format characters such as a
+ *   bidi override or a zero-width joiner, a lone surrogate) is written as
+ *   `\u{…}`, its code point in hex;
+ * - at most {@link MAX_INERT_POINTS} code points are written, then `…`;
+ * - the delimiter is one backtick longer than the longest run inside, with a
+ *   space at either end when the value begins or ends with a backtick or a
+ *   space (CommonMark's code-span rule), so nothing inside can close it.
+ *
+ * Inside a code span nothing is Markdown: no emphasis, no link, no HTML, no
+ * line ending. The value is shown, never interpreted.
+ *
+ * @example
+ * ```ts
+ * inertCode('c1');                         // '`c1`'
+ * inertCode('c1\n\nRevenue was 98765.');   // '`c1\u{a}\u{a}Revenue was 98765.`'
+ * inertCode('a`b');                        // '``a`b``'
+ * ```
+ */
+/** Code points of a value written; the rest is `…`. */
+export declare const MAX_INERT_POINTS = 64;
+/** `value` as an inline code span that stays on its line. */
+export declare function inertCode(value: string): string;
+//# sourceMappingURL=inert.d.ts.map

package/dist/types/core/agent/scripts/inert.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inert.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/scripts/inert.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,uDAAuD;AACvD,eAAO,MAAM,gBAAgB,KAAK,CAAC;AA2BnC,6DAA6D;AAC7D,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAiB/C"}

package/dist/types/core/agent/scripts/judge.d.ts

@@ -0,0 +1,37 @@
+/**
+ * scripts/judge — the evidence gate's ONE judge, with the script match in
+ * front of it.
+ *
+ * Pattern: Decorator over the judge closure `stages/route.ts` ·
+ *          `judgeEvidence` builds (the gate bound to this run's evidence).
+ * Role:    core/ layer. Built only under `.namesAndNumbersFromEvidence({
+ *          code: 'match' })`, on a prose answer (a typed answer is read as
+ *          today — design § 12). The same decorated closure judges the draft
+ *          and, for `.answerValidation()`, the delivered candidate.
+ * Emits:   N/A — the Route decider emits `evidence_checked`, now carrying
+ *          `scripts` and each unsupported value's `region`.
+ *
+ * What it adds, and nothing else: the matched blocks are cut out of the text
+ * the gate reads (`match.ts`), the verdict carries `scripts`, and each
+ * unsupported value says where it sat — `'code'` when every occurrence of it
+ * is inside an unmatched block, `'prose'` otherwise. The corpus and the
+ * exempt corpus are untouched: a matched script grounds nothing.
+ */
+import type { EvidenceVerdict } from '../evidence/types.js';
+import type { TurnScripts } from './rows.js';
+/** The gate's judge with the script match in front of it. */
+export declare function scriptJudge(input: {
+    /** The gate's judge — `checkAnswer` bound to this run's evidence. */
+    readonly judgeProse: (text: string) => EvidenceVerdict;
+    /**
+     * The values the gate's extractor reads in a text, spelled as a verdict
+     * reports them (normalized, clipped) — asked of the answer with every block
+     * cut out, to place each unsupported value.
+     */
+    readonly valuesIn: (text: string) => ReadonlySet<string>;
+    /** This turn's script rows (`rows.ts` · `scriptRowsOfTurn`). */
+    readonly turn: TurnScripts;
+    /** `AgentState.scriptsDropped`, when calls past the per-turn cap were dropped. */
+    readonly scriptsDropped?: number;
+}): (text: string) => EvidenceVerdict;
+//# sourceMappingURL=judge.d.ts.map

package/dist/types/core/agent/scripts/judge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"judge.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/scripts/judge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE7C,6DAA6D;AAC7D,wBAAgB,WAAW,CAAC,KAAK,EAAE;IACjC,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,eAAe,CAAC;IACvD;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC;IACzD,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,eAAe,CAepC"}