agentfootprint 9.112.2 → 9.113.0

package/dist/esm/core/agent/coverage/absent.js

@@ -38,12 +38,27 @@
  * The gate therefore withholds `looked_for`, and only `looked_for` (see
  * `coverage/evidence.ts`): it is the one field whose job is to quote the
  * request. Everything else the absence carries — the coverage lists, the
- * author's `tryInstead`, any extra key the tool attached to the envelope — is
- * the TOOL speaking about the world and does ground, because an answer that
- * follows the absence's own advice must not be called ungrounded for doing so.
+ * author's `tryInstead` and `tryInsteadTool`, any extra key the tool attached
+ * to the envelope — is the TOOL speaking about the world and does ground,
+ * because an answer that follows the absence's own advice must not be called
+ * ungrounded for doing so.
  * The note is kept free of interpolation for the same reason the exclusion
  * exists: static library text has nothing of the caller's to leak.
+ *
+ * ## A suggestion to try another tool is typed, never parsed (9.113.0)
+ *
+ * `tryInstead` is ONE sentence, for the model; nothing in this library reads
+ * a tool name out of it. When the sentence points at another tool, the author
+ * names that tool beside it — `tryInsteadTool: { tool, why? }` — and the
+ * envelope carries it under its OWN key, `try_instead_tool`. Its own key, not
+ * `try_instead`: that field has been a string since it shipped and every
+ * reader typed against `ToolAbsence` reads it as one, so a second shape there
+ * would be dropped by each of them without a word. `tools.absent` carries
+ * both, as declared. ONE rule set decides what each is ({@link readSentence},
+ * {@link readToolSuggestion}): `absent()` refuses by it and the recognizer
+ * reads by it, so a mint and a read cannot disagree.
  */
