agentfootprint 10.9.0 → 11.0.0

package/dist/semantics/coverage/search/resultFacts.js

@@ -0,0 +1,109 @@
+"use strict";
+/**
+ * search/resultFacts — the two facts a search tool's RESULT states out loud:
+ * `resolved` (the entity a population value resolved to) and `paging` (whether
+ * there is a next page).
+ *
+ * Pattern: one rule set, two doors (the `readItemExtras` law). The mint
+ *          (`absent()`, `describedResult()`) THROWS a refusal at the line the
+ *          author wrote; the reader (any envelope, minted anywhere) DROPS a
+ *          malformed value — read, never repaired.
+ * Role:    semantics/ layer, pure. The same spelling on the wire and in code
+ *          (every key is one word).
+ * Emits:   N/A.
+ *
+ * Both are the tool's own claims, said out loud — the trusted base. Each can
+ * only NARROW what the library composes: `resolved` attaches to the value the
+ * call was sent for and to no other entity; `paging.next` that is not null is
+ * a gap, and a first page is complete only with `next: null`.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.readPaging = exports.readResolved = exports.mintPaging = exports.mintResolved = exports.pagingProblem = exports.resolvedProblem = void 0;
+const refusal_js_1 = require("../refusal.js");
+const isPlain = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
+const isWord = (v) => typeof v === 'string' && v.trim() !== '';
+const RESOLVED_KEYS = ['argument', 'id', 'name', 'aliases'];
+/** What is wrong with a `resolved` list, or `undefined` when it is fine. */
+function resolvedProblem(value) {
+    if (!Array.isArray(value) || value.length === 0) {
+        return '`resolved` must be a non-empty list of { argument, id, name?, aliases? } — omit it to say nothing.';
+    }
+    for (const [i, raw] of value.entries()) {
+        const at = `\`resolved[${i}]\``;
+        if (!isPlain(raw))
+            return `${at} must be { argument, id, name?, aliases? }.`;
+        const unknown = Object.keys(raw).find((k) => !RESOLVED_KEYS.includes(k));
+        if (unknown !== undefined)
+            return `${at} has an unknown key '${unknown}'.`;
+        if (!isWord(raw.argument))
+            return `${at}.argument must name the population argument.`;
+        if (!isWord(raw.id))
+            return `${at}.id must be a non-empty string.`;
+        if (raw.name !== undefined && !isWord(raw.name))
+            return `${at}.name must be a non-empty string.`;
+        if (raw.aliases !== undefined && (!Array.isArray(raw.aliases) || !raw.aliases.every(isWord))) {
+            return `${at}.aliases must be a list of non-empty strings.`;
+        }
+    }
+    return undefined;
+}
+exports.resolvedProblem = resolvedProblem;
+/** What is wrong with a `paging`, or `undefined` when it is fine. */
+function pagingProblem(value) {
+    if (!isPlain(value) || !('next' in value)) {
+        return '`paging` must be { next } — `next: null` when there is no next page.';
+    }
+    const unknown = Object.keys(value).find((k) => k !== 'next');
+    if (unknown !== undefined)
+        return `\`paging\` has an unknown key '${unknown}'.`;
+    const next = value.next;
+    const ok = next === null || isWord(next) || (typeof next === 'number' && Number.isFinite(next));
+    return ok
+        ? undefined
+        : '`paging.next` must be null (no next page), a cursor string or a page number.';
+}
+exports.pagingProblem = pagingProblem;
+function copyResolved(list) {
+    return list.map((r) => ({
+        argument: r.argument,
+        id: r.id,
+        ...(r.name !== undefined && { name: r.name }),
+        ...(r.aliases !== undefined && { aliases: [...r.aliases] }),
+    }));
+}
+/** The minted `resolved` — a copy — or `undefined` for none; THROWS a refusal when malformed. */
+function mintResolved(value) {
+    if (value === undefined || value === null)
+        return undefined;
+    const problem = resolvedProblem(value);
+    if (problem !== undefined)
+        throw (0, refusal_js_1.refusal)(problem);
+    return copyResolved(value);
+}
+exports.mintResolved = mintResolved;
+/** The minted `paging` — a copy — or `undefined` for none; THROWS a refusal when malformed. */
+function mintPaging(value) {
+    if (value === undefined)
+        return undefined;
+    const problem = pagingProblem(value);
+    if (problem !== undefined)
+        throw (0, refusal_js_1.refusal)(problem);
+    return { next: value.next };
+}
+exports.mintPaging = mintPaging;
+/** A `resolved` read off an envelope — a copy, or `undefined` when absent or malformed. */
+function readResolved(value) {
+    if (value === undefined || value === null || resolvedProblem(value) !== undefined) {
+        return undefined;
+    }
+    return copyResolved(value);
+}
+exports.readResolved = readResolved;
+/** A `paging` read off an envelope — a copy, or `undefined` when absent or malformed. */
+function readPaging(value) {
+    if (value === undefined || pagingProblem(value) !== undefined)
+        return undefined;
+    return { next: value.next };
+}
+exports.readPaging = readPaging;
+//# sourceMappingURL=resultFacts.js.map

