agentfootprint 10.3.0 → 10.4.0

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

@@ -1,310 +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.
- */
-import { isArtifactRef } from '../../../artifacts/naming.js';
-import { isPlacedToolResult } from '../../../artifacts/placement.js';
-import { readAbsence, readCoverageLedger } from './recognize.js';
-/** How deep `coverage(coverage(…))` is read before the reading gives up (`unknown`). */
-const MAX_BOUND_DEPTH = 8;
-/**
- * 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 function rowsAtProblem(rowsAt) {
-    if (typeof rowsAt !== 'string' || rowsAt.length === 0)
-        return 'empty';
-    return /[/.]/.test(rowsAt) ? 'nested' : undefined;
-}
-/** JSON text that is an object or array is read as data; anything else as found. */
-export function parseMaybeJson(value) {
-    if (typeof value !== 'string')
-        return value;
-    const trimmed = value.trim();
-    if (!trimmed.startsWith('{') && !trimmed.startsWith('['))
-        return value;
-    try {
-        return JSON.parse(trimmed);
-    }
-    catch {
-        return value;
-    }
-}
-const isRecord = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
-const DECLARED_ABSENT = Object.freeze({
-    emptiness: 'declared-absent',
-    undeclaredShape: false,
-});
-/** A count of rows: `undeclared-empty` at zero, `non-empty` above it. */
-function counted(rows, source, countedAt, rowsAt) {
-    return {
-        emptiness: rows === 0 ? 'undeclared-empty' : 'non-empty',
-        rows,
-        source,
-        ...(rowsAt !== undefined && { rowsAt }),
-        countedAt,
-        undeclaredShape: false,
-    };
-}
-const UNCOUNTED_TICKET = Object.freeze({
-    emptiness: 'unknown',
-    undeclaredShape: false,
-    rowsUnread: 'uncounted-ticket',
-});
-/** A ticket to the artifact store: an object whose `ref` is a store ref. */
-const isTicket = (value) => isRecord(value) && isArtifactRef(value.ref);
-/**
- * The dataset ticket standing for the declared rows key — `datasets[rowsAt]`
- * (its `sourceField`, when present, naming that key) or the principal
- * `dataset` with `sourceField: rowsAt` — with where it sits. See "Rows that
- * travel by reference" in the header.
- */
-function ticketFor(data, rowsAt) {
-    const all = data.datasets;
-    if (isRecord(all) && Object.hasOwn(all, rowsAt)) {
-        const ticket = all[rowsAt];
-        if (isTicket(ticket) && (ticket.sourceField === undefined || ticket.sourceField === rowsAt)) {
-            return { ticket, at: ['datasets', rowsAt] };
-        }
-    }
-    const principal = data.dataset;
-    return isTicket(principal) && principal.sourceField === rowsAt
-        ? { ticket: principal, at: ['dataset'] }
-        : undefined;
-}
-/**
- * A bare rowset: a top-level array (library-counted), the app's `rowsAt` key
- * or the dataset ticket left where those rows were (app-counted).
- */
-function rowsetReading(data, rowsAt, keptOut) {
-    if (Array.isArray(data))
-        return counted(data.length, 'library', []);
-    // The whole value kept out of a served record: nothing about its rows can be read.
-    if (keptOut?.(data) === true)
-        return { emptiness: 'unknown', undeclaredShape: false, rowsUnread: 'redacted' };
-    if (!isRecord(data))
-        return { emptiness: 'unknown', undeclaredShape: false };
-    // The library's own placement: the whole result is in the store, and its ticket counts bytes.
-    if (isPlacedToolResult(data))
-        return UNCOUNTED_TICKET;
-    if (rowsAt === undefined)
-        return { emptiness: 'unknown', undeclaredShape: true };
-    // Own keys only. A key set to `undefined` is gone too — its JSON (the history, a saved
-    // recording) drops it, and the live value must read the same.
-    const rows = Object.hasOwn(data, rowsAt) ? data[rowsAt] : undefined;
-    if (Array.isArray(rows))
-        return counted(rows.length, 'app', [rowsAt], rowsAt);
-    // The declared rows kept out of a served record — not "no list".
-    if (rows !== undefined && keptOut?.(rows) === true) {
-        return { emptiness: 'unknown', rowsAt, undeclaredShape: false, rowsUnread: 'redacted' };
-    }
-    // KEYS kept out of a served record: the value-kind rule folds the keys it
-    // cannot vouch for into one placeholder entry (`redaction/knownStrings.ts`),
-    // and the rows key may be among them — a positive sign, so not "no list".
-    if (rows === undefined && keptOut !== undefined && holdsKeptOutKeys(data, keptOut)) {
-        return { emptiness: 'unknown', rowsAt, undeclaredShape: false, rowsUnread: 'redacted' };
-    }
-    // Moved, not merely beside: a key still in the value is read as the value holds it.
-    const found = rows === undefined ? ticketFor(data, rowsAt) : undefined;
-    if (found === undefined) {
-        return { emptiness: 'unknown', rowsAt, undeclaredShape: false, rowsUnread: 'no-list' };
-    }
-    const n = found.ticket.rows;
-    return typeof n === 'number' && Number.isSafeInteger(n) && n >= 0
-        ? counted(n, 'app', [...found.at, 'rows'], rowsAt)
-        : { ...UNCOUNTED_TICKET, rowsAt };
-}
-/** Whether a served record holds the placeholder entry its kept-out keys were folded into. */
-function holdsKeptOutKeys(data, keptOut) {
-    return Object.keys(data).some((key) => keptOut(key) && keptOut(data[key]));
-}
-/** The data a recorded described envelope carries, per kind — or `undefined` when it cannot be read. */
-function describedReading(envelope) {
-    if (!isRecord(envelope))
-        return undefined;
-    const counts = {};
-    for (const kind of ['facts', 'series', 'edges']) {
-        const list = envelope[kind];
-        if (Array.isArray(list) && list.length > 0)
-            counts[kind] = list.length;
-    }
-    if (Object.keys(counts).length > 0) {
-        return { emptiness: 'non-empty', source: 'library', described: counts, undeclaredShape: false };
-    }
-    return isRecord(envelope.clarify) ? { emptiness: 'clarify', undeclaredShape: false } : undefined;
-}
-const listed = (value) => Array.isArray(value) && value.length > 0;
-/**
- * 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 function declaredByValue(value) {
-    const data = parseMaybeJson(value);
-    const ledger = readCoverageLedger(data);
-    const absence = readAbsence(data) ?? (ledger !== undefined ? readAbsence(ledger.result) : undefined);
-    if (ledger === undefined && absence === undefined)
-        return undefined;
-    return {
-        absent: absence !== undefined,
-        bounded: ledger !== undefined,
-        gap: listed(absence?.not_checked) ||
-            listed(absence?.cannot_cover) ||
-            listed(ledger?.af_coverage.not_checked) ||
-            listed(ledger?.af_coverage.cannot_cover),
-    };
-}
-/** The door {@link declaredByValue} reads off the value — used only when the caller holds none. */
-function doorOf(data) {
-    const own = declaredByValue(data);
-    return { absent: own?.absent === true, bounded: own?.bounded === true };
-}
-/** A declared boundary read through (nested ones too), then the bare rowset. */
-function boundedReading(data, door, rowsAt, depth, keptOut) {
-    // Only a boundary the door holds is read through: a marker the run did not recognize is data.
-    const covered = door.bounded ? readCoverageLedger(data) : undefined;
-    if (covered === undefined)
-        return rowsetReading(data, rowsAt, keptOut);
-    if (depth >= MAX_BOUND_DEPTH)
-        return { emptiness: 'unknown', undeclaredShape: false };
-    const read = boundedReading(covered.result, door, rowsAt, depth + 1, keptOut);
-    // The count sits under the boundary's `result`.
-    const inner = read.countedAt !== undefined ? { ...read, countedAt: ['result', ...read.countedAt] } : read;
-    // An empty rowset inside a declared boundary is a declared absence — the same meaning, the same reading.
-    if (inner.emptiness === 'undeclared-empty') {
-        const { undeclaredShape: _shape, ...rest } = inner;
-        void _shape;
-        return { ...rest, emptiness: 'declared-absent', bounded: true, undeclaredShape: false };
-    }
-    return { ...inner, bounded: true };
-}
-/**
- * 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 function readEmptiness(value, context = {}) {
-    const data = parseMaybeJson(value);
-    // The record's door when it holds one; otherwise the door the run's recognizer files for these bytes.
-    const door = context.door ?? doorOf(data);
-    if (door.absent) {
-        // Both rows filed means `coverage(absent(…))`: the absence inside a declared boundary.
-        return door.bounded ? { ...DECLARED_ABSENT, bounded: true } : DECLARED_ABSENT;
-    }
-    if (door.described !== undefined) {
-        const described = describedReading(door.described);
-        if (described !== undefined)
-            return described;
-    }
-    return boundedReading(data, door, context.rowsAt, 0, context.keptOut);
-}
-//# sourceMappingURL=emptiness.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"emptiness.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/emptiness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6FG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAsGjE,wFAAwF;AACxF,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,MAAe;IAC3C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACtE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACvE,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAY,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CACpE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE,MAAM,eAAe,GAAqB,MAAM,CAAC,MAAM,CAAC;IACtD,SAAS,EAAE,iBAAiB;IAC5B,eAAe,EAAE,KAAK;CACvB,CAAC,CAAC;AAEH,yEAAyE;AACzE,SAAS,OAAO,CACd,IAAY,EACZ,MAAyB,EACzB,SAA4B,EAC5B,MAAe;IAEf,OAAO;QACL,SAAS,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,WAAW;QACxD,IAAI;QACJ,MAAM;QACN,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,SAAS;QACT,eAAe,EAAE,KAAK;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,gBAAgB,GAAqB,MAAM,CAAC,MAAM,CAAC;IACvD,SAAS,EAAE,SAAS;IACpB,eAAe,EAAE,KAAK;IACtB,UAAU,EAAE,kBAAkB;CAC/B,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CACpE,QAAQ,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAE9C;;;;;GAKG;AACH,SAAS,SAAS,CAChB,IAA6B,EAC7B,MAAc;IAEd,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC1B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,EAAE,CAAC;YAC5F,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC;IAC/B,OAAO,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,WAAW,KAAK,MAAM;QAC5D,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE;QACxC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,IAAa,EACb,MAA0B,EAC1B,OAAkD;IAElD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IACpE,mFAAmF;IACnF,IAAI,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI;QAC1B,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IAClF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC7E,8FAA8F;IAC9F,IAAI,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC;IACtD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IACjF,uFAAuF;IACvF,8DAA8D;IAC9D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IAC9E,iEAAiE;IACjE,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACnD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IAC1F,CAAC;IACD,0EAA0E;IAC1E,6EAA6E;IAC7E,0EAA0E;IAC1E,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACnF,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;IAC1F,CAAC;IACD,oFAAoF;IACpF,MAAM,KAAK,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;IACzF,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;IAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAClD,CAAC,CAAC,EAAE,GAAG,gBAAgB,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC;AAED,8FAA8F;AAC9F,SAAS,gBAAgB,CACvB,IAAuC,EACvC,OAAoC;IAEpC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,wGAAwG;AACxG,SAAS,gBAAgB,CAAC,QAAiB;IACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAwD,EAAE,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAU,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACzE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAClG,CAAC;IACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACnG,CAAC;AAgBD,MAAM,MAAM,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAErF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GACX,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACvF,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpE,OAAO;QACL,MAAM,EAAE,OAAO,KAAK,SAAS;QAC7B,OAAO,EAAE,MAAM,KAAK,SAAS;QAC7B,GAAG,EACD,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC;YAC5B,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC;YAC7B,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,WAAW,CAAC;YACvC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,YAAY,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,MAAM,CAAC,IAAa;IAC3B,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC;AAC1E,CAAC;AAED,gFAAgF;AAChF,SAAS,cAAc,CACrB,IAAa,EACb,IAAkB,EAClB,MAA0B,EAC1B,KAAa,EACb,OAAkD;IAElD,8FAA8F;IAC9F,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,KAAK,IAAI,eAAe;QAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IACtF,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9E,gDAAgD;IAChD,MAAM,KAAK,GACT,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9F,yGAAyG;IACzG,IAAI,KAAK,CAAC,SAAS,KAAK,kBAAkB,EAAE,CAAC;QAC3C,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;QACnD,KAAK,MAAM,CAAC;QACZ,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,UAA4B,EAAE;IAC1E,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,sGAAsG;IACtG,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,uFAAuF;QACvF,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;IAChF,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnD,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;IAChD,CAAC;IACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;AACxE,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAC;AAGhD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,iBAAiB,GAAG,YAAY,CAAC;AAEvC;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,yEAAyE;IACzE,4EAA4E;IAC5E,MAAM,OAAO,GAA8C,MAAM,CAAC,OAAO,CACvE,sBAAsB,CAAC,OAAO,CAAC,CAChC,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,iBAAiB,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAe;IACvD,wEAAwE;IACxE,0EAA0E;IAC1E,mEAAmE;IACnE,MAAM,GAAG,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AACpE,CAAC;AAED,sFAAsF;AACtF,SAAS,eAAe,CAAC,MAAe;IACtC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,oEAAoE;QACpE,sEAAsE;QACtE,OAAO,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IAC1F,CAAC;IACD,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;AAC3C,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"inProgress.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/inProgress.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,wDAAwD;IACxD,GAAG,EAAE,aAAa;IAClB,sEAAsE;IACtE,KAAK,EAAE,OAAO;CACN,CAAC,CAAC;AAEZ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAC7B,yFAAyF;IACzF,4FAA4F;IAC5F,YAAY,CAAC;AAEf,yEAAyE;AACzE,MAAM,SAAS,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;IACT,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;CACiC,CAAC,CAAC;AAWhD,kFAAkF;AAClF,MAAM,KAAK,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAAY,EACZ,EAAU,EACV,UAAmB;IAEnB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,OAAO,EACL,KAAK,EAAE,6EAA6E;gBACpF,qCAAqC;SACxC,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,GAAY,EAAE,EAAU,EAAE,UAAmB;IAC3D,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,OAAO,IAAI,KAAK,EAAE;YAChB,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,wCAAwC,EAAE;YAC5D,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,gEAAgE,EAAE,CAAC;IAC5F,CAAC;IACD,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YAC1B,OAAO;gBACL,OAAO,EACL,GAAG,EAAE,gFAAgF;oBACrF,0BAA0B;aAC7B,CAAC;QACJ,CAAC;QACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,OAAO,EAAE,GAAG,EAAE,wBAAwB,UAAU,6CAA6C;aAC9F,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3D,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,2DAA2D,EAAE,CAAC;IACvF,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACjD,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QACxE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,IAAI,2DAA2D,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,MAAM,UAAU,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/E,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,IAAI,QAAQ,UAAU,EAAE,EAAE,CAAC;IACtF,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,IAAI,CAAC,CAAC,EAAE,CAAC;QACpF,OAAO;YACL,OAAO,EACL,GAAG,EAAE,MAAM,IAAI,uEAAuE;gBACtF,6CAA6C;SAChD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE;YACJ,IAAI;YACJ,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAG,GAAc,CAAC,IAAI,EAAE,EAAE,CAAC;YACzD,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAG,KAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/D,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC;SACvD;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAY;IACzC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACzD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC;AAED,6EAA6E;AAC7E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;AACtC,MAAM,UAAU,GAAG,IAAI,CAAC;AAExB;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,MAA0C,EAC1C,QAA4B;IAE5B,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC/B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,WAAW,CAAC,QAA4B,EAAE,OAAe;IAChE,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAC;IAC3B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE;QAAE,OAAO;IACjD,IAAI,WAAW,CAAC,IAAI,GAAG,UAAU;QAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxD,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,kCAAkC,QAAQ,IAAI,WAAW,iCAAiC;QACxF,wFAAwF;QACxF,uBAAuB,OAAO,gDAAgD,CACjF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB;IACtC,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAmB,MAAS;IAC9D,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3C,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACzE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IACE,OAAO,IAAI,KAAK,QAAQ;QACxB,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,kBAAkB,EAAE,CAAC,CAAC,EACxE,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,MAAM,GACV,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,kBAAkB,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC;IACjG,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,MAAM,EAAO,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAmB,MAAS;IACjE,MAAM,GAAG,GAAG,MAAiC,CAAC;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC5C,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAChC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;QACxC,OAAO,IAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,kBAAkB,EAAE,CAAC;QAAE,OAAO,MAAM,CAAC;IAC5D,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAO,CAAC;AAChF,CAAC;AAED,yGAAyG;AACzG,MAAM,CAAC,MAAM,yBAAyB,GAAG,qCAAqC,CAAC;AAE/E;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,IAAoB;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,OAAO,GAAG,QAAQ,KAAK,IAAI,CAAC,IAAI,GAAG,KAAK,GAAG,GAAG,EAAE,CAAC;AACnD,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACrD,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;KACvD,CAAC;AACJ,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","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,GAGjB,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,EAA4C,MAAM,WAAW,CAAC;AACzF,OAAO,EAAE,WAAW,EAAE,aAAa,EAAuC,MAAM,aAAa,CAAC;AAC9F,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,gBAAgB,EAChB,cAAc,GACf,MAAM,iBAAiB,CAAC"}

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

@@ -1,88 +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;