agentfootprint 10.3.0 → 10.4.0

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

@@ -1,236 +0,0 @@
-/**
- * emptiness — the ONE reader of "what came back?" for a finished tool result.
- *
- * Pattern: typed routes over two inputs — the value the MODEL read, and the
- *          door the RECORD says the call returned — and never a guess.
- * Role:    core/ layer, pure. It imports the recognizers only
- *          (`coverage/recognize.ts`; the artifact ref grammar and the
- *          placement ticket's guard, `artifacts/naming.ts`,
- *          `artifacts/placement.ts`), never a mint, so a post-hoc reader
- *          loads it without the tool-name checks and refusal sentences.
- * Callers: the `/observe` answer account (`lib/answer-account/facts/calls.ts`
- *          for this run's calls, `lib/answer-account/facts/inView.ts` for an
- *          earlier answer's result) and the standing fold
- *          (`core/agent/assessment/assess.ts` · `assessAnswer`). One rule, so
- *          the person's account and the answer's standing read the same bytes
- *          the same way; they differ only where they hold a different door
- *          (the list under "The door decides" below).
- * Emits:   N/A.
- *
- * ## The routes, in order
- *
- * | What the record says came back | Reading | Rows counted by |
- * |---|---|---|
- * | an absence — bare, inside a `coverage()`, or the delivered status `'absent'` | `declared-absent` | — |
- * | a `describedResult()` with data | `non-empty`, with a count per kind | library |
- * | a `describedResult()` with only `clarify` | `clarify` — a question handed back, no data | — |
- * | a `coverage()` envelope | its wrapped `result`, read by these same routes, marked `bounded`; an empty wrapped rowset reads `declared-absent` | library or app |
- * | a bare top-level array | `undeclared-empty` or `non-empty` | library |
- * | the library's placement ticket (`placedToolResult`) — the whole result is in the store | `unknown`, said: the ticket counts bytes, never rows | — |
- * | an object whose key the app declared in `rowsAt` | `undeclared-empty` or `non-empty` | app |
- * | an object whose `rowsAt` rows went to the store — the dataset ticket left in their place | the ticket's whole-number `rows`: `undeclared-empty` (0) or `non-empty`; no count → `unknown`, said | app |
- * | an object with no list and no ticket at the declared `rowsAt` | `unknown`, said: the declared key holds no list | — |
- * | anything else | `unknown` — the record cannot read it | — |
- *
- * ## Rows that travel by reference
- *
- * A projection may move a rowset out of the value the model reads and leave a
- * TICKET to the artifact store in its place — `withDatasetArtifacts` /
- * `stageDatasetArtifacts` stage the rows, and a projection (or an after-tool
- * `allow(replacement)`) keeps the ticket and drops the rows. The library's
- * spelling of that ticket, the one this reader counts:
- *
- * ```ts
- * { …, datasets: { rows: { ref: 'art_…', kind: 'dataset/rows', rows: 2, sourceField: 'rows' } },
- *      dataset: { ref: 'art_…', kind: 'dataset/rows', rows: 2, sourceField: 'rows' } } // the principal one
- * ```
- *
- * `ref` is a store ref (`isArtifactRef`), `rows` the whole-number row count,
- * `sourceField` the result key the rows came from. The ticket is read only for
- * the key the APP declared (`rowsAt`), only when that key is gone from the
- * value (moved, not merely beside it), and only when the ticket names it —
- * keyed under `datasets[rowsAt]` (a `sourceField`, when present, agreeing) or
- * the principal `dataset` with `sourceField: rowsAt`. Two declarations meet
- * there: the app's key and the ticket's field. A ticket with no whole-number
- * `rows` is never guessed: whether the result was empty cannot be told, and
- * the reading says why (`rowsUnread`). The library's own placement ticket
- * (`artifacts/placement.ts`) puts the WHOLE result in the store and counts
- * bytes, so it reads the same way. Take 4 of the demo video: a ticketed
- * `pscale_client_health` (2 rows, `sourceField: 'rows'`, the app's `rowsAt:
- * 'rows'`) read as "its shape is not declared", and the account's tone stayed
- * unknown.
- *
- * ## The door decides, when the record holds one
- *
- * A marker in the bytes is not a declaration: an envelope a tool returned as
- * JSON TEXT (an `mcpClient` in its default text mode) reaches the model and
- * the history byte-for-byte like a recognized one, but the run never
- * recognized it — no delivered status, no coverage row, no limits block. So
- * when the caller holds the call's door (`EmptinessContext.door` — this run's
- * calls, read from the coverage rows or events), the door alone says whether
- * an absence or a boundary was declared, and a marker the door does not vouch
- * for is read as plain data. Only when the caller holds NO door for the result
- * is the door read off the value itself, by the rule the run's own recognizer
- * applies (`declaredByValue`, mirroring `coverage/read.ts` ·
- * `readCoverageResult`) — the only evidence left, and the same answer the run
- * would have filed for an object. Which caller holds a door:
- *
- * - the answer account, for this run's calls — its EVENTS are the door
- *   (`lib/answer-account/facts/calls.ts`), and a call's `tool_end` is always
- *   in the record, so a JSON-text envelope the run never recognized reads as
- *   data in "It found";
- * - the standing fold, only for a call that has a committed coverage row
- *   (`core/agent/assessment/assess.ts` · `readTurnResults`). Committed state
- *   can LOSE a row the run filed (a history restored by `resumeOnError` does
- *   not carry `coverageDeclared`; a trimmed recording drops it), so for a call
- *   with no row the fold passes no door and the envelope in the committed
- *   history is read — never read as silence. For a JSON-text envelope the run
- *   never recognized (an `mcpClient` in text mode) the fold then says more
- *   than "It found" does: it may over-report, it never hides;
- * - nobody, for an earlier answer's result (`facts/inView.ts`).
- *
- * Recognizing JSON-text envelopes at run time belongs at the execute boundary,
- * with one owner, not in a reader.
- */
-/**
- * Whether the result the model read came back empty, and who says so.
- *
- * - `declared-absent` — the tool declared that nothing matched (an absence, or
- *   an empty rowset inside a declared boundary);
- * - `undeclared-empty` — an empty rowset that did not say what it searched;
- * - `non-empty` — rows, or described data, came back;
- * - `clarify` — a described result handed back a question and no data;
- * - `unknown` — the record cannot read it (a shape nobody declared, a
- *   decorated or non-JSON string, an error text).
- */
-export type Emptiness = 'declared-absent' | 'undeclared-empty' | 'non-empty' | 'clarify' | 'unknown';
-/** A described result's data, counted per kind by the library from the recorded envelope. */
-export interface DescribedCounts {
-    readonly facts?: number;
-    readonly series?: number;
-    readonly edges?: number;
-}
-/** What the RECORD says one call returned. */
-export interface ReturnedDoor {
-    /** The call returned an absence — bare, inside a `coverage()`, or with the delivered status `'absent'`. */
-    readonly absent: boolean;
-    /** The call declared a `coverage()` boundary (a `ledger` coverage row / a `tools.coverage_declared` event). */
-    readonly bounded: boolean;
-    /**
-     * The `describedResult()` envelope as the record keeps it —
-     * the `tools.semantics_declared` event's `semantics`. The model read only its
-     * projection, which carries no marker, so without this the reader cannot
-     * tell a described result from any other object. Committed state does not
-     * keep it (the projection replaces it at the dispatch door), so the standing
-     * fold never has it.
-     */
-    readonly described?: unknown;
-}
-export interface EmptinessContext {
-    /** Where the APP says an object result of this tool keeps its rows — a top-level key. */
-    readonly rowsAt?: string;
-    /**
-     * What the record says the call returned. ABSENT when the record holds no
-     * door for this result — an earlier answer's result, whose run is not in
-     * this record, or (for the standing fold) a call with no committed coverage
-     * row — and the strict recognizers then read the value itself
-     * (`declaredByValue`).
-     */
-    readonly door?: ReturnedDoor;
-    /**
-     * For a reader of a record SERVED under a redaction policy (an agent's
-     * `redact`): whether a value is the policy's placeholder. The app's rows key
-     * holding one reads as kept out (`rowsUnread: 'redacted'`), never as "no
-     * list". Absent — the live run, or a record no policy covered — every
-     * value is read as the value it is.
-     */
-    readonly keptOut?: (value: unknown) => boolean;
-}
-export interface EmptinessReading {
-    readonly emptiness: Emptiness;
-    /** Rows counted in the value the model read (a counted rowset only). */
-    readonly rows?: number;
-    /** `app` when the count rests on the app's declared `rowsAt`. */
-    readonly source?: 'library' | 'app';
-    /** The rows key the reading used (the app's `rowsAt`), when it used one. */
-    readonly rowsAt?: string;
-    /**
-     * Where in the value read the count was taken (path segments; `[]` the value
-     * itself; `result` for each declared boundary read through): the rowset, or
-     * the `rows` of the dataset ticket standing for it.
-     */
-    readonly countedAt?: readonly string[];
-    /** A described result's data, per kind. */
-    readonly described?: DescribedCounts;
-    /** Read through a declared `coverage()` boundary. */
-    readonly bounded?: true;
-    /** An object result with no declared shape — whether it was empty cannot be told. */
-    readonly undeclaredShape: boolean;
-    /**
-     * Why the rows could not be counted when the shape IS known — so a reader
-     * never says "not declared" of a declared key:
-     * - `no-list` — the app declared `rowsAt`, and the value holds neither a list
-     *   there nor a ticket standing for it;
-     * - `uncounted-ticket` — the rows went to the artifact store and the ticket
-     *   left in their place carries no whole-number count (a dataset ticket
-     *   without `rows`, or the library's placement ticket, which counts bytes);
-     * - `redacted` — the result itself is kept out of the record: a redaction
-     *   policy (an agent's `redact`) left its placeholder where the value was,
-     *   so nothing about the rows can be read. Set by the answer account's call
-     *   reader (`lib/answer-account/facts/calls.ts`), which never hands a
-     *   placeholder to this reader as if it were a result.
-     */
-    readonly rowsUnread?: 'no-list' | 'uncounted-ticket' | 'redacted';
-}
-/**
- * The ONE rule for an app's declared rows key: a non-empty TOP-LEVEL key of the
- * object result — no `/` and no `.`, so it can never be read as a path. Returns
- * what is wrong with a value (`'empty'`, `'nested'`), or `undefined` when it
- * keeps the rule. Both readers' declarations are checked by it (the answer
- * account's `lib/answer-account/declarations.ts` · `validateDeclarations`, the
- * standing fold's `core/agent/assessment/assess.ts` · `assessAnswer`), so the
- * two cannot accept different keys.
- */
-export declare function rowsAtProblem(rowsAt: unknown): 'empty' | 'nested' | undefined;
-/** JSON text that is an object or array is read as data; anything else as found. */
-export declare function parseMaybeJson(value: unknown): unknown;
-/** What a value's OWN envelope declares — see {@link declaredByValue}. */
-export interface ValueDeclaration {
-    /** An absence — bare, or directly inside a `coverage()` boundary. */
-    readonly absent: boolean;
-    /** A `coverage()` boundary. */
-    readonly bounded: boolean;
-    /**
-     * Ground the envelope says it did not check or can never cover — a
-     * non-empty `not_checked` / `cannot_cover`, on the boundary or on the
-     * absence it wraps.
-     */
-    readonly gap: boolean;
-}
-/**
- * What a value's own envelope declares, read by the strict recognizers only and
- * by the rule the RUN's recognizer files rows for a value it is handed
- * (`coverage/read.ts` · `readCoverageResult`): a bare absence, or a boundary
- * with an absence directly inside it, and the gaps either lists. `undefined`
- * when the value is neither envelope. JSON text is parsed once, at the top.
- *
- * For a reader whose record holds no row for the call: an earlier answer's
- * result (its run is not in this record), or a result whose row was never
- * filed or was lost on the way here — a history restored by `resumeOnError`
- * carries no `coverageDeclared`, and a trimmed recording may drop it. The
- * envelope in the bytes is then the only evidence left, and reading it can
- * only ADD a declaration, never hide one.
- */
-export declare function declaredByValue(value: unknown): ValueDeclaration | undefined;
-/**
- * Read one finished tool result. Typed routes only — see the header's table.
- *
- * @param value   the value the MODEL read — a history message's `content`, or
- *                `tool_end.modelResult ?? result`. JSON text is parsed once, at
- *                this top level (the library's own serialization boundary);
- *                strings inside the value are the tool's and are never parsed.
- * @param context the app's `rowsAt` for this tool, and the door the record
- *                holds for this call (absent for an earlier answer's result).
- */
-export declare function readEmptiness(value: unknown, context?: EmptinessContext): EmptinessReading;
-//# sourceMappingURL=emptiness.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"emptiness.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/emptiness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6FG;AAMH;;;;;;;;;;GAUG;AACH,MAAM,MAAM,SAAS,GACjB,iBAAiB,GACjB,kBAAkB,GAClB,WAAW,GACX,SAAS,GACT,SAAS,CAAC;AAEd,6FAA6F;AAC7F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8CAA8C;AAC9C,MAAM,WAAW,YAAY;IAC3B,2GAA2G;IAC3G,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,+GAA+G;IAC/G,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B;;;;;;;OAOG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,gBAAgB;IAC/B,yFAAyF;IACzF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;;OAMG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAC7B;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;CAChD;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,wEAAwE;IACxE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,iEAAiE;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,KAAK,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,2CAA2C;IAC3C,QAAQ,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC;IACrC,qDAAqD;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,qFAAqF;IACrF,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,GAAG,kBAAkB,GAAG,UAAU,CAAC;CACnE;AAKD;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,CAG7E;AAED,oFAAoF;AACpF,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAStD;AA4HD,0EAA0E;AAC1E,MAAM,WAAW,gBAAgB;IAC/B,qEAAqE;IACrE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,+BAA+B;IAC/B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,GAAG,SAAS,CAe5E;AAiCD;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,GAAE,gBAAqB,GAAG,gBAAgB,CAa9F"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;AAqDH;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,CAM9E"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"inProgress.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/inProgress.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAMH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB;IAC3B,wDAAwD;;IAExD,sEAAsE;;EAE7D,CAAC;AAEZ;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,QAGjB,CAAC;AAUf,+DAA+D;AAC/D,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAS7D;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,EACZ,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,OAAO,GAClB,iBAAiB,CAenB;AAyDD;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,cAAc,EAAE,CAKtE;AAMD;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;CAAE,EAC1C,QAAQ,EAAE,MAAM,GAAG,SAAS,GAC3B,SAAS,cAAc,EAAE,GAAG,SAAS,CASvC;AAcD;;;GAGG;AACH,wBAAgB,wBAAwB,IAAI,IAAI,CAE/C;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAenE;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAUtE;AAED,yGAAyG;AACzG,eAAO,MAAM,yBAAyB,wCAAwC,CAAC;AAE/E;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAI7E;AAED,2EAA2E;AAC3E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,cAAc,CAOvE"}

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

