agentfootprint 9.112.2 → 9.113.0

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

@@ -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
@@ -60,16 +64,29 @@ import { foldLedger } from './ledger.js';
  */
 export const RETIRING_STANDINGS = Object.freeze(['noise', 'ruled-out']);
 /**
- * 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 function isResultMessage(m) {
+    return m.role === 'tool' && m.notDispatched === undefined;
+}
+/**
+ * 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 function servedToolCallIds(messages) {
     const ids = [];
     const seen = new Set();
     for (const m of messages) {
-        if (m.role !== 'tool')
+        if (!isResultMessage(m))
             continue;
         const id = m.toolCallId;
         if (id === undefined || id.length === 0 || seen.has(id))
@@ -144,7 +161,9 @@ export function offeredResultIds(messages, 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 function knownResults(messages, previousBatch = []) {
     const seen = new Set();
@@ -158,7 +177,7 @@ export function knownResults(messages, previousBatch = []) {
     for (const r of previousBatch)
         add(r);
     for (const m of messages) {
-        if (m.role !== 'tool' || m.toolCallId === undefined)
+        if (!isResultMessage(m) || m.toolCallId === undefined)
             continue;
         add({
             toolCallId: m.toolCallId,

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

@@ -1 +1 @@
-{"version":3,"file":"offer.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/offer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAGH,OAAO,EAAE,UAAU,EAAuB,MAAM,aAAa,CAAC;AAG9D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAwB,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;AAE7F;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAA+B;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QAChC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;QACxB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAClE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAyB,EACzB,UAA4C;IAE5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,MAAyB,EACzB,UAA4C;IAE5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC3B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS,IAAI,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,SAAS;QACrF,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA+B,EAC/B,IAAgC;IAEhC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO,WAAW,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC;AACxE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,YAAY,CAC1B,QAA+B,EAC/B,gBAA2C,EAAE;IAE7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,KAAqB,EAAE,EAAE;QACpC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YAAE,OAAO;QACxE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,aAAa;QAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,SAAS;QAC9D,GAAG,CAAC;YACF,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzD,MAAM,EAAE,CAAC,CAAC,OAAO;SAClB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"offer.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/offer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAGH,OAAO,EAAE,UAAU,EAAuB,MAAM,aAAa,CAAC;AAG9D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAwB,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;AAE7F;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,CAAa;IAC3C,OAAO,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAA+B;IAC/D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;YAAE,SAAS;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;QACxB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAClE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAyB,EACzB,UAA4C;IAE5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QACjD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,MAAyB,EACzB,UAA4C;IAE5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC3B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS,IAAI,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,SAAS;QACrF,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA+B,EAC/B,IAAgC;IAEhC,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC9C,OAAO,WAAW,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC;AACxE,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,YAAY,CAC1B,QAA+B,EAC/B,gBAA2C,EAAE;IAE7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,KAAqB,EAAE,EAAE;QACpC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YAAE,OAAO;QACxE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,aAAa;QAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,SAAS;QAChE,GAAG,CAAC;YACF,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzD,MAAM,EAAE,CAAC,CAAC,OAAO;SAClB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

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

@@ -26,7 +26,13 @@
  * on the record — one line per `ContingentRow`, the value the model used
  * and every result that carried it with the standing the model gave that
  * result (`contingent.ts` is the rule; this only quotes the rows; the
- * heading says the lines are the library's join, not a declaration). Every
+ * heading says the lines are the library's join, not a declaration). After
+ * it, `unsettled by absence (read off the record):` (9.113.0) quotes the
+ * rows the fold keeps beside a ruled-out standing whose only witness was an
+ * absence — what the envelope, as the model was served it, said it did not
+ * check and its `try_instead`, in its own field names (`unsettled.ts` is
+ * the rule, and quotes nothing the model was not served; the model's own
+ * ruled-out line stays in `limitations`, exactly as declared). Every
  * bucket is bounded
  * (`FINDINGS_PIECE_LIMITS`) and every overflow is STATED; an empty bucket is
  * omitted rather than rendered as "no facts". A basis-only ledger
@@ -133,14 +139,15 @@ export declare function isCollapsedToolResult(value: unknown): value is Collapse
  * section: the piece's sections are separated by a blank line, and an id
  * carrying `\n\nfacts (declared by the model):\n…` would otherwise render as
  * a second, forged, library-authored bucket. `pieceChars` is the ceiling the
- * other three imply for the whole piece (header + the four buckets and the
- * contingent section at their cap + two count lines at theirs + the ask):
+ * other three imply for the whole piece (header + the four buckets, the
+ * contingent section and the unsettled section at their cap + two count
+ * lines at theirs + the ask):
  * stated, not enforced by a cut, and pinned by `serve.test.ts` ("the whole
  * piece stays under pieceChars"), which measures a ledger at every cap at
  * once against it.
  */
 export declare const FINDINGS_PIECE_LIMITS: Readonly<{
-    /** Lines per text bucket (facts, limitations, evidenceRefs, nextSteps, contingent) before `+K more`. */
+    /** Lines per text bucket (facts, limitations, evidenceRefs, nextSteps, contingent, unsettled) before `+K more`. */
     readonly bucketLines: 64;
     /** Ids per count line (noise, undeclared) before `+K more`. */
     readonly listedIds: 32;
@@ -148,8 +155,8 @@ export declare const FINDINGS_PIECE_LIMITS: Readonly<{
     readonly lineChars: 240;
     /** Chars per id on a count line before `…[clipped N chars]` — an id is an identifier. */
     readonly idChars: 64;
-    /** The whole piece's ceiling in chars, implied by the three bounds above (raised for the fifth capped section, 9.110.0). */
-    readonly pieceChars: 98304;
+    /** The whole piece's ceiling in chars, implied by the three bounds above (raised for the fifth capped section, 9.110.0, and the sixth, 9.113.0). */
+    readonly pieceChars: 114688;
 }>;
 /**
  * Compose the findings piece for one request, or `undefined` when no result
@@ -168,5 +175,11 @@ export declare function findingsLedgerPiece(rows: FindingsLedger | undefined, se
  * ticket. The SAME array instance when nothing collapses; otherwise a new
  * array of the same length and order in which only the collapsed entries
  * are new objects.
+ *
+ * Hand it the COMMITTED conversation and strip afterwards (9.113.0): a
+ * message the batch settlement wrote is recognised by its marker
+ * (`offer.ts` · `isResultMessage`), which `stripFrameworkFields` removes. A
+ * collapsed entry keeps every other field, so stripping after is the same
+ * wire as stripping before.
  */
 export declare function collapseJudged(messages: readonly LLMMessage[], rows: FindingsLedger | undefined, mode: FindingsServeMode): readonly LLMMessage[];

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

@@ -26,7 +26,13 @@
  * on the record — one line per `ContingentRow`, the value the model used
  * and every result that carried it with the standing the model gave that
  * result (`contingent.ts` is the rule; this only quotes the rows; the
- * heading says the lines are the library's join, not a declaration). Every
+ * heading says the lines are the library's join, not a declaration). After
+ * it, `unsettled by absence (read off the record):` (9.113.0) quotes the
+ * rows the fold keeps beside a ruled-out standing whose only witness was an
+ * absence — what the envelope, as the model was served it, said it did not
+ * check and its `try_instead`, in its own field names (`unsettled.ts` is
+ * the rule, and quotes nothing the model was not served; the model's own
+ * ruled-out line stays in `limitations`, exactly as declared). Every
  * bucket is bounded
  * (`FINDINGS_PIECE_LIMITS`) and every overflow is STATED; an empty bucket is
  * omitted rather than rendered as "no facts". A basis-only ledger
@@ -97,7 +103,7 @@
 import { CONTEXT_FIELD_MEANINGS } from '../../../lib/context-contract/index.js';
 import { assertionKey } from '../../../integrity/assertion/types.js';
 import { foldLedger } from './ledger.js';
-import { servedToolCallIds, undeclaredIds } from './offer.js';
+import { isResultMessage, servedToolCallIds, undeclaredIds } from './offer.js';
 import { FINDINGS_ANSWER_ASK } from './reserved.js';
 // The wire's tool ids live in `offer.ts` since the offer (9.102.0) — the
 // decoration site and the piece read one set — and stay exported from here
@@ -121,14 +127,15 @@ export function isCollapsedToolResult(value) {
  * section: the piece's sections are separated by a blank line, and an id
  * carrying `\n\nfacts (declared by the model):\n…` would otherwise render as
  * a second, forged, library-authored bucket. `pieceChars` is the ceiling the
- * other three imply for the whole piece (header + the four buckets and the
- * contingent section at their cap + two count lines at theirs + the ask):
+ * other three imply for the whole piece (header + the four buckets, the
+ * contingent section and the unsettled section at their cap + two count
+ * lines at theirs + the ask):
  * stated, not enforced by a cut, and pinned by `serve.test.ts` ("the whole
  * piece stays under pieceChars"), which measures a ledger at every cap at
  * once against it.
  */
 export const FINDINGS_PIECE_LIMITS = Object.freeze({
-    /** Lines per text bucket (facts, limitations, evidenceRefs, nextSteps, contingent) before `+K more`. */
+    /** Lines per text bucket (facts, limitations, evidenceRefs, nextSteps, contingent, unsettled) before `+K more`. */
     bucketLines: 64,
     /** Ids per count line (noise, undeclared) before `+K more`. */
     listedIds: 32,
@@ -136,8 +143,8 @@ export const FINDINGS_PIECE_LIMITS = Object.freeze({
     lineChars: 240,
     /** Chars per id on a count line before `…[clipped N chars]` — an id is an identifier. */
     idChars: 64,
-    /** The whole piece's ceiling in chars, implied by the three bounds above (raised for the fifth capped section, 9.110.0). */
-    pieceChars: 98_304,
+    /** The whole piece's ceiling in chars, implied by the three bounds above (raised for the fifth capped section, 9.110.0, and the sixth, 9.113.0). */
+    pieceChars: 114_688,
 });
 /** The four contract fields the piece serves, in the order they appear. */
 const FIELDS = ['facts', 'limitations', 'evidenceRefs', 'nextSteps'];
@@ -169,6 +176,7 @@ export function findingsLedgerPiece(rows, served = [], answerAsk = 'none') {
         bucket('evidenceRefs', openLines(current, tested)),
         bucket('nextSteps', nextStepLines(current)),
         contingentSection(rows),
+        unsettledSection(fold),
         countLine(`noise (${DECLARED})`, idsWith(current, 'noise'), ''),
         countLine('undeclared', undeclaredIds(served, fold.standingOf), ', served in full below'),
         ...(answerAsk === 'quote-facts' ? [FINDINGS_ANSWER_ASK] : []),
@@ -362,6 +370,58 @@ function contingentSection(rows) {
     const over = lines.length - shown.length;
     return [CONTINGENT_HEADING, ...shown, ...(over > 0 ? [`+${over} more (cap ${max})`] : [])].join('\n');
 }
+/**
+ * The heading of the section that quotes the rows beside a ruled-out
+ * standing whose only witness is an absence (9.113.0). It says where the
+ * lines come from for the reason `CONTINGENT_HEADING` does: the piece's
+ * header says everything below it is what the model itself declared, and
+ * these lines are the library's reading of the result the model ruled out
+ * on — its envelope's own words, quoted.
+ */
+const UNSETTLED_HEADING = 'unsettled by absence (read off the record):';
+/**
+ * The ruled-out standings that rest on an absence (9.113.0) — for each row
+ * the fold keeps (`ledger.ts · foldLedger`'s `unsettled`: the last row per
+ * result while its current standing is still `ruled-out`), in fold order:
+ * one head line in the ruled-out line's own identity form, `ruled out
+ * (<toolName>, tool:<id>) on an absence`, then one line per part of the
+ * envelope, each anchored to its call by id and keyed by the envelope's own
+ * field name — `tool:<id> not_checked: <what>[ — <why>]`, `tool:<id>
+ * cannot_cover: …`, `tool:<id> try_instead: <the string as printed>`. One
+ * line per part, so no part is cut by another's length (the line cap clips
+ * each on its own); capped like a bucket, by lines, with the overflow
+ * stated; omitted when the fold keeps none. The model's own ruled-out line
+ * stays in `limitations`, as declared.
+ */
+function unsettledSection(fold) {
+    const lines = [];
+    for (const row of fold.unsettled.values()) {
+        // Always present: the fold keeps a row only beside a current ruled-out standing.
+        const standing = fold.standingOf.get(row.toolCallId);
+        if (standing === undefined)
+            continue;
+        lines.push(clipLine(`ruled out (${whereOf(standing)}) on an absence`));
+        const id = `tool:${row.toolCallId}`;
+        for (const item of row.notChecked ?? []) {
+            lines.push(clipLine(`${id} not_checked: ${itemText(item)}`));
+        }
+        for (const item of row.cannotCover ?? []) {
+            lines.push(clipLine(`${id} cannot_cover: ${itemText(item)}`));
+        }
+        if (row.tryInstead !== undefined)
+            lines.push(clipLine(`${id} try_instead: ${row.tryInstead}`));
+    }
+    if (lines.length === 0)
+        return undefined;
+    const max = FINDINGS_PIECE_LIMITS.bucketLines;
+    const shown = lines.slice(0, max);
+    const over = lines.length - shown.length;
+    return [UNSETTLED_HEADING, ...shown, ...(over > 0 ? [`+${over} more (cap ${max})`] : [])].join('\n');
+}
+/** `<what>[ — <why>]` — one coverage item as the answer's coverage block renders it. */
+function itemText(item) {
+    return `${item.what}${item.why === undefined ? '' : ` — ${item.why}`}`;
+}
 // ─── Rendering ─────────────────────────────────────────────────────────
 /** `tool:<id>[ | artifact:<ref>][ (unknown id)]` — the row's own identities. */
 function provenanceOf(row) {
@@ -412,6 +472,12 @@ function clip(text, max) {
  * ticket. The SAME array instance when nothing collapses; otherwise a new
  * array of the same length and order in which only the collapsed entries
  * are new objects.
+ *
+ * Hand it the COMMITTED conversation and strip afterwards (9.113.0): a
+ * message the batch settlement wrote is recognised by its marker
+ * (`offer.ts` · `isResultMessage`), which `stripFrameworkFields` removes. A
+ * collapsed entry keeps every other field, so stripping after is the same
+ * wire as stripping before.
  */
 export function collapseJudged(messages, rows, mode) {
     if (rows === undefined)
@@ -430,7 +496,10 @@ export function collapseJudged(messages, rows, mode) {
     return out ?? messages;
 }
 function ticketFor(m, standingOf, mode) {
-    if (m.role !== 'tool' || m.toolCallId === undefined)
+    // A settled message is no result (`offer.ts` · `isResultMessage`): a
+    // standing that names its id (filed `unknownId`, as written) never turns the
+    // library's sentence about a call that never ran into a ticket.
+    if (!isResultMessage(m) || m.toolCallId === undefined)
         return undefined;
     const row = standingOf.get(m.toolCallId);
     if (row === undefined || !collapses(row.standing, mode))

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

@@ -1 +1 @@
-{"version":3,"file":"serve.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/serve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+FG;AAGH,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,YAAY,EAAkB,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,UAAU,EAAmB,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGpD,yEAAyE;AACzE,2EAA2E;AAC3E,+EAA+E;AAC/E,OAAO,EAAE,iBAAiB,EAAE,CAAC;AA6B7B,+DAA+D;AAC/D,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAAiC,CAAC,SAAS,KAAK,IAAI;QACrD,OAAQ,KAAgC,CAAC,QAAQ,KAAK,QAAQ;QAC9D,OAAQ,KAAkC,CAAC,UAAU,KAAK,QAAQ,CACnE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,wGAAwG;IACxG,WAAW,EAAE,EAAE;IACf,+DAA+D;IAC/D,SAAS,EAAE,EAAE;IACb,4EAA4E;IAC5E,SAAS,EAAE,GAAG;IACd,yFAAyF;IACzF,OAAO,EAAE,EAAE;IACX,4HAA4H;IAC5H,UAAU,EAAE,MAAM;CACV,CAAC,CAAC;AAEZ,2EAA2E;AAC3E,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,CAAU,CAAC;AAG9E,MAAM,QAAQ,GAAG,uBAAuB,CAAC;AAEzC,0EAA0E;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAgC,EAChC,SAA4B,EAAE,EAC9B,YAA+B,MAAM;IAErC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IACxC,wEAAwE;IACxE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG;QACf,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,CAAC,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAC3C,iBAAiB,CAAC,IAAI,CAAC;QACvB,SAAS,CAAC,UAAU,QAAQ,GAAG,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QAC/D,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,wBAAwB,CAAC;QACzF,GAAG,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9C,OAAO;QACL,UAAU,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9C,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,MAAM,GAAG;IACb,yFAAyF;QACvF,uFAAuF;QACvF,2FAA2F;QAC3F,yFAAyF;QACzF,+BAA+B;IACjC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,gEAAgE;CACjE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,kGAAkG;AAClG,SAAS,MAAM,CAAC,KAAY,EAAE,KAAwB;IACpD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,GAAG,GAAG,qBAAqB,CAAC,WAAW,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO;QACL,GAAG,KAAK,KAAK,QAAQ,IAAI;QACzB,GAAG,KAAK;QACR,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,KAAa,EAAE,GAAsB,EAAE,IAAY;IACpE,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,GAAG,GAAG,qBAAqB,CAAC,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACrD,OAAO,GAAG,KAAK,KAAK,GAAG,CAAC,MAAM,IAAI,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,CAAC;AAC5D,CAAC;AAED,SAAS,OAAO,CAAC,OAA+B,EAAE,QAAkB;IAClE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACzF,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAoB;IAC1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAC1D,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,GAAgB,EAAE,MAAmC;IACzE,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/C,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,WAAW,EAAE,CAAC;AACtE,CAAC;AAED,0EAA0E;AAE1E,4GAA4G;AAC5G,SAAS,SAAS,CAAC,OAA+B;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACtC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,uCAAuC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACjF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,IAAgB;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,OAA2B,CAAC;QAChC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;gBAAE,SAAS;YACtC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,GAAG;oBAAE,SAAS;gBAC/C,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;gBACzB,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,OAAO,KAAK,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,OAA+B,EAC/B,MAAmC;IAEnC,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,WAAW,CAAC;SAC7C,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,QAAQ,CACN,cAAc,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,EAAE;QAC3E,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAC5B,CACF,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,OAA+B,EAAE,MAAmC;IACrF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACtC,MAAM,IAAI,GACR,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9F,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,SAAS,aAAa,CAAC,OAA+B;IACpD,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC;SACrE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,OAAO,oBAAoB,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,mCAAmC,CAAC;AAE/D;;;;;;;;;;GAUG;AACH,SAAS,iBAAiB,CAAC,IAAoB;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC3F,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS,GAAG,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,GAAG,GAAG,qBAAqB,CAAC,WAAW,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,kBAAkB,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC7F,IAAI,CACL,CAAC;AACJ,CAAC;AAED,0EAA0E;AAE1E,gFAAgF;AAChF,SAAS,YAAY,CAAC,GAAgB;IACpC,OAAO,CACL,QAAQ,GAAG,CAAC,UAAU,EAAE;QACxB,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,GAAG,EAAE,CAAC;QACvD,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAChD,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,OAAO,CAAC,GAAgB;IAC/B,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,SAAS,CAAC,CAAY;IAC7B,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;AAC9D,CAAC;AAED,mGAAmG;AACnG,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;AACrD,CAAC;AAED,gFAAgF;AAChF,SAAS,MAAM,CAAC,EAAU;IACxB,OAAO,IAAI,CAAC,EAAE,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC;AAED,8FAA8F;AAC9F,SAAS,IAAI,CAAC,IAAY,EAAE,GAAW;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,cAAc,IAAI,CAAC,MAAM,GAAG,GAAG,SAAS,CAAC;AACvE,CAAC;AAED,0EAA0E;AAE1E;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC5B,QAA+B,EAC/B,IAAgC,EAChC,IAAuB;IAEvB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACxC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,WAAW;QAAE,OAAO,QAAQ,CAAC;IAClC,IAAI,GAA6B,CAAC;IAClC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,CAAC,CAAC,OAAO;YAAE,SAAS;QAC3D,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,IAAI,QAAQ,CAAC;AACzB,CAAC;AAED,SAAS,SAAS,CAChB,CAAa,EACb,UAA4C,EAC5C,IAAuB;IAEvB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACtE,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1E,MAAM,MAAM,GAAwB;QAClC,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;KAC/C,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,qFAAqF;AACrF,SAAS,SAAS,CAAC,QAAkB,EAAE,IAAuB;IAC5D,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,IAAI,KAAK,aAAa,IAAI,QAAQ,KAAK,MAAM,CAAC;AACvD,CAAC"}
+{"version":3,"file":"serve.js","sourceRoot":"","sources":["../../../../../src/core/agent/findings/serve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqGG;AAGH,OAAO,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AAChF,OAAO,EAAE,YAAY,EAAkB,MAAM,uCAAuC,CAAC;AAErF,OAAO,EAAE,UAAU,EAAmB,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGpD,yEAAyE;AACzE,2EAA2E;AAC3E,+EAA+E;AAC/E,OAAO,EAAE,iBAAiB,EAAE,CAAC;AA6B7B,+DAA+D;AAC/D,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAAiC,CAAC,SAAS,KAAK,IAAI;QACrD,OAAQ,KAAgC,CAAC,QAAQ,KAAK,QAAQ;QAC9D,OAAQ,KAAkC,CAAC,UAAU,KAAK,QAAQ,CACnE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,mHAAmH;IACnH,WAAW,EAAE,EAAE;IACf,+DAA+D;IAC/D,SAAS,EAAE,EAAE;IACb,4EAA4E;IAC5E,SAAS,EAAE,GAAG;IACd,yFAAyF;IACzF,OAAO,EAAE,EAAE;IACX,oJAAoJ;IACpJ,UAAU,EAAE,OAAO;CACX,CAAC,CAAC;AAEZ,2EAA2E;AAC3E,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,WAAW,CAAU,CAAC;AAG9E,MAAM,QAAQ,GAAG,uBAAuB,CAAC;AAEzC,0EAA0E;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAgC,EAChC,SAA4B,EAAE,EAC9B,YAA+B,MAAM;IAErC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IACxC,wEAAwE;IACxE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG;QACf,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,CAAC,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QAC3C,iBAAiB,CAAC,IAAI,CAAC;QACvB,gBAAgB,CAAC,IAAI,CAAC;QACtB,SAAS,CAAC,UAAU,QAAQ,GAAG,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;QAC/D,SAAS,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,wBAAwB,CAAC;QACzF,GAAG,CAAC,SAAS,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9C,OAAO;QACL,UAAU,EAAE,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9C,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,UAAU;KACnB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,MAAM,GAAG;IACb,yFAAyF;QACvF,uFAAuF;QACvF,2FAA2F;QAC3F,yFAAyF;QACzF,+BAA+B;IACjC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,KAAK,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,gEAAgE;CACjE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,kGAAkG;AAClG,SAAS,MAAM,CAAC,KAAY,EAAE,KAAwB;IACpD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,GAAG,GAAG,qBAAqB,CAAC,WAAW,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO;QACL,GAAG,KAAK,KAAK,QAAQ,IAAI;QACzB,GAAG,KAAK;QACR,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,KAAa,EAAE,GAAsB,EAAE,IAAY;IACpE,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,GAAG,GAAG,qBAAqB,CAAC,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClE,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACrD,OAAO,GAAG,KAAK,KAAK,GAAG,CAAC,MAAM,IAAI,IAAI,GAAG,IAAI,KAAK,IAAI,GAAG,CAAC;AAC5D,CAAC;AAED,SAAS,OAAO,CAAC,OAA+B,EAAE,QAAkB;IAClE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACzF,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAoB;IAC1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAC1D,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,GAAgB,EAAE,MAAmC;IACzE,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/C,OAAO,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,WAAW,EAAE,CAAC;AACtE,CAAC;AAED,0EAA0E;AAE1E,4GAA4G;AAC5G,SAAS,SAAS,CAAC,OAA+B;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACtC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,uCAAuC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACjF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,aAAa,CAAC,IAAgB;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,IAAI,OAA2B,CAAC;QAChC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;gBAAE,SAAS;YACtC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,GAAG;oBAAE,SAAS;gBAC/C,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC;gBACzB,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,OAAO,KAAK,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,OAA+B,EAC/B,MAAmC;IAEnC,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,WAAW,CAAC;SAC7C,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,QAAQ,CACN,cAAc,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,EAAE;QAC3E,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAC5B,CACF,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,OAA+B,EAAE,MAAmC;IACrF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM;YAAE,SAAS;QACtC,MAAM,IAAI,GACR,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9F,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CACR,QAAQ,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,SAAS,aAAa,CAAC,OAA+B;IACpD,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC;SACrE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,OAAO,oBAAoB,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,mCAAmC,CAAC;AAE/D;;;;;;;;;;GAUG;AACH,SAAS,iBAAiB,CAAC,IAAoB;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;QAC3F,MAAM,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,KAAK,SAAS,GAAG,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,GAAG,GAAG,qBAAqB,CAAC,WAAW,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,kBAAkB,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC7F,IAAI,CACL,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,iBAAiB,GAAG,6CAA6C,CAAC;AAExE;;;;;;;;;;;;;GAaG;AACH,SAAS,gBAAgB,CAAC,IAAgB;IACxC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,iFAAiF;QACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,GAAG,QAAQ,GAAG,CAAC,UAAU,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,iBAAiB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,kBAAkB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,iBAAiB,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,GAAG,GAAG,qBAAqB,CAAC,WAAW,CAAC;IAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IACzC,OAAO,CAAC,iBAAiB,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAC5F,IAAI,CACL,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAS,QAAQ,CAAC,IAAkB;IAClC,OAAO,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;AACzE,CAAC;AAED,0EAA0E;AAE1E,gFAAgF;AAChF,SAAS,YAAY,CAAC,GAAgB;IACpC,OAAO,CACL,QAAQ,GAAG,CAAC,UAAU,EAAE;QACxB,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,GAAG,EAAE,CAAC;QACvD,CAAC,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAChD,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,SAAS,OAAO,CAAC,GAAgB;IAC/B,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,SAAS,CAAC,CAAY;IAC7B,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;AAC9D,CAAC;AAED,mGAAmG;AACnG,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,CAAC;AACrD,CAAC;AAED,gFAAgF;AAChF,SAAS,MAAM,CAAC,EAAU;IACxB,OAAO,IAAI,CAAC,EAAE,EAAE,qBAAqB,CAAC,OAAO,CAAC,CAAC;AACjD,CAAC;AAED,8FAA8F;AAC9F,SAAS,IAAI,CAAC,IAAY,EAAE,GAAW;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,cAAc,IAAI,CAAC,MAAM,GAAG,GAAG,SAAS,CAAC;AACvE,CAAC;AAED,0EAA0E;AAE1E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAC5B,QAA+B,EAC/B,IAAgC,EAChC,IAAuB;IAEvB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACxC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,CAAC,WAAW;QAAE,OAAO,QAAQ,CAAC;IAClC,IAAI,GAA6B,CAAC;IAClC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,CAAC,CAAC,OAAO;YAAE,SAAS;QAC3D,GAAG,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,IAAI,QAAQ,CAAC;AACzB,CAAC;AAED,SAAS,SAAS,CAChB,CAAa,EACb,UAA4C,EAC5C,IAAuB;IAEvB,qEAAqE;IACrE,6EAA6E;IAC7E,gEAAgE;IAChE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1E,MAAM,MAAM,GAAwB;QAClC,SAAS,EAAE,IAAI;QACf,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;KAC/C,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,qFAAqF;AACrF,SAAS,SAAS,CAAC,QAAkB,EAAE,IAAuB;IAC5D,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,IAAI,KAAK,aAAa,IAAI,QAAQ,KAAK,MAAM,CAAC;AACvD,CAAC"}

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

@@ -29,6 +29,7 @@
  * trace row carrying the write already names the writer.
  */
 import type { Assertion } from '../../../integrity/assertion/types.js';
+import type { CoverageItem } from '../coverage/types.js';
 /** The reserved optional property every SERVED tool schema carries when armed. */
 export declare const RESERVED_ARGUMENT: "_findings";
 /** The reserved top-level key a JSON answer may carry its standings under. */
@@ -285,6 +286,85 @@ export interface ContingentRow {
     readonly carriers: readonly ContingentCarrier[];
     readonly iteration: number;
 }
-export type FindingsRow = BasisRow | StandingRow | ConflictRow | JudgmentRow | JudgmentErrorRow | ContingentRow;
+/**
+ * A `ruled-out` standing whose ONLY witness is an absence (9.113.0) — the
+ * library's row BESIDE the model's, never a rewrite of it. "Nothing was
+ * found" is not "ruled out": a lookup that matched nothing witnesses no
+ * negative, so a ruling-out that rests on it alone is not settled by its
+ * witness — and the envelope already says why (what it did not check) and
+ * where the settling would be (its `try_instead`). `findings/unsettled.ts`
+ * is the one rule; `ledger.ts · recordFindings` files the row immediately
+ * after the standing it is beside, keyed to that standing's `toolCallId`.
+ * The model's `StandingRow` is untouched and served exactly as declared.
+ *
+ * TWO WITNESSES, BOTH REQUIRED. A row is filed only when the dispatch door
+ * recorded the standing's result as an absence (`stages/toolCalls.ts ·
+ * declareCoverage` — the delivered status `'absent'`, the `tools.absent`
+ * event, a `kind: 'absence'` row on `AgentState.coverageDeclared`; the rule
+ * never re-reads a return to decide that, so the record holds one answer to
+ * "did the tool return an absence?") AND the model was SERVED one. The door
+ * records the return before the after-tool chain, the tool's own ceiling
+ * and placement act, and the model rules out on what it READ: a result an
+ * after-tool rule denied, a refusal, a placement ticket or a summary was no
+ * absence to the model, so nothing is filed beside a ruling-out on it.
+ *
+ * A RECORD OF A CHECK, NOT A FOLD. Written once, at the moment the standing
+ * was filed, and never recomputed, never updated. The record needs it
+ * STORED because what it is read from does not last as long as the
+ * standing: `coverageDeclared` is per run (a continued conversation or a
+ * `resumeOnError` starts without it — it is not on the `AgentRunCheckpoint`),
+ * and the served result leaves `history` when the window evicts it
+ * (`stages/window.ts`). The model needs
+ * it SERVED for a different reason: from the next call on, a ruled-out
+ * result is a ticket on the wire (`serve.ts · collapseJudged`), so the
+ * piece's section is where the envelope's boundary still reaches it. Which
+ * rows are CURRENT — the last per result, while that result's standing is
+ * still `ruled-out` — is the ledger's one fold (`ledger.ts · foldLedger`,
+ * its `unsettled` map), never this row's.
+ *
+ * Every field is in its author's words AS THE MODEL WAS SERVED THEM, never
+ * inferred and never more than the model read: `notChecked` / `cannotCover`
+ * are the served envelope's `not_checked` / `cannot_cover`, `tryInstead` its
+ * `try_instead` STRING — so a scrub an after-tool rule applied is honored,
+ * and a word governance withheld never reaches the row (the door's own
+ * copies are its witness, never quoted). These are tool-authored words in
+ * the committed key, under whatever redaction the run configured (the
+ * `ledger.ts` payload law).
+ *
+ * THE NAME. The ledger's own verb negated — `settles` is what an `open`
+ * standing says would settle it — and the cause in the coverage vocabulary
+ * (`absent()`, the delivered status `'absent'`). It reuses no standing value
+ * (round 1 re-filed the standing as `open`, a second writer of the model's
+ * word) and no disposition word (the checker's). THE FIELD: the design
+ * (decisions memo § 2.1, page § 5.6) names the carried sentence `settles`;
+ * it ships as `tryInstead`, the envelope's own field name, because `settles`
+ * is the MODEL's word on an `open` standing and calling the tool's sentence
+ * "what settles it" would be an inference — a reader of this row looks for
+ * `tryInstead`, never `settles`.
+ */
+export interface UnsettledByAbsenceRow {
+    readonly kind: 'unsettled-by-absence';
+    /** The ruled-out RESULT — the key of the standing this row is beside. */
+    readonly toolCallId: string;
+    /**
+     * The SERVED envelope's `not_checked` (the served result's leading JSON
+     * object — a framework note joined after it is not part of it) — a
+     * bounding ledger's first, then the absence's, repeats dropped (the one
+     * recognizer's order, which the door files in too). An item that names no
+     * ground is left out. Present only when non-empty.
+     */
+    readonly notChecked?: readonly CoverageItem[];
+    /** The served envelope's `cannot_cover`, by the same rule. Present only when non-empty. */
+    readonly cannotCover?: readonly CoverageItem[];
+    /**
+     * The served absence's `try_instead`, the STRING byte for byte — never
+     * parsed, never trimmed, never read for a tool name. Present only when
+     * that string is non-blank.
+     */
+    readonly tryInstead?: string;
+    /** The standing's iteration — the moment the check ran. */
+    readonly iteration: number;
+}
+export type FindingsRow = BasisRow | StandingRow | ConflictRow | JudgmentRow | JudgmentErrorRow | ContingentRow | UnsettledByAbsenceRow;
 /** 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAIH,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;AA4HrC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AA4DvC;;;;;;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAKH,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;AA4HrC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AA4DvC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC"}

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

@@ -0,0 +1,121 @@
+/**
+ * findings/unsettled — "nothing was found" is not "ruled out".
+ *
+ * Pattern: one pure rule over (a standing the model just declared, the
+ *          result the model was served for it, the coverage the dispatch
+ *          door recorded); the sibling of `contingent.ts`. That one asks
+ *          "did the model build on a result it had set aside?"; this one
+ *          asks "did the model set something aside on a result that held
+ *          nothing?".
+ * Role:    core/ layer leaf. The two moments that file standings —
+ *          `stages/toolCalls.ts` (a call's `_findings.previous`) and
+ *          `stages/route.ts` (the answer's) — pass their standing rows
+ *          through `withUnsettledRows` on the way to `ledger.ts ·
+ *          recordFindings`, the one writer, so a derived row lands in the
+ *          same write, immediately after the standing it is beside.
+ * Emits:   N/A — and the writer emits nothing for the row either (the
+ *          conflict row's precedent; see `ledger.ts · recordFindings`).
+ *
+ * ## The owner's ask, and the rule that answers it
+ *
+ * A model rules out an HBA path because an HBA lookup keyed on a storage
+ * cluster's name found nothing — and the lookup's own envelope said it never
+ * checked whether that name is a host at all. The model's `ruled-out` is its
+ * word and stays its word: the library never writes a standing (round 1 of
+ * the design re-filed it as `open`, which made the library a second writer
+ * of the model's word — docs/design/2026-09-honest-answer-ledger.md § 14,
+ * R12). What the library adds is a row BESIDE it:
+ *
+ *   a `ruled-out` standing whose ONLY witness is an absence gets an
+ *   `unsettled-by-absence` row, keyed to the standing's `toolCallId`,
+ *   carrying what the envelope says was not checked and its `try_instead`
+ *   as printed.
+ *
+ * The fences, because they are the rule's honesty:
+ * - TWO FACTS, TWO OWNERS, BOTH REQUIRED. "Did the tool return an absence?"
+ *   has one owner: the dispatch door (`stages/toolCalls.ts ·
+ *   declareCoverage`), which reads the value the tool RETURNED through the
+ *   one recognizer (`coverage/read.ts · readCoverageResult`), delivers the
+ *   status `'absent'`, emits `tools.absent` and files the call's rows on
+ *   `AgentState.coverageDeclared`. This rule never re-reads a result to
+ *   decide that: an envelope a tool returned as TEXT (an MCP server in its
+ *   default text mode) was no absence at the door (no status, no event, no
+ *   row), so it is none here either, and the record holds one answer, not
+ *   two. "Was the model SERVED an absence?" has another owner: the result as
+ *   the model was served it (`offer.ts · knownResults`, the identity source
+ *   the standing itself resolved against). The door records the return
+ *   BEFORE the after-tool chain, the tool's own ceiling and placement act,
+ *   so an after-tool `deny` ("the model does not get to read this"), a
+ *   ceiling's refusal, a placement ticket, a summary or an agent cap's cut
+ *   leave the door's rows saying absence while the model read something
+ *   else. A ruling-out rests on what the model READ: the row is filed only
+ *   when both hold, and it never quotes a word the model was not served.
+ * - THE ROW'S WORDS ARE WHAT THE MODEL WAS SERVED. The served string's
+ *   LEADING JSON object — the dispatch loop serves the value's
+ *   serialization and joins any framework note AFTER it (a step
+ *   boundary's, a refused effect's, the repeated-call note) — read by the
+ *   one recognizer, bare or bounded by `coverage()`. `notChecked` /
+ *   `cannotCover` are that object's lists merged in the recognizer's order
+ *   (a bounding ledger first, then the absence; repeats dropped), so a
+ *   scrub the chain applied is honored; `tryInstead` is its absence's
+ *   `try_instead`, carried byte for byte when it is a non-blank string —
+ *   never parsed and never read for a tool name (a tool name found inside
+ *   prose is an inference). Every item is read, never trusted: copied as
+ *   `{ what, why? }`, and one that names no ground left out — a row the
+ *   checkpoint door would refuse is never filed. The door's own copies are
+ *   the witness that the tool returned an absence, and nothing more: they
+ *   are never quoted.
+ * - RULED-OUT ONLY. `open` is already unsettled in the model's own word, and
+ *   `noise` says the result held nothing worth reading — which an absence
+ *   is. Only a ruling-out claims more than its witness can hold.
+ * - A RECORD OF A CHECK. The row is written once, at the standing's moment,
+ *   and never recomputed (`types.ts · UnsettledByAbsenceRow`); which rows are
+ *   CURRENT is the ledger's one fold (`ledger.ts · foldLedger`).
+ * - TOTAL. Every reader here takes what other code wrote and refuses a shape
+ *   it cannot read by filing nothing, never by throwing: a derived row must
+ *   never fail the run.
+ *
+ * Not read, and named in the README so nobody reads it as covered: a zero-row
+ * array (no door records a zero-row reading of the value a tool returned, and
+ * counting the SERVED string would count a text `'[]'` that
+ * `integrity/empty-lookup/check.ts · readLookupResult` declines — a second
+ * answer), a result whose door rows are not on this run's state — an
+ * earlier turn of a continued conversation, or a run before `resumeOnError`
+ * (`coverageDeclared` is per run and not on the `AgentRunCheckpoint`) — and
+ * the envelope's TYPED suggestion, `try_instead_tool`: the row carries the
+ * `try_instead` string alone, because nothing in this release reads a typed
+ * tool off the row (the join that would, `source-not-consulted`, is not
+ * built).
+ *
+ * `.findings()` must be armed for any of this to run — both call sites sit
+ * inside the ledger's gate — and the door's key is read only for a
+ * `ruled-out` standing whose result was SERVED as an absence, so a run whose
+ * model rules out no such result records the bytes it always did.
+ */
+import type { DeclaredCoverage } from '../coverage/types.js';
+import type { PreviousResult } from './ledger.js';
+import type { FindingsRow, StandingRow, UnsettledByAbsenceRow } from './types.js';
+/**
+ * The rule for ONE standing: the derived row beside it, or nothing. Only a
+ * `ruled-out` standing on a result the run identified (the same `known` list
+ * `ledger.ts · standingRowsFrom` resolved it against) whose served string
+ * reads as an absence AND whose call the door recorded as one (`declared` is
+ * `AgentState.coverageDeclared`).
+ */
+export declare function unsettledRowOf(standing: StandingRow, known: readonly PreviousResult[], declared: readonly DeclaredCoverage[]): UnsettledByAbsenceRow | undefined;
+/**
+ * The standings in declaration order, each followed immediately by its
+ * derived row when the rule files one — what both moments hand to
+ * `recordFindings`. The standing rows are the caller's objects, pushed
+ * as they are: a batch the rule files nothing beside comes back row for row.
+ *
+ * `readDeclared` hands over `AgentState.coverageDeclared` and is called at
+ * most once, and only for a standing the rule reads (a `ruled-out` on an
+ * identified result) whose served result reads as an absence — a pure
+ * reading of strings the moment already holds, taken first. A tracked read
+ * is visible to every recorder (a narrative line, a `readKeys` entry under
+ * `writeProvenance`), so an armed run whose model rules out only results
+ * that held something reads nothing it did not read before (the
+ * `contingent.ts · hasSetAsideStanding` gate's precedent).
+ */
+export declare function withUnsettledRows(standings: readonly StandingRow[], known: readonly PreviousResult[], readDeclared: () => readonly DeclaredCoverage[]): FindingsRow[];