agentfootprint 9.134.5 → 9.134.6

package/dist/core/agent/assessment/reasons.js

@@ -83,7 +83,7 @@ exports.REASONS = Object.freeze([
         reason: 'empty-undeclared',
         layer: 3,
         class: 'not-sure',
-        reads: 'history: an empty rowset (a top-level array, or the app’s rowsAt key) whose call has no coverage row',
+        reads: 'history: an empty rowset (a top-level array, the app’s rowsAt key, or the dataset ticket left where those rows were, counting 0) whose call has no coverage row',
     },
     {
         reason: 'period-not-held',

package/dist/core/agent/assessment/reasons.js.map

@@ -1 +1 @@
-{"version":3,"file":"reasons.js","sourceRoot":"","sources":["../../../../src/core/agent/assessment/reasons.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;AAaH,sFAAsF;AACzE,QAAA,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC3D;QACE,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,gJAAgJ;KACnJ;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,yLAAyL;KAC5L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iNAAiN;KACpN;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0JAA0J;KAC7J;IACD;QACE,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,4LAA4L;KAC/L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,8JAA8J;KACjK;IACD;QACE,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,+JAA+J;KAClK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iOAAiO;KACpO;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yOAAyO;KAC5O;IACD;QACE,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,sEAAsE;KAC9E;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wIAAwI;KAC3I;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wRAAwR;KAC3R;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,2MAA2M;KAC9M;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,yEAAyE;KACjF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0PAA0P;KAC7P;IACD,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/E;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yKAAyK;KAC5K;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,uFAAuF;KAC/F;CACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,SAAgB,WAAW,CAAC,MAAwB;IAClD,MAAM,KAAK,GAAG,eAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvD,yFAAyF;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC;AALD,kCAKC"}
+{"version":3,"file":"reasons.js","sourceRoot":"","sources":["../../../../src/core/agent/assessment/reasons.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;AAaH,sFAAsF;AACzE,QAAA,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC3D;QACE,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,gJAAgJ;KACnJ;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,yLAAyL;KAC5L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iNAAiN;KACpN;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0JAA0J;KAC7J;IACD;QACE,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,4LAA4L;KAC/L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,8JAA8J;KACjK;IACD;QACE,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,+JAA+J;KAClK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iOAAiO;KACpO;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iKAAiK;KACpK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yOAAyO;KAC5O;IACD;QACE,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,sEAAsE;KAC9E;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wIAAwI;KAC3I;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wRAAwR;KAC3R;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,2MAA2M;KAC9M;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,yEAAyE;KACjF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0PAA0P;KAC7P;IACD,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/E;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yKAAyK;KAC5K;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,uFAAuF;KAC/F;CACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,SAAgB,WAAW,CAAC,MAAwB;IAClD,MAAM,KAAK,GAAG,eAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvD,yFAAyF;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC;AALD,kCAKC"}

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

@@ -5,7 +5,9 @@
  * 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`), never a mint, so a post-hoc reader
+ *          (`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
@@ -25,9 +27,40 @@
  * | 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
@@ -62,6 +95,8 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.readEmptiness = exports.declaredByValue = exports.parseMaybeJson = exports.rowsAtProblem = void 0;
+const naming_js_1 = require("../../../artifacts/naming.js");
+const placement_js_1 = require("../../../artifacts/placement.js");
 const recognize_js_1 = require("./recognize.js");
 /** How deep `coverage(coverage(…))` is read before the reading gives up (`unknown`). */
 const MAX_BOUND_DEPTH = 8;
@@ -100,29 +135,71 @@ const DECLARED_ABSENT = Object.freeze({
     emptiness: 'declared-absent',
     undeclaredShape: false,
 });
-/** A bare rowset: a top-level array (library-counted) or the app's `rowsAt` key (app-counted). */
-function rowsetReading(data, rowsAt) {
-    if (Array.isArray(data)) {
-        return data.length === 0
-            ? { emptiness: 'undeclared-empty', rows: 0, source: 'library', undeclaredShape: false }
-            : { emptiness: 'non-empty', rows: data.length, source: 'library', undeclaredShape: false };
-    }
-    if (isRecord(data)) {
-        const rows = rowsAt !== undefined ? data[rowsAt] : undefined;
-        if (rowsAt !== undefined && Array.isArray(rows)) {
-            return rows.length === 0
-                ? { emptiness: 'undeclared-empty', rows: 0, source: 'app', rowsAt, undeclaredShape: false }
-                : {
-                    emptiness: 'non-empty',
-                    rows: rows.length,
-                    source: 'app',
-                    rowsAt,
-                    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) && (0, naming_js_1.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) {
+    if (Array.isArray(data))
+        return counted(data.length, 'library', []);
+    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 ((0, placement_js_1.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);
+    // 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' };
     }
-    return { emptiness: 'unknown', undeclaredShape: false };
+    const n = found.ticket.rows;
+    return typeof n === 'number' && Number.isSafeInteger(n) && n >= 0
+        ? counted(n, 'app', [...found.at, 'rows'], rowsAt)
+        : { ...UNCOUNTED_TICKET, rowsAt };
 }
 /** The data a recorded described envelope carries, per kind — or `undefined` when it cannot be read. */
 function describedReading(envelope) {
@@ -183,12 +260,14 @@ function boundedReading(data, door, rowsAt, depth) {
         return rowsetReading(data, rowsAt);
     if (depth >= MAX_BOUND_DEPTH)
         return { emptiness: 'unknown', undeclaredShape: false };
-    const inner = boundedReading(covered.result, door, rowsAt, depth + 1);
+    const read = boundedReading(covered.result, door, rowsAt, depth + 1);
+    // 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, ...counted } = inner;
+        const { undeclaredShape: _shape, ...rest } = inner;
         void _shape;
-        return { ...counted, emptiness: 'declared-absent', bounded: true, undeclaredShape: false };
+        return { ...rest, emptiness: 'declared-absent', bounded: true, undeclaredShape: false };
     }
     return { ...inner, bounded: true };
 }

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

@@ -1 +1 @@
-{"version":3,"file":"emptiness.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/emptiness.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;;;AAEH,iDAAiE;AAyEjE,wFAAwF;AACxF,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B;;;;;;;;GAQG;AACH,SAAgB,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;AAHD,sCAGC;AAED,oFAAoF;AACpF,SAAgB,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;AATD,wCASC;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,kGAAkG;AAClG,SAAS,aAAa,CAAC,IAAa,EAAE,MAA0B;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE;YACvF,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE;gBAC3F,CAAC,CAAC;oBACE,SAAS,EAAE,WAAW;oBACtB,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,MAAM,EAAE,KAAK;oBACb,MAAM;oBACN,eAAe,EAAE,KAAK;iBACvB,CAAC;QACR,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AAC1D,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,SAAgB,eAAe,CAAC,KAAc;IAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAA,iCAAkB,EAAC,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GACX,IAAA,0BAAW,EAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAA,0BAAW,EAAC,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;AAfD,0CAeC;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;IAEb,8FAA8F;IAC9F,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAA,iCAAkB,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,IAAI,eAAe;QAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IACtF,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACtE,yGAAyG;IACzG,IAAI,KAAK,CAAC,SAAS,KAAK,kBAAkB,EAAE,CAAC;QAC3C,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC;QACtD,KAAK,MAAM,CAAC;QACZ,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACrC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,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,CAAC,CAAC;AACvD,CAAC;AAbD,sCAaC"}
+{"version":3,"file":"emptiness.js","sourceRoot":"","sources":["../../../../src/core/agent/coverage/emptiness.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6FG;;;AAEH,4DAA6D;AAC7D,kEAAqE;AACrE,iDAAiE;AAyFjE,wFAAwF;AACxF,MAAM,eAAe,GAAG,CAAC,CAAC;AAE1B;;;;;;;;GAQG;AACH,SAAgB,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;AAHD,sCAGC;AAED,oFAAoF;AACpF,SAAgB,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;AATD,wCASC;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,IAAA,yBAAa,EAAC,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,CAAC,IAAa,EAAE,MAA0B;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC7E,8FAA8F;IAC9F,IAAI,IAAA,iCAAkB,EAAC,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,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,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,SAAgB,eAAe,CAAC,KAAc;IAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAA,iCAAkB,EAAC,IAAI,CAAC,CAAC;IACxC,MAAM,OAAO,GACX,IAAA,0BAAW,EAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAA,0BAAW,EAAC,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;AAfD,0CAeC;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;IAEb,8FAA8F;IAC9F,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAA,iCAAkB,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9D,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,CAAC,CAAC;IACrE,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,SAAgB,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,CAAC,CAAC;AACvD,CAAC;AAbD,sCAaC"}

package/dist/esm/core/agent/assessment/reasons.js

@@ -80,7 +80,7 @@ export const REASONS = Object.freeze([
         reason: 'empty-undeclared',
         layer: 3,
         class: 'not-sure',
-        reads: 'history: an empty rowset (a top-level array, or the app’s rowsAt key) whose call has no coverage row',
+        reads: 'history: an empty rowset (a top-level array, the app’s rowsAt key, or the dataset ticket left where those rows were, counting 0) whose call has no coverage row',
     },
     {
         reason: 'period-not-held',

package/dist/esm/core/agent/assessment/reasons.js.map

@@ -1 +1 @@
-{"version":3,"file":"reasons.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/reasons.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAaH,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC3D;QACE,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,gJAAgJ;KACnJ;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,yLAAyL;KAC5L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iNAAiN;KACpN;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0JAA0J;KAC7J;IACD;QACE,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,4LAA4L;KAC/L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,8JAA8J;KACjK;IACD;QACE,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,+JAA+J;KAClK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iOAAiO;KACpO;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yOAAyO;KAC5O;IACD;QACE,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,sEAAsE;KAC9E;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wIAAwI;KAC3I;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wRAAwR;KAC3R;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,2MAA2M;KAC9M;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,yEAAyE;KACjF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0PAA0P;KAC7P;IACD,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/E;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yKAAyK;KAC5K;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,uFAAuF;KAC/F;CACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,MAAM,UAAU,WAAW,CAAC,MAAwB;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvD,yFAAyF;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"reasons.js","sourceRoot":"","sources":["../../../../../src/core/agent/assessment/reasons.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAaH,sFAAsF;AACtF,MAAM,CAAC,MAAM,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC3D;QACE,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,gJAAgJ;KACnJ;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,KAAK;QACZ,KAAK,EACH,yLAAyL;KAC5L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iNAAiN;KACpN;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0JAA0J;KAC7J;IACD;QACE,MAAM,EAAE,eAAe;QACvB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,4LAA4L;KAC/L;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,8JAA8J;KACjK;IACD;QACE,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,+JAA+J;KAClK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iOAAiO;KACpO;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,iKAAiK;KACpK;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yOAAyO;KAC5O;IACD;QACE,MAAM,EAAE,oBAAoB;QAC5B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,sEAAsE;KAC9E;IACD;QACE,MAAM,EAAE,gBAAgB;QACxB,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,sGAAsG;KACzG;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wIAAwI;KAC3I;IACD;QACE,MAAM,EAAE,2BAA2B;QACnC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,wRAAwR;KAC3R;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,2MAA2M;KAC9M;IACD;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,yEAAyE;KACjF;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,oCAAoC;KAC5C;IACD;QACE,MAAM,EAAE,yBAAyB;QACjC,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,0PAA0P;KAC7P;IACD,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE;IAC/E;QACE,MAAM,EAAE,kBAAkB;QAC1B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EACH,yKAAyK;KAC5K;IACD;QACE,MAAM,EAAE,qBAAqB;QAC7B,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,mCAAmC;KAC3C;IACD;QACE,MAAM,EAAE,mBAAmB;QAC3B,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,uFAAuF;KAC/F;CACF,CAAC,CAAC;AAEH,sCAAsC;AACtC,MAAM,UAAU,WAAW,CAAC,MAAwB;IAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACvD,yFAAyF;IACzF,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,MAAM,GAAG,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -4,7 +4,9 @@
  * 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`), never a mint, so a post-hoc reader
+ *          (`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
@@ -24,9 +26,40 @@
  * | 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
@@ -113,12 +146,28 @@ export interface EmptinessReading {
     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).
+     */
+    readonly rowsUnread?: 'no-list' | 'uncounted-ticket';
 }
 /**
  * The ONE rule for an app's declared rows key: a non-empty TOP-LEVEL key of the

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

@@ -4,7 +4,9 @@
  * 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`), never a mint, so a post-hoc reader
+ *          (`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
@@ -24,9 +26,40 @@
  * | 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
@@ -59,6 +92,8 @@
  * 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;
@@ -95,29 +130,71 @@ const DECLARED_ABSENT = Object.freeze({
     emptiness: 'declared-absent',
     undeclaredShape: false,
 });
-/** A bare rowset: a top-level array (library-counted) or the app's `rowsAt` key (app-counted). */
-function rowsetReading(data, rowsAt) {
-    if (Array.isArray(data)) {
-        return data.length === 0
-            ? { emptiness: 'undeclared-empty', rows: 0, source: 'library', undeclaredShape: false }
-            : { emptiness: 'non-empty', rows: data.length, source: 'library', undeclaredShape: false };
-    }
-    if (isRecord(data)) {
-        const rows = rowsAt !== undefined ? data[rowsAt] : undefined;
-        if (rowsAt !== undefined && Array.isArray(rows)) {
-            return rows.length === 0
-                ? { emptiness: 'undeclared-empty', rows: 0, source: 'app', rowsAt, undeclaredShape: false }
-                : {
-                    emptiness: 'non-empty',
-                    rows: rows.length,
-                    source: 'app',
-                    rowsAt,
-                    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) {
+    if (Array.isArray(data))
+        return counted(data.length, 'library', []);
+    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);
+    // 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' };
     }
-    return { emptiness: 'unknown', undeclaredShape: false };
+    const n = found.ticket.rows;
+    return typeof n === 'number' && Number.isSafeInteger(n) && n >= 0
+        ? counted(n, 'app', [...found.at, 'rows'], rowsAt)
+        : { ...UNCOUNTED_TICKET, rowsAt };
 }
 /** The data a recorded described envelope carries, per kind — or `undefined` when it cannot be read. */
 function describedReading(envelope) {
@@ -177,12 +254,14 @@ function boundedReading(data, door, rowsAt, depth) {
         return rowsetReading(data, rowsAt);
     if (depth >= MAX_BOUND_DEPTH)
         return { emptiness: 'unknown', undeclaredShape: false };
-    const inner = boundedReading(covered.result, door, rowsAt, depth + 1);
+    const read = boundedReading(covered.result, door, rowsAt, depth + 1);
+    // 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, ...counted } = inner;
+        const { undeclaredShape: _shape, ...rest } = inner;
         void _shape;
-        return { ...counted, emptiness: 'declared-absent', bounded: true, undeclaredShape: false };
+        return { ...rest, emptiness: 'declared-absent', bounded: true, undeclaredShape: false };
     }
     return { ...inner, bounded: true };
 }

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

@@ -1 +1 @@
-{"version":3,"file":"emptiness.js","sourceRoot":"","sources":["../../../../../src/core/agent/coverage/emptiness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAyEjE,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,kGAAkG;AAClG,SAAS,aAAa,CAAC,IAAa,EAAE,MAA0B;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE;YACvF,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE;gBAC3F,CAAC,CAAC;oBACE,SAAS,EAAE,WAAW;oBACtB,IAAI,EAAE,IAAI,CAAC,MAAM;oBACjB,MAAM,EAAE,KAAK;oBACb,MAAM;oBACN,eAAe,EAAE,KAAK;iBACvB,CAAC;QACR,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AAC1D,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;IAEb,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,CAAC,CAAC;IAC9D,IAAI,KAAK,IAAI,eAAe;QAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IACtF,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACtE,yGAAyG;IACzG,IAAI,KAAK,CAAC,SAAS,KAAK,kBAAkB,EAAE,CAAC;QAC3C,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC;QACtD,KAAK,MAAM,CAAC;QACZ,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;IAC7F,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,CAAC,CAAC;AACvD,CAAC"}
+{"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;AAyFjE,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,CAAC,IAAa,EAAE,MAA0B;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IACpE,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,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,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;IAEb,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,CAAC,CAAC;IAC9D,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,CAAC,CAAC;IACrE,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,CAAC,CAAC;AACvD,CAAC"}

package/dist/esm/lib/answer-account/account.js

@@ -16,7 +16,7 @@ import { chip, clipFact, MAX_VAR_CHARS, saidBy, sentence } from './render.js';
 import { ANSWER_ACCOUNT_TEMPLATE_SET_VERSION } from './templates.js';
 import { validateDeclarations } from './declarations.js';
 import { isRecord, num, str, recordingView } from './view.js';
-import { at, derived, makeSay, stateAt, } from './facts/common.js';
+import { at, countedFields, derived, makeSay, stateAt, } from './facts/common.js';
 import { readAsked } from './facts/asked.js';
 import { readUnderstood } from './facts/understood.js';
 import { FACT_TEXT_CHARS, MAX_CALLS, readCalls } from './facts/calls.js';
@@ -338,8 +338,7 @@ function beforePauseFact(c) {
         toolName: c.toolName.slice(0, FACT_TEXT_CHARS),
         toolCallId: c.toolCallId.slice(0, FACT_TEXT_CHARS),
         emptiness: reading.emptiness,
-        ...(reading.rows !== undefined && { rows: reading.rows }),
-        ...(reading.source !== undefined && { emptinessSource: reading.source }),
+        ...countedFields(reading),
         ...(coverage !== undefined && {
             coverage: {
                 kind: coverage.kind,