@@ -1 +0,0 @@
-{"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,EACL,gBAAgB,EAChB,yBAAyB,EACzB,kBAAkB,EAClB,YAAY,EACZ,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,cAAc,EACnB,KAAK,gBAAgB,GACtB,MAAM,aAAa,CAAC;AACrB,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,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAC9F,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,gBAAgB,EAChB,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,kBAAkB,EAClB,QAAQ,EACR,mBAAmB,EACnB,aAAa,EACb,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,cAAc,EACd,WAAW,EACX,cAAc,GACf,MAAM,YAAY,CAAC"}

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

@@ -1,89 +0,0 @@
-/**
- * coverage/items — normalizing and refusing coverage lists.
- *
- * Pattern: one validator, two doors (`absent()` and `coverage()`), so the two
- *          primitives cannot disagree about what a well-formed piece of
- *          ground looks like.
- * Role:    core/ layer, pure. Throws at the CALL SITE (the
- *          `resolveEvidenceGate` precedent): a malformed declaration is a
- *          mistake in the line the author just wrote, and the stack should
- *          say so — not fail on the first absence of the first incident.
- * Emits:   N/A.
- */
-import type { CoverageInput, CoverageItem } from './types.js';
-/** Section names, as the author spells them — used verbatim in refusals. */
-export type CoverageSection = 'checked' | 'notChecked' | 'cannotCover';
-/** The closed kind vocabulary — `CoverageItem.kind`, named for this file. */
-export type CoverageKind = NonNullable<CoverageItem['kind']>;
-/** The longest `short` a report prints on one line. */
-export declare const MAX_SHORT_CHARS = 80;
-/** The item keys that are RECORD-ONLY — never served to the model, never
- *  evidence. `read.ts` · `servedToModel` and `evidence.ts` remove these. */
-export declare const RECORD_ONLY_ITEM_KEYS: readonly string[];
-/** What is wrong with a `short`, or `undefined` when it is fine. `what` is the
- *  item's own (trimmed) `what`. */
-export declare function shortProblem(short: unknown, what: string): string | undefined;
-/** The record-only extras a well-formed item may carry. */
-export interface CoverageItemExtras {
-    readonly short?: string;
-    readonly kind?: CoverageKind;
-}
-/**
- * The item's `short` / `kind`, when each is valid — the NON-throwing reader
- * every dispatch door uses (`../stages/toolCalls.ts` · `declareCoverage`'s
- * copy), so the event and the tracked row carry the same fields.
- *
- * An invalid value is DROPPED, never repaired, and named once per tool in dev
- * mode: an envelope minted elsewhere (a Python sidecar, a hand-built value)
- * is read as found, and the absence it carries is still an absence either
- * way. `{}` when the item declares neither — so a spread of it adds no key.
- */
-export declare function readItemExtras(item: unknown, section: CoverageSection, toolName?: string): CoverageItemExtras;
-/**
- * One coverage list with the record-only keys removed from every item that
- * has one — the SAME reference when no item has one (the zero-cost law: a
- * run whose tools declare neither serves exactly the value it always did).
- * Anything that is not an array, and any item that is not an object, is left
- * as found.
- */
-export declare function listWithoutRecordOnly(list: unknown): unknown;
-/**
- * The keys a {@link CoverageDeclaration} has — the three lists, as the author
- * spells them — tied to the type in BOTH directions: a key the interface
- * gains, or one listed here that it does not have, fails to compile.
- * `coverage()` and a `describedResult()` declaration's
- * `coverage` refuse any other
- * key (`refusal.ts` · `refuseUnknownKeys`), so `not_checked` is refused,
- * naming `notChecked`, instead of vanishing.
- */
-export declare const COVERAGE_DECLARATION_KEYS: readonly string[];
-/**
- * Normalize one author list into {@link CoverageItem}s, refusing anything a
- * reader could not act on. Every refusal starts with `refusal.ts` ·
- * `REFUSED_PREFIX` and names the list and index, never the helper.
- *
- * `requireWhy` is true only for `cannotCover`. The asymmetry is deliberate:
- * "we checked the fcns database" and "we did not check the archive" are
- * complete statements on their own, but "this tool can never see host-side
- * multipathing" is a claim about capability — and a permanent blind spot with
- * no reason attached cannot be acted on, escalated, or disproved. It is also
- * the one an operator is most likely to want to fix, so the reason is the
- * useful half.
- */
-export declare function normalizeCoverageList(section: CoverageSection, list: readonly CoverageInput[] | undefined, requireWhy: boolean): readonly CoverageItem[];
-/** Two entries are the same ground when they say the same two things. Used to
- *  fold the run's declarations into ONE answer-level block: five tools that
- *  all name the same missing collector should say it once. */
-export declare function sameItem(a: CoverageItem, b: CoverageItem): boolean;
-/** Merge lists in declaration order, dropping repeats. Order is the run's own
- *  order on purpose — it is the only ordering that means anything here. */
-export declare function mergeItems(lists: ReadonlyArray<readonly CoverageItem[]>): readonly CoverageItem[];
-/**
- * `holder` (an envelope or a ledger marker) with each wire list stripped of
- * the record-only keys — the SAME reference when none of its lists carried
- * one. The one helper `read.ts` · `servedToModel` (what the model is served)
- * and `evidence.ts` (what may ground) both use, so the two cannot disagree
- * about which keys are record-only.
- */
-export declare function listsWithoutRecordOnly<T extends object>(holder: T): T;
-//# sourceMappingURL=items.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"items.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/items.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAOH,OAAO,KAAK,EAAuB,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEnF,4EAA4E;AAC5E,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,YAAY,GAAG,aAAa,CAAC;AAavE,6EAA6E;AAC7E,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAE7D,uDAAuD;AACvD,eAAO,MAAM,eAAe,KAAK,CAAC;AASlC;4EAC4E;AAC5E,eAAO,MAAM,qBAAqB,EAAE,SAAS,MAAM,EAAsB,CAAC;AAE1E;mCACmC;AACnC,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAc7E;AAgBD,2DAA2D;AAC3D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAYD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,eAAe,EACxB,QAAQ,CAAC,EAAE,MAAM,GAChB,kBAAkB,CAuBpB;AAcD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAmB5D;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,yBAAyB,EAAE,SAAS,MAAM,EAIH,CAAC;AAErD;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,SAAS,aAAa,EAAE,GAAG,SAAS,EAC1C,UAAU,EAAE,OAAO,GAClB,SAAS,YAAY,EAAE,CA+DzB;AAED;;8DAE8D;AAC9D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,OAAO,CAElE;AAED;2EAC2E;AAC3E,wBAAgB,UAAU,CAAC,KAAK,EAAE,aAAa,CAAC,SAAS,YAAY,EAAE,CAAC,GAAG,SAAS,YAAY,EAAE,CAQjG;AASD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAUrE"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAMH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAoBrF,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,CAAC;AAE/C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,aAAa,QAKc,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,GAAG,aAAa,CAAC,CAAC,CAAC,CAsDzF;AAED,iEAAiE;AACjE,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,aAAa,GAAG,QAAQ,CAOjE"}