package/dist/semantics/coverage/search/resultFacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resultFacts.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/resultFacts.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAEH,8CAAwC;AAiBxC,MAAM,OAAO,GAAG,CAAC,CAAU,EAAc,EAAE,CACzC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3D,MAAM,MAAM,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAErF,MAAM,aAAa,GAAG,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAE5D,4EAA4E;AAC5E,SAAgB,eAAe,CAAC,KAAc;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,oGAAoG,CAAC;IAC9G,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,OAAO,GAAG,EAAE,6CAA6C,CAAC;QAC7E,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,GAAG,EAAE,wBAAwB,OAAO,IAAI,CAAC;QAC3E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO,GAAG,EAAE,8CAA8C,CAAC;QACtF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,GAAG,EAAE,iCAAiC,CAAC;QACnE,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;YAC7C,OAAO,GAAG,EAAE,mCAAmC,CAAC;QAClD,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAC7F,OAAO,GAAG,EAAE,+CAA+C,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAlBD,0CAkBC;AAED,qEAAqE;AACrE,SAAgB,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;QAC1C,OAAO,sEAAsE,CAAC;IAChF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,kCAAkC,OAAO,IAAI,CAAC;IAChF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,EAAE,GAAG,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,OAAO,EAAE;QACP,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,8EAA8E,CAAC;AACrF,CAAC;AAXD,sCAWC;AAED,SAAS,YAAY,CAAC,IAAoC;IACxD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7C,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;KAC5D,CAAC,CAAC,CAAC;AACN,CAAC;AAED,iGAAiG;AACjG,SAAgB,YAAY,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5D,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,OAAO,CAAC,CAAC;IAClD,OAAO,YAAY,CAAC,KAAuC,CAAC,CAAC;AAC/D,CAAC;AALD,oCAKC;AAED,+FAA+F;AAC/F,SAAgB,UAAU,CAAC,KAAc;IACvC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,OAAO,CAAC,CAAC;IAClD,OAAO,EAAE,IAAI,EAAG,KAA2B,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AALD,gCAKC;AAED,2FAA2F;AAC3F,SAAgB,YAAY,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,YAAY,CAAC,KAAuC,CAAC,CAAC;AAC/D,CAAC;AALD,oCAKC;AAED,yFAAyF;AACzF,SAAgB,UAAU,CAAC,KAAc;IACvC,IAAI,KAAK,KAAK,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChF,OAAO,EAAE,IAAI,EAAG,KAA2B,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAHD,gCAGC"}

package/dist/semantics/coverage/search/review.js

@@ -0,0 +1,93 @@
+"use strict";
+/**
+ * search/review — what a person should LOOK AT in a `Tool.search`, never a
+ * refusal.
+ *
+ * Pattern: one pure lister, two readers: the `check:semantics` gate (warnings,
+ *          errors only under `--strict`) and `defineTool`'s dev-mode warning.
+ * Role:    semantics/ layer, pure.
+ * Emits:   N/A.
+ *
+ *   • `source-said` — every word a claim may use to scope itself to the
+ *     source. A word wider than the source ("the estate") would let a claim
+ *     about everything read as a claim about this store, so a person reviews
+ *     the list, like an `authoritative` use. No word ever removes a gap.
+ *   • `said-overlap` — a `subject.said` word that repeats a qualifier: a
+ *     filter value's word (a qualifier NOT in `fixed`), or a fixed
+ *     qualifier's own word. The subject says WHAT was looked for and the
+ *     qualifiers say WHICH; a subject word carrying a qualifier lets a claim
+ *     match the subject without naming the qualifier the search applied.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.searchReviewItems = void 0;
+/** The words of a phrase, for a phrase-in-phrase test — NFC, case-folded. */
+function wordsOf(phrase) {
+    return phrase
+        .normalize('NFC')
+        .toLowerCase()
+        .split(/[^\p{L}\p{N}]+/u)
+        .filter((w) => w !== '');
+}
+/** Whether `inner`'s words appear, in order and adjacent, inside `outer`'s. */
+function containsPhrase(outer, inner) {
+    if (inner.length === 0 || inner.length > outer.length)
+        return false;
+    for (let i = 0; i + inner.length <= outer.length; i += 1) {
+        if (inner.every((w, j) => outer[i + j] === w))
+            return true;
+    }
+    return false;
+}
+/** Every qualifier word the search declares, with where it came from. */
+function qualifierWords(search) {
+    const out = [];
+    for (const q of search.fixed ?? []) {
+        for (const word of q.said)
+            out.push({ word, from: `the fixed qualifier '${q.name}'` });
+    }
+    const filters = search.arguments.filter((a) => a.role === 'filter');
+    for (const a of filters) {
+        for (const [value, words] of Object.entries(a.said ?? {})) {
+            for (const word of [value, ...words]) {
+                out.push({ word, from: `the filter '${a.name}' (not a fixed qualifier)` });
+            }
+        }
+    }
+    return out;
+}
+/**
+ * The review items of one search — `[]` when there is nothing to look at.
+ *
+ * @example
+ * ```ts
+ * searchReviewItems(search).map((i) => i.code); // ['source-said']
+ * ```
+ */
+function searchReviewItems(search) {
+    const items = [
+        {
+            code: 'source-said',
+            field: 'search.source.said',
+            message: `a claim using one of these words is read as scoped to '${search.source.what}': ` +
+                `${search.source.said.map((w) => `'${w}'`).join(', ')}. Check that each names this ` +
+                'source and nothing wider — no word ever removes a gap.',
+        },
+    ];
+    const qualifiers = qualifierWords(search);
+    search.subject.said.forEach((subjectWord, i) => {
+        const subject = wordsOf(subjectWord);
+        const hit = qualifiers.find((q) => containsPhrase(subject, wordsOf(q.word)));
+        if (hit === undefined)
+            return;
+        items.push({
+            code: 'said-overlap',
+            field: `search.subject.said[${i}]`,
+            message: `'${subjectWord}' repeats '${hit.word}', a word of ${hit.from}. Keep the subject's ` +
+                'words to what was looked for and the qualifiers in their own lists, or a claim can ' +
+                'match the subject without naming a qualifier the search applied.',
+        });
+    });
+    return items;
+}
+exports.searchReviewItems = searchReviewItems;
+//# sourceMappingURL=review.js.map