+import { warnIfInvalidToolName } from '../../tools.js';
 import { normalizeCoverageList } from './items.js';
 /**
  * The reserved key that makes an absence recognizable. Exported because tests,
@@ -62,6 +77,115 @@ export const ABSENCE_NOTE = 'The search ran and matched nothing. This is an ANSW
     'arguments returns this same result. `checked` is the ground this answer covers; anything ' +
     'under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that ' +
     'needs a different question, not a retry.';
+/**
+ * The typed tool's keys, tied to {@link TryInsteadTool} in BOTH directions: a
+ * key the interface gains, or one listed here that it does not have, fails to
+ * compile. Any other key on a value is refused, so a misspelt `why` cannot
+ * vanish without a word.
+ */
+const TOOL_SUGGESTION_KEYS = Object.keys({
+    tool: true,
+    why: true,
+});
+/**
+ * `undefined` and `null` both mean "not given" for the typed tool and its
+ * `why`. A JSON producer writes a missing optional value as `null`, and
+ * `tryInstead: null` read as no suggestion before 9.113.0 — refusing it would
+ * turn a nothing-found into a tool error, the direction of error this file
+ * exists to prevent.
+ */
+const notGiven = (raw) => raw === undefined || raw === null;
+/** An object literal's shape — `{…}` or `Object.create(null)`; never an
+ *  array, a Date, a boxed string or any other class instance. */
+const isPlainObject = (raw) => {
+    if (typeof raw !== 'object' || raw === null || Array.isArray(raw))
+        return false;
+    const prototype = Object.getPrototypeOf(raw);
+    return prototype === Object.prototype || prototype === null;
+};
+/**
+ * The rule for the SENTENCE (`tryInstead`, `try_instead` on the wire):
+ * trimmed, and one that trims to nothing is no suggestion, as it always was.
+ *
+ * ONE non-string is refused: a plain object. That is the typed form
+ * `{ tool, why? }` written into the sentence's slot, and the refusal points it
+ * at `tryInsteadTool` rather than drop the author's tool without a word. Any
+ * OTHER value that is not a string — `null`, `false` from
+ * `tryInstead: cond && '…'`, a number, a list, a Date — reads as no
+ * suggestion, exactly as it did before 9.113.0: `absent()` runs inside a
+ * tool's `execute`, so refusing it would turn a nothing-found the 9.112.2
+ * loop delivered as an absence into that call's error result.
+ */
+function readSentence(raw) {
+    if (typeof raw === 'string') {
+        const sentence = raw.trim();
+        return { value: sentence === '' ? undefined : sentence };
+    }
+    if (isPlainObject(raw)) {
+        return {
+            problem: '`tryInstead` is the sentence the model reads, and only that. To name the other ' +
+                'tool as data, give { tool, why? } as `tryInsteadTool`, beside the sentence.',
+        };
+    }
+    return { value: undefined };
+}
+/**
+ * The rule for the TYPED TOOL (`tryInsteadTool`, `try_instead_tool` on the
+ * wire): `{ tool, why? }`, where `tool` is a non-empty name and `why`, when
+ * given, says something. Both are trimmed; `why: null` reads as omitted. The
+ * name is recorded as declared: never looked up (a provider may serve it on a
+ * later iteration), and held to no charset here — which names a provider
+ * accepts is `core/tools.ts` · `assertValidToolName`'s question, and
+ * `absent` asks the dev-mode warning that owns it.
+ *
+ * Why ONE tool and not a list: every suggestion on record names at most one
+ * other tool, and where a sentence joins that tool to "or widen the window",
+ * the rest of the advice stays in the sentence. A list would be a second
+ * shape of this field for every reader to narrow — the cost this key exists
+ * to spare `try_instead`.
+ */
+function readToolSuggestion(raw) {
+    if (notGiven(raw))
+        return { value: undefined };
+    if (Array.isArray(raw)) {
+        return {
+            problem: '`tryInsteadTool` names ONE tool — { tool, why? }, never a list. Say the rest of the ' +
+                'advice in the `tryInstead` sentence.',
+        };
+    }
+    if (typeof raw !== 'object') {
+        return {
+            problem: `\`tryInsteadTool\` must be { tool, why? } — got ${typeof raw}. For a sentence, use ` +
+                '`tryInstead`; to suggest nothing, omit the field.',
+        };
+    }
+    const value = raw;
+    const unknownKey = Object.keys(value).find((key) => !TOOL_SUGGESTION_KEYS.includes(key));
+    if (unknownKey !== undefined) {
+        return {
+            problem: `\`tryInsteadTool\` has an unknown key '${unknownKey}' — the form is { tool, why? }, ` +
+                'and a misspelt `why` would otherwise vanish without a word.',
+        };
+    }
+    const { tool, why } = value;
+    if (typeof tool !== 'string' || tool.trim() === '') {
+        return {
+            problem: '`tryInsteadTool.tool` must name the tool to try — its registered name, e.g. ' +
+                "{ tool: 'cluster_inventory', why: 'it lists the collected names' }. The name is " +
+                'recorded as declared and never looked up (a provider may serve it).',
+        };
+    }
+    const name = tool.trim();
+    if (notGiven(why))
+        return { value: { tool: name } };
+    if (typeof why !== 'string' || why.trim() === '') {
+        return {
+            problem: `\`tryInsteadTool.why\` (for '${name}') must be a sentence — say why that tool, or ` +
+                'omit the field.',
+        };
+    }
+    return { value: { tool: name, why: why.trim() } };
+}
 /**
  * Say "I looked, and there is nothing" in a way a model cannot read as a
  * failure — and cannot productively retry.
@@ -97,7 +221,8 @@ export const ABSENCE_NOTE = 'The search ran and matched nothing. This is an ANSW
 export function absent(decl) {
     const fn = 'absent';
     if (typeof decl !== 'object' || decl === null) {
-        throw new Error(`${fn}: takes a declaration — { what, checked, notChecked?, cannotCover?, tryInstead? }.`);
+        throw new Error(`${fn}: takes a declaration — { what, checked, notChecked?, cannotCover?, tryInstead?, ` +
+            `tryInsteadTool? }.`);
     }
     const what = typeof decl.what === 'string' ? decl.what.trim() : '';
     if (what === '') {
@@ -115,7 +240,18 @@ export function absent(decl) {
     }
     const notChecked = normalizeCoverageList(fn, 'notChecked', decl.notChecked, false);
     const cannotCover = normalizeCoverageList(fn, 'cannotCover', decl.cannotCover, true);
-    const tryInstead = typeof decl.tryInstead === 'string' ? decl.tryInstead.trim() : undefined;
+    const sentence = readSentence(decl.tryInstead);
+    if (sentence.problem !== undefined)
+        throw new Error(`${fn}: '${what}' — ${sentence.problem}`);
+    const tool = readToolSuggestion(decl.tryInsteadTool);
+    if (tool.problem !== undefined)
+        throw new Error(`${fn}: '${what}' — ${tool.problem}`);
+    const tryInstead = sentence.value;
+    const tryInsteadTool = tool.value;
+    // The name's charset is the tool registry's question: the owner warns in
+    // dev mode and never throws — the verdict a `defineTool` of it would get.
+    if (tryInsteadTool !== undefined)
+        warnIfInvalidToolName(tryInsteadTool.tool);
     return {
         af_absent: true,
         outcome: 'nothing_found',
@@ -124,7 +260,8 @@ export function absent(decl) {
         ...(notChecked.length > 0 && { not_checked: notChecked }),
         ...(cannotCover.length > 0 && { cannot_cover: cannotCover }),
         retry_returns_the_same: true,
-        ...(tryInstead !== undefined && tryInstead !== '' && { try_instead: tryInstead }),
+        ...(tryInstead !== undefined && { try_instead: tryInstead }),
+        ...(tryInsteadTool !== undefined && { try_instead_tool: tryInsteadTool }),
         note: ABSENCE_NOTE,
     };
 }
@@ -157,4 +294,21 @@ export function coverageOfAbsence(absence) {
         cannotCover: absence.cannot_cover ?? [],
     };
 }
+/**
+ * The absence's sentence, read by the rules `absent()` mints by. `undefined`
+ * when it declared none, AND when it declared one those rules refuse: an
+ * envelope minted elsewhere (a non-JS tool, a hand-built value) is read,
+ * never repaired, and the absence itself is still an absence either way.
+ */
+export function tryInsteadOfAbsence(absence) {
+    return readSentence(absence.try_instead).value;
+}
+/**
+ * The absence's typed tool, read by the same rules — a copy, never the
+ * object the envelope holds. `undefined` when it declared none, or one those
+ * rules refuse (see {@link tryInsteadOfAbsence}).
+ */
+export function tryInsteadToolOfAbsence(absence) {
+    return readToolSuggestion(absence.try_instead_tool).value;
+}
 //# sourceMappingURL=absent.js.map

package/dist/esm/core/agent/coverage/absent.js.map

