agentfootprint 10.9.0 → 11.0.0

package/dist/semantics/coverage/absent.js

@@ -62,12 +62,14 @@
  * reads by it, so a mint and a read cannot disagree.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.tryInsteadToolOfAbsence = exports.tryInsteadOfAbsence = exports.coverageOfAbsence = exports.absent = exports.ABSENCE_NOTE_HELD_ONLY = exports.ABSENCE_NOTE = exports.readAbsence = exports.ABSENCE_MARKER = void 0;
+exports.tryInsteadToolOfAbsence = exports.tryInsteadOfAbsence = exports.coverageOfAbsence = exports.absent = exports.ABSENCE_NOTE_HELD_ONLY = exports.ABSENCE_NOTE_COMPOSED = exports.ABSENCE_NOTE = exports.readAbsence = exports.ABSENCE_MARKER = void 0;
 const described_js_1 = require("../described.js");
 const toolName_js_1 = require("../../lib/toolName.js");
+const among_js_1 = require("./among.js");
 const items_js_1 = require("./items.js");
 const period_js_1 = require("./period.js");
 const refusal_js_1 = require("./refusal.js");
+const resultFacts_js_1 = require("./search/resultFacts.js");
 // The recognizer lives in the leaf `recognize.ts` (a post-hoc reader asks it
 // without loading this mint); re-exported here so every import keeps working.
 const recognize_js_1 = require("./recognize.js");