package/dist/semantics/coverage/search/review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/review.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;;AAaH,6EAA6E;AAC7E,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,MAAM;SACV,SAAS,CAAC,KAAK,CAAC;SAChB,WAAW,EAAE;SACb,KAAK,CAAC,iBAAiB,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,KAAwB,EAAE,KAAwB;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yEAAyE;AACzE,SAAS,cAAc,CACrB,MAAkB;IAElB,MAAM,GAAG,GAAqC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAiB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACpF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;YAC1D,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,IAAI,2BAA2B,EAAE,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAAC,MAAkB;IAClD,MAAM,KAAK,GAAuB;QAChC;YACE,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EACL,0DAA0D,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK;gBACjF,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B;gBACpF,wDAAwD;SAC3D;KACF,CAAC;IACF,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE;QAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO;QAC9B,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,uBAAuB,CAAC,GAAG;YAClC,OAAO,EACL,IAAI,WAAW,cAAc,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC,IAAI,uBAAuB;gBACpF,qFAAqF;gBACrF,kEAAkE;SACrE,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AA1BD,8CA0BC"}

package/dist/semantics/coverage/search/served.js

@@ -0,0 +1,137 @@
+"use strict";
+/**
+ * search/served — what the MODEL reads for `checked: 'declared'` once the
+ * funnel has composed it.
+ *
+ * Pattern: one pure projection.
+ * Role:    semantics/ layer, pure.
+ * Emits:   N/A.
+ *
+ * The typed fields and one static note — no new sentence. `checked` becomes
+ * the composed items (each `what` plus its typed fields); the gaps the model
+ * can act on ride `not_checked` / `cannot_cover` as plain items. Kept OFF what
+ * the model reads, and on the record only:
+ *
+ *   • `complete` — a bare `true` beside "nothing found" invites "that's all
+ *     there is"; the claim checker reads it from the row;
+ *   • the `said` words (a checker's vocabulary) and `quote` (a statement
+ *     writer's mark);
+ *   • a long list's values — a 500-id population is served as ONE item, its
+ *     count and the first {@link LIST_SHOWN} values quoted, so an empty
+ *     result never costs the model a 50 KB message. The row keeps every value.
+ *
+ * An absence is served {@link ABSENCE_NOTE_COMPOSED}, not `ABSENCE_NOTE`: the
+ * latter says "nothing was substituted for what was asked", which a declared
+ * default — or an argument-unsent gap served beside it — contradicts. The
+ * result is an ordinary absence (or ledger): every reader that predates
+ * `search` reads it as one.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.servedAbsence = exports.servedLedger = exports.servedItems = exports.servedItem = exports.LIST_SHOWN = exports.LIST_SERVED_WHOLE = void 0;
+const absent_js_1 = require("../absent.js");
+const facets_js_1 = require("./facets.js");
+/** A list longer than this is served as one item: its count and the first few values. */
+exports.LIST_SERVED_WHOLE = 5;
+/** How many values of a collapsed list are shown. */
+exports.LIST_SHOWN = 3;
+/** The longest one shown value, in characters (then `…`). */
+const SHOWN_CHARS = 64;
+/** One value as quoted data — one line, no backtick, capped. */
+function quoted(value) {
+    const text = (0, facets_js_1.valueText)(value)
+        .replace(/[\p{Cc}\p{Zl}\p{Zp}]/gu, ' ')
+        .replace(/`/g, "'")
+        .trim();
+    const points = Array.from(text);
+    return `\`${points.length > SHOWN_CHARS ? `${points.slice(0, SHOWN_CHARS).join('')}…` : text}\``;
+}
+/** `<argument>: N values, first 3: `a`, `b`, `c`` — the collapsed item's words. */
+function collapsedWhat(argument, values) {
+    const shown = values.slice(0, exports.LIST_SHOWN).map(quoted).join(', ');
+    return `${argument}: ${values.length} values, first ${exports.LIST_SHOWN}: ${shown}`;
+}
+/** One composed item as the model reads it — the record-only marks removed. */
+function servedItem(item) {
+    if (Array.isArray(item.value) && item.value.length > exports.LIST_SERVED_WHOLE) {
+        return {
+            what: collapsedWhat(item.argument ?? item.facet, item.value),
+            facet: item.facet,
+            ...(item.argument !== undefined && { argument: item.argument }),
+            from: item.from,
+            count: item.value.length,
+        };
+    }
+    return Object.fromEntries(Object.entries(item).filter(([key]) => key !== 'said' && key !== 'quote'));
+}
+exports.servedItem = servedItem;
+/**
+ * The composed items as the model reads them: a run of more than
+ * {@link LIST_SERVED_WHOLE} population items from one argument (a list sent)
+ * becomes one item with its count.
+ */
+function servedItems(items) {
+    const out = [];
+    for (let i = 0; i < items.length;) {
+        const head = items[i];
+        let j = i + 1;
+        while (j < items.length &&
+            head.facet === 'population' &&
+            head.argument !== undefined &&
+            items[j].argument === head.argument &&
+            items[j].facet === 'population' &&
+            items[j].from === head.from) {
+            j += 1;
+        }
+        const run = items.slice(i, j);
+        if (run.length > exports.LIST_SERVED_WHOLE) {
+            out.push({
+                what: collapsedWhat(head.argument, run.map((r) => r.value)),
+                facet: head.facet,
+                argument: head.argument,
+                from: head.from,
+                count: run.length,
+            });
+        }
+        else {
+            out.push(...run.map(servedItem));
+        }
+        i = j;
+    }
+    return out;
+}
+exports.servedItems = servedItems;
+/** One declaring object with `checked` composed in place, keys in the minted order. */
+function composedIn(holder, checked, lists) {
+    const out = {};
+    for (const [key, value] of Object.entries(holder)) {
+        if (key === 'not_checked' || key === 'cannot_cover' || key === 'complete')
+            continue;
+        if (key !== 'checked') {
+            out[key] = value;
+            continue;
+        }
+        out.checked = servedItems(checked);
+        if (lists.notChecked.length > 0)
+            out.not_checked = lists.notChecked.map((i) => ({ ...i }));
+        if (lists.cannotCover.length > 0)
+            out.cannot_cover = lists.cannotCover.map((i) => ({ ...i }));
+    }
+    return out;
+}
+/** The composed ledger — `coverage(rows, { checked: 'declared' })` — with its result untouched. */
+function servedLedger(ledger, checked, lists) {
+    return {
+        ...ledger,
+        af_coverage: composedIn(ledger.af_coverage, checked, lists),
+    };
+}
+exports.servedLedger = servedLedger;
+/** The composed absence, keys in the order the tool minted them, with the composed note. */
+function servedAbsence(absence, checked, lists) {
+    return {
+        ...composedIn(absence, checked, lists),
+        note: absent_js_1.ABSENCE_NOTE_COMPOSED,
+    };
+}
+exports.servedAbsence = servedAbsence;
+//# sourceMappingURL=served.js.map

package/dist/semantics/coverage/search/served.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"served.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/served.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;AAEH,4CAAqD;AASrD,2CAAwC;AAExC,yFAAyF;AAC5E,QAAA,iBAAiB,GAAG,CAAC,CAAC;AACnC,qDAAqD;AACxC,QAAA,UAAU,GAAG,CAAC,CAAC;AAC5B,6DAA6D;AAC7D,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB,gEAAgE;AAChE,SAAS,MAAM,CAAC,KAAc;IAC5B,MAAM,IAAI,GAAG,IAAA,qBAAS,EAAC,KAAK,CAAC;SAC1B,OAAO,CAAC,wBAAwB,EAAE,GAAG,CAAC;SACtC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAClB,IAAI,EAAE,CAAC;IACV,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,MAAM,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACnG,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,QAAgB,EAAE,MAA0B;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAU,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,OAAO,GAAG,QAAQ,KAAK,MAAM,CAAC,MAAM,kBAAkB,kBAAU,KAAK,KAAK,EAAE,CAAC;AAC/E,CAAC;AAED,+EAA+E;AAC/E,SAAgB,UAAU,CAAC,IAAkB;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,yBAAiB,EAAE,CAAC;QACvE,OAAO;YACL,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC;YAC5D,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/D,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;SACzB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,OAAO,CAAC,CAC1E,CAAC;AACJ,CAAC;AAbD,gCAaC;AAED;;;;GAIG;AACH,SAAgB,WAAW,CAAC,KAA8B;IACxD,MAAM,GAAG,GAA8B,EAAE,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAI,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAiB,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OACE,CAAC,GAAG,KAAK,CAAC,MAAM;YAChB,IAAI,CAAC,KAAK,KAAK,YAAY;YAC3B,IAAI,CAAC,QAAQ,KAAK,SAAS;YAC1B,KAAK,CAAC,CAAC,CAAkB,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;YACpD,KAAK,CAAC,CAAC,CAAkB,CAAC,KAAK,KAAK,YAAY;YAChD,KAAK,CAAC,CAAC,CAAkB,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAC7C,CAAC;YACD,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAI,GAAG,CAAC,MAAM,GAAG,yBAAiB,EAAE,CAAC;YACnC,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,aAAa,CACjB,IAAI,CAAC,QAAkB,EACvB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CACxB;gBACD,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,GAAG,CAAC,MAAM;aAClB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;QACnC,CAAC;QACD,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAjCD,kCAiCC;AAQD,uFAAuF;AACvF,SAAS,UAAU,CACjB,MAAyC,EACzC,OAAgC,EAChC,KAAiB;IAEjB,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,cAAc,IAAI,GAAG,KAAK,UAAU;YAAE,SAAS;QACpF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YACjB,SAAS;QACX,CAAC;QACD,GAAG,CAAC,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3F,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,YAAY,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mGAAmG;AACnG,SAAgB,YAAY,CAC1B,MAA6B,EAC7B,OAAgC,EAChC,KAAiB;IAEjB,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,EAAE,KAAK,CAAC;KAChC,CAAC;AAChC,CAAC;AATD,oCASC;AAED,4FAA4F;AAC5F,SAAgB,aAAa,CAC3B,OAA4B,EAC5B,OAAgC,EAChC,KAAiB;IAEjB,OAAO;QACL,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC;QACtC,IAAI,EAAE,iCAAqB;KACF,CAAC;AAC9B,CAAC;AATD,sCASC"}