@@ -1 +1 @@
-{"version":3,"file":"absent.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/absent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;AAE1C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GACvB,uFAAuF;IACvF,wFAAwF;IACxF,2FAA2F;IAC3F,uFAAuF;IACvF,0CAA0C,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,MAAM,CAAC,IAAwB;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC;IACpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,oFAAoF,CAC1F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,8EAA8E;YACjF,sFAAsF;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,MAAM,IAAI,sEAAsE;YACnF,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+DAA+D,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,qBAAqB,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACrF,MAAM,UAAU,GAAG,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAE5F,OAAO;QACL,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,IAAI;QAChB,OAAO;QACP,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QAC5D,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACjF,IAAI,EAAE,YAAY;KACnB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9E,OAAO,KAAoB,CAAC;AAC9B,CAAC;AAED;sDACsD;AACtD,MAAM,UAAU,iBAAiB,CAAC,OAAoB;IACpD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"absent.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/absent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,WAAW,CAAC;AAE1C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GACvB,uFAAuF;IACvF,wFAAwF;IACxF,2FAA2F;IAC3F,uFAAuF;IACvF,0CAA0C,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,oBAAoB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;CACmC,CAAC,CAAC;AAYhD;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC;AAE9E;iEACiE;AACjE,MAAM,aAAa,GAAG,CAAC,GAAY,EAAW,EAAE;IAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,iFAAiF;gBACjF,6EAA6E;SAChF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,sFAAsF;gBACtF,sCAAsC;SACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EACL,mDAAmD,OAAO,GAAG,wBAAwB;gBACrF,mDAAmD;SACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAA0D,CAAC;IACzE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EACL,0CAA0C,UAAU,kCAAkC;gBACtF,6DAA6D;SAChE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,OAAO;YACL,OAAO,EACL,8EAA8E;gBAC9E,kFAAkF;gBAClF,qEAAqE;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IACpD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EACL,gCAAgC,IAAI,gDAAgD;gBACpF,iBAAiB;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,MAAM,CAAC,IAAwB;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC;IACpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,mFAAmF;YACtF,oBAAoB,CACvB,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,8EAA8E;YACjF,sFAAsF;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,GAAG,EAAE,MAAM,IAAI,sEAAsE;YACnF,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+DAA+D,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,qBAAqB,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACrF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,MAAM,IAAI,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,EAAE,MAAM,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACtF,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,cAAc,KAAK,SAAS;QAAE,qBAAqB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAE7E,OAAO;QACL,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,IAAI;QAChB,OAAO;QACP,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QAC5D,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QAC5D,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;QACzE,IAAI,EAAE,YAAY;KACnB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9E,OAAO,KAAoB,CAAC;AAC9B,CAAC;AAED;sDACsD;AACtD,MAAM,UAAU,iBAAiB,CAAC,OAAoB;IACpD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAoB;IACtD,OAAO,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,OAAoB;IAC1D,OAAO,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC"}

package/dist/esm/core/agent/coverage/answer.js

@@ -58,7 +58,9 @@ function renderSection(label, items) {
 }
 // LENS · injected-turn · persistent-history
 // reads: scope.coverageDeclared ← read once by ../stages/prepareFinal.ts · captureTurnPayload — the ONE reader that COMPOSES from it,
-//        folded and capped. Not the only read of the key: ../stages/toolCalls.ts · declareCoverage reads it to append to it.
+//        folded and capped. Not the only read of the key: ../stages/toolCalls.ts · declareCoverage reads it to append to it,
+//        and ../findings/unsettled.ts · withUnsettledRows (9.113.0) reads one call's rows for their `kind` — the witness
+//        that the tool returned an absence — and composes nothing from them (its row's words come from the served result).
 // law: may omit, never deny; every clause anchored to the call it was composed on.
 /**
  * Fold the run's declarations into one block and append it to the answer.

package/dist/esm/core/agent/coverage/answer.js.map

@@ -1 +1 @@
-{"version":3,"file":"answer.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/answer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGxC,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,yBAAyB,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAEnC,MAAM,QAAQ,GAAG;IACf,CAAC,SAAS,EAAE,SAAS,CAAC;IACtB,CAAC,YAAY,EAAE,aAAa,CAAC;IAC7B,CAAC,aAAa,EAAE,cAAc,CAAC;CACvB,CAAC;AAEX,SAAS,aAAa,CAAC,KAAa,EAAE,KAA8B;IAClE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzF,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,2BAA2B,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,GAAG,KAAK,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED,4CAA4C;AAC5C,sIAAsI;AACtI,6HAA6H;AAC7H,mFAAmF;AACnF;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,QAAqC;IAErC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,+BAA+B;IAC/B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,MAAM,KAAK,GACT,GAAG,sBAAsB,8DAA8D;QACvF,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAChE,CAAC"}
+{"version":3,"file":"answer.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/answer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGxC,wEAAwE;AACxE,MAAM,CAAC,MAAM,sBAAsB,GAAG,yBAAyB,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,uBAAuB,GAAG,EAAE,CAAC;AAEnC,MAAM,QAAQ,GAAG;IACf,CAAC,SAAS,EAAE,SAAS,CAAC;IACtB,CAAC,YAAY,EAAE,aAAa,CAAC;IAC7B,CAAC,aAAa,EAAE,cAAc,CAAC;CACvB,CAAC;AAEX,SAAS,aAAa,CAAC,KAAa,EAAE,KAA8B;IAClE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzF,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,2BAA2B,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,GAAG,KAAK,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED,4CAA4C;AAC5C,sIAAsI;AACtI,6HAA6H;AAC7H,yHAAyH;AACzH,2HAA2H;AAC3H,mFAAmF;AACnF;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,QAAqC;IAErC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,+BAA+B;IAC/B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,MAAM,KAAK,GACT,GAAG,sBAAsB,8DAA8D;QACvF,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,cAAc,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AAChE,CAAC"}

package/dist/esm/core/agent/coverage/index.d.ts

@@ -14,4 +14,4 @@ export { absenceEvidenceProjection } from './evidence.js';
 export { mergeItems, normalizeCoverageList, sameItem } from './items.js';
 export { coverage, COVERAGE_MARKER, COVERAGE_NOTE, coverageOfLedger, readCoverageLedger, } from './ledger.js';
 export { readCoverageResult, type CoverageFacts, type CoverageReading } from './read.js';
-export type { AbsenceDeclaration, Coverage, CoverageDeclaration, CoverageInput, CoverageItem, CoveredResult, DeclaredCoverage, ToolAbsence, } from './types.js';
+export type { AbsenceDeclaration, Coverage, CoverageDeclaration, CoverageInput, CoverageItem, CoveredResult, DeclaredCoverage, ToolAbsence, TryInsteadTool, } from './types.js';

package/dist/esm/core/agent/coverage/read.d.ts

@@ -15,7 +15,7 @@
  * returned — byte for byte.
  */
 import type { ToolResultStatus } from '../../../lib/injection-engine/toolOutcome.js';
-import type { Coverage } from './types.js';
+import type { Coverage, TryInsteadTool } from './types.js';
 /** One coverage statement found in a result, before the caller stamps it with
  *  the call it came from. */
 export interface CoverageFacts {
@@ -23,6 +23,14 @@ export interface CoverageFacts {
     readonly coverage: Coverage;
     /** Present for `'absence'` — what the search was for. */
     readonly lookedFor?: string;
+    /**
+     * Present for `'absence'` when it declared a sentence (9.113.0) — trimmed,
+     * as `absent()` mints it, and never parsed for a tool name. Not a piece of
+     * coverage, so it sits beside `coverage` rather than inside it.
+     */
+    readonly tryInstead?: string;
+    /** Present for `'absence'` when it declared a typed tool (9.113.0) — a copy. */
+    readonly tryInsteadTool?: TryInsteadTool;
 }
 /** What one recognized result declares. `undefined` from
  *  {@link readCoverageResult} means "neither shape": untouched path. */

package/dist/esm/core/agent/coverage/read.js

@@ -15,8 +15,21 @@
  * returned — byte for byte.
  */
 import { coverageOfSemantics, readSemantics } from '../../../lib/semantics/envelope.js';
-import { coverageOfAbsence, readAbsence } from './absent.js';
+import { coverageOfAbsence, readAbsence, tryInsteadOfAbsence, tryInsteadToolOfAbsence, } from './absent.js';
 import { coverageOfLedger, readCoverageLedger } from './ledger.js';
+/** The facts one absence declares — the same for a bare absence and for one
+ *  a ledger bounds, so the two sites cannot drift. */
+function absenceFacts(absence) {
+    const tryInstead = tryInsteadOfAbsence(absence);
+    const tryInsteadTool = tryInsteadToolOfAbsence(absence);
+    return {
+        kind: 'absence',
+        coverage: coverageOfAbsence(absence),
+        lookedFor: absence.looked_for,
+        ...(tryInstead !== undefined && { tryInstead }),
+        ...(tryInsteadTool !== undefined && { tryInsteadTool }),
+    };
+}
 const ABSENT_STATUS = 'absent';
 /**
  * Read one finalized tool result for coverage declarations.
@@ -29,12 +42,7 @@ const ABSENT_STATUS = 'absent';
 export function readCoverageResult(value) {
     const absence = readAbsence(value);
     if (absence !== undefined) {
-        return {
-            status: ABSENT_STATUS,
-            declared: [
-                { kind: 'absence', coverage: coverageOfAbsence(absence), lookedFor: absence.looked_for },
-            ],
-        };
+        return { status: ABSENT_STATUS, declared: [absenceFacts(absence)] };
     }
     // A semantic envelope's `coverage` field (9.53.0) is ABSORBED here — the
     // one recognizer funnel — so the boundary a semantic tool declared flows
@@ -55,11 +63,7 @@ export function readCoverageResult(value) {
     const inner = readAbsence(covered.result);
     if (inner === undefined)
         return { declared };
-    declared.push({
-        kind: 'absence',
-        coverage: coverageOfAbsence(inner),
-        lookedFor: inner.looked_for,
-    });
+    declared.push(absenceFacts(inner));
     return { status: ABSENT_STATUS, declared };
 }
 //# sourceMappingURL=read.js.map

package/dist/esm/core/agent/coverage/read.js.map

@@ -1 +1 @@
-{"version":3,"file":"read.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/read.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxF,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AA6BnE,MAAM,aAAa,GAAqB,QAAQ,CAAC;AAEjD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE;gBACR,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,UAAU,EAAE;aACzF;SACF,CAAC;IACJ,CAAC;IACD,yEAAyE;IACzE,yEAAyE;IACzE,6EAA6E;IAC7E,uEAAuE;IACvE,sEAAsE;IACtE,oDAAoD;IACpD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACjD,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,QAAQ,GAAoB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,CAAC;QACZ,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,iBAAiB,CAAC,KAAK,CAAC;QAClC,SAAS,EAAE,KAAK,CAAC,UAAU;KAC5B,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC"}
+{"version":3,"file":"read.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/read.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxF,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAoBnE;sDACsD;AACtD,SAAS,YAAY,CAAC,OAAoB;IACxC,MAAM,UAAU,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,cAAc,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IACxD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,iBAAiB,CAAC,OAAO,CAAC;QACpC,SAAS,EAAE,OAAO,CAAC,UAAU;QAC7B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAmBD,MAAM,aAAa,GAAqB,QAAQ,CAAC;AAEjD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,yEAAyE;IACzE,yEAAyE;IACzE,6EAA6E;IAC7E,uEAAuE;IACvE,sEAAsE;IACtE,oDAAoD;IACpD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACjD,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,QAAQ,GAAoB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC7C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC"}

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

@@ -58,6 +58,29 @@ export interface CoverageDeclaration {
     readonly notChecked?: readonly CoverageInput[];
     readonly cannotCover?: readonly CoverageInput[];
 }
+/**
+ * The other TOOL a suggestion points at, typed (9.113.0) — `tryInsteadTool`
+ * on the declaration, `try_instead_tool` on the envelope.
+ *
+ * The `tryInstead` sentence puts a tool's name inside prose ("…or check
+ * cluster_inventory for the collected names."), and a reader that wants to
+ * know WHICH tool was suggested could only find out by parsing that sentence.
+ * This library never parses a tool name out of prose, so the name rides here
+ * as data — BESIDE the sentence, never in its place: `try_instead` stays a
+ * string, so every reader of it reads what it always read.
+ *
+ * `tool` is NOT looked up. The tool may be served by a provider that resolves
+ * per iteration, or be offered on a later turn; `absent()` requires a
+ * non-empty name and records it as declared. Which names a provider accepts is
+ * `core/tools.ts` · `assertValidToolName`'s question, and the library only
+ * warns about it (dev mode), here as at `defineTool`.
+ */
+export interface TryInsteadTool {
+    /** The tool's registered name, as a call would name it. */
+    readonly tool: string;
+    /** Why that tool, in the author's words ("it lists the collected names"). */
+    readonly why?: string;
+}
 /** What a tool author passes to {@link import('./absent.js').absent}. */
 export interface AbsenceDeclaration {
     /**
@@ -83,8 +106,22 @@ export interface AbsenceDeclaration {
      * `window: '7d'`, or ask for a different interface"). Optional, and the
      * highest-value optional field in the shape: the loop this primitive stops
      * is a model with nowhere else to go.
+     *
+     * Prose for the model. Nothing in this library reads a tool name out of it:
+     * when the sentence points at another tool, name that tool in
+     * {@link AbsenceDeclaration.tryInsteadTool} as well.
      */
     readonly tryInstead?: string;
+    /**
+     * The other TOOL the suggestion points at, as data (9.113.0) —
+     * `{ tool, why? }`. Beside the sentence, not instead of it: the sentence is
+     * what the model is told, this is what a reader reads without parsing
+     * prose. Either may be given without the other; when both are given they
+     * must name the same tool, and the library cannot check that they do — it
+     * would have to read a tool name out of the sentence. ONE tool; a list is
+     * refused (see `absent.ts` · `readToolSuggestion` for why).
+     */
+    readonly tryInsteadTool?: TryInsteadTool;
 }
 /**
  * The rendered absence — the exact object a tool hands back and the model
@@ -109,7 +146,12 @@ export interface ToolAbsence {
     /** Stated as data as well as prose — the note can be skimmed past, a
      *  `true` in a field named for the question cannot. */
     readonly retry_returns_the_same: true;
+    /** The author's sentence. A string, always — the typed tool rides its own
+     *  key, so a reader of this one never has to narrow it. */
     readonly try_instead?: string;
+    /** The typed tool the suggestion points at (9.113.0), as declared — the
+     *  author's words, `{ tool, why? }`. The model reads it as written. */
+    readonly try_instead_tool?: TryInsteadTool;
     /** The static sentence. Never interpolated — see `absent.ts`. */
     readonly note: string;
 }

package/dist/esm/core/agent/findings/ledger.d.ts

@@ -19,9 +19,14 @@
  *          filed by the two moments `contingent.ts` serves: the route
  *          decider's answer and the dispatch loop's call) — identities,
  *          enums and numbers only. Assertion values, `settles`, `line`, the