@@ -82,6 +84,17 @@ Object.defineProperty(exports, "readAbsence", { enumerable: true, get: function
 // One literal on purpose: its TYPE is the sentence, so a redacted record keeps
 // it as the library's own words (`redaction/knownStrings.ts`).
 exports.ABSENCE_NOTE = 'The search ran and matched nothing. This is an ANSWER, not an error: nothing failed, nothing was substituted for what was asked, and calling this tool again with the same arguments returns this same result. `checked` is the ground this answer covers; anything under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that needs a different question, not a retry.';
+/**
+ * The note a COMPOSED absence is served (`Tool.search`): `checked` there is
+ * what the library composed from the call's arguments and the tool's declared
+ * defaults, so the note cannot say "nothing was substituted for what was
+ * asked" — a declared default, or an argument the call left out, may have
+ * narrowed the search. It keeps what stays true (the call ran, a retry
+ * returns the same) and points at the gaps. Static, never interpolated.
+ */
+// One literal on purpose, as `ABSENCE_NOTE`: its TYPE is the sentence, so a
+// redacted record keeps it as the library's own words.
+exports.ABSENCE_NOTE_COMPOSED = 'The search ran and matched nothing — the call did not fail, and calling this tool again with the same arguments returns this same result. `checked` is the ground this answer covers, as the arguments of the call and the defaults the tool declares set it: where an argument was not sent, a default the tool applies may have narrowed the search. Anything under `not_checked` or `cannot_cover` is ground it does NOT cover, and reaching that needs a different question, not a retry.';
 /**
  * The note the MODEL is served in place of {@link ABSENCE_NOTE} when the
  * absence's own period is `partly-held` or `not-held` (honesty step 7b, bench
@@ -122,6 +135,9 @@ const ABSENCE_DECLARATION_KEYS = Object.keys({
     tryInsteadTool: true,
     provenance: true,
     period: true,
+    resolved: true,
+    paging: true,
+    among: true,
 });
 /**
  * `undefined` and `null` both mean "not given" for the typed tool and its
@@ -222,56 +238,11 @@ function readToolSuggestion(raw) {
     }
     return { value: { tool: name, why: why.trim() } };
 }
-/**
- * Say "I looked, and there is nothing" in a way a model cannot read as a
- * failure — and cannot productively retry.
- *
- * Returns the value a tool's `execute` should return. The framework
- * recognizes it at the dispatch boundary and gives it a delivered status of
- * `'absent'` (routable by `onToolStatus`), a `tools.absent` event, and an
- * evidence-corpus rule of its own.
- *
- * Refuses (throws, where it is called) a declaration it cannot honor — and
- * any key the declaration does not have, naming the spelling meant when the
- * key is a casing slip (`not_checked` → `notChecked`), so a list declared
- * from plain JavaScript or JSON cannot vanish without a word. Every refusal
- * starts `refused: `: inside `execute` it becomes the call's error result,
- * which the model reads.
- *
- * Since honesty step 7b an absence also says WHERE it looked and WHEN —
- * `provenance: { measuredAt, source }`, the shape and rules `describedResult()`
- * uses — and what time its read covered — `period: { queried, held, readAt? }`,
- * ISO 8601 instants with a zone (`held` may be `'unknown'`). "Searched the 02:00
- * export — nothing" becomes data; the results layer judges the period.
- *
- * @example a port-lookup tool that found no matching FLOGI
- *   defineTool({
- *     name: 'flogi_for_port',
- *     description: 'FLOGI entries for one interface',
- *     inputSchema: { type: 'object', properties: { switch: { type: 'string' },
- *       port: { type: 'string' } }, required: ['switch', 'port'] },
- *     execute: ({ switch: sw, port }) => {
- *       const rows = fcns.flogi(sw, port);
- *       if (rows.length > 0) return rows;
- *       return absent({
- *         what: `FLOGI entries on ${port}`,
- *         checked: [
- *           `${sw}: the live fcns database`,
- *           { what: 'window: the last 24h', why: 'FLOGI history retention on this fabric' },
- *         ],
- *         notChecked: [{ what: 'the archived FLOGI history', why: 'older than the 24h window' }],
- *         cannotCover: [{ what: 'ports on the peer fabric',
- *           why: 'this collector is scoped to one fabric' }],
- *         tryInstead: 'Ask for a different interface, or query the peer fabric by name.',
- *       });
- *     },
- *   });
- */
 function absent(decl) {
     const fn = 'absent';
     if (typeof decl !== 'object' || decl === null) {
         throw (0, refusal_js_1.refusal)(`${fn}() takes a declaration — { what, checked, notChecked?, cannotCover?, tryInstead?, ` +
-            `tryInsteadTool?, provenance?, period? }.`);
+            `tryInsteadTool?, provenance?, period? }, or { what, among, … }.`);
     }
     (0, refusal_js_1.refuseUnknownKeys)(decl, ABSENCE_DECLARATION_KEYS);
     const what = typeof decl.what === 'string' ? decl.what.trim() : '';
@@ -280,15 +251,39 @@ function absent(decl) {
             `absence that cannot name what it did not find is indistinguishable from a tool that ` +
             `returned nothing by accident.`);
     }
-    const checked = (0, items_js_1.normalizeCoverageList)('checked', decl.checked, false);
-    if (checked.length === 0) {
+    // `checked: 'declared'` — the tool's `search` declares the ground, and the
+    // dispatch funnel composes it from the arguments the call ran with. The
+    // envelope carries the literal until then; `readAbsence` does not read it.
+    const declared = decl.checked === recognize_js_1.DECLARED_CHECKED;
+    // `among` (the c6 fix): the list a missed name was looked up in. `null`
+    // reads as omitted, as for every optional field. Its facet leads `checked`
+    // and its gap leads `notChecked`, so the author can add ground, never
+    // remove the gap.
+    const raw = decl;
+    const among = raw.among == null ? undefined : (0, among_js_1.mintAmong)(raw.among);
+    if (among !== undefined && declared) {
+        throw (0, refusal_js_1.refusal)("`among` and `checked: 'declared'` each compose an absence's ground — `among` for a " +
+            "name looked up in a known list, `'declared'` for a tool whose `search` declares it. " +
+            'Give one.');
+    }
+    if (among !== undefined && raw.provenance != null) {
+        throw (0, refusal_js_1.refusal)('`provenance` and `among` both name a source and a time — `among` composes the ' +
+            "absence's `provenance` from its own `source` and `measuredAt`, so give `provenance` " +
+            'only without `among`.');
+    }
+    const authored = declared
+        ? []
+        : (0, items_js_1.normalizeCoverageList)('checked', decl.checked, false);
+    const checked = among === undefined ? authored : [among.facet, ...authored];
+    if (!declared && checked.length === 0) {
         throw (0, refusal_js_1.refusal)(`'${what}' — \`checked\` must name at least one source, window or population ` +
             `that WAS searched. An absence with no coverage is a null with extra steps: the reader ` +
             `still cannot tell "I looked and there is nothing" from "I could not look", which is ` +
             `the confusion this function exists to remove. If you genuinely could not look, that ` +
             `is an error — throw, or return a failure the model can retry.`);
     }
-    const notChecked = (0, items_js_1.normalizeCoverageList)('notChecked', decl.notChecked, false);
+    const notCheckedAuthored = (0, items_js_1.normalizeCoverageList)('notChecked', decl.notChecked, false);
+    const notChecked = among === undefined ? notCheckedAuthored : [...among.gaps, ...notCheckedAuthored];
     const cannotCover = (0, items_js_1.normalizeCoverageList)('cannotCover', decl.cannotCover, true);
     const sentence = readSentence(decl.tryInstead);
     if (sentence.problem !== undefined)
@@ -307,17 +302,26 @@ function absent(decl) {
     // `mintProvenance`), and the period its read covered, by the ONE period rule
     // (`period.ts` · `mintPeriod`). Each refuses at this line, in camelCase.
     // `null` reads as omitted for either — a JSON producer's missing value.
-    const provenance = decl.provenance == null ? undefined : (0, described_js_1.mintProvenance)(decl.provenance);
+    const provenance = among !== undefined
+        ? (0, described_js_1.mintProvenance)(among.provenance)
+        : raw.provenance == null
+            ? undefined
+            : (0, described_js_1.mintProvenance)(raw.provenance);
     const period = (0, period_js_1.mintPeriod)(decl.period);
+    // The two facts a search tool's result states (`search/resultFacts.ts`).
+    const resolved = (0, resultFacts_js_1.mintResolved)(decl.resolved);
+    const paging = (0, resultFacts_js_1.mintPaging)(decl.paging);
     return {
         af_absent: true,
         outcome: 'nothing_found',
         looked_for: what,
-        checked,
+        checked: declared ? recognize_js_1.DECLARED_CHECKED : checked,
         ...(notChecked.length > 0 && { not_checked: notChecked }),
         ...(cannotCover.length > 0 && { cannot_cover: cannotCover }),
         ...(provenance !== undefined && { provenance }),
         ...(period !== undefined && { period }),
+        ...(resolved !== undefined && { resolved }),
+        ...(paging !== undefined && { paging }),
         retry_returns_the_same: true,
         ...(tryInstead !== undefined && { try_instead: tryInstead }),
         ...(tryInsteadTool !== undefined && { try_instead_tool: tryInsteadTool }),

package/dist/semantics/coverage/absent.js.map

@@ -1 +1 @@
-{"version":3,"file":"absent.js","sourceRoot":"","sources":["../../../src/semantics/coverage/absent.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;;;AAEH,kDAAiD;AACjD,uDAA8D;AAC9D,yCAAmD;AACnD,2CAAyC;AACzC,6CAA0D;AAG1D,6EAA6E;AAC7E,8EAA8E;AAC9E,iDAA6D;AACpD,+FADA,6BAAc,OACA;AAAE,4FADA,0BAAW,OACA;AAEpC;;;;;GAKG;AACH,+EAA+E;AAC/E,+DAA+D;AAClD,QAAA,YAAY,GACvB,mYAAmY,CAAC;AAEtY;;;;;;;;;GASG;AACU,QAAA,sBAAsB,GACjC,0FAA0F;IAC1F,wFAAwF;IACxF,6FAA6F;IAC7F,+EAA+E,CAAC;AAElF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;CACmC,CAAC,CAAC;AAEhD;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC9D,IAAI,EAAE,IAAI;IACV,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;IACpB,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;CACoC,CAAC,CAAC;AAYpD;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC;AAE9E;iEACiE;AACjE,MAAM,aAAa,GAAG,CAAC,GAAY,EAAW,EAAE;IAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,iFAAiF;gBACjF,6EAA6E;SAChF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,sFAAsF;gBACtF,sCAAsC;SACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EACL,mDAAmD,OAAO,GAAG,wBAAwB;gBACrF,mDAAmD;SACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAA0D,CAAC;IACzE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EACL,0CAA0C,UAAU,kCAAkC;gBACtF,6DAA6D;SAChE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,OAAO;YACL,OAAO,EACL,8EAA8E;gBAC9E,kFAAkF;gBAClF,qEAAqE;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IACpD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EACL,gCAAgC,IAAI,gDAAgD;gBACpF,iBAAiB;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,SAAgB,MAAM,CAAC,IAAwB;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC;IACpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,oFAAoF;YACvF,0CAA0C,CAC7C,CAAC;IACJ,CAAC;IACD,IAAA,8BAAiB,EAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,IAAA,oBAAO,EACX,4EAA4E;YAC1E,sFAAsF;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,gCAAqB,EAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAA,oBAAO,EACX,IAAI,IAAI,sEAAsE;YAC5E,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+DAA+D,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAA,gCAAqB,EAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,IAAI,IAAI,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,cAAc,KAAK,SAAS;QAAE,IAAA,mCAAqB,EAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAC7E,6EAA6E;IAC7E,kEAAkE;IAClE,6EAA6E;IAC7E,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,6BAAc,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,IAAA,sBAAU,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEvC,OAAO;QACL,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,IAAI;QAChB,OAAO;QACP,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QAC5D,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QAC5D,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;QACzE,IAAI,EAAE,oBAAY;KACnB,CAAC;AACJ,CAAC;AA5DD,wBA4DC;AAED;sDACsD;AACtD,SAAgB,iBAAiB,CAAC,OAAoB;IACpD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC;AAND,8CAMC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,OAAoB;IACtD,OAAO,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAFD,kDAEC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,OAAoB;IAC1D,OAAO,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC;AAFD,0DAEC"}
+{"version":3,"file":"absent.js","sourceRoot":"","sources":["../../../src/semantics/coverage/absent.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;;;AAEH,kDAAiD;AACjD,uDAA8D;AAC9D,yCAAuC;AACvC,yCAAmD;AACnD,2CAAyC;AACzC,6CAA0D;AAC1D,4DAAmE;AAWnE,6EAA6E;AAC7E,8EAA8E;AAC9E,iDAA+E;AACtE,+FADA,6BAAc,OACA;AAAE,4FADkB,0BAAW,OAClB;AAEpC;;;;;GAKG;AACH,+EAA+E;AAC/E,+DAA+D;AAClD,QAAA,YAAY,GACvB,mYAAmY,CAAC;AAEtY;;;;;;;GAOG;AACH,4EAA4E;AAC5E,uDAAuD;AAC1C,QAAA,qBAAqB,GAChC,+dAA+d,CAAC;AAEle;;;;;;;;;GASG;AACU,QAAA,sBAAsB,GACjC,0FAA0F;IAC1F,wFAAwF;IACxF,6FAA6F;IAC7F,+EAA+E,CAAC;AAElF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC1D,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;CACmC,CAAC,CAAC;AAEhD;;;;;;GAMG;AACH,MAAM,wBAAwB,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC9D,IAAI,EAAE,IAAI;IACV,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;IACpB,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;CACqE,CAAC,CAAC;AAYpF;;;;;;GAMG;AACH,MAAM,QAAQ,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,CAAC;AAE9E;iEACiE;AACjE,MAAM,aAAa,GAAG,CAAC,GAAY,EAAW,EAAE;IAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC5B,OAAO,EAAE,KAAK,EAAE,QAAQ,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,iFAAiF;gBACjF,6EAA6E;SAChF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EACL,sFAAsF;gBACtF,sCAAsC;SACzC,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO;YACL,OAAO,EACL,mDAAmD,OAAO,GAAG,wBAAwB;gBACrF,mDAAmD;SACtD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAA0D,CAAC;IACzE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACzF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,OAAO,EACL,0CAA0C,UAAU,kCAAkC;gBACtF,6DAA6D;SAChE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,OAAO;YACL,OAAO,EACL,8EAA8E;gBAC9E,kFAAkF;gBAClF,qEAAqE;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACzB,IAAI,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IACpD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EACL,gCAAgC,IAAI,gDAAgD;gBACpF,iBAAiB;SACpB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC;AACpD,CAAC;AAwDD,SAAgB,MAAM,CACpB,IAA+E;IAE/E,MAAM,EAAE,GAAG,QAAQ,CAAC;IACpB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAC9C,MAAM,IAAA,oBAAO,EACX,GAAG,EAAE,oFAAoF;YACvF,iEAAiE,CACpE,CAAC;IACJ,CAAC;IACD,IAAA,8BAAiB,EAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,IAAA,oBAAO,EACX,4EAA4E;YAC1E,sFAAsF;YACtF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,KAAK,+BAAgB,CAAC;IACnD,wEAAwE;IACxE,2EAA2E;IAC3E,sEAAsE;IACtE,kBAAkB;IAClB,MAAM,GAAG,GAAG,IAAmE,CAAC;IAChF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,oBAAS,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACnE,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAA,oBAAO,EACX,qFAAqF;YACnF,sFAAsF;YACtF,WAAW,CACd,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAClD,MAAM,IAAA,oBAAO,EACX,gFAAgF;YAC9E,sFAAsF;YACtF,uBAAuB,CAC1B,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ;QACvB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,IAAA,gCAAqB,EAAC,SAAS,EAAE,IAAI,CAAC,OAAwC,EAAE,KAAK,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,QAAQ,CAAC,CAAC;IAC5E,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,IAAA,oBAAO,EACX,IAAI,IAAI,sEAAsE;YAC5E,wFAAwF;YACxF,sFAAsF;YACtF,sFAAsF;YACtF,+DAA+D,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAA,gCAAqB,EAAC,YAAY,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACvF,MAAM,UAAU,GACd,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,kBAAkB,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,IAAA,gCAAqB,EAAC,aAAa,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IACjF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,IAAI,IAAI,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACrF,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,cAAc,KAAK,SAAS;QAAE,IAAA,mCAAqB,EAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAC7E,6EAA6E;IAC7E,kEAAkE;IAClE,6EAA6E;IAC7E,yEAAyE;IACzE,wEAAwE;IACxE,MAAM,UAAU,GACd,KAAK,KAAK,SAAS;QACjB,CAAC,CAAC,IAAA,6BAAc,EAAC,KAAK,CAAC,UAAU,CAAC;QAClC,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,IAAI;YACxB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,IAAA,6BAAc,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAA,sBAAU,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,yEAAyE;IACzE,MAAM,QAAQ,GAAG,IAAA,6BAAY,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,IAAA,2BAAU,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEvC,OAAO;QACL,SAAS,EAAE,IAAI;QACf,OAAO,EAAE,eAAe;QACxB,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,+BAAgB,CAAC,CAAC,CAAC,OAAO;QAC9C,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;QAC5D,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3C,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,sBAAsB,EAAE,IAAI;QAC5B,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QAC5D,GAAG,CAAC,cAAc,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;QACzE,IAAI,EAAE,oBAAY;KACJ,CAAC;AACnB,CAAC;AArGD,wBAqGC;AAED;sDACsD;AACtD,SAAgB,iBAAiB,CAAC,OAAoB;IACpD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9B,UAAU,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACrC,WAAW,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC;AACJ,CAAC;AAND,8CAMC;AAED;;;;;GAKG;AACH,SAAgB,mBAAmB,CAAC,OAAoB;IACtD,OAAO,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC;AACjD,CAAC;AAFD,kDAEC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,OAAoB;IAC1D,OAAO,kBAAkB,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC;AAC5D,CAAC;AAFD,0DAEC"}

package/dist/semantics/coverage/among.js

@@ -0,0 +1,177 @@
+"use strict";
+/**
+ * among — a name that resolves to nothing is a named miss over the names the
+ * tool read, never "it does not exist".
+ *
+ * Pattern: one rule set, two doors — `absent()` mints by it
+ *          ({@link mintAmong}), and readers find the names facet by it
+ *          ({@link namesFacetOf}).
+ * Role:    core/ layer (L1), pure.
+ * Emits:   N/A.
+ *
+ * ## The failure this file answers
+ *
+ * A lookup checked a name against an inventory export, found nothing, and
+ * refused with "No array matches 'X'. Known arrays: … a wrong identifier, not
+ * missing data". Models then told users "X is not in your estate" — when the
+ * tool had only failed to find X in ONE export. A pre-check over a known list
+ * IS a search, and a declaration is itself a claim. So the miss is an absence
+ * over the names actually read, and the mint ADDS a gap the author cannot
+ * remove: `{ kind: 'scope', what: 'names outside <source>', relevance:
+ * 'bears', bears: 'source' }`. The only opt-out is `authoritative: { why }`,
+ * and `check:semantics` lists every use of it. A read that did not see the
+ * whole list (`partial: true` — a truncated or paged inventory) checked even
+ * less, so it ALSO gets a completeness gap, `{ kind: 'scope', what: 'not every
+ * name in <source> was read', relevance: 'bears', bears: 'completeness' }`,
+ * which `authoritative` never removes.
+ *
+ * The gap holds only where `among` is declared: a plain `absent({ what })`, or
+ * a refusal the tool throws, never passes through here. `count`,
+ * `authoritative.why` and `partial` are the TOOL's claims, said out loud and
+ * not verified by this library.
+ *
+ * ## The names themselves are not served
+ *
+ * `among.names` is read for one thing: that `count` agrees with it
+ * (`names-count-mismatch`). No name reaches the model, an event or a record
+ * beyond what the absence already carries. Two reviews found that a short
+ * list of "nearest" names acts as an inventory listing rather than a "did you
+ * mean?", invites an answer about a different name, and carries whatever
+ * text the inventory holds — and the study's harmful refusal listed names
+ * too. Serving names waits on a bench arm that measures count-only against a
+ * near-match "did you mean?".
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.namesFacetOf = exports.mintAmong = exports.NAMES_COUNT_MISMATCH = void 0;
+const plainLine_js_1 = require("../../lib/plainLine.js");
+const instant_js_1 = require("../../time/instant.js");
+const refusal_js_1 = require("./refusal.js");
+/** The code a count that disagrees with its names is refused under. */
+exports.NAMES_COUNT_MISMATCH = 'names-count-mismatch';
+/** The declaration's keys, tied to {@link AmongDeclaration} in BOTH directions. */
+const AMONG_KEYS = Object.keys({
+    argument: true,
+    source: true,
+    measuredAt: true,
+    count: true,
+    names: true,
+    partial: true,
+    authoritative: true,
+});
+const isPlainObject = (raw) => {
+    if (typeof raw !== 'object' || raw === null || Array.isArray(raw))
+        return false;
+    const prototype = Object.getPrototypeOf(raw);
+    return prototype === Object.prototype || prototype === null;
+};
+/** A non-empty, one-line string, trimmed — or a refusal naming `field`. */
+function lineOf(raw, field, fix) {
+    const text = typeof raw === 'string' ? raw.trim() : '';
+    if (text === '')
+        throw (0, refusal_js_1.refusal)(`\`${field}\` must ${fix}`);
+    const notPlain = (0, plainLine_js_1.plainLineProblem)(`\`${field}\``, text);
+    if (notPlain !== undefined)
+        throw (0, refusal_js_1.refusal)(notPlain);
+    return text;
+}
+function readAuthoritative(raw) {
+    if (raw === undefined || raw === null)
+        return undefined;
+    const fix = 'take { why } — why the names in `among.source` are every name there is. Without it, ' +
+        'names outside the source stay a gap the model is told about.';
+    if (!isPlainObject(raw))
+        throw (0, refusal_js_1.refusal)(`\`among.authoritative\` must ${fix}`);
+    (0, refusal_js_1.refuseUnknownKeys)(raw, ['why'], 'among.authoritative');
+    return { why: lineOf(raw.why, 'among.authoritative.why', 'say why the source is complete.') };
+}
+/** `partial`: `true` composes the completeness gap; `false` or omitted, nothing. */
+function readPartial(raw) {
+    if (raw === undefined || raw === null || raw === false)
+        return false;
+    if (raw === true)
+        return true;
+    throw (0, refusal_js_1.refusal)('`among.partial` is `true` when the read did not see every name in the source (a ' +
+        'truncated or paged inventory) — or omit it.');
+}
+/**
+ * Mint one `among` declaration, refusing (throwing, where `absent()` is
+ * called) anything it cannot honour. Nothing of the looked-for value is
+ * written into what it composes.
+ */
+function mintAmong(raw) {
+    if (!isPlainObject(raw)) {
+        throw (0, refusal_js_1.refusal)('`among` takes { argument, source, measuredAt, count, names?, partial?, authoritative? } ' +
+            '— the list the missed name was looked up in.');
+    }
+    (0, refusal_js_1.refuseUnknownKeys)(raw, AMONG_KEYS, 'among');
+    const argument = lineOf(raw.argument, 'among.argument', "name the input argument whose value was looked up (e.g. 'array_id').");
+    const source = lineOf(raw.source, 'among.source', "name the list the names were read from (e.g. 'the PowerStore inventory export').");
+    const measuredAt = lineOf(raw.measuredAt, 'among.measuredAt', "say when that list was read — the tool's own words.");
+    const count = raw.count;
+    if (typeof count !== 'number' || !Number.isSafeInteger(count) || count < 0) {
+        throw (0, refusal_js_1.refusal)('`among.count` must be a whole number — how many names the list holds.');
+    }
+    checkNames(raw.names, count);
+    const partial = readPartial(raw.partial);
+    const authoritative = readAuthoritative(raw.authoritative);
+    // A dated note when `measuredAt` is an instant this library can read — the
+    // date as the tool wrote it, and no judgement of whether it is old.
+    const asOf = (0, instant_js_1.instantOf)(measuredAt, 'lenient') === undefined ? undefined : measuredAt;
+    const names = `${count} ${argument} name${count === 1 ? '' : 's'}`;
+    const facet = {
+        what: partial ? `the ${names} read from ${source}` : `the ${names} listed in ${source}`,
+        ...(asOf !== undefined && { why: `names as of ${asOf}` }),
+        facet: 'names',
+        argument,
+        count,
+        source,
+        from: 'result',
+        ...(authoritative !== undefined && { authoritative }),
+    };
+    // `authoritative` speaks for the SOURCE (every name there is), so it drops
+    // only the source gap; it cannot vouch for a read that did not see it all.
+    const gaps = [];
+    if (authoritative === undefined) {
+        gaps.push({
+            what: `names outside ${source}`,
+            kind: 'scope',
+            relevance: 'bears',
+            bears: 'source',
+        });
+    }
+    if (partial) {
+        gaps.push({
+            what: `not every name in ${source} was read`,
+            kind: 'scope',
+            relevance: 'bears',
+            bears: 'completeness',
+        });
+    }
+    return { facet, gaps, provenance: { measuredAt, source } };
+}
+exports.mintAmong = mintAmong;
+/** `names`, when given, must be the list `count` counts — read for that check only. */
+function checkNames(raw, count) {
+    if (raw === undefined || raw === null)
+        return;
+    if (!Array.isArray(raw)) {
+        throw (0, refusal_js_1.refusal)('`among.names` must be an array — the names the list holds, read only to check `count`. ' +
+            'Omit it to declare the count alone.');
+    }
+    if (raw.length !== count) {
+        throw (0, refusal_js_1.refusal)(`\`among.count\` is ${count} but \`among.names\` holds ${raw.length} — the count is the ` +
+            'size of the list the tool read, and the names, when given, are that list ' +
+            `(${exports.NAMES_COUNT_MISMATCH}).`);
+    }
+}
+/**
+ * The names facet of an absence minted with `among` — its `checked` item with
+ * `facet: 'names'` — or `undefined`. An envelope minted elsewhere is read as
+ * found, never repaired.
+ */
+function namesFacetOf(absence) {
+    const facet = absence.checked.find((item) => isPlainObject(item) && item.facet === 'names');
+    return facet;
+}
+exports.namesFacetOf = namesFacetOf;
+//# sourceMappingURL=among.js.map

package/dist/semantics/coverage/among.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"among.js","sourceRoot":"","sources":["../../../src/semantics/coverage/among.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;;;AAEH,yDAA0D;AAC1D,sDAAkD;AAElD,6CAA0D;AAS1D,uEAAuE;AAC1D,QAAA,oBAAoB,GAAG,sBAAsB,CAAC;AAE3D,mFAAmF;AACnF,MAAM,UAAU,GAAsB,MAAM,CAAC,IAAI,CAAC;IAChD,QAAQ,EAAE,IAAI;IACd,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,OAAO,EAAE,IAAI;IACb,aAAa,EAAE,IAAI;CAC2B,CAAC,CAAC;AAgBlD,MAAM,aAAa,GAAG,CAAC,GAAY,EAAkC,EAAE;IACrE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF,2EAA2E;AAC3E,SAAS,MAAM,CAAC,GAAY,EAAE,KAAa,EAAE,GAAW;IACtD,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,IAAI,IAAI,KAAK,EAAE;QAAE,MAAM,IAAA,oBAAO,EAAC,KAAK,KAAK,WAAW,GAAG,EAAE,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAA,+BAAgB,EAAC,KAAK,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,QAAQ,CAAC,CAAC;IACpD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAY;IACrC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,GAAG,GACP,sFAAsF;QACtF,8DAA8D,CAAC;IACjE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,MAAM,IAAA,oBAAO,EAAC,gCAAgC,GAAG,EAAE,CAAC,CAAC;IAC9E,IAAA,8BAAiB,EAAC,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACvD,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,yBAAyB,EAAE,iCAAiC,CAAC,EAAE,CAAC;AAChG,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,GAAY;IAC/B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACrE,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,IAAA,oBAAO,EACX,kFAAkF;QAChF,6CAA6C,CAChD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,GAAY;IACpC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAA,oBAAO,EACX,0FAA0F;YACxF,8CAA8C,CACjD,CAAC;IACJ,CAAC;IACD,IAAA,8BAAiB,EAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,CACrB,GAAG,CAAC,QAAQ,EACZ,gBAAgB,EAChB,sEAAsE,CACvE,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CACnB,GAAG,CAAC,MAAM,EACV,cAAc,EACd,kFAAkF,CACnF,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CACvB,GAAG,CAAC,UAAU,EACd,kBAAkB,EAClB,qDAAqD,CACtD,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAA,oBAAO,EAAC,uEAAuE,CAAC,CAAC;IACzF,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,iBAAiB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3D,2EAA2E;IAC3E,oEAAoE;IACpE,MAAM,IAAI,GAAG,IAAA,sBAAS,EAAC,UAAU,EAAE,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACrF,MAAM,KAAK,GAAG,GAAG,KAAK,IAAI,QAAQ,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACnE,MAAM,KAAK,GAAmB;QAC5B,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,MAAM,EAAE;QACvF,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACzD,KAAK,EAAE,OAAO;QACd,QAAQ;QACR,KAAK;QACL,MAAM;QACN,IAAI,EAAE,QAAQ;QACd,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;KACtD,CAAC;IACF,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,IAAI,GAA4C,EAAE,CAAC;IACzD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,iBAAiB,MAAM,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,OAAO;YAClB,KAAK,EAAE,QAAQ;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,qBAAqB,MAAM,WAAW;YAC5C,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,OAAO;YAClB,KAAK,EAAE,cAAc;SACtB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;AAC7D,CAAC;AAhED,8BAgEC;AAED,uFAAuF;AACvF,SAAS,UAAU,CAAC,GAAY,EAAE,KAAa;IAC7C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO;IAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAA,oBAAO,EACX,yFAAyF;YACvF,qCAAqC,CACxC,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QACzB,MAAM,IAAA,oBAAO,EACX,sBAAsB,KAAK,8BAA8B,GAAG,CAAC,MAAM,sBAAsB;YACvF,2EAA2E;YAC3E,IAAI,4BAAoB,IAAI,CAC/B,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,YAAY,CAAC,OAAoB;IAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAChC,CAAC,IAAa,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,CACjE,CAAC;IACF,OAAO,KAAmC,CAAC;AAC7C,CAAC;AALD,oCAKC"}

package/dist/semantics/coverage/composedCoverage.js

@@ -0,0 +1,46 @@
+"use strict";
+/**
+ * composedCoverage — the coverage row the LIBRARY composes for one call of a
+ * tool that declares its search (`Tool.search`).
+ *
+ * Pattern: one row type, read by the claim checker. Pure data; TYPE-only
+ *          imports, and one type guard.
+ * Role:    the contract between the dispatch funnel that writes the row
+ *          (`../../core/agent/stages/toolCalls.ts` · `declareCoverage`, via
+ *          `search/compose.ts`) and every reader that judges a "not found",
+ *          "none" or "the full list" against it.
+ * Emits:   N/A.
+ *
+ * ## Why the library writes it, not the tool
+ *
+ * A tool author's prose about what a search covered is unreliable: a
+ * registered study found that a note overstating what was checked made the
+ * model's replies WORSE. So the tool declares, once and as typed data, what a
+ * search is made of, and the library composes each call's row from the
+ * arguments the call actually ran with. Composition can only under-claim,
+ * relative to a TRUE declaration (one that misdescribes its query is the
+ * trusted base, said out loud): a
+ * facet enters `checked` from a value the call sent, a declared default composed
+ * as if sent, a declared fixed qualifier, the declared (or sent) source or a
+ * host-filled identity key — and every classified argument none of those
+ * covers is a bearing gap. The subject is an item too (`facet: 'subject'`):
+ * the statement a checker writes from the row alone names it.
+ *
+ * ## The fields, as revision 5 of the design names them (§ 3.2)
+ *
+ * The row is a {@link DeclaredCoverage} — the same row `coverageDeclared`
+ * holds for every tool — with these fields more: `composed`, `resultId`, typed
+ * `checked` items, `complete` and `gaps` (and `overclaim`, written by the
+ * dispatch-time overclaim check of a later release). Its `notChecked` and `cannotCover`
+ * lists stay the plain-prose view every older reader (the limits block, the
+ * answer account) already prints: the gaps' `what` / `why`, with no facet.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isComposedCoverage = void 0;
+/** Whether a `coverageDeclared` row was composed by the library from a `search`. */
+function isComposedCoverage(row) {
+    const r = row;
+    return (r.composed === 'local' || r.composed === 'remote') && Array.isArray(r.gaps);
+}
+exports.isComposedCoverage = isComposedCoverage;
+//# sourceMappingURL=composedCoverage.js.map

package/dist/semantics/coverage/composedCoverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composedCoverage.js","sourceRoot":"","sources":["../../../src/semantics/coverage/composedCoverage.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;;;AA8MH,oFAAoF;AACpF,SAAgB,kBAAkB,CAAC,GAAqB;IACtD,MAAM,CAAC,GAAG,GAAgC,CAAC;IAC3C,OAAO,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACtF,CAAC;AAHD,gDAGC"}

package/dist/semantics/coverage/evidence.js

@@ -97,6 +97,31 @@ const read_js_1 = require("./read.js");
  * field re-opens the same hole by hand — see "What this does NOT close" above.
  */
 const CALLER_ECHO_FIELD = 'looked_for';
+/**
+ * The same rule, applied to one field kind (`Tool.search`): a COMPOSED item
+ * whose value the call sent (`from: 'call'`) quotes the request — its
+ * `value`, its `what` (`<argument>: <value>`) and a `span` resolved from it
+ * are withheld; its facet, argument and the result's `resolved` (the tool's
+ * own claim) still ground. Declared constants and defaults ground. The SAME
+ * reference back when no item was sent by the call, so every envelope that
+ * never carried a composed item is projected exactly as before.
+ */
+function withoutCallValues(list) {
+    if (!Array.isArray(list))
+        return list;
+    const sent = (i) => typeof i === 'object' && i !== null && i.from === 'call';
+    if (!list.some(sent))
+        return list;
+    return list.map((i) => sent(i)
+        ? Object.fromEntries(Object.entries(i).filter(([key]) => key !== 'what' && key !== 'value' && key !== 'span'))
+        : i);
+}
+/** A holder with its `checked` list's call values withheld — the same reference when none. */
+function withheldChecked(holder) {
+    const checked = holder.checked;
+    const kept = withoutCallValues(checked);
+    return kept === checked ? holder : { ...holder, checked: kept };
+}
 /**
  * The record-only item keys — `short` and `kind` — are withheld too, on every
  * coverage list of an absence AND of the ledger around it.
@@ -117,7 +142,7 @@ const CALLER_ECHO_FIELD = 'looked_for';
 function toolAuthoredOnly(absence) {
     // Entries, not fields: a tool may spread `absent(…)` and attach keys the
     // `ToolAbsence` type never named, and those are the point of this widening.
-    const entries = Object.entries((0, items_js_1.listsWithoutRecordOnly)(absence));
+    const entries = Object.entries(withheldChecked((0, items_js_1.listsWithoutRecordOnly)(absence)));
     return Object.fromEntries(entries.filter(([key]) => key !== CALLER_ECHO_FIELD));
 }
 /**
@@ -153,7 +178,7 @@ function frameProjection(parsed) {
     const covered = (0, ledger_js_1.readCoverageLedger)(parsed);
     if (covered === undefined)
         return undefined;
-    const marker = (0, items_js_1.listsWithoutRecordOnly)(covered.af_coverage);
+    const marker = withheldChecked((0, items_js_1.listsWithoutRecordOnly)(covered.af_coverage));
     const inner = (0, absent_js_1.readAbsence)(covered.result);
     if (inner === undefined) {
         // A bare ledger is indexed whole, as it always was — unless an item

package/dist/semantics/coverage/evidence.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/semantics/coverage/evidence.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;;;AAEH,2CAA0C;AAC1C,yCAAoD;AACpD,2CAAiD;AACjD,uCAAgD;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,IAAA,iCAAsB,EAAC,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,SAAgB,yBAAyB,CAAC,MAAe;IACvD,wEAAwE;IACxE,0EAA0E;IAC1E,mEAAmE;IACnE,MAAM,GAAG,GAAG,IAAA,6BAAmB,EAAC,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;AAND,8DAMC;AAED,sFAAsF;AACtF,SAAS,eAAe,CAAC,MAAe;IACtC,MAAM,OAAO,GAAG,IAAA,uBAAW,EAAC,MAAM,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAA,8BAAkB,EAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAA,iCAAsB,EAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,IAAA,uBAAW,EAAC,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"}
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/semantics/coverage/evidence.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;;;AAEH,2CAA0C;AAC1C,yCAAoD;AACpD,2CAAiD;AACjD,uCAAgD;AAGhD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,iBAAiB,GAAG,YAAY,CAAC;AAEvC;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,IAAa;IACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE,CACnC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAA6B,CAAC,IAAI,KAAK,MAAM,CAAC;IACxF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAC7B,IAAI,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,MAAM,CACjD,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,MAAM,CAC/D,CACF;QACH,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,eAAe,CAAmB,MAAS;IAClD,MAAM,OAAO,GAAI,MAAkC,CAAC,OAAO,CAAC;IAC5D,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACxC,OAAO,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,EAAQ,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,yEAAyE;IACzE,4EAA4E;IAC5E,MAAM,OAAO,GAA8C,MAAM,CAAC,OAAO,CACvE,eAAe,CAAC,IAAA,iCAAsB,EAAC,OAAO,CAAC,CAAC,CACjD,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,SAAgB,yBAAyB,CAAC,MAAe;IACvD,wEAAwE;IACxE,0EAA0E;IAC1E,mEAAmE;IACnE,MAAM,GAAG,GAAG,IAAA,6BAAmB,EAAC,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;AAND,8DAMC;AAED,sFAAsF;AACtF,SAAS,eAAe,CAAC,MAAe;IACtC,MAAM,OAAO,GAAG,IAAA,uBAAW,EAAC,MAAM,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,IAAA,8BAAkB,EAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,eAAe,CAAC,IAAA,iCAAsB,EAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAA,uBAAW,EAAC,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/semantics/coverage/index.js

@@ -10,13 +10,15 @@
  * of what already worked.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.inProgressLine = exports.IN_PROGRESS_WIRE = exports.IN_PROGRESS_SECTION_LABEL = exports.IN_PROGRESS_CLAUSE = exports.periodVerdict = exports.PERIOD_WIRE = exports.readCoverageResult = exports.readCoverageLedger = exports.coverageOfLedger = exports.COVERAGE_NOTE = exports.COVERAGE_MARKER = exports.coverage = exports.sameItem = exports.normalizeCoverageList = exports.mergeItems = exports.absenceEvidenceProjection = exports.coverageOfAnswer = exports.COVERAGE_BLOCK_HEADING = exports.copyCoverage = exports.copyAnswerCoverage = exports.composeAnswerWithCoverage = exports.answerCoverageOf = exports.readAbsence = exports.coverageOfAbsence = exports.absent = exports.ABSENCE_NOTE = exports.ABSENCE_MARKER = void 0;
+exports.isComposedCoverage = exports.inProgressLine = exports.IN_PROGRESS_WIRE = exports.IN_PROGRESS_SECTION_LABEL = exports.IN_PROGRESS_CLAUSE = exports.periodVerdict = exports.PERIOD_WIRE = exports.readCoverageResult = exports.readCoverageLedger = exports.coverageOfLedger = exports.COVERAGE_NOTE = exports.COVERAGE_MARKER = exports.coverage = exports.sameItem = exports.normalizeCoverageList = exports.mergeItems = exports.absenceEvidenceProjection = exports.coverageOfAnswer = exports.COVERAGE_BLOCK_HEADING = exports.copyCoverage = exports.copyAnswerCoverage = exports.composeAnswerWithCoverage = exports.answerCoverageOf = exports.namesFacetOf = exports.readAbsence = exports.coverageOfAbsence = exports.absent = exports.ABSENCE_NOTE = exports.ABSENCE_MARKER = void 0;
 var absent_js_1 = require("./absent.js");
 Object.defineProperty(exports, "ABSENCE_MARKER", { enumerable: true, get: function () { return absent_js_1.ABSENCE_MARKER; } });
 Object.defineProperty(exports, "ABSENCE_NOTE", { enumerable: true, get: function () { return absent_js_1.ABSENCE_NOTE; } });
 Object.defineProperty(exports, "absent", { enumerable: true, get: function () { return absent_js_1.absent; } });
 Object.defineProperty(exports, "coverageOfAbsence", { enumerable: true, get: function () { return absent_js_1.coverageOfAbsence; } });
 Object.defineProperty(exports, "readAbsence", { enumerable: true, get: function () { return absent_js_1.readAbsence; } });
+var among_js_1 = require("./among.js");
+Object.defineProperty(exports, "namesFacetOf", { enumerable: true, get: function () { return among_js_1.namesFacetOf; } });
 var answer_js_1 = require("./answer.js");
 Object.defineProperty(exports, "answerCoverageOf", { enumerable: true, get: function () { return answer_js_1.answerCoverageOf; } });
 Object.defineProperty(exports, "composeAnswerWithCoverage", { enumerable: true, get: function () { return answer_js_1.composeAnswerWithCoverage; } });
@@ -46,4 +48,6 @@ Object.defineProperty(exports, "IN_PROGRESS_CLAUSE", { enumerable: true, get: fu
 Object.defineProperty(exports, "IN_PROGRESS_SECTION_LABEL", { enumerable: true, get: function () { return inProgress_js_1.IN_PROGRESS_SECTION_LABEL; } });
 Object.defineProperty(exports, "IN_PROGRESS_WIRE", { enumerable: true, get: function () { return inProgress_js_1.IN_PROGRESS_WIRE; } });
 Object.defineProperty(exports, "inProgressLine", { enumerable: true, get: function () { return inProgress_js_1.inProgressLine; } });
+var composedCoverage_js_1 = require("./composedCoverage.js");
+Object.defineProperty(exports, "isComposedCoverage", { enumerable: true, get: function () { return composedCoverage_js_1.isComposedCoverage; } });
 //# sourceMappingURL=index.js.map

package/dist/semantics/coverage/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/semantics/coverage/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,yCAAmG;AAA1F,2GAAA,cAAc,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,mGAAA,MAAM,OAAA;AAAE,8GAAA,iBAAiB,OAAA;AAAE,wGAAA,WAAW,OAAA;AAC7E,yCASqB;AARnB,6GAAA,gBAAgB,OAAA;AAChB,sHAAA,yBAAyB,OAAA;AACzB,+GAAA,kBAAkB,OAAA;AAClB,yGAAA,YAAY,OAAA;AACZ,mHAAA,sBAAsB,OAAA;AACtB,6GAAA,gBAAgB,OAAA;AAIlB,6CAA0D;AAAjD,wHAAA,yBAAyB,OAAA;AAClC,uCAAyE;AAAhE,sGAAA,UAAU,OAAA;AAAE,iHAAA,qBAAqB,OAAA;AAAE,oGAAA,QAAQ,OAAA;AACpD,yCAMqB;AALnB,qGAAA,QAAQ,OAAA;AACR,4GAAA,eAAe,OAAA;AACf,0GAAA,aAAa,OAAA;AACb,6GAAA,gBAAgB,OAAA;AAChB,+GAAA,kBAAkB,OAAA;AAEpB,qCAAyF;AAAhF,6GAAA,kBAAkB,OAAA;AAC3B,yCAA8F;AAArF,wGAAA,WAAW,OAAA;AAAE,0GAAA,aAAa,OAAA;AACnC,iDAKyB;AAJvB,mHAAA,kBAAkB,OAAA;AAClB,0HAAA,yBAAyB,OAAA;AACzB,iHAAA,gBAAgB,OAAA;AAChB,+GAAA,cAAc,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/semantics/coverage/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG;;;AAEH,yCAAmG;AAA1F,2GAAA,cAAc,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,mGAAA,MAAM,OAAA;AAAE,8GAAA,iBAAiB,OAAA;AAAE,wGAAA,WAAW,OAAA;AAC7E,uCAA0C;AAAjC,wGAAA,YAAY,OAAA;AACrB,yCASqB;AARnB,6GAAA,gBAAgB,OAAA;AAChB,sHAAA,yBAAyB,OAAA;AACzB,+GAAA,kBAAkB,OAAA;AAClB,yGAAA,YAAY,OAAA;AACZ,mHAAA,sBAAsB,OAAA;AACtB,6GAAA,gBAAgB,OAAA;AAIlB,6CAA0D;AAAjD,wHAAA,yBAAyB,OAAA;AAClC,uCAAyE;AAAhE,sGAAA,UAAU,OAAA;AAAE,iHAAA,qBAAqB,OAAA;AAAE,oGAAA,QAAQ,OAAA;AACpD,yCAMqB;AALnB,qGAAA,QAAQ,OAAA;AACR,4GAAA,eAAe,OAAA;AACf,0GAAA,aAAa,OAAA;AACb,6GAAA,gBAAgB,OAAA;AAChB,+GAAA,kBAAkB,OAAA;AAEpB,qCAAyF;AAAhF,6GAAA,kBAAkB,OAAA;AAC3B,yCAA8F;AAArF,wGAAA,WAAW,OAAA;AAAE,0GAAA,aAAa,OAAA;AACnC,iDAKyB;AAJvB,mHAAA,kBAAkB,OAAA;AAClB,0HAAA,yBAAyB,OAAA;AACzB,iHAAA,gBAAgB,OAAA;AAChB,+GAAA,cAAc,OAAA;AAEhB,6DAM+B;AAL7B,yHAAA,kBAAkB,OAAA"}