package/dist/semantics/coverage/search/span.js

@@ -0,0 +1,66 @@
+"use strict";
+/**
+ * search/span — the instants a period facet stands for.
+ *
+ * Pattern: one pure rule over the time layer's own conversions.
+ * Role:    semantics/ layer, pure. No clock is read: the DISPATCH instant —
+ *          when the call actually ran, the clock the time layer hands the
+ *          tool — is injected, so a call resumed hours after its pause
+ *          composes the span it ran with, never the turn's start. The row
+ *          keeps the spelling (`'2h'`) beside the span; a checker keys a
+ *          relative window by its spelling within a run leg.
+ * Emits:   N/A.
+ *
+ * Two sources, both as half-open `[from, to)` ranges:
+ *   • a look-back the tool's `period` declares for that argument, sent or
+ *     defaulted, resolved at the dispatch instant (`time/range.ts` ·
+ *     `lookbackRange`);
+ *   • the result's own declared `period.queried` (inclusive bounds, made
+ *     half-open by one millisecond — `time/range.ts` · `fromInclusive`).
+ *
+ * Anything else composes no span — an absolute spelling the tool does not
+ * declare as a look-back, a missing clock — and a checker keys that reading
+ * by its value instead. Never a guess.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resultSpan = exports.relativeSpan = void 0;
+const duration_js_1 = require("../../../time/duration.js");
+const periodForm_js_1 = require("../../../time/periodForm.js");
+const range_js_1 = require("../../../time/range.js");
+/**
+ * The span a relative window resolves to at the dispatch instant, or `undefined`
+ * when the tool's `period` declares no look-back for `argument` or the value
+ * is not one.
+ */
+function relativeSpan(argument, value, period, dispatchedAt) {
+    if (period === undefined || dispatchedAt === undefined || typeof value !== 'string') {
+        return undefined;
+    }
+    const form = (0, periodForm_js_1.sugarForms)(period).find((f) => f.kind === 'lookback' && f.argument === argument);
+    if (form === undefined || form.kind !== 'lookback')
+        return undefined;
+    const spelled = form.signed && value.startsWith('-') ? value.slice(1) : value;
+    const units = form.units ?? duration_js_1.LOOKBACK_UNITS;
+    if (!(0, duration_js_1.isDuration)(spelled, units))
+        return undefined;
+    try {
+        const range = (0, range_js_1.lookbackRange)(dispatchedAt, spelled, units);
+        return { from: range.from, to: range.to };
+    }
+    catch {
+        return undefined;
+    }
+}
+exports.relativeSpan = relativeSpan;
+/** The result's declared `queried`, half-open, or `undefined` when it cannot be read. */
+function resultSpan(period) {
+    try {
+        const range = (0, range_js_1.fromInclusive)({ from: period.queried.from, to: period.queried.to });
+        return { from: range.from, to: range.to };
+    }
+    catch {
+        return undefined;
+    }
+}
+exports.resultSpan = resultSpan;
+//# sourceMappingURL=span.js.map