- *          judged state and the contingent VALUE live in the committed key
- *          under whatever redaction the run configured; an event stream
- *          fans out to sinks we do not control.
+ *          judged state, the contingent VALUE and — on an
+ *          `unsettled-by-absence` row — a TOOL's own words (its envelope's
+ *          `notChecked`, `cannotCover` and `tryInstead`) live in the
+ *          committed key under whatever redaction the run configured; an
+ *          event stream fans out to sinks we do not control. That row
+ *          (9.113.0, filed by the same two moments through
+ *          `unsettled.ts · withUnsettledRows`) emits nothing of its own, as
+ *          a conflict row emits nothing of its own.
  *
  * ## Append only, last wins, conflicts are a fold
  *
@@ -43,7 +48,7 @@
  */
 import { type Conflict } from '../../../integrity/assertion/conflicts.js';
 import { type Assertion } from '../../../integrity/assertion/types.js';
-import { type BasisRow, type DeclaredOn, type FindingsDeclaration, type FindingsLedger, type FindingsRow, type JudgmentRow, type StandingRow } from './types.js';
+import { type BasisRow, type DeclaredOn, type FindingsDeclaration, type FindingsLedger, type FindingsRow, type JudgmentRow, type StandingRow, type UnsettledByAbsenceRow } from './types.js';
 /** The scope surface this file needs. Structurally a `TypedScope<AgentState>`. */
 export interface FindingsScope {
     findingsLedger?: FindingsLedger;
@@ -77,6 +82,16 @@ export interface LedgerFold {
     readonly conflicts: readonly Conflict[];
     /** Whether any result has a standing at all. */
     readonly hasStanding: boolean;
+    /**
+     * The ruled-out standings that rest on an absence (9.113.0): the LAST
+     * `unsettled-by-absence` row per result, kept only while that result's
+     * CURRENT standing (`standingOf`) is still `ruled-out` — a later `fact`,
+     * `open` or `noise` moved the model's word, and a row beside the earlier
+     * word describes a standing that no longer stands. In the order each
+     * result first got a row. The piece's `unsettled by absence` section reads
+     * this and nothing else (`serve.ts · findingsLedgerPiece`).
+     */
+    readonly unsettled: ReadonlyMap<string, UnsettledByAbsenceRow>;
 }
 /**
  * Fold a ledger to its current reading. Pure; safe on a spread of the
@@ -89,8 +104,10 @@ export declare function foldLedger(rows: readonly FindingsRow[]): LedgerFold;
  * key that first disagreed at this write, and emit one event per basis or
  * standing row. No-op on an empty list, so an armed agent whose model
  * declared nothing never writes the key — its commit log is the one it
- * always had. Callers pass basis and standing rows; conflict rows are this
- * function's to write.
+ * always had. Callers pass basis and standing rows — each standing followed
+ * by the `unsettled-by-absence` row the rule files beside it, when it files
+ * one (`unsettled.ts · withUnsettledRows`); conflict rows are this function's
+ * to write.
  */
 export declare function recordFindings(scope: FindingsScope, rows: readonly FindingsRow[]): void;
 /**

package/dist/esm/core/agent/findings/ledger.js

@@ -19,9 +19,14 @@
  *          filed by the two moments `contingent.ts` serves: the route
  *          decider's answer and the dispatch loop's call) — identities,
  *          enums and numbers only. Assertion values, `settles`, `line`, the
- *          judged state and the contingent VALUE live in the committed key
- *          under whatever redaction the run configured; an event stream
- *          fans out to sinks we do not control.
+ *          judged state, the contingent VALUE and — on an
+ *          `unsettled-by-absence` row — a TOOL's own words (its envelope's
+ *          `notChecked`, `cannotCover` and `tryInstead`) live in the
+ *          committed key under whatever redaction the run configured; an
+ *          event stream fans out to sinks we do not control. That row
+ *          (9.113.0, filed by the same two moments through
+ *          `unsettled.ts · withUnsettledRows`) emits nothing of its own, as
+ *          a conflict row emits nothing of its own.
  *
  * ## Append only, last wins, conflicts are a fold
  *
@@ -55,23 +60,32 @@ import { PROPOSITION_CHARS, } from './types.js';
 export function foldLedger(rows) {
     const standingOf = new Map();
     const judgments = new Map();
+    const lastUnsettled = new Map();
     for (const row of rows) {
         if (row.kind === 'standing')
             standingOf.set(row.toolCallId, row);
         else if (row.kind === 'judgment')
             judgments.set(row.toolCallId, row);
+        else if (row.kind === 'unsettled-by-absence')
+            lastUnsettled.set(row.toolCallId, row);
     }
     const asserted = [];
     for (const row of standingOf.values()) {
         if (row.standing === 'fact')
             asserted.push(...row.assertions);
     }
+    const unsettled = new Map();
+    for (const [toolCallId, row] of lastUnsettled) {
+        if (standingOf.get(toolCallId)?.standing === 'ruled-out')
+            unsettled.set(toolCallId, row);
+    }
     return {
         standingOf,
         judgments,
         asserted,
         conflicts: conflictsOf(asserted),
         hasStanding: standingOf.size > 0,
+        unsettled,
     };
 }
 /**
@@ -103,8 +117,10 @@ function witnessesOf(conflict, standingOf) {
  * key that first disagreed at this write, and emit one event per basis or
  * standing row. No-op on an empty list, so an armed agent whose model
  * declared nothing never writes the key — its commit log is the one it
- * always had. Callers pass basis and standing rows; conflict rows are this
- * function's to write.
+ * always had. Callers pass basis and standing rows — each standing followed
+ * by the `unsettled-by-absence` row the rule files beside it, when it files
+ * one (`unsettled.ts · withUnsettledRows`); conflict rows are this function's
+ * to write.
  */
 export function recordFindings(scope, rows) {
     if (rows.length === 0)
@@ -195,6 +211,12 @@ function emitRow(scope, row, newConflicts, judgments) {
         });
         return;
     }
