agentfootprint 12.2.0 → 13.0.0

package/dist/esm/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,6 +436,6 @@ 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[];

package/dist/esm/core/agent/findings/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAoBH,kFAAkF;AAClF,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAoB,CAAC;AACtD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,WAAoB,CAAC;AASxD,wEAAwE;AACxE,MAAM,CAAC,MAAM,YAAY,GAAqB,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,aAAa,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AACzF,MAAM,CAAC,MAAM,eAAe,GAAwB,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM;IACN,MAAM;IACN,OAAO;IACP,WAAW;CACZ,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAyJrC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AA0EvC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAqBH,kFAAkF;AAClF,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAoB,CAAC;AACtD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,WAAoB,CAAC;AASxD,wEAAwE;AACxE,MAAM,CAAC,MAAM,YAAY,GAAqB,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,aAAa,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AACzF,MAAM,CAAC,MAAM,eAAe,GAAwB,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM;IACN,MAAM;IACN,OAAO;IACP,WAAW;CACZ,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAyJrC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AA0EvC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC"}

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

@@ -0,0 +1,179 @@
+/**
+ * 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;

package/dist/esm/core/agent/scripts/attachment.js

@@ -0,0 +1,361 @@
+/**
+ * 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 { utf8Length, utf8Prefix } from '../../../lib/utf8.js';
+import { codeRegionsOf } from '../evidence/codeRegions.js';
+import { inertCode } from './inert.js';
+import { exitCodeFits, labelWords, SCRIPT_LABELS } from './label.js';
+import { MAX_SCRIPT_BYTES } from './rows.js';
+import { wrapProgram } from './wrapper.js';
+/** Scripts attached under `which: 'all'`; the rest are counted (`omitted`). Design § 4.1. */
+export const MAX_ATTACHED_SCRIPTS = 8;
+/** Default UTF-8 bytes of each program shown. Design § 4.1. */
+export const DEFAULT_ATTACHED_BYTES = 4_000;
+const DOOR = 'AgentBuilder.scriptTravelsWithTheAnswer';
+/**
+ * Check `.scriptTravelsWithTheAnswer()`'s options once, at the call site, into
+ * the arm the chart carries. Refusals name the option and the fix.
+ */
+export function resolveScriptTravel(opts = {}) {
+    if (opts === null || typeof opts !== 'object' || Array.isArray(opts)) {
+        throw new Error(`${DOOR}: options must be an object ({ which?, maxBytes? }).`);
+    }
+    const unknown = Object.keys(opts).filter((k) => k !== 'which' && k !== 'maxBytes');
+    if (unknown.length > 0) {
+        throw new Error(`${DOOR}: unknown option(s) ${unknown.map((k) => `'${k}'`).join(', ')}. ` +
+            "The options are which ('last' | 'all') and maxBytes (UTF-8 bytes shown per program).");
+    }
+    const which = opts.which ?? 'last';
+    if (which !== 'last' && which !== 'all') {
+        throw new Error(`${DOOR}: which '${String(which)}' is not one this version has. Use 'last' (the last ` +
+            "call of the turn that reached the tool — the default) or 'all' (every such call, at " +
+            `most ${MAX_ATTACHED_SCRIPTS}).`);
+    }
+    const maxBytes = opts.maxBytes ?? DEFAULT_ATTACHED_BYTES;
+    if (!Number.isInteger(maxBytes) || maxBytes < 1) {
+        throw new Error(`${DOOR}: maxBytes must be a whole number of at least 1 — got ${String(opts.maxBytes)}. ` +
+            `It bounds the UTF-8 bytes of each program shown (default ${DEFAULT_ATTACHED_BYTES}); ` +
+            'a longer program is cut and says so.');
+    }
+    return { which, maxBytes };
+}
+/** A call that reached the tool — the attachment's candidates. */
+const reached = (row) => row.outcome !== 'submitted';
+/** One row as an attached script, cut at `maxBytes`. */
+function shownFrom(row, maxBytes) {
+    const cut = utf8Prefix(row.text, maxBytes);
+    const shownBytes = cut === row.text ? row.bytes : utf8Length(cut);
+    return {
+        toolCallId: row.toolCallId,
+        dispatch: row.dispatch,
+        tool: row.tool,
+        ...(row.language !== undefined && { language: row.language }),
+        label: row.outcome,
+        ...(row.exitCode !== undefined && { exitCode: row.exitCode }),
+        ...(row.resultWithheld !== undefined && { resultWithheld: row.resultWithheld }),
+        ...(row.rewritten === true && { rewritten: true }),
+        bytes: row.bytes,
+        lines: row.lines,
+        ...(cut !== row.text && { truncated: { shownBytes } }),
+        text: cut,
+    };
+}
+/**
+ * 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 function scriptsOfAnswer(rows, travel, scriptsDropped = 0) {
+    const candidates = rows.filter(reached);
+    const chosen = travel.which === 'last' ? candidates.slice(-1) : candidates;
+    const shown = [];
+    const overSize = [];
+    let omitted = scriptsDropped;
+    for (const row of chosen) {
+        if (row.text === undefined) {
+            overSize.push(row);
+            omitted += 1;
+        }
+        else if (shown.length < MAX_ATTACHED_SCRIPTS) {
+            shown.push(shownFrom(row, travel.maxBytes));
+        }
+        else {
+            omitted += 1;
+        }
+    }
+    return { shown, omitted, overSize };
+}
+/** The call a line names, and what its record says — every dynamic value inert (`inert.ts`). */
+function callSaid(script) {
+    const withheld = script.resultWithheld === 'over-ceiling'
+        ? "; its result was withheld over the tool's ceiling"
+        : '';
+    const rewritten = script.rewritten === true ? '; a before-tool rule changed it before dispatch' : '';
+    return (`Script submitted to ${inertCode(script.tool)} on call ${inertCode(script.toolCallId)} — ` +
+        `${labelWords(script.label, script.exitCode)}${withheld}${rewritten}.`);
+}
+/** The label line of one attached script — library words, past tense, the call named. */
+export function scriptLabelLine(script) {
+    return `${callSaid(script)} Attached by the library from the run record:`;
+}
+/** The line that stands for a script whose program is kept out of the text (`withheldFromText`). */
+export function scriptWithheldLine(script) {
+    return (`${callSaid(script)} The program is not shown here: the formatting above could display ` +
+        'part of it as ordinary text. It is kept on the run record.');
+}
+/** One attached script as text: its label line, then the program in the library's fence. */
+export function shownScriptBlock(script) {
+    const body = `${scriptLabelLine(script)}\n\n${wrapProgram(script.text, script.language)}`;
+    if (script.truncated === undefined)
+        return body;
+    return (`${body}\n[incomplete: showing ${script.truncated.shownBytes} of ${script.bytes} bytes — ` +
+        'not the whole program]');
+}
+const CLEAN = { kind: 'clean' };
+/** The boundary after `before` (see {@link AttachmentBoundary}). */
+export function attachmentBoundary(before) {
+    if (before.length === 0)
+        return CLEAN;
+    const read = codeRegionsOf(`${before}\n`);
+    if (read.stoppedAt !== undefined)
+        return { kind: 'unsettled' };
+    if (read.openFence !== undefined)
+        return { kind: 'closed', fence: read.openFence };
+    return CLEAN;
+}
+const isObject = (value) => value !== null && typeof value === 'object' && !Array.isArray(value);
+const isCount = (value) => typeof value === 'number' && Number.isInteger(value) && value >= 0;
+/**
+ * The boundary a `turn_end.scripts` record states — `undefined` when the
+ * record holds a value no writer of this library files: a `closedFence` that
+ * is not `{ char: 'backtick' | 'tilde', length }` with a whole length of at
+ * least 3 and at most `within` (the answer the closing fence was written into
+ * — a fence longer than the text cannot be in it), a `withheldFromText` that
+ * is not `true`, or both at once.
+ */
+function recordedBoundary(scripts, within) {
+    const withheld = scripts.withheldFromText;
+    const closed = scripts.closedFence;
+    if (withheld !== undefined && withheld !== true)
+        return undefined;
+    if (closed === undefined)
+        return withheld === true ? { kind: 'unsettled' } : { kind: 'clean' };
+    if (withheld === true || !isObject(closed))
+        return undefined;
+    const char = closed.char;
+    if ((char !== 'backtick' && char !== 'tilde') || !isCount(closed.length))
+        return undefined;
+    if (closed.length < 3 || closed.length > within)
+        return undefined;
+    return { kind: 'closed', char, length: closed.length };
+}
+/**
+ * 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 function rebuildBoundary(recorded, within) {
+    if (recorded.kind !== 'closed')
+        return recorded;
+    if (recorded.length > within)
+        return undefined;
+    return { kind: 'closed', fence: (recorded.char === 'tilde' ? '~' : '`').repeat(recorded.length) };
+}
+/**
+ * One `turn_end.scripts.shown` entry, checked against what `shownFrom` writes
+ * — a fresh copy, or `undefined` when any field is one no writer of this
+ * library files: a call that never reached the tool (`submitted` is never
+ * attached), an exit code its label does not carry (`label.ts` ·
+ * `exitCodeFits`), a program over `MAX_SCRIPT_BYTES`, or a text whose UTF-8
+ * length is not the bytes it says it shows (`truncated.shownBytes` when cut,
+ * and then fewer than `bytes`; else `bytes`).
+ */
+function shownScriptOf(value) {
+    if (!isObject(value))
+        return undefined;
+    const v = value;
+    const { toolCallId, tool, text, bytes, lines, dispatch, label, exitCode } = v;
+    if (typeof toolCallId !== 'string' || typeof tool !== 'string')
+        return undefined;
+    if (typeof text !== 'string' || !isCount(bytes) || !isCount(lines))
+        return undefined;
+    if (!isCount(dispatch) || dispatch < 1)
+        return undefined;
+    if (label === 'submitted' || !SCRIPT_LABELS.includes(label)) {
+        return undefined;
+    }
+    if (!exitCodeFits(label, exitCode))
+        return undefined;
+    if (v.language !== undefined && typeof v.language !== 'string')
+        return undefined;
+    if (v.resultWithheld !== undefined && v.resultWithheld !== 'over-ceiling')
+        return undefined;
+    if (v.rewritten !== undefined && v.rewritten !== true)
+        return undefined;
+    if (bytes > MAX_SCRIPT_BYTES)
+        return undefined;
+    const cut = v.truncated;
+    let shownBytes = bytes;
+    if (cut !== undefined) {
+        if (!isObject(cut) || !isCount(cut.shownBytes) || cut.shownBytes >= bytes)
+            return undefined;
+        shownBytes = cut.shownBytes;
+    }
+    // A UTF-8 encoding is never shorter than the string's length in code
+    // units: a longer string is refused before it is measured.
+    if (text.length > shownBytes || utf8Length(text) !== shownBytes)
+        return undefined;
+    return {
+        toolCallId,
+        dispatch,
+        tool,
+        ...(v.language !== undefined && { language: v.language }),
+        label: label,
+        ...(exitCode !== undefined && { exitCode: exitCode }),
+        ...(v.resultWithheld !== undefined && { resultWithheld: 'over-ceiling' }),
+        ...(v.rewritten !== undefined && { rewritten: true }),
+        bytes,
+        lines,
+        ...(cut !== undefined && { truncated: { shownBytes } }),
+        text,
+    };
+}
+/**
+ * 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 function recordedScripts(value, within = Number.MAX_SAFE_INTEGER) {
+    if (value === undefined)
+        return undefined;
+    if (!isObject(value) || !Array.isArray(value.shown))
+        return { shown: [], unread: 1 };
+    const all = value.shown;
+    const shown = [];
+    let unread = Math.max(0, all.length - MAX_ATTACHED_SCRIPTS);
+    for (let index = 0; index < Math.min(all.length, MAX_ATTACHED_SCRIPTS); index++) {
+        const script = shownScriptOf(all[index]);
+        if (script === undefined)
+            unread += 1;
+        else
+            shown.push({ index, script });
+    }
+    const omitted = isCount(value.omitted) ? value.omitted : undefined;
+    if (omitted === undefined)
+        unread += 1;
+    const boundary = recordedBoundary(value, within);
+    if (boundary === undefined)
+        unread += 1;
+    return {
+        shown,
+        unread,
+        ...(omitted !== undefined && { omitted }),
+        ...(boundary !== undefined && { boundary }),
+    };
+}
+/**
+ * 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 function scriptsBlock(scripts, boundary = CLEAN) {
+    const parts = boundary.kind === 'unsettled'
+        ? scripts.shown.map(scriptWithheldLine)
+        : scripts.shown.map(shownScriptBlock);
+    const overSize = scripts.overSize ?? [];
+    for (const row of overSize) {
+        parts.push(`One script of ${row.bytes} bytes (${inertCode(row.tool)}, call ${inertCode(row.toolCallId)}) is over the bound and is not shown.`);
+    }
+    const others = scripts.omitted - overSize.length;
+    if (others > 0) {
+        parts.push(`${others} more script${others === 1 ? ' was' : 's were'} submitted this turn and ` +
+            `${others === 1 ? 'is' : 'are'} not shown here.`);
+    }
+    if (parts.length === 0)
+        return '';
+    if (boundary.kind === 'closed')
+        parts.unshift(boundary.fence);
+    return parts.join('\n\n');
+}
+/**
+ * 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 function scriptsBlockAfter(scripts, before) {
+    if (scriptsBlock(scripts) === '')
+        return { text: '', boundary: CLEAN };
+    const boundary = attachmentBoundary(before);
+    return { text: scriptsBlock(scripts, boundary), boundary };
+}
+/** The data form as detached plain data — what `turn_end.scripts` carries. */
+export function turnEndScriptsOf(scripts, boundary = CLEAN) {
+    return {
+        shown: scripts.shown.map((s) => ({
+            ...s,
+            ...(s.truncated !== undefined && { truncated: { shownBytes: s.truncated.shownBytes } }),
+        })),
+        omitted: scripts.omitted,
+        ...(boundary.kind === 'closed' && {
+            closedFence: {
+                char: boundary.fence.charCodeAt(0) === 0x7e ? 'tilde' : 'backtick',
+                length: boundary.fence.length,
+            },
+        }),
+        ...(boundary.kind === 'unsettled' && { withheldFromText: true }),
+    };
+}
+//# sourceMappingURL=attachment.js.map

package/dist/esm/core/agent/scripts/attachment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attachment.js","sourceRoot":"","sources":["../../../../../src/core/agent/scripts/attachment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAS7C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,6FAA6F;AAC7F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AACtC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,sBAAsB,GAAG,KAAK,CAAC;AAE5C,MAAM,IAAI,GAAG,yCAAyC,CAAC;AAEvD;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAA4B,EAAE;IAChE,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sDAAsD,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,UAAU,CAAC,CAAC;IACnF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,uBAAuB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YACvE,sFAAsF,CACzF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC;IACnC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,YAAY,MAAM,CAAC,KAAK,CAAC,sDAAsD;YACpF,sFAAsF;YACtF,QAAQ,oBAAoB,IAAI,CACnC,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,sBAAsB,CAAC;IACzD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,yDAAyD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;YACvF,4DAA4D,sBAAsB,KAAK;YACvF,sCAAsC,CACzC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,kEAAkE;AAClE,MAAM,OAAO,GAAG,CAAC,GAAc,EAAW,EAAE,CAAC,GAAG,CAAC,OAAO,KAAK,WAAW,CAAC;AAEzE,wDAAwD;AACxD,SAAS,SAAS,CAAC,GAA0C,EAAE,QAAgB;IAC7E,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAClE,OAAO;QACL,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7D,KAAK,EAAE,GAAG,CAAC,OAAO;QAClB,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7D,GAAG,CAAC,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,GAAG,CAAC,cAAc,EAAE,CAAC;QAC/E,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,IAAI,EAAE,SAAS,EAAE,IAAa,EAAE,CAAC;QAC3D,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC;QACtD,IAAI,EAAE,GAAG;KACV,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,IAA0B,EAC1B,MAA4B,EAC5B,cAAc,GAAG,CAAC;IAElB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IAC3E,MAAM,KAAK,GAAkB,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,IAAI,OAAO,GAAG,cAAc,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAA4C,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvF,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtC,CAAC;AAED,gGAAgG;AAChG,SAAS,QAAQ,CAAC,MAAmB;IACnC,MAAM,QAAQ,GACZ,MAAM,CAAC,cAAc,KAAK,cAAc;QACtC,CAAC,CAAC,mDAAmD;QACrD,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,SAAS,GACb,MAAM,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,OAAO,CACL,uBAAuB,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK;QAC1F,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,QAAQ,GAAG,SAAS,GAAG,CACvE,CAAC;AACJ,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,+CAA+C,CAAC;AAC5E,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,kBAAkB,CAAC,MAAmB;IACpD,OAAO,CACL,GAAG,QAAQ,CAAC,MAAM,CAAC,qEAAqE;QACxF,4DAA4D,CAC7D,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAAC,MAAmB;IAClD,MAAM,IAAI,GAAG,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC1F,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,CACL,GAAG,IAAI,0BAA0B,MAAM,CAAC,SAAS,CAAC,UAAU,OAAO,MAAM,CAAC,KAAK,WAAW;QAC1F,wBAAwB,CACzB,CAAC;AACJ,CAAC;AAyBD,MAAM,KAAK,GAAuB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAEpD,oEAAoE;AACpE,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC/D,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;IACnF,OAAO,KAAK,CAAC;AACf,CAAC;AAeD,MAAM,QAAQ,GAAG,CAAC,KAAc,EAA8C,EAAE,CAC9E,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvE,MAAM,OAAO,GAAG,CAAC,KAAc,EAAmB,EAAE,CAClD,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,SAAS,gBAAgB,CACvB,OAA0C,EAC1C,MAAc;IAEd,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAClE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM;QAAE,OAAO,SAAS,CAAC;IAClE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACzD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA0B,EAC1B,MAAc;IAEd,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAChD,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACpG,CAAC;AAQD;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,CAAC,GAAG,KAAK,CAAC;IAChB,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC9E,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrF,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACzD,IAAI,KAAK,KAAK,WAAW,IAAI,CAAE,aAAoC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAC5F,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACxE,IAAI,KAAK,GAAG,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC;IACxB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,UAAU,IAAI,KAAK;YAAE,OAAO,SAAS,CAAC;QAC5F,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAC9B,CAAC;IACD,qEAAqE;IACrE,2DAA2D;IAC3D,IAAI,IAAI,CAAC,MAAM,GAAG,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAClF,OAAO;QACL,UAAU;QACV,QAAQ;QACR,IAAI;QACJ,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAkB,EAAE,CAAC;QACnE,KAAK,EAAE,KAAsB;QAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,QAAkB,EAAE,CAAC;QAC/D,GAAG,CAAC,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,cAAuB,EAAE,CAAC;QAClF,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,IAAa,EAAE,CAAC;QAC9D,KAAK;QACL,KAAK;QACL,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC;QACvD,IAAI;KACL,CAAC;AACJ,CAAC;AA2BD;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAc,EACd,SAAiB,MAAM,CAAC,gBAAgB;IAExC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACrF,MAAM,GAAG,GAAuB,KAAK,CAAC,KAAK,CAAC;IAC5C,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,oBAAoB,CAAC,CAAC;IAC5D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QAChF,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,IAAI,CAAC,CAAC;;YACjC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACnE,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,CAAC,CAAC;IACxC,OAAO;QACL,KAAK;QACL,MAAM;QACN,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAsE,EACtE,WAA+B,KAAK;IAEpC,MAAM,KAAK,GACT,QAAQ,CAAC,IAAI,KAAK,WAAW;QAC3B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACvC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CACR,iBAAiB,GAAG,CAAC,KAAK,WAAW,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,SAAS,CACzE,GAAG,CAAC,UAAU,CACf,uCAAuC,CACzC,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC;IACjD,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,eAAe,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,2BAA2B;YACjF,GAAG,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kBAAkB,CACnD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;QAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAsE,EACtE,MAAc;IAEd,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACvE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC7D,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAC9B,OAAuB,EACvB,WAA+B,KAAK;IAEpC,OAAO;QACL,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/B,GAAG,CAAC;YACJ,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,EAAE,CAAC;SACxF,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI;YAChC,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAE,OAAiB,CAAC,CAAC,CAAE,UAAoB;gBACxF,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM;aAC9B;SACF,CAAC;QACF,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,gBAAgB,EAAE,IAAa,EAAE,CAAC;KAC1E,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,38 @@
+/**
+ * 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;