package/dist/semantics/coverage/search/span.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"span.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/span.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;AAEH,2DAAuE;AACvE,+DAA4E;AAC5E,qDAAsE;AAItE;;;;GAIG;AACH,SAAgB,YAAY,CAC1B,QAAgB,EAChB,KAAc,EACd,MAAgC,EAChC,YAAgC;IAEhC,IAAI,MAAM,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,0BAAU,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IAC9F,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,4BAAc,CAAC;IAC3C,IAAI,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AApBD,oCAoBC;AAED,yFAAyF;AACzF,SAAgB,UAAU,CAAC,MAAsB;IAC/C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAClF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAPD,gCAOC"}

package/dist/semantics/coverage/search/statementText.js

@@ -0,0 +1,107 @@
+"use strict";
+/**
+ * search/statementText — the rule for declaration text that can reach a
+ * statement the library writes (`statement-text-refused`).
+ *
+ * Pattern: one pure rule, asked by `declaration.ts` at `defineTool` (an
+ *          ERROR: `search` is a new API, so no consumer breaks), over the ONE
+ *          list of texts that reach a statement (`statementTextsOf`).
+ * Role:    semantics/ layer, pure.
+ * Emits:   N/A.
+ *
+ * A declaration is untrusted text from the tool author, and a statement of a
+ * negative claim is built from it — the source, the subject, each fixed
+ * qualifier and default as `name: value`, each argument's name, each gap's
+ * `what` and `why`. Three layers hold it, and only the last is the boundary:
+ *
+ *   1. SHAPE — one line of at most {@link MAX_STATEMENT_TEXT} characters, in a
+ *      stated character class: letters, combining marks, digits, spaces and
+ *      `. , : ; ' ( ) - _ / & % + # @`. No format character (zero-width, a
+ *      bidi override), no control, no quote mark, backtick or bracket a
+ *      renderer could be broken out of.
+ *   2. A HEURISTIC — the instruction phrases ("do not", "always", "tell the
+ *      user", …), scanned after NFKC folding with format characters removed,
+ *      so a fullwidth or zero-width-split phrase is caught. A denylist is
+ *      never complete (confusables pass it); it catches the honest mistake.
+ *   3. THE BOUNDARY — the statement renders declaration text as QUOTED DATA
+ *      ATTRIBUTED TO THE TOOL, never as library-authored prose:
+ *      `source (as the tool names it): "the incident store"`. Whatever the
+ *      words say, the person reads them as the tool's, in quotes. The
+ *      statement writer (the negative-claim checker's `statement.ts`) owns
+ *      that rendering; this rule only bounds what it is handed.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.statementTextProblem = exports.instructionIn = exports.STATEMENT_INSTRUCTION_PHRASES = exports.MAX_STATEMENT_TEXT = void 0;
+const plainLine_js_1 = require("../../../lib/plainLine.js");
+/** The longest declaration text a statement carries. */
+exports.MAX_STATEMENT_TEXT = 120;
+/** The stated character class for statement text (shape, layer 1). */
+const STATEMENT_CHARACTERS = /^[\p{L}\p{M}\p{N} .,:;'()\-_/&%+#@]*$/u;
+/**
+ * The instructing phrases — the design's `declaration-instructs` list, plus
+ * the plain imperatives a model obeys. Matched case-folded, on whole words,
+ * after NFKC folding (layer 2: a heuristic, not the boundary).
+ */
+exports.STATEMENT_INSTRUCTION_PHRASES = Object.freeze([
+    'do not',
+    "don't",
+    'always',
+    'tell the user',
+    'carry these',
+    'report that',
+    'ignore',
+    'disregard',
+    'you must',
+    'you should',
+]);
+/** One spelling for the scan: NFKC, format characters removed, case-folded, one space. */
+function scanSpelling(text) {
+    return text
+        .normalize('NFKC')
+        .replace(/\p{Cf}/gu, '')
+        .toLowerCase()
+        .replace(/[‘’ʼ]/g, "'")
+        .replace(/\s+/g, ' ');
+}
+/** The instructing phrase `text` carries, or `undefined`. */
+function instructionIn(text) {
+    const t = scanSpelling(text);
+    return exports.STATEMENT_INSTRUCTION_PHRASES.find((phrase) => {
+        let at = t.indexOf(phrase);
+        while (at !== -1) {
+            const before = at === 0 ? '' : t[at - 1];
+            const after = t[at + phrase.length] ?? '';
+            if (!/[\p{L}\p{N}']/u.test(before) && !/[\p{L}\p{N}]/u.test(after))
+                return true;
+            at = t.indexOf(phrase, at + 1);
+        }
+        return false;
+    });
+}
+exports.instructionIn = instructionIn;
+/**
+ * Why `text` (declared under `field`) cannot reach a statement, or
+ * `undefined` when it can.
+ */
+function statementTextProblem(field, text) {
+    const notPlain = (0, plainLine_js_1.plainLineProblem)(`\`${field}\``, text);
+    if (notPlain !== undefined)
+        return notPlain;
+    if (text.length > exports.MAX_STATEMENT_TEXT) {
+        return (`\`${field}\` is ${text.length} characters; the library's statements carry at most ` +
+            `${exports.MAX_STATEMENT_TEXT}.`);
+    }
+    if (!STATEMENT_CHARACTERS.test(text)) {
+        return (`\`${field}\` carries a character outside the statement set — letters, digits, spaces ` +
+            "and . , : ; ' ( ) - _ / & % + # @ — so no quote mark, backtick, bracket or symbol a " +
+            'renderer could be broken out of.');
+    }
+    const instruction = instructionIn(text);
+    if (instruction !== undefined) {
+        return (`\`${field}\` instructs ('${instruction}') — it is read into a statement the person ` +
+            'reads, so it describes ground and never tells a reader what to do or say.');
+    }
+    return undefined;
+}
+exports.statementTextProblem = statementTextProblem;
+//# sourceMappingURL=statementText.js.map

package/dist/semantics/coverage/search/statementText.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statementText.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/statementText.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;;;AAEH,4DAA6D;AAE7D,wDAAwD;AAC3C,QAAA,kBAAkB,GAAG,GAAG,CAAC;AAEtC,sEAAsE;AACtE,MAAM,oBAAoB,GAAG,wCAAwC,CAAC;AAEtE;;;;GAIG;AACU,QAAA,6BAA6B,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC5E,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,eAAe;IACf,aAAa;IACb,aAAa;IACb,QAAQ;IACR,WAAW;IACX,UAAU;IACV,YAAY;CACb,CAAC,CAAC;AAEH,0FAA0F;AAC1F,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,IAAI;SACR,SAAS,CAAC,MAAM,CAAC;SACjB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,WAAW,EAAE;SACb,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC;SACtB,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,6DAA6D;AAC7D,SAAgB,aAAa,CAAC,IAAY;IACxC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7B,OAAO,qCAA6B,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QACnD,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3B,OAAO,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC1C,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChF,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAZD,sCAYC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,KAAa,EAAE,IAAY;IAC9D,MAAM,QAAQ,GAAG,IAAA,+BAAgB,EAAC,KAAK,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,IAAI,IAAI,CAAC,MAAM,GAAG,0BAAkB,EAAE,CAAC;QACrC,OAAO,CACL,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,sDAAsD;YACpF,GAAG,0BAAkB,GAAG,CACzB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,CACL,KAAK,KAAK,6EAA6E;YACvF,sFAAsF;YACtF,kCAAkC,CACnC,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CACL,KAAK,KAAK,kBAAkB,WAAW,8CAA8C;YACrF,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAxBD,oDAwBC"}

package/dist/semantics/coverage/search/types.js

@@ -0,0 +1,12 @@
+"use strict";
+/**
+ * search/types — what a tool declares about its search (`Tool.search`).
+ *
+ * Pattern: declaration vocabulary, pure data. Validated once at `defineTool`
+ *          (`declaration.ts` · `assertToolSearch`) and at the MCP ingest door
+ *          with the same rule; read by the funnel's composer (`compose.ts`).
+ * Role:    semantics/ layer. TYPE-only.
+ * Emits:   N/A.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/semantics/coverage/search/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG"}

package/dist/semantics/coverage/search/valueWords.js

@@ -0,0 +1,36 @@
+"use strict";
+/**
+ * search/valueWords — the words a declaration gives one VALUE of a `filter` or
+ * `source` argument, looked up without ever letting the value index an object.
+ *
+ * Pattern: one pure lookup, the only door to an argument's `said` map.
+ * Role:    semantics/ layer, pure.
+ * Emits:   N/A.
+ *
+ * The key is the value the CALL sent — model-controlled. Indexing a plain
+ * object with it reads inherited properties: `"constructor"`, `"__proto__"`,
+ * `"toString"` would hand back a function or a prototype, and spreading that
+ * throws (a model-triggered failure) or yields junk. So the lookup asks for an
+ * OWN property only, and accepts only a list of strings. The declaration is
+ * also stored as a null-prototype map at `defineTool` and at the MCP ingest
+ * door (`declaration.ts` · `freezeSearch`); this lookup holds even for a
+ * hand-built `Tool` that skipped both.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.valueWords = void 0;
+/**
+ * The declared words for `value` under `said`, or `undefined` when the
+ * declaration names none (or names something that is not a list of words).
+ */
+function valueWords(said, value) {
+    if (said === undefined || said === null || typeof said !== 'object')
+        return undefined;
+    if (!Object.prototype.hasOwnProperty.call(said, value))
+        return undefined;
+    const words = said[value];
+    if (!Array.isArray(words) || !words.every((w) => typeof w === 'string'))
+        return undefined;
+    return [...words];
+}
+exports.valueWords = valueWords;
+//# sourceMappingURL=valueWords.js.map

package/dist/semantics/coverage/search/valueWords.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"valueWords.js","sourceRoot":"","sources":["../../../../src/semantics/coverage/search/valueWords.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AAEH;;;GAGG;AACH,SAAgB,UAAU,CACxB,IAA6D,EAC7D,KAAa;IAEb,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzE,MAAM,KAAK,GAAa,IAA0C,CAAC,KAAK,CAAC,CAAC;IAC1E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1F,OAAO,CAAC,GAAI,KAA2B,CAAC,CAAC;AAC3C,CAAC;AATD,gCASC"}

package/dist/semantics/described.js

@@ -75,7 +75,7 @@ const CAMEL_SPELLING = {
     chart_hint: 'chartHint',
 };
 /**
- * The nine top-level fields, tied to the type in both directions.
+ * The eleven top-level fields, tied to the type in both directions.
  */
 const DECLARATION_KEYS = Object.keys({
     series: true,
@@ -84,6 +84,8 @@ const DECLARATION_KEYS = Object.keys({
     grain: true,
     provenance: true,
     period: true,
+    resolved: true,
+    paging: true,
     coverage: true,
     clarify: true,
     render: true,

package/dist/semantics/described.js.map

@@ -1 +1 @@
-{"version":3,"file":"described.js","sourceRoot":"","sources":["../../src/semantics/described.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;AAEH,kDAAgE;AAChE,sDAAmE;AACnE,+CASuB;AAYvB;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB,QAAQ,EAAE,UAAU;IACpB,WAAW,EAAE,aAAa;IAC1B,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,WAAW;CACiD,CAAC;AAE1E,MAAM,gBAAgB,GAAG;IACvB,UAAU,EAAE,aAAa;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,QAAQ;IAChB,gBAAgB,EAAE,oBAAoB;CAC2C,CAAC;AAEpF,MAAM,YAAY,GAAG;IACnB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,aAAa;IACzB,SAAS,EAAE,YAAY;CACkD,CAAC;AAE5E,MAAM,UAAU,GAAwE;IACtF,KAAK,EAAE,WAAW;IAClB,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,YAAY;CACrB,CAAC;AAUF;;;;GAIG;AACH,MAAM,cAAc,GAAG;IACrB,UAAU,EAAE,WAAW;IACvB,WAAW,EAAE,YAAY;IACzB,WAAW,EAAE,YAAY;IACzB,kBAAkB,EAAE,kBAAkB;IACtC,WAAW,EAAE,YAAY;IACzB,UAAU,EAAE,WAAW;CAC+C,CAAC;AAEzE;;GAEG;AACH,MAAM,gBAAgB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtD,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;CAC4C,CAAC,CAAC;AAE5D;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,KAAsB,EAAE,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAgC,CAAC;IAClD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,4EAA4E;IAC5E,mEAAmE;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,cAAc,GAAoB;IACtC,IAAI,EAAE,iBAAiB;IACvB,eAAe,EAAE,gBAAgB;IACjC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IAC1C,UAAU,EAAE;QACV,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC,UAAU,EAAE,oCAAyB,CAAC;QACvC,CAAC,SAAS,EAAE,sCAAwB,CAAC;QACrC,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;KACtC;IACD,MAAM;IACN,QAAQ,EAAE,cAAc;CACzB,CAAC;AAOF;;;;;;;;GAQG;AACH,SAAgB,cAAc,CAAC,QAAiB;IAC9C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClF,IAAA,8BAAiB,EAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,IAAA,8BAAgB,EAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,GAAG,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACnF,OAAO,IAA0B,CAAC;AACpC,CAAC;AARD,wCAQC;AAUD;;;;GAIG;AACH,SAAgB,cAAc,CAAC,IAAa;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,GAAG,IAAA,8BAAgB,EAAC,IAAI,EAAE,2BAAa,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,IAA0B,CAAC;IACrC,OAAO;QACL,UAAU,EAAE;YACV,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACjE,GAAG,CAAC,CAAC,CAAC,kBAAkB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC;SACtF;KACF,CAAC;AACJ,CAAC;AAbD,wCAaC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,SAAgB,eAAe,CAAC,IAAgC;IAC9D,OAAO,IAAA,2BAAa,EAAC,IAAI,EAAE,cAAc,CAAC,CAAC;AAC7C,CAAC;AAFD,0CAEC"}
+{"version":3,"file":"described.js","sourceRoot":"","sources":["../../src/semantics/described.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;AAEH,kDAAgE;AAChE,sDAAmE;AACnE,+CASuB;AAYvB;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB,QAAQ,EAAE,UAAU;IACpB,WAAW,EAAE,aAAa;IAC1B,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,WAAW;CACiD,CAAC;AAE1E,MAAM,gBAAgB,GAAG;IACvB,UAAU,EAAE,aAAa;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,QAAQ;IAChB,gBAAgB,EAAE,oBAAoB;CAC2C,CAAC;AAEpF,MAAM,YAAY,GAAG;IACnB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,aAAa;IACzB,SAAS,EAAE,YAAY;CACkD,CAAC;AAE5E,MAAM,UAAU,GAAwE;IACtF,KAAK,EAAE,WAAW;IAClB,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,YAAY;CACrB,CAAC;AAUF;;;;GAIG;AACH,MAAM,cAAc,GAAG;IACrB,UAAU,EAAE,WAAW;IACvB,WAAW,EAAE,YAAY;IACzB,WAAW,EAAE,YAAY;IACzB,kBAAkB,EAAE,kBAAkB;IACtC,WAAW,EAAE,YAAY;IACzB,UAAU,EAAE,WAAW;CAC+C,CAAC;AAEzE;;GAEG;AACH,MAAM,gBAAgB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtD,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;CAC4C,CAAC,CAAC;AAE5D;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,KAAsB,EAAE,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAgC,CAAC;IAClD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,4EAA4E;IAC5E,mEAAmE;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,cAAc,GAAoB;IACtC,IAAI,EAAE,iBAAiB;IACvB,eAAe,EAAE,gBAAgB;IACjC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IAC1C,UAAU,EAAE;QACV,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC,UAAU,EAAE,oCAAyB,CAAC;QACvC,CAAC,SAAS,EAAE,sCAAwB,CAAC;QACrC,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;KACtC;IACD,MAAM;IACN,QAAQ,EAAE,cAAc;CACzB,CAAC;AAOF;;;;;;;;GAQG;AACH,SAAgB,cAAc,CAAC,QAAiB;IAC9C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClF,IAAA,8BAAiB,EAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,IAAA,8BAAgB,EAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAA,oBAAO,EAAC,GAAG,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACnF,OAAO,IAA0B,CAAC;AACpC,CAAC;AARD,wCAQC;AAUD;;;;GAIG;AACH,SAAgB,cAAc,CAAC,IAAa;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,GAAG,IAAA,8BAAgB,EAAC,IAAI,EAAE,2BAAa,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,IAA0B,CAAC;IACrC,OAAO;QACL,UAAU,EAAE;YACV,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACjE,GAAG,CAAC,CAAC,CAAC,kBAAkB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC;SACtF;KACF,CAAC;AACJ,CAAC;AAbD,wCAaC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,SAAgB,eAAe,CAAC,IAAgC;IAC9D,OAAO,IAAA,2BAAa,EAAC,IAAI,EAAE,cAAc,CAAC,CAAC;AAC7C,CAAC;AAFD,0CAEC"}