+    // The row beside a ruled-out standing that rests on an absence (9.113.0)
+    // emits nothing of its own — the conflict row's precedent: it is on the
+    // committed key, the served piece is its reader, and no event field ships
+    // without a reader in the same release.
+    if (row.kind === 'unsettled-by-absence')
+        return;
     if (row.kind !== 'standing')
         return;
     const conflictKeys = newConflicts

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

@@ -1 +1 @@
-{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAiB,MAAM,2CAA2C,CAAC;AACvF,OAAO,EAAE,YAAY,EAAkB,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EACL,iBAAiB,GAWlB,MAAM,YAAY,CAAC;AAuCpB,0EAA0E;AAE1E;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAA4B;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;aAC5D,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC;IACD,OAAO;QACL,UAAU;QACV,SAAS;QACT,QAAQ;QACR,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC;QAChC,WAAW,EAAE,UAAU,CAAC,IAAI,GAAG,CAAC;KACjC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,QAAkB,EAAE,UAA4C;IACnF,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACtC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,GAAG;gBAAE,SAAS;YAC/C,SAAS,CAAC,IAAI,CAAC;gBACb,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;gBACnD,SAAS,EAAE,CAAC,CAAC,SAAS;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,0EAA0E;AAE1E;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAoB,EAAE,IAA4B;IAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,IAAI,GAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,cAA6C,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAkB,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,MAAM,YAAY,GAAkB,IAAI,CAAC,SAAS;SAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,SAAS,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC;QAC1C,SAAS;KACV,CAAC,CAAC,CAAC;IACN,KAAK,CAAC,cAAc,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,OAAO,CACd,KAAoB,EACpB,GAAgB,EAChB,YAAoC,EACpC,SAA2C;IAE3C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,SAAS,CAAC,KAAK,EAAE,kCAAkC,EAAE;YACnD,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YACvD,sEAAsE;YACtE,uEAAuE;YACvE,GAAG,CAAC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,IAAa,EAAE,CAAC;YACvE,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,uEAAuE;QACvE,wEAAwE;QACxE,+DAA+D;QAC/D,SAAS,CAAC,KAAK,EAAE,gCAAgC,EAAE;YACjD,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI;gBAC7B,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW;gBAClC,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,YAAY;aACrC,CAAC;SACH,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,SAAS,CAAC,KAAK,EAAE,sCAAsC,EAAE;YACvD,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YACvD,SAAS,EAAE,GAAG,CAAC,SAAS;SACzB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC9B,oEAAoE;QACpE,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;YAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC9F,SAAS,CAAC,KAAK,EAAE,oCAAoC,EAAE;YACrD,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,UAAU,EAAE,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;YAChE,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC7E,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM;YAC7B,SAAS;YACT,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM;SAC7B,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO;IACpC,MAAM,YAAY,GAAG,YAAY;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrB,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,yEAAyE;IACzE,sEAAsE;IACtE,kEAAkE;IAClE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7C,SAAS,CAAC,KAAK,EAAE,kCAAkC,EAAE;QACnD,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7D,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;QAChE,cAAc,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM;QACrC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC;QAChD,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAClD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAED,0EAA0E;AAE1E;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAgC,EAChC,WAAgC,EAChC,UAAsB,EACtB,SAAiB;IAEjB,MAAM,EAAE,GAAe,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;IAClG,OAAO,CAAC,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,UAAU,EAAE,CAAC;QACtF,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClE,MAAM,UAAU,GACd,KAAK,CAAC,QAAQ,KAAK,OAAO;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;gBACnD,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO;gBACP,UAAU;aACX,CAAC,CAAC,CAAC;QACV,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,GAAG,CAAC,KAAK,EAAE,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClE,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;YACjC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;YAC3D,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9D,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACrD,UAAU;YACV,UAAU,EAAE,EAAE;YACd,SAAS;YACT,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,IAAa,EAAE,CAAC;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAkD,EAClD,WAAgC,EAChC,SAAiB,EACjB,SAAkB;IAElB,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CACjB,qCAAqC,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,EAAE,8BAA8B;YACnF,6CAA6C,CAChD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,EAAE,CAAC,EAAE;QACjB,QAAQ,EAAE,EAAE,CAAC,IAAI;QACjB,SAAS;QACT,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC;QACvE,GAAG,CAAC,WAAW,CAAC,WAAW,KAAK,SAAS,IAAI;YAC3C,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC;SAC/C,CAAC;QACF,GAAG,CAAC,WAAW,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvF,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,IAAI,CAAC,MAAM,IAAI,iBAAiB;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,cAAc,IAAI,CAAC,MAAM,GAAG,iBAAiB,SAAS,CAAC;AACnG,CAAC"}
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAiB,MAAM,2CAA2C,CAAC;AACvF,OAAO,EAAE,YAAY,EAAkB,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EACL,iBAAiB,GAYlB,MAAM,YAAY,CAAC;AAiDpB,0EAA0E;AAE1E;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAA4B;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC/D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;aAC5D,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;aAChE,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB;YAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC3D,KAAK,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9C,IAAI,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,QAAQ,KAAK,WAAW;YAAE,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO;QACL,UAAU;QACV,SAAS;QACT,QAAQ;QACR,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC;QAChC,WAAW,EAAE,UAAU,CAAC,IAAI,GAAG,CAAC;QAChC,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,QAAkB,EAAE,UAA4C;IACnF,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACtC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,GAAG;gBAAE,SAAS;YAC/C,SAAS,CAAC,IAAI,CAAC;gBACb,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;gBACnD,SAAS,EAAE,CAAC,CAAC,SAAS;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,0EAA0E;AAE1E;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,KAAoB,EAAE,IAA4B;IAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,2EAA2E;IAC3E,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,IAAI,GAAkB,CAAC,GAAG,CAAE,KAAK,CAAC,cAA6C,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAkB,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,MAAM,YAAY,GAAkB,IAAI,CAAC,SAAS;SAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,SAAS,EAAE,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC;QAC1C,SAAS;KACV,CAAC,CAAC,CAAC;IACN,KAAK,CAAC,cAAc,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,OAAO,CACd,KAAoB,EACpB,GAAgB,EAChB,YAAoC,EACpC,SAA2C;IAE3C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,SAAS,CAAC,KAAK,EAAE,kCAAkC,EAAE;YACnD,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YACvD,sEAAsE;YACtE,uEAAuE;YACvE,GAAG,CAAC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,IAAa,EAAE,CAAC;YACvE,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;SACjE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,uEAAuE;QACvE,wEAAwE;QACxE,+DAA+D;QAC/D,SAAS,CAAC,KAAK,EAAE,gCAAgC,EAAE;YACjD,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI;gBAC7B,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW;gBAClC,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,YAAY;aACrC,CAAC;SACH,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,SAAS,CAAC,KAAK,EAAE,sCAAsC,EAAE;YACvD,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;YACvD,SAAS,EAAE,GAAG,CAAC,SAAS;SACzB,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC9B,oEAAoE;QACpE,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ;YAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC9F,SAAS,CAAC,KAAK,EAAE,oCAAoC,EAAE;YACrD,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,UAAU,EAAE,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;YAChE,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,QAAQ,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC7E,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM;YAC7B,SAAS;YACT,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM;SAC7B,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,yEAAyE;IACzE,wEAAwE;IACxE,0EAA0E;IAC1E,wCAAwC;IACxC,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB;QAAE,OAAO;IAChD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO;IACpC,MAAM,YAAY,GAAG,YAAY;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;SACvE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrB,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,yEAAyE;IACzE,sEAAsE;IACtE,kEAAkE;IAClE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7C,SAAS,CAAC,KAAK,EAAE,kCAAkC,EAAE;QACnD,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7D,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW;QAChE,cAAc,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM;QACrC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,CAAC;QAChD,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAClD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;KAC1E,CAAC,CAAC;AACL,CAAC;AAED,0EAA0E;AAE1E;;;;GAIG;AACH,SAAS,WAAW,CAAC,MAAc;IACjC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC3C,OAAO,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAgC,EAChC,WAAgC,EAChC,UAAsB,EACtB,SAAiB;IAEjB,MAAM,EAAE,GAAe,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;IAClG,OAAO,CAAC,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxE,MAAM,UAAU,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,UAAU,EAAE,CAAC;QACtF,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClE,MAAM,UAAU,GACd,KAAK,CAAC,QAAQ,KAAK,OAAO;YACxB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACnC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;gBACnD,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO;gBACP,UAAU;aACX,CAAC,CAAC,CAAC;QACV,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,GAAG,CAAC,KAAK,EAAE,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;YAClE,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;YACjC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;YAC3D,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9D,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACrD,UAAU;YACV,UAAU,EAAE,EAAE;YACd,SAAS;YACT,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,IAAa,EAAE,CAAC;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAkD,EAClD,WAAgC,EAChC,SAAiB,EACjB,SAAkB;IAElB,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CACjB,qCAAqC,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC,EAAE,8BAA8B;YACnF,6CAA6C,CAChD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,EAAE,CAAC,EAAE;QACjB,QAAQ,EAAE,EAAE,CAAC,IAAI;QACjB,SAAS;QACT,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC;QACvE,GAAG,CAAC,WAAW,CAAC,WAAW,KAAK,SAAS,IAAI;YAC3C,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC;SAC/C,CAAC;QACF,GAAG,CAAC,WAAW,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvF,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,IAAI,CAAC,MAAM,IAAI,iBAAiB;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,cAAc,IAAI,CAAC,MAAM,GAAG,iBAAiB,SAAS,CAAC;AACnG,CAAC"}

package/dist/esm/core/agent/findings/offer.d.ts

@@ -18,7 +18,11 @@
  *          standingRowsFrom` resolves a named id against. The offer and the
  *          identity source read the SAME served history, so every id the
  *          offer lists resolves: the law "the offer is what the model may
- *          COPY" holds at the row, not only at the schema.
+ *          COPY" holds at the row, not only at the schema. All of them ask
+ *          ONE predicate, `isResultMessage`: a message the batch settlement
+ *          wrote (9.113.0, `LLMMessage.notDispatched`) is served — the model
+ *          reads its sentence — and is no result, so it is never offered,
+ *          resolved or counted undeclared.
  *
  * WHY AN OFFER. On a hosted model the ask "by its tool_result id" produced
  * standings named by ORDINAL ("0", "1"), recorded as `unknownId` and settling
@@ -62,10 +66,21 @@ import type { FindingsLedger, Standing, StandingRow } from './types.js';
  */
 export declare const RETIRING_STANDINGS: readonly Standing[];
 /**
- * The `role: 'tool'` ids on a message list, in wire order, each once. A
- * message without an id, or with an empty one, contributes nothing. The
- * collapse (`serve.ts · collapseJudged`) never changes an id, so the list is
- * the same before and after it.
+ * Is this message a tool's RESULT — the only thing a standing can be about?
+ * A `role: 'tool'` message the batch settlement wrote (9.113.0,
+ * `LLMMessage.notDispatched`) is not: the call never ran, so there is nothing
+ * to stand on. Read off the marker, never the sentence — which is why every
+ * caller hands these functions the COMMITTED conversation, not the wire,
+ * where `stripFrameworkFields` has already removed the marker (ids and order
+ * are the same either way).
+ */
+export declare function isResultMessage(m: LLMMessage): boolean;
+/**
+ * The `role: 'tool'` ids on a message list, in wire order, each once — a
+ * settled message excluded (`isResultMessage`). A message without an id, or
+ * with an empty one, contributes nothing. The collapse (`serve.ts ·
+ * collapseJudged`) never changes an id, so the list is the same before and
+ * after it.
  */
 export declare function servedToolCallIds(messages: readonly LLMMessage[]): readonly string[];
 /**
@@ -107,6 +122,8 @@ export declare function offeredResultIds(messages: readonly LLMMessage[], rows:
  * order changes no row; it is the source the rows resolved against before
  * the history joined). An id in neither is `unknownId`, as written. A tool
  * message with no `toolName` yields a result with none: nothing is invented
- * for it.
+ * for it. A settled message (`isResultMessage`) is no result, so a model that
+ * names its id anyway files `unknownId` — the batch never holds one: a
+ * settled call never joins `toolResults`.
  */
 export declare function knownResults(messages: readonly LLMMessage[], previousBatch?: readonly PreviousResult[]): readonly PreviousResult[];