agentfootprint 9.112.2 → 9.113.0

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

@@ -14,5 +14,5 @@ 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';
 //# sourceMappingURL=index.d.ts.map

package/dist/types/core/agent/coverage/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACnG,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EACL,QAAQ,EACR,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACzF,YAAY,EACV,kBAAkB,EAClB,QAAQ,EACR,mBAAmB,EACnB,aAAa,EACb,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,WAAW,GACZ,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACnG,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EACL,QAAQ,EACR,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,KAAK,eAAe,EAAE,MAAM,WAAW,CAAC;AACzF,YAAY,EACV,kBAAkB,EAClB,QAAQ,EACR,mBAAmB,EACnB,aAAa,EACb,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,WAAW,EACX,cAAc,GACf,MAAM,YAAY,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/read.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8CAA8C,CAAC;AAIrF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;6BAC6B;AAC7B,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;wEACwE;AACxE,MAAM,WAAW,eAAe;IAC9B;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC;IACnC;gFAC4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AAID;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,GAAG,SAAS,CAgC9E"}
+{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/read.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8CAA8C,CAAC;AASrF,OAAO,KAAK,EAAE,QAAQ,EAAe,cAAc,EAAE,MAAM,YAAY,CAAC;AAExE;6BAC6B;AAC7B,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,gFAAgF;IAChF,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAgBD;wEACwE;AACxE,MAAM,WAAW,eAAe;IAC9B;;;;;;;OAOG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC;IACnC;gFAC4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C;AAID;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,GAAG,SAAS,CAuB9E"}

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,+EAA+E;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,YAAY,CAAC;AAElD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,SAAS,YAAY,EAAE,CAAC;CAC/C;AAED,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CACjD;AAED,yEAAyE;AACzE,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C;4BACwB;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,mEAAmE;IACnE,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAChD;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB;2EACuE;IACvE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAChD;2DACuD;IACvD,QAAQ,CAAC,sBAAsB,EAAE,IAAI,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yEAAyE;AACzE,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,OAAO;IACxC,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QAC3C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,+EAA+E;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,YAAY,CAAC;AAElD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,SAAS,YAAY,EAAE,CAAC;CAC/C;AAED,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CACjD;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,cAAc;IAC7B,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,yEAAyE;AACzE,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3C;4BACwB;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C,mEAAmE;IACnE,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAChD;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB;2EACuE;IACvE,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAChD;2DACuD;IACvD,QAAQ,CAAC,sBAAsB,EAAE,IAAI,CAAC;IACtC;+DAC2D;IAC3D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;2EACuE;IACvE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,cAAc,CAAC;IAC3C,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yEAAyE;AACzE,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,OAAO;IACxC,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QAC3C,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,CAAC;IACF,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,QAAQ,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B"}

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

@@ -1 +1 @@
-{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EAAe,KAAK,QAAQ,EAAE,MAAM,2CAA2C,CAAC;AACvF,OAAO,EAAgB,KAAK,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAErF,OAAO,EAEL,KAAK,QAAQ,EAGb,KAAK,UAAU,EACf,KAAK,mBAAmB,EACxB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,WAAW,EAEhB,KAAK,WAAW,EACjB,MAAM,YAAY,CAAC;AAEpB,kFAAkF;AAClF,MAAM,WAAW,aAAa;IAC5B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,gDAAgD;AAChD,MAAM,WAAW,UAAU;IACzB,iFAAiF;IACjF,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACtD;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACrD,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAID;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,GAAG,UAAU,CAkBnE;AA0BD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,GAAG,IAAI,CAuBvF;AA4GD;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,WAAW,EAAE,mBAAmB,EAChC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,GAChB,WAAW,EAAE,CAgCf;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,EAAE,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAClD,WAAW,EAAE,mBAAmB,EAChC,SAAS,EAAE,MAAM,EACjB,SAAS,CAAC,EAAE,MAAM,GACjB,QAAQ,CAoBV"}
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EAAe,KAAK,QAAQ,EAAE,MAAM,2CAA2C,CAAC;AACvF,OAAO,EAAgB,KAAK,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAErF,OAAO,EAEL,KAAK,QAAQ,EAGb,KAAK,UAAU,EACf,KAAK,mBAAmB,EACxB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,WAAW,EAEhB,KAAK,WAAW,EAChB,KAAK,qBAAqB,EAC3B,MAAM,YAAY,CAAC;AAEpB,kFAAkF;AAClF,MAAM,WAAW,aAAa;IAC5B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,gDAAgD;AAChD,MAAM,WAAW,UAAU;IACzB,iFAAiF;IACjF,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACtD;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACrD,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;;;;;OAQG;IACH,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;CAChE;AAID;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,GAAG,UAAU,CAyBnE;AA0BD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,GAAG,IAAI,CAuBvF;AAiHD;;;;;;;;;;;;GAYG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,WAAW,EAAE,mBAAmB,EAChC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,GAChB,WAAW,EAAE,CAgCf;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,EAAE,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAClD,WAAW,EAAE,mBAAmB,EAChC,SAAS,EAAE,MAAM,EACjB,SAAS,CAAC,EAAE,MAAM,GACjB,QAAQ,CAoBV"}

package/dist/types/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,7 +122,9 @@ 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[];
 //# sourceMappingURL=offer.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"offer.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/offer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAExE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,QAAQ,EAA0C,CAAC;AAE7F;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,MAAM,EAAE,CAWpF;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,GAC3C,MAAM,EAAE,CASV;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,GAC3C,MAAM,EAAE,CAWV;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,IAAI,EAAE,cAAc,GAAG,SAAS,GAC/B,SAAS,MAAM,EAAE,CAGnB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,aAAa,GAAE,SAAS,cAAc,EAAO,GAC5C,SAAS,cAAc,EAAE,CAkB3B"}
+{"version":3,"file":"offer.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/offer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAExE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,QAAQ,EAA0C,CAAC;AAE7F;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,UAAU,GAAG,OAAO,CAEtD;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,MAAM,EAAE,CAWpF;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,GAC3C,MAAM,EAAE,CASV;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,GAC3C,MAAM,EAAE,CAWV;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,IAAI,EAAE,cAAc,GAAG,SAAS,GAC/B,SAAS,MAAM,EAAE,CAGnB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,aAAa,GAAE,SAAS,cAAc,EAAO,GAC5C,SAAS,cAAc,EAAE,CAkB3B"}

package/dist/types/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,6 +175,12 @@ 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[];
 //# sourceMappingURL=serve.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"serve.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/serve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+FG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAI7D,OAAO,EAAE,iBAAiB,EAAiB,MAAM,YAAY,CAAC;AAE9D,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAe,MAAM,YAAY,CAAC;AAKxE,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAE7B,+FAA+F;AAC/F,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAEnE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,aAAa,CAAC;AAEvD,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,uDAAuD;IACvD,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,+DAA+D;AAC/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,mBAAmB,CAQlF;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,qBAAqB;IAChC,wGAAwG;;IAExG,+DAA+D;;IAE/D,4EAA4E;;IAE5E,yFAAyF;;IAEzF,4HAA4H;;EAEnH,CAAC;AAUZ;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,cAAc,GAAG,SAAS,EAChC,MAAM,GAAE,SAAS,MAAM,EAAO,EAC9B,SAAS,GAAE,iBAA0B,GACpC,mBAAmB,GAAG,SAAS,CAsBjC;AA+PD;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,IAAI,EAAE,cAAc,GAAG,SAAS,EAChC,IAAI,EAAE,iBAAiB,GACtB,SAAS,UAAU,EAAE,CAYvB"}
+{"version":3,"file":"serve.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/serve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAK7D,OAAO,EAAmB,iBAAiB,EAAiB,MAAM,YAAY,CAAC;AAE/E,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAe,MAAM,YAAY,CAAC;AAKxE,OAAO,EAAE,iBAAiB,EAAE,CAAC;AAE7B,+FAA+F;AAC/F,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,aAAa,CAAC;AAEnE;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,aAAa,CAAC;AAEvD,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,uDAAuD;IACvD,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,+DAA+D;AAC/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,mBAAmB,CAQlF;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,qBAAqB;IAChC,mHAAmH;;IAEnH,+DAA+D;;IAE/D,4EAA4E;;IAE5E,yFAAyF;;IAEzF,oJAAoJ;;EAE3I,CAAC;AAUZ;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,cAAc,GAAG,SAAS,EAChC,MAAM,GAAE,SAAS,MAAM,EAAO,EAC9B,SAAS,GAAE,iBAA0B,GACpC,mBAAmB,GAAG,SAAS,CAuBjC;AAqTD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,SAAS,UAAU,EAAE,EAC/B,IAAI,EAAE,cAAc,GAAG,SAAS,EAChC,IAAI,EAAE,iBAAiB,GACtB,SAAS,UAAU,EAAE,CAYvB"}

package/dist/types/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,7 +286,86 @@ 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[];
 //# sourceMappingURL=types.d.ts.map

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

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

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

@@ -0,0 +1,122 @@
+/**
+ * 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[];
+//# sourceMappingURL=unsettled.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unsettled.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/findings/unsettled.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6FG;AAMH,OAAO,KAAK,EAAgB,gBAAgB,EAAe,MAAM,sBAAsB,CAAC;AACxF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAUlF;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,WAAW,EACrB,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GACpC,qBAAqB,GAAG,SAAS,CAInC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,SAAS,WAAW,EAAE,EACjC,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,YAAY,EAAE,MAAM,SAAS,gBAAgB,EAAE,GAC9C,WAAW,EAAE,CAaf"}

package/dist/types/core/agent/stages/callLLM.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"callLLM.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/stages/callLLM.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAEV,WAAW,EAGX,aAAa,EACb,YAAY,EACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAI1E,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,kDAAkD,CAAC;AAK1D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAKpE,OAAO,EAAgB,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAqB,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAMnF,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACvB,MAAM,sBAAsB,CAAC;AAW9B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA2B9C,MAAM,WAAW,gBAAgB;IAC/B,kCAAkC;IAClC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qCAAqC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,wGAAwG;IACxG,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IACvC,2EAA2E;IAC3E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IACvC;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAC3C;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,kDAAkD;IAClD,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IACrC,2CAA2C;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC;qDACiD;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC;;sEAEkE;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAChE;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,SAAS,cAAc,EAAE,CAAC;IAC3D;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;;;;;;OASG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC5D;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE;QACzB,OAAO,EAAE,OAAO,0CAA0C,EAAE,iBAAiB,GAAG,SAAS,CAAC;KAC3F,CAAC;IACF;;;;;uBAKmB;IACnB,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IACzC;;;;;;oCAMgC;IAChC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC1D;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IACpC;;yDAEqD;IACrD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC;;;;;;;OAOG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,mBAAmB,EAAE,QAAQ,CAAC;IACzD;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IAC7C;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC;CAC5C;AAaD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,gBAAgB,GACrB,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CA2xBlD"}
+{"version":3,"file":"callLLM.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/stages/callLLM.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAEV,WAAW,EAGX,aAAa,EACb,YAAY,EACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAI1E,OAAO,EAGL,KAAK,cAAc,EACpB,MAAM,kDAAkD,CAAC;AAK1D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAKpE,OAAO,EAAgB,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAqB,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAMnF,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACvB,MAAM,sBAAsB,CAAC;AAW9B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA2B9C,MAAM,WAAW,gBAAgB;IAC/B,kCAAkC;IAClC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qCAAqC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,wGAAwG;IACxG,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IACvC,2EAA2E;IAC3E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;IACvC;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAC3C;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC;IAC3B;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,kDAAkD;IAClD,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IACrC,2CAA2C;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC;qDACiD;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC;;sEAEkE;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IAC/C;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAChE;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,SAAS,cAAc,EAAE,CAAC;IAC3D;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;;;;;;OASG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC5D;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE;QACzB,OAAO,EAAE,OAAO,0CAA0C,EAAE,iBAAiB,GAAG,SAAS,CAAC;KAC3F,CAAC;IACF;;;;;uBAKmB;IACnB,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAC;IACzC;;;;;;oCAMgC;IAChC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC1D;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC;IACpC;;yDAEqD;IACrD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC;;;;;;;OAOG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,mBAAmB,EAAE,QAAQ,CAAC;IACzD;;;;;;OAMG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC;;;;;;;;;OASG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IAC7C;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,kBAAkB,CAAC;CAC5C;AAaD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,gBAAgB,GACrB,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAmzBlD"}

package/dist/types/core/agent/stages/route.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"route.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/stages/route.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAahE,OAAO,EAGL,KAAK,yBAAyB,EAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,6CAA6C,CAAC;AAGrD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAIjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+CAA+C,CAAC;AAEnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAIlF,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,OAAO,GACP,cAAc,GACd,YAAY,GACZ,kBAAkB,GAClB,SAAS,CAAC;AA8iBd;4DAC4D;AAC5D,eAAO,MAAM,iBAAiB,UAtB2B,WAAW,UAAU,CAAC,KAAK,WAsB1B,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,sBAAsB,CACpC,iBAAiB,CAAC,EAAE,SAAS,iBAAiB,EAAE,EAChD,WAAW,CAAC,EAAE,yBAAyB,EACvC,WAAW,CAAC,EAAE,WAAW,EACzB,QAAQ,CAAC,EAAE,oBAAoB;AAC/B;;oEAEoE;AACpE,SAAS,UAAQ;AACjB;wEACwE;AACxE,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,EACjC,eAAe,CAAC,EAAE;IAAE,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAAA;CAAE;AAC5D;;;iDAGiD;AACjD,uBAAuB,CAAC,EAAE,OAAO;AACjC;;;;;;;+DAO+D;AAC/D,QAAQ,CAAC,EAAE,IAAI,GACd,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAwEvE"}
+{"version":3,"file":"route.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/stages/route.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAehE,OAAO,EAGL,KAAK,yBAAyB,EAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAIL,KAAK,WAAW,EACjB,MAAM,6CAA6C,CAAC;AAGrD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAIjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+CAA+C,CAAC;AAEnF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAIlF,MAAM,MAAM,WAAW,GACnB,YAAY,GACZ,OAAO,GACP,cAAc,GACd,YAAY,GACZ,kBAAkB,GAClB,SAAS,CAAC;AA8iBd;4DAC4D;AAC5D,eAAO,MAAM,iBAAiB,UAtB2B,WAAW,UAAU,CAAC,KAAK,WAsB1B,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,sBAAsB,CACpC,iBAAiB,CAAC,EAAE,SAAS,iBAAiB,EAAE,EAChD,WAAW,CAAC,EAAE,yBAAyB,EACvC,WAAW,CAAC,EAAE,WAAW,EACzB,QAAQ,CAAC,EAAE,oBAAoB;AAC/B;;oEAEoE;AACpE,SAAS,UAAQ;AACjB;wEACwE;AACxE,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,EACjC,eAAe,CAAC,EAAE;IAAE,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAAA;CAAE;AAC5D;;;iDAGiD;AACjD,uBAAuB,CAAC,EAAE,OAAO;AACjC;;;;;;;+DAO+D;AAC/D,QAAQ,CAAC,EAAE,IAAI,GACd,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAwEvE"}