agentfootprint 10.9.0 → 11.0.0

package/dist/esm/{tools → lib}/normalize.js

@@ -1,11 +1,14 @@
 /**
  * normalize — one spelling for one value, on BOTH sides of the comparison.
  *
- * Pattern: a pure leaf module (its one import, `lib/linearText.ts`, is a leaf
+ * Pattern: a pure leaf module (its one import, `linearText.ts`, is a leaf
  *          too), shared by the extractor and the evidence index so the two can
  *          never disagree about what "the same value" means.
- * Role:    tools/ layer: the evidence gate (`namesAndNumbersFromEvidence`) and the
- *          inputs layer (`tools/declare.ts`) read it.
+ * Role:    lib/ layer (L0): the evidence gate (`namesAndNumbersFromEvidence`)
+ *          and the inputs layer (`tools/declare.ts`) read it. It moved down
+ *          from `tools/` so a reader in a layer below the tools can spell a
+ *          value the way the gate does — one spelling, never a second one
+ *          beside it.
  * Emits:   N/A.
  *
  * ## Why this file exists at all
@@ -21,7 +24,7 @@
  * on the answer side AND on the evidence side. The rules are deliberately few
  * and each is here because a real spelling difference needed it.
  */
-import { anyOf, trimTrailing } from '../lib/linearText.js';
+import { anyOf, isRegExpWhitespace, trimTrailing } from './linearText.js';
 /**
  * Characters that may live INSIDE one token.
  *
@@ -57,6 +60,53 @@ const LEADING_DECORATION = /^[$#@+'"`([{<]+/;
  */
 const TRAILING_DECORATION = anyOf('.,;:!?%\'"`)]}>');
 const ANSWER_TRAILING_DECORATION = anyOf('.,;:!?\'"`)]}>');
+const QUOTE = 0x22;
+const COLON = 0x3a;
+const BACKSLASH = 0x5c;
+/**
+ * Text with each JSON key's colon made a space: `{"total":1200}` reads
+ * `{"total" 1200}`. Compact JSON writes no space after a key, so once the
+ * quotes become separators the key's colon stayed on the value, and `:1200`
+ * read as an IDENTIFIER no result carries — every number of three or more
+ * digits in a typed answer looked invented (and `rails` refused the answer
+ * that copied it).
+ *
+ * Only a KEY's colon: one right after a closing double quote (the second of a
+ * pair; an escaped `\"` is not counted), white space allowed between. Every
+ * other colon is part of the value it sits in and stays — an IPv6 address
+ * (`::1234`, `fe80::1`, `::ffff:192.0.2.1`) is never the number after its
+ * colons, and a quoted `":8080"` keeps its colon. One pass, on both sides,
+ * like every rule here.
+ */
+function withoutKeyColons(text) {
+    if (!text.includes('"'))
+        return text;
+    let out = '';
+    let from = 0;
+    let open = false;
+    for (let i = 0; i < text.length; i++) {
+        if (text.charCodeAt(i) !== QUOTE || escaped(text, i))
+            continue;
+        open = !open;
+        if (open)
+            continue;
+        let j = i + 1;
+        while (j < text.length && isRegExpWhitespace(text.charCodeAt(j)))
+            j++;
+        if (text.charCodeAt(j) === COLON) {
+            out += `${text.slice(from, j)} `;
+            from = j + 1;
+        }
+    }
+    return from === 0 ? text : out + text.slice(from);
+}
+/** Whether the quote at `at` is escaped: an odd run of backslashes before it. */
+function escaped(text, at) {
+    let run = 0;
+    for (let k = at - 1; k >= 0 && text.charCodeAt(k) === BACKSLASH; k--)
+        run++;
+    return run % 2 === 1;
+}
 /** `1,234` / `12,345,678` / `1,234.56` — a number wearing thousands separators. */
 const THOUSANDS = /^-?\d{1,3}(,\d{3})+(\.\d+)?$/;
 /** A plain decimal or integer, optionally signed. */
@@ -117,7 +167,7 @@ export function countDigits(v) {
  */
 export function tokenize(text) {
     const out = [];
-    for (const rough of text.replace(INTRA_TOKEN, ' ').split(/\s+/)) {
+    for (const rough of withoutKeyColons(text).replace(INTRA_TOKEN, ' ').split(/\s+/)) {
         if (rough === '')
             continue;
         // A comma inside a token is either a thousands separator (keep the token
@@ -138,7 +188,7 @@ export function tokenize(text) {
  */
 export function answerTokenSpellings(text) {
     const out = [];
-    for (const rough of text.replace(RANGE_TOKEN, ' ').split(/\s+/)) {
+    for (const rough of withoutKeyColons(text).replace(RANGE_TOKEN, ' ').split(/\s+/)) {
         for (const piece of rough.split(LIST_COMMA)) {
             const spelling = tokenSpelling(piece, true);
             if (spelling !== '')
@@ -179,4 +229,90 @@ export function canonicalForm(normalized) {
     const forms = lookupForms(normalized);
     return forms[forms.length - 1] ?? normalized;
 }
+// ─── Text and names: ONE case rule ──────────────────────────────────────────
+//
+// Moved here from `integrity/unsupported-claim/evaluate.ts` (the claim
+// comparator, which imports it back) so a name binding (`semantics/coverage/
+// search/binding.ts`) and a delivered claim's text compare by the same rule:
+// one spelling owner, at the bottom layer every reader can reach.
+/** Text as compared: Unicode NFC, trimmed, every run of white space one space. */
+export const textOf = (value) => value.normalize('NFC').trim().replace(/\s+/g, ' ');
+/**
+ * A full Unicode case fold WITHOUT the Turkic mappings: each character
+ * upper- then lower-cased on its own (so `ß` and `ẞ` fold to `ss`, `fi` to
+ * `fi`, a final `ς` to `σ`), except the dotless `ı`, which stays `ı`. It
+ * never decides agreement (`caseOnly` does, on the letters as written): two
+ * texts it folds alike are only texts the comparison cannot tell apart.
+ */
+export const foldCase = (text) => Array.from(text, (ch) => (ch === 'ı' ? ch : ch.toUpperCase().toLowerCase()))
+    .join('')
+    .replace(/ß/g, 'ss')
+    .normalize('NFC');
+/**
+ * A text's bare letters: compatibility forms unified (NFKC: a ligature, the
+ * long s, a full-width letter, a superscript digit), case folded, every mark
+ * dropped (an accent, the Greek tonos, the dot over `İ`) and the dotless
+ * `ı` read as `i`. Only to tell texts that differ in no letter from a
+ * contradiction: two texts alike here are never compared.
+ */
+export const bareLetters = (text) => foldCase(text.normalize('NFKC')).normalize('NFD').replace(/\p{M}/gu, '').replace(/ı/g, 'i');
+export const hasDigit = (text) => /\p{Nd}/u.test(text);
+/** How a word is cased: all lower, all upper, a capital first letter, or mixed. */
+export function casing(word) {
+    if (word === word.toLowerCase())
+        return 'lower';
+    if (word === word.toUpperCase())
+        return 'upper';
+    const [first = '', ...rest] = Array.from(word);
+    const tail = rest.join('');
+    return first === first.toUpperCase() && tail === tail.toLowerCase() ? 'capitalized' : 'mixed';
+}
+/**
+ * A word the case rule compares across casings (`caseOnly`): letters only,
+ * more than three of them, cased all lower, all upper or with a capital first
+ * letter. The rule cannot tell where such a word's case carries meaning
+ * (`Polish`, `polish`). A short word (`MW`, `Co`), a mixed-case one
+ * (`aB3xZ9`, `iPhone`) and anything with a digit or another mark keeps its
+ * case as written.
+ */
+export const foldableWord = (word) => /^\p{L}+$/u.test(word) && Array.from(word).length > 3 && casing(word) !== 'mixed';
+/**
+ * Two word texts that differ in case alone: as many words, and every word
+ * that differs is a foldable word with the same letters, letter for letter,
+ * in another case — its locale-free lower case (`toLowerCase`) is the
+ * other's: `Settled` and `SETTLED`, `STRAẞE` and `Straße` (`ẞ` is the capital
+ * of `ß`). Letters are compared as written, before any fold, so `ß` is never
+ * `ss`: `Masse`, `maße`, `MAẞE` and `MASSE` against `Maße` differ in letters.
+ */
+export function caseOnly(a, b) {
+    const wordsA = a.split(' ');
+    const wordsB = b.split(' ');
+    return (wordsA.length === wordsB.length &&
+        wordsA.every((word, index) => {
+            const other = wordsB[index] ?? '';
+            if (word === other)
+                return true;
+            return (foldableWord(word) && foldableWord(other) && word.toLowerCase() === other.toLowerCase());
+        }));
+}
+/**
+ * Whether two names are ONE name: the same text (`textOf`), or texts with no
+ * digit that differ in the case of foldable words alone (`caseOnly`) — the
+ * claim comparator's `agrees`. `payments` / `PAYMENTS` are one name;
+ * `ARRAY-X9` / `array-x9` (a digit), `MW` / `mW` (a short word) and `iPhone` /
+ * `iphone` (mixed case) are not.
+ *
+ * @example
+ * ```ts
+ * sameName('Payments', 'payments'); // true
+ * sameName('MW', 'mW');             // false
+ * ```
+ */
+export function sameName(a, b) {
+    const x = textOf(a);
+    const y = textOf(b);
+    if (x === y)
+        return true;
+    return !hasDigit(x) && !hasDigit(y) && caseOnly(x, y);
+}
 //# sourceMappingURL=normalize.js.map

package/dist/esm/lib/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../../src/lib/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE1E;;;;;;;;;;GAUG;AACH,MAAM,WAAW,GAAG,4BAA4B,CAAC;AACjD,uFAAuF;AACvF,MAAM,WAAW,GAAG,6BAA6B,CAAC;AAElD;;;GAGG;AACH,MAAM,UAAU,GAAG,kBAAkB,CAAC;AAEtC;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,iBAAiB,CAAC;AAE7C;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;AACrD,MAAM,0BAA0B,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAE3D,MAAM,KAAK,GAAG,IAAI,CAAC;AACnB,MAAM,KAAK,GAAG,IAAI,CAAC;AACnB,MAAM,SAAS,GAAG,IAAI,CAAC;AAEvB;;;;;;;;;;;;;;GAcG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YAAE,SAAS;QAC/D,IAAI,GAAG,CAAC,IAAI,CAAC;QACb,IAAI,IAAI;YAAE,SAAS;QACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAAE,CAAC,EAAE,CAAC;QACtE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YACjC,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC;YACjC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC;AAED,iFAAiF;AACjF,SAAS,OAAO,CAAC,IAAY,EAAE,EAAU;IACvC,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC,EAAE;QAAE,GAAG,EAAE,CAAC;IAC5E,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,mFAAmF;AACnF,MAAM,SAAS,GAAG,8BAA8B,CAAC;AAEjD,qDAAqD;AACrD,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C;;;;;GAKG;AACH,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,eAAe,GAAG,KAAK;IACzD,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,CAAC,GAAG,YAAY,CACd,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,EACjC,eAAe,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,mBAAmB,CACnE,CAAC;IACF,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,0EAA0E;IAC1E,uEAAuE;IACvE,8CAA8C;IAC9C,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,IAAI,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAC3B,yEAAyE;IACzE,yEAAyE;IACzE,sEAAsE;IACtE,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,WAAW,CAAC,CAAS;IACnC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,EAAE,IAAI,CAAC;QAAE,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG;YAAE,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,IAAI,KAAK,KAAK,EAAE;YAAE,SAAS;QAC3B,yEAAyE;QACzE,iEAAiE;QACjE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,IAAI,KAAK,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAClF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5C,IAAI,QAAQ,KAAK,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAC,UAAkB;IAC5C,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,UAAkB;IAC9C,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,UAAU,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAC/E,EAAE;AACF,uEAAuE;AACvE,6EAA6E;AAC7E,6EAA6E;AAC7E,kEAAkE;AAElE,kFAAkF;AAClF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACpG;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE,CAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;KACzE,IAAI,CAAC,EAAE,CAAC;KACR,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;KACnB,SAAS,CAAC,KAAK,CAAC,CAAC;AACtB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAClD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC9F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAExE,mFAAmF;AACnF,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,IAAI,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO,OAAO,CAAC;IAChD,IAAI,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE;QAAE,OAAO,OAAO,CAAC;IAChD,MAAM,CAAC,KAAK,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,KAAK,KAAK,KAAK,CAAC,WAAW,EAAE,IAAI,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;AAChG,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE,CACpD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC;AAEpF;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,CACL,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAClC,IAAI,IAAI,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;YAChC,OAAO,CACL,YAAY,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,WAAW,EAAE,CACxF,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/esm/lib/saidByPerson.d.ts

@@ -125,6 +125,8 @@ export declare const LIBRARY_NOTE_OPENING = "[A note from the library that runs
 /** Opening of the request-only STAGED-REFS nudge. Stable — tests and readers
  *  match on it. Written by `stagedRefsNudgeLine`, appended by `callLLM`. */
 export declare const STAGED_DATA_FRAME_PREFIX = "[staged data";
+/** Request-only findings DATA, quoted from the record rather than a person's message. */
+export declare const FINDINGS_DATA_FRAME_PREFIX = "[AgentFootprint findings DATA v1]";
 /**
  * Every opening this library puts on a `role: 'user'` message it wrote itself.
  *

package/dist/esm/lib/saidByPerson.js

@@ -109,6 +109,8 @@ export const LIBRARY_NOTE_OPENING = '[A note from the library that runs the tool
 /** Opening of the request-only STAGED-REFS nudge. Stable — tests and readers
  *  match on it. Written by `stagedRefsNudgeLine`, appended by `callLLM`. */
 export const STAGED_DATA_FRAME_PREFIX = '[staged data';
+/** Request-only findings DATA, quoted from the record rather than a person's message. */
+export const FINDINGS_DATA_FRAME_PREFIX = '[AgentFootprint findings DATA v1]';
 /**
  * Every opening this library puts on a `role: 'user'` message it wrote itself.
  *
@@ -137,6 +139,7 @@ export const LIBRARY_AUTHORED_PREFIXES = Object.freeze([
     STEP_NUDGE_FRAME_PREFIX,
     LIBRARY_NOTE_OPENING,
     STAGED_DATA_FRAME_PREFIX,
+    FINDINGS_DATA_FRAME_PREFIX,
 ]);
 /** True when this user-role message opens with a frame this library authored. */
 export function isLibraryAuthoredFrame(msg) {

package/dist/esm/lib/saidByPerson.js.map

@@ -1 +1 @@
-{"version":3,"file":"saidByPerson.js","sourceRoot":"","sources":["../../../src/lib/saidByPerson.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4EG;AAmBH;yDACyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,kBAAkB,CAAC;AAErD;6DAC6D;AAC7D,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAE3D;uEACuE;AACvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,eAAe,CAAC;AAEzD;0EAC0E;AAC1E,MAAM,CAAC,MAAM,2BAA2B,GAAG,iBAAiB,CAAC;AAE7D;;+BAE+B;AAC/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AAExD;;gCAEgC;AAChC,MAAM,CAAC,MAAM,uBAAuB,GAAG,cAAc,CAAC;AAEtD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAC/B,6LAA6L,CAAC;AAEhM;4EAC4E;AAC5E,MAAM,CAAC,MAAM,wBAAwB,GAAG,cAAc,CAAC;AAEvD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAsB,MAAM,CAAC,MAAM,CAAC;IACxE,kBAAkB;IAClB,sBAAsB;IACtB,yBAAyB;IACzB,2BAA2B;IAC3B,oBAAoB;IACpB,uBAAuB;IACvB,oBAAoB;IACpB,wBAAwB;CACzB,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,UAAU,sBAAsB,CAAC,GAAgC;IACrE,OAAO,CACL,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,GAAgC;IAC3D,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;AAChG,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,kBAAkB,CAAC,GAAgC;IACjE,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC;AACpG,CAAC;AAED,mIAAmI;AACnI,+GAA+G;AAC/G,6FAA6F;AAC7F,yGAAyG;AACzG;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,GAAgC;IAC7D,OAAO,CACL,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,GAAG,CAAC,UAAU,KAAK,SAAS;QAC5B,GAAG,CAAC,SAAS,KAAK,IAAI;QACtB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAC7B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"saidByPerson.js","sourceRoot":"","sources":["../../../src/lib/saidByPerson.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4EG;AAmBH;yDACyD;AACzD,MAAM,CAAC,MAAM,kBAAkB,GAAG,kBAAkB,CAAC;AAErD;6DAC6D;AAC7D,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAC;AAE3D;uEACuE;AACvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,eAAe,CAAC;AAEzD;0EAC0E;AAC1E,MAAM,CAAC,MAAM,2BAA2B,GAAG,iBAAiB,CAAC;AAE7D;;+BAE+B;AAC/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AAExD;;gCAEgC;AAChC,MAAM,CAAC,MAAM,uBAAuB,GAAG,cAAc,CAAC;AAEtD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAC/B,6LAA6L,CAAC;AAEhM;4EAC4E;AAC5E,MAAM,CAAC,MAAM,wBAAwB,GAAG,cAAc,CAAC;AAEvD,yFAAyF;AACzF,MAAM,CAAC,MAAM,0BAA0B,GAAG,mCAAmC,CAAC;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAsB,MAAM,CAAC,MAAM,CAAC;IACxE,kBAAkB;IAClB,sBAAsB;IACtB,yBAAyB;IACzB,2BAA2B;IAC3B,oBAAoB;IACpB,uBAAuB;IACvB,oBAAoB;IACpB,wBAAwB;IACxB,0BAA0B;CAC3B,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,UAAU,sBAAsB,CAAC,GAAgC;IACrE,OAAO,CACL,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAC3E,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,GAAgC;IAC3D,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;AAChG,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,kBAAkB,CAAC,GAAgC;IACjE,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC;AACpG,CAAC;AAED,mIAAmI;AACnI,+GAA+G;AAC/G,6FAA6F;AAC7F,yGAAyG;AACzG;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,GAAgC;IAC7D,OAAO,CACL,GAAG,KAAK,SAAS;QACjB,GAAG,CAAC,IAAI,KAAK,MAAM;QACnB,GAAG,CAAC,UAAU,KAAK,SAAS;QAC5B,GAAG,CAAC,SAAS,KAAK,IAAI;QACtB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAC7B,CAAC;AACJ,CAAC"}

package/dist/esm/mcp/toolExtras.d.ts

@@ -52,6 +52,7 @@
 import { type Tool, type ToolOwner, type ToolResultCeiling, type ToolResultColumns } from '../tools/tools.js';
 import type { ToolResultClass } from '../semantics/types.js';
 import { type AskOrAssume, type ToolPeriod } from '../tools/declare.js';
+import type { ToolSearch } from '../semantics/coverage/search/types.js';
 import { type TimeContext } from '../time/wire.js';
 /**
  * The single `_meta` key every agentfootprint declaration travels under.
@@ -129,6 +130,15 @@ export interface McpToolExtras {
      *  (every argument a form names must carry a kept rule). A host tool
      *  written in another language declares the same object, field for field. */
     readonly period?: ToolPeriod;
+    /**
+     * What one call of this tool searches — see {@link Tool.search}. It passes
+     * this file's bar: composition is a consumer-side reading of the call's
+     * arguments and governs nothing about how the server runs the tool. Judged
+     * against the listed tool's own `inputSchema` and the KEPT `period`. A kept
+     * remote declaration composes rows marked `composed: 'remote'`, which
+     * establish nothing: the server's words are untrusted.
+     */
+    readonly search?: ToolSearch;
 }
 /**
  * The `_meta` bag a `tools/call` request carries for a call handed

package/dist/esm/mcp/toolExtras.js

@@ -51,6 +51,7 @@
  */
 import { assertArgumentsFrom, assertComposedOf, assertGates, assertResultCeiling, assertResultClass, assertResultColumns, assertResultKind, assertToolOwner, } from '../tools/tools.js';
 import { assertAskOrAssume } from '../tools/declare.js';
+import { assertToolSearch, freezeSearch, periodArgumentsOf, } from '../semantics/coverage/search/declaration.js';
 import { readTimeContext, TIME_CONTEXT_META_KEY } from '../time/wire.js';
 /**
  * The single `_meta` key every agentfootprint declaration travels under.
@@ -102,6 +103,7 @@ export function toolExtrasOf(tool) {
         ...(tool.gates !== undefined && { gates: tool.gates }),
         ...(tool.askOrAssume !== undefined && { askOrAssume: tool.askOrAssume }),
         ...(tool.period !== undefined && { period: tool.period }),
+        ...(tool.search !== undefined && { search: tool.search }),
     };
     return Object.keys(extras).length > 0 ? extras : undefined;
 }
@@ -146,6 +148,12 @@ export function readToolExtras(meta, origin) {
     const schema = origin.inputSchema ?? { type: 'object', properties: {} };
     const askOrAssume = kept('askOrAssume', (v) => assertAskOrAssume(origin.tool, v, undefined, schema));
     const period = kept('period', (v) => assertAskOrAssume(origin.tool, askOrAssume, v, schema));
+    // The search, judged against the listed schema and the period that was KEPT.
+    const periodArguments = periodArgumentsOf(period);
+    const search = kept('search', (v) => assertToolSearch(origin.tool, v, {
+        inputSchema: schema,
+        ...(periodArguments !== undefined && { periodArguments }),
+    }));
     return {
         ...(argumentsFrom !== undefined && { argumentsFrom }),
         ...(resultKind !== undefined && { resultKind }),
@@ -157,6 +165,9 @@ export function readToolExtras(meta, origin) {
         ...(gates !== undefined && { gates }),
         ...(askOrAssume !== undefined && { askOrAssume }),
         ...(period !== undefined && { period }),
+        // Stored frozen, its value words a null-prototype map — a remote server's
+        // words never index anything through an inherited key.
+        ...(search !== undefined && { search: freezeSearch(search) }),
     };
 }
 // ─── The reading, field by field ───────────────────────────────────

package/dist/esm/mcp/toolExtras.js.map

@@ -1 +1 @@
-{"version":3,"file":"toolExtras.js","sourceRoot":"","sources":["../../../src/mcp/toolExtras.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,GAKhB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,iBAAiB,EAAqC,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAoB,MAAM,iBAAiB,CAAC;AAE3F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAgB,CAAC;AAuEpD,wEAAwE;AAExE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAiB;IAC1C,OAAO,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;AACtE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,MAAM,MAAM,GAAkB;QAC5B,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC1D,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAiBD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,MAA2B;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,KAA0B,EAAE,MAAgC,EAAW,EAAE,CACrF,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAExC,6EAA6E;IAC7E,yEAAyE;IACzE,yEAAyE;IACzE,oDAAoD;IACpD,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAChD,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAsB,CAAC,CACxB,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAW,CAAC,CAE1E,CAAC;IACd,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAEzE,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAc,CAAC,CAElE,CAAC;IACd,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5C,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAoB,CAAC,CACtB,CAAC;IACjC,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAChD,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAsB,CAAC,CACxB,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAsB,CAAC,CACrB,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAY,CAAC,CAAwB,CAAC;IAClG,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,wBAAwB;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACxE,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5C,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAC1B,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,CAAC,CAE9E,CAAC;IAEd,OAAO;QACL,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC;QACjD,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC;QACjD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,sEAAsE;AAEtE,2EAA2E;AAC3E,SAAS,KAAK,CAAC,IAAa;IAC1B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChE,MAAM,GAAG,GAAI,IAAgC,CAAC,mBAAmB,CAAC,CAAC;IACnE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpF,OAAO,GAA8B,CAAC;AACxC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAChB,GAA4B,EAC5B,KAA0B,EAC1B,MAA2B,EAC3B,MAAgC;IAEhC,2EAA2E;IAC3E,4EAA4E;IAC5E,kDAAkD;IAClD,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sEAAsE;AAEtE;;;;;;;;;GASG;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;AACjC,MAAM,UAAU,GAAG,GAAG,CAAC;AAEvB;;;;;;;;;GASG;AACH,SAAS,QAAQ,CAAC,MAA2B,EAAE,KAAa,EAAE,IAAY;IACxE,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;IACvD,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC5B,IAAI,MAAM,CAAC,IAAI,GAAG,UAAU;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9C,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,gCAAgC,MAAM,CAAC,MAAM,gBAAgB,KAAK,aAAa;QAC7E,IAAI,MAAM,CAAC,IAAI,kBAAkB,mBAAmB,gCAAgC;QACpF,oFAAoF;QACpF,uEAAuE,IAAI,EAAE,CAChF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB;IACtC,MAAM,CAAC,KAAK,EAAE,CAAC;AACjB,CAAC"}
+{"version":3,"file":"toolExtras.js","sourceRoot":"","sources":["../../../src/mcp/toolExtras.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,GAKhB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,iBAAiB,EAAqC,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,iBAAiB,GAClB,MAAM,6CAA6C,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAoB,MAAM,iBAAiB,CAAC;AAE3F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAgB,CAAC;AAgFpD,wEAAwE;AAExE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAiB;IAC1C,OAAO,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;AACtE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,MAAM,MAAM,GAAkB;QAC5B,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC;QAC9E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACrE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC1D,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAiBD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa,EAAE,MAA2B;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,KAA0B,EAAE,MAAgC,EAAW,EAAE,CACrF,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAExC,6EAA6E;IAC7E,yEAAyE;IACzE,yEAAyE;IACzE,oDAAoD;IACpD,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAChD,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAsB,CAAC,CACxB,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAW,CAAC,CAE1E,CAAC;IACd,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAEzE,CAAC;IACd,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAc,CAAC,CAElE,CAAC;IACd,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5C,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAoB,CAAC,CACtB,CAAC;IACjC,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAChD,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAsB,CAAC,CACxB,CAAC;IACnC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAC1C,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAsB,CAAC,CACrB,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAY,CAAC,CAAwB,CAAC;IAClG,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,wBAAwB;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACxE,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAC5C,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAC1B,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,CAAC,CAE9E,CAAC;IACd,6EAA6E;IAC7E,MAAM,eAAe,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAClC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAe,EAAE;QAC7C,WAAW,EAAE,MAAM;QACnB,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,EAAE,eAAe,EAAE,CAAC;KAC1D,CAAC,CACuB,CAAC;IAE5B,OAAO;QACL,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC;QACjD,GAAG,CAAC,aAAa,KAAK,SAAS,IAAI,EAAE,aAAa,EAAE,CAAC;QACrD,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC;QAC/C,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC;QACjD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,0EAA0E;QAC1E,uDAAuD;QACvD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,sEAAsE;AAEtE,2EAA2E;AAC3E,SAAS,KAAK,CAAC,IAAa;IAC1B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChE,MAAM,GAAG,GAAI,IAAgC,CAAC,mBAAmB,CAAC,CAAC;IACnE,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpF,OAAO,GAA8B,CAAC;AACxC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAChB,GAA4B,EAC5B,KAA0B,EAC1B,MAA2B,EAC3B,MAAgC;IAEhC,2EAA2E;IAC3E,4EAA4E;IAC5E,kDAAkD;IAClD,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sEAAsE;AAEtE;;;;;;;;;GASG;AACH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;AACjC,MAAM,UAAU,GAAG,GAAG,CAAC;AAEvB;;;;;;;;;GASG;AACH,SAAS,QAAQ,CAAC,MAA2B,EAAE,KAAa,EAAE,IAAY;IACxE,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,IAAI,KAAK,EAAE,CAAC;IACvD,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC5B,IAAI,MAAM,CAAC,IAAI,GAAG,UAAU;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9C,sCAAsC;IACtC,OAAO,CAAC,IAAI,CACV,gCAAgC,MAAM,CAAC,MAAM,gBAAgB,KAAK,aAAa;QAC7E,IAAI,MAAM,CAAC,IAAI,kBAAkB,mBAAmB,gCAAgC;QACpF,oFAAoF;QACpF,uEAAuE,IAAI,EAAE,CAChF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB;IACtC,MAAM,CAAC,KAAK,EAAE,CAAC;AACjB,CAAC"}

package/dist/esm/provider-contract/nativeOutputSchema.d.ts

@@ -3,12 +3,13 @@
  * (`LLMRequest.outputFormat`) on its wire FOR A MODEL, and the one error for
  * a model or adapter that does not.
  *
- * Pattern: capability declaration + its one reader (the `forcedToolChoice.ts`
+ * Pattern: capability declaration + readers (the `forcedToolChoice.ts`
  *          twin). The adapter declares `LLMProvider.carriesNativeOutputSchema`
  *          plus `supportsNativeOutputSchema(model)`, and everything that sends
  *          `LLMRequest.outputFormat` asks HERE with the model it will call:
  *          the agent's `'native'` output strategy at run start and again at
- *          request assembly.
+ *          request assembly. Auto additionally requires the positive model
+ *          knowledge declared by `supportsAutoNativeOutputSchema`.
  * Role:    Port-level, beside `types.ts`.
  *
  * Why per model: Anthropic's structured outputs are available on the models
@@ -33,6 +34,9 @@ import type { LLMProvider } from './types.js';
  * costs the guarantee it was asked for.
  */
 export declare function nativeOutputSchemaFor(provider: Pick<LLMProvider, 'carriesNativeOutputSchema' | 'supportsNativeOutputSchema'>, model: string): boolean;
+/** Auto requires positive model knowledge; explicit native keeps its existing
+ * forward-compatible capability policy. Never infer knowledge from a name. */
+export declare function autoNativeOutputSchemaFor(provider: Pick<LLMProvider, 'carriesNativeOutputSchema' | 'supportsNativeOutputSchema' | 'supportsAutoNativeOutputSchema'>, model: string): boolean;
 /**
  * UnsupportedNativeOutputError — a structured-output format for a model or
  * adapter that does not take one, refused by name BEFORE anything is sent.

package/dist/esm/provider-contract/nativeOutputSchema.js

@@ -3,12 +3,13 @@
  * (`LLMRequest.outputFormat`) on its wire FOR A MODEL, and the one error for
  * a model or adapter that does not.
  *
- * Pattern: capability declaration + its one reader (the `forcedToolChoice.ts`
+ * Pattern: capability declaration + readers (the `forcedToolChoice.ts`
  *          twin). The adapter declares `LLMProvider.carriesNativeOutputSchema`
  *          plus `supportsNativeOutputSchema(model)`, and everything that sends
  *          `LLMRequest.outputFormat` asks HERE with the model it will call:
  *          the agent's `'native'` output strategy at run start and again at
- *          request assembly.
+ *          request assembly. Auto additionally requires the positive model
+ *          knowledge declared by `supportsAutoNativeOutputSchema`.
  * Role:    Port-level, beside `types.ts`.
  *
  * Why per model: Anthropic's structured outputs are available on the models
@@ -36,6 +37,12 @@ export function nativeOutputSchemaFor(provider, model) {
         (provider.supportsNativeOutputSchema === undefined ||
             provider.supportsNativeOutputSchema(model) === true));
 }
+/** Auto requires positive model knowledge; explicit native keeps its existing
+ * forward-compatible capability policy. Never infer knowledge from a name. */
+export function autoNativeOutputSchemaFor(provider, model) {
+    return (nativeOutputSchemaFor(provider, model) &&
+        provider.supportsAutoNativeOutputSchema?.(model) === true);
+}
 /**
  * UnsupportedNativeOutputError — a structured-output format for a model or
  * adapter that does not take one, refused by name BEFORE anything is sent.

package/dist/esm/provider-contract/nativeOutputSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"nativeOutputSchema.js","sourceRoot":"","sources":["../../../src/provider-contract/nativeOutputSchema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAIH;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAuF,EACvF,KAAa;IAEb,OAAO,CACL,QAAQ,CAAC,yBAAyB,KAAK,IAAI;QAC3C,CAAC,QAAQ,CAAC,0BAA0B,KAAK,SAAS;YAChD,QAAQ,CAAC,0BAA0B,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CACvD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,OAAO,4BAA6B,SAAQ,KAAK;IACrD,+EAA+E;IACtE,QAAQ,CAAS;IAC1B,mCAAmC;IAC1B,KAAK,CAAS;IACvB,6EAA6E;IACpE,SAAS,GAAG,KAAK,CAAC;IAE3B,YAAY,IAA2D;QACrE,KAAK,CACH,IAAI,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,KAAK,uDAAuD;YACtF,0EAA0E;YAC1E,uEAAuE;YACvE,2FAA2F,CAC9F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,8BAA8B,CAAC;QAC3C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1B,CAAC;CACF"}
+{"version":3,"file":"nativeOutputSchema.js","sourceRoot":"","sources":["../../../src/provider-contract/nativeOutputSchema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAuF,EACvF,KAAa;IAEb,OAAO,CACL,QAAQ,CAAC,yBAAyB,KAAK,IAAI;QAC3C,CAAC,QAAQ,CAAC,0BAA0B,KAAK,SAAS;YAChD,QAAQ,CAAC,0BAA0B,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CACvD,CAAC;AACJ,CAAC;AAED;8EAC8E;AAC9E,MAAM,UAAU,yBAAyB,CACvC,QAGC,EACD,KAAa;IAEb,OAAO,CACL,qBAAqB,CAAC,QAAQ,EAAE,KAAK,CAAC;QACtC,QAAQ,CAAC,8BAA8B,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAC1D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,OAAO,4BAA6B,SAAQ,KAAK;IACrD,+EAA+E;IACtE,QAAQ,CAAS;IAC1B,mCAAmC;IAC1B,KAAK,CAAS;IACvB,6EAA6E;IACpE,SAAS,GAAG,KAAK,CAAC;IAE3B,YAAY,IAA2D;QACrE,KAAK,CACH,IAAI,IAAI,CAAC,QAAQ,MAAM,IAAI,CAAC,KAAK,uDAAuD;YACtF,0EAA0E;YAC1E,uEAAuE;YACvE,2FAA2F,CAC9F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,8BAA8B,CAAC;QAC3C,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1B,CAAC;CACF"}

package/dist/esm/provider-contract/types.d.ts

@@ -31,10 +31,13 @@ export interface LLMMessage {
      * `not-entered` means the producer refused before tool.execute; an error
      * thrown inside execute remains a result. `input-cancelled` is the host's
      * notice, not a completed result, and says nothing about prior tool entry.
+     * `outcome-unknown` is the host's notice for a call left open by a run that
+     * stopped after a person's decision was used (`hosting/answeredPause.ts`):
+     * whether it entered is not known, and the notice is not its result.
      * Absent on old history: no missing origin is reconstructed from text.
      * JSON/checkpoint safe; stripFrameworkFields removes it before transport.
      */
-    readonly toolResultOrigin?: 'not-entered' | 'input-cancelled';
+    readonly toolResultOrigin?: 'not-entered' | 'input-cancelled' | 'outcome-unknown';
     /**
      * For `role: 'assistant'` only — the tool calls the LLM requested in this
      * turn. Required for providers (Anthropic, OpenAI) that need to round-trip
@@ -732,6 +735,14 @@ export interface LLMProvider {
      * of the model id (no `this`); the adapter resolves its own shorthand.
      */
     readonly supportsNativeOutputSchema?: (model: string) => boolean;
+    /**
+     * Positive model knowledge for automatic native output. Unlike explicit
+     * native support, this must return false for unknown or opaque aliases.
+     * Auto requires both native wire support and this predicate to return true;
+     * absence keeps instruction-based generation. It must not depend on `this`.
+     * Wrappers forward it; fallback pairs require both sides to know the model.
+     */
+    readonly supportsAutoNativeOutputSchema?: (model: string) => boolean;
     /**
      * `hooks` (v7.8) is optional and additive — implementations may declare
      * `complete(req)` with no second parameter and stay assignable. A LEAF

package/dist/esm/provider-contract/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/provider-contract/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AA2OH;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAwB,MAAM,CAAC,MAAM,CAAC;IAC5E,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AAksBH;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAsC,EACtC,UAAgC;IAEhC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,IAAI,UAAU,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;AACxD,CAAC;AAqID;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAgGpD;uDACuD;AACvD,MAAM,UAAU,kBAAkB,CAChC,OAAoB;IAEpB,OAAO,OAAO,OAAO,CAAC,WAAW,KAAK,UAAU,CAAC;AACnD,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/provider-contract/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AA8OH;;;;GAIG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAwB,MAAM,CAAC,MAAM,CAAC;IAC5E,MAAM;IACN,WAAW;CACZ,CAAC,CAAC;AA0sBH;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAsC,EACtC,UAAgC;IAEhC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC3B,IAAI,UAAU,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC;AACxD,CAAC;AAqID;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAgGpD;uDACuD;AACvD,MAAM,UAAU,kBAAkB,CAChC,OAAoB;IAEpB,OAAO,OAAO,OAAO,CAAC,WAAW,KAAK,UAAU,CAAC;AACnD,CAAC"}

package/dist/esm/recorders/core/CheckInRecorder.d.ts

@@ -43,6 +43,8 @@ export interface CheckInDecisionRecord {
     readonly toolName: string;
     readonly toolCallId: string;
     readonly iteration: number;
+    /** The request this decision answered (`CheckInRequest.id`). */
+    readonly requestId: string;
     readonly approved: boolean;
     readonly by: string;
     readonly note?: string;
@@ -68,7 +70,10 @@ export interface CheckInStats {
  *   agent.attach(checkins);
  *   await agent.run({ message });
  *   // ...human approves...
- *   await agent.resume(outcome.checkpoint, checkInApproved({ by: 'alice' }));
+ *   await agent.resume(
+ *     outcome.checkpoint,
+ *     checkInApproved({ request: outcome.checkIn, by: 'alice' }),
+ *   );
  *   checkins.getStats();     // { requested: 1, approved: 1, declined: 0, pending: 0 }
  *   checkins.getDecisions(); // [{ toolName, approved: true, by: 'alice', ... }]
  */

package/dist/esm/recorders/core/CheckInRecorder.js

@@ -42,7 +42,10 @@ export function checkInEventsBridge(options) {
  *   agent.attach(checkins);
  *   await agent.run({ message });
  *   // ...human approves...
- *   await agent.resume(outcome.checkpoint, checkInApproved({ by: 'alice' }));
+ *   await agent.resume(
+ *     outcome.checkpoint,
+ *     checkInApproved({ request: outcome.checkIn, by: 'alice' }),
+ *   );
  *   checkins.getStats();     // { requested: 1, approved: 1, declined: 0, pending: 0 }
  *   checkins.getDecisions(); // [{ toolName, approved: true, by: 'alice', ... }]
  */
@@ -73,6 +76,7 @@ export class CheckInRecorder {
                 toolName: p.toolName,
                 toolCallId: p.toolCallId,
                 iteration: p.iteration,
+                requestId: p.requestId,
                 approved: p.approved,
                 by: p.by,
                 ...(p.note !== undefined && { note: p.note }),

package/dist/esm/recorders/core/CheckInRecorder.js.map

@@ -1 +1 @@
-{"version":3,"file":"CheckInRecorder.js","sourceRoot":"","sources":["../../../../src/recorders/core/CheckInRecorder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,UAAU,EAA0B,MAAM,iBAAiB,CAAC;AAQrE;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAqC;IACvE,OAAO,IAAI,UAAU,CAAC;QACpB,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,+BAA+B;QACjD,MAAM,EAAE,yBAAyB;QACjC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC,CAAC;AACL,CAAC;AAiCD;;;;;;;;;;;;;GAaG;AACH,MAAM,OAAO,eAAe;IACjB,EAAE,CAAS;IACH,QAAQ,GAA2B,EAAE,CAAC;IACtC,SAAS,GAA4B,EAAE,CAAC;IAEzD;;;OAGG;IACH,YAAY,EAAE,GAAG,iCAAiC;QAChD,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED,MAAM,CAAC,KAAgB;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,gCAAgC,EAAE,CAAC;YACpD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAgC,CAAC;YACjD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACjB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,OAAO,EAAE,CAAC,CAAC,OAAoC;aAChD,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,iCAAiC,EAAE,CAAC;YAC5D,MAAM,CAAC,GAAG,KAAK,CAAC,OAAiC,CAAC;YAClD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;gBAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7C,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;aACnE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,mDAAmD;IACnD,YAAY;QACV,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,kEAAkE;IAClE,QAAQ;QACN,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrE,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;YAC/B,QAAQ;YACR,QAAQ;YACR,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM;SACtD,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;CACF"}
+{"version":3,"file":"CheckInRecorder.js","sourceRoot":"","sources":["../../../../src/recorders/core/CheckInRecorder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,EAAE,UAAU,EAA0B,MAAM,iBAAiB,CAAC;AAQrE;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAqC;IACvE,OAAO,IAAI,UAAU,CAAC;QACpB,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,+BAA+B;QACjD,MAAM,EAAE,yBAAyB;QACjC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC,CAAC;AACL,CAAC;AAmCD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,OAAO,eAAe;IACjB,EAAE,CAAS;IACH,QAAQ,GAA2B,EAAE,CAAC;IACtC,SAAS,GAA4B,EAAE,CAAC;IAEzD;;;OAGG;IACH,YAAY,EAAE,GAAG,iCAAiC;QAChD,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACf,CAAC;IAED,MAAM,CAAC,KAAgB;QACrB,IAAI,KAAK,CAAC,IAAI,KAAK,gCAAgC,EAAE,CAAC;YACpD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAgC,CAAC;YACjD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACjB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,OAAO,EAAE,CAAC,CAAC,OAAoC;aAChD,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,iCAAiC,EAAE,CAAC;YAC5D,MAAM,CAAC,GAAG,KAAK,CAAC,OAAiC,CAAC;YAClD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;gBAClB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC7C,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;aACnE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,WAAW;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,mDAAmD;IACnD,YAAY;QACV,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,kEAAkE;IAClE,QAAQ;QACN,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;YAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrE,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;YAC/B,QAAQ;YACR,QAAQ;YACR,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM;SACtD,CAAC;IACJ,CAAC;IAED,+EAA+E;IAC/E,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC;CACF"}

package/dist/esm/redaction/conversation.js

@@ -86,6 +86,7 @@ const NAMES = {
         'finalContent',
         'answer',
         'response',
+        'answerNegatives',
         'assembledSystem',
         'assembledMessages',
     ],
@@ -118,6 +119,10 @@ const NAMES = {
         'pausedAskArgs',
         'pausedCheckInArgs',
         'pausedCredentialArgs',
+        // A consent request's record: its nonce lets whoever holds it confirm a
+        // guess of the paused call's arguments against the request id
+        // (`core/consentRequest.ts`), so it is kept out with them.
+        'pausedRequest',
         'policyHaltArgs',
         'claimFacts',
         'findingsLedger',
@@ -125,6 +130,7 @@ const NAMES = {
         // The opt-in verifier's private evidence/selected executed scope. Resume
         // checkpoints remain private; exported records must not disclose this bag.
         'claimVerification',
+        'negativeClaimState',
         // The inputs layer's raw answers, held in working state until the calls run
         // (`core/agent/arguments/README.md`).
         'argumentAsk',

package/dist/esm/redaction/conversation.js.map

@@ -1 +1 @@
-{"version":3,"file":"conversation.js","sourceRoot":"","sources":["../../../src/redaction/conversation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,GAEvB,MAAM,aAAa,CAAC;AAErB,sFAAsF;AACtF,MAAM,CAAC,MAAM,qBAAqB,GAAsB,MAAM,CAAC,MAAM,CAAC;IACpE,sDAAsD;IACtD,8DAA8D;IAC9D,gBAAgB;IAChB,yCAAyC;IACzC,wDAAwD;IACxD,yDAAyD;IACzD,mEAAmE;IACnE,uCAAuC;IACvC,sFAAsF;IACtF,kDAAkD;IAClD,sCAAsC;IACtC,8CAA8C;IAC9C,6DAA6D;CAC9D,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,KAAK,GAAG;IACZ,gFAAgF;IAChF,IAAI,EAAE;QACJ,SAAS;QACT,UAAU;QACV,aAAa;QACb,YAAY;QACZ,SAAS;QACT,aAAa;QACb,SAAS;QACT,kBAAkB;QAClB,oBAAoB;QACpB,cAAc;QACd,QAAQ;QACR,UAAU;QACV,iBAAiB;QACjB,mBAAmB;KACpB;IACD,wFAAwF;IACxF,MAAM,EAAE,CAAC,aAAa,CAAC;IACvB,+EAA+E;IAC/E,OAAO,EAAE;QACP,YAAY;QACZ,gBAAgB;QAChB,kBAAkB;QAClB,wBAAwB;QACxB,oBAAoB;QACpB,kBAAkB;QAClB,sBAAsB;QACtB,kBAAkB;QAClB,kBAAkB;KACnB;IACD,4BAA4B;IAC5B,QAAQ,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE,QAAQ,CAAC;IACrD,uEAAuE;IACvE,KAAK,EAAE;QACL,MAAM;QACN,QAAQ;QACR,aAAa;QACb,gBAAgB;QAChB,aAAa;QACb,WAAW;QACX,qBAAqB;QACrB,gBAAgB;QAChB,eAAe;QACf,mBAAmB;QACnB,sBAAsB;QACtB,gBAAgB;QAChB,YAAY;QACZ,gBAAgB;QAChB,iBAAiB;QACjB,yEAAyE;QACzE,2EAA2E;QAC3E,mBAAmB;QACnB,4EAA4E;QAC5E,sCAAsC;QACtC,aAAa;QACb,qBAAqB;QACrB,qBAAqB;QACrB,oEAAoE;QACpE,wDAAwD;QACxD,cAAc;KACf;IACD;;;;OAIG;IACH,QAAQ,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;IAChD,+CAA+C;IAC/C,KAAK,EAAE,CAAC,iBAAiB,EAAE,aAAa,CAAC;IACzC,sFAAsF;IACtF,MAAM,EAAE;QACN,WAAW;QACX,kBAAkB;QAClB,qBAAqB;QACrB,sBAAsB;QACtB,gBAAgB;QAChB,qBAAqB;QACrB,qBAAqB;QACrB,6BAA6B;QAC7B,aAAa;QACb,mBAAmB;QACnB,kBAAkB;QAClB,UAAU;QACV,aAAa;QACb,sEAAsE;QACtE,qBAAqB;KACtB;IAED,4EAA4E;IAC5E,MAAM,EAAE;QACN,QAAQ;QACR,UAAU;QACV,WAAW;QACX,WAAW;QACX,UAAU;QACV,aAAa;QACb,UAAU;QACV,aAAa;QACb,sBAAsB;QACtB,aAAa;QACb,eAAe;KAChB;IACD,8EAA8E;IAC9E,IAAI,EAAE,CAAC,eAAe,EAAE,mBAAmB,CAAC;IAC5C,oDAAoD;IACpD,YAAY,EAAE;QACZ,SAAS;QACT,SAAS;QACT,eAAe;QACf,YAAY;QACZ,aAAa;QACb,gBAAgB;QAChB,eAAe;QACf,eAAe;QACf,QAAQ;QACR,eAAe;KAChB;CACO,CAAC;AAEX;;;;GAIG;AACH,MAAM,gBAAgB,GAAsB,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AACvF,MAAM,QAAQ,GAAsB,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;AAE/F;;;;GAIG;AACH,MAAM,MAAM,GAAgD;IAC1D,SAAS,EAAE,CAAC,SAAS,CAAC;IACtB,6EAA6E;IAC7E,+DAA+D;IAC/D,uBAAuB,EAAE,CAAC,cAAc,CAAC;IACzC,6EAA6E;IAC7E,wEAAwE;IACxE,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;CACtC,CAAC;AAEF,2CAA2C;AAC3C,MAAM,YAAY,GAAoB,MAAM,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAa;IAC5D,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAa;IAClD,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CACxD;CAC9B,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAW,SAAS,CAAC,YAAY,CAAC,CAAC;AAElE,qGAAqG;AACrG,SAAS,SAAS,CAAC,MAAuB;IACxC,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE;QACxE,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;aAChE,IAAI,EAAE;KACV,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAuB;IACtD,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AACjG,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAmC,EACnC,OAA2B;IAE3B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,kBAAkB;QAAE,OAAO,MAAM,CAAC;IAC3E,OAAO,sBAAsB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAuB;IAC3D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAC7C,qBAAqB,CAAC,KAAK,EAAE,uBAAuB,CAAC,CAAC;IACtD,OAAO,sBAAsB,CAAC,YAAY,EAAE,KAAK,CAAoB,CAAC;AACxE,CAAC;AAED,qGAAqG;AACrG,MAAM,mBAAmB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC3D,GAAG,CAAC,YAAY,CAAC,IAAI,IAAI,EAAE,CAAC;IAC5B,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC;CACxC,CAAC,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAmC;IACtE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACvE,CAAC"}
+{"version":3,"file":"conversation.js","sourceRoot":"","sources":["../../../src/redaction/conversation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EACL,qBAAqB,EACrB,sBAAsB,EACtB,sBAAsB,GAEvB,MAAM,aAAa,CAAC;AAErB,sFAAsF;AACtF,MAAM,CAAC,MAAM,qBAAqB,GAAsB,MAAM,CAAC,MAAM,CAAC;IACpE,sDAAsD;IACtD,8DAA8D;IAC9D,gBAAgB;IAChB,yCAAyC;IACzC,wDAAwD;IACxD,yDAAyD;IACzD,mEAAmE;IACnE,uCAAuC;IACvC,sFAAsF;IACtF,kDAAkD;IAClD,sCAAsC;IACtC,8CAA8C;IAC9C,6DAA6D;CAC9D,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,KAAK,GAAG;IACZ,gFAAgF;IAChF,IAAI,EAAE;QACJ,SAAS;QACT,UAAU;QACV,aAAa;QACb,YAAY;QACZ,SAAS;QACT,aAAa;QACb,SAAS;QACT,kBAAkB;QAClB,oBAAoB;QACpB,cAAc;QACd,QAAQ;QACR,UAAU;QACV,iBAAiB;QACjB,iBAAiB;QACjB,mBAAmB;KACpB;IACD,wFAAwF;IACxF,MAAM,EAAE,CAAC,aAAa,CAAC;IACvB,+EAA+E;IAC/E,OAAO,EAAE;QACP,YAAY;QACZ,gBAAgB;QAChB,kBAAkB;QAClB,wBAAwB;QACxB,oBAAoB;QACpB,kBAAkB;QAClB,sBAAsB;QACtB,kBAAkB;QAClB,kBAAkB;KACnB;IACD,4BAA4B;IAC5B,QAAQ,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE,QAAQ,CAAC;IACrD,uEAAuE;IACvE,KAAK,EAAE;QACL,MAAM;QACN,QAAQ;QACR,aAAa;QACb,gBAAgB;QAChB,aAAa;QACb,WAAW;QACX,qBAAqB;QACrB,gBAAgB;QAChB,eAAe;QACf,mBAAmB;QACnB,sBAAsB;QACtB,wEAAwE;QACxE,8DAA8D;QAC9D,2DAA2D;QAC3D,eAAe;QACf,gBAAgB;QAChB,YAAY;QACZ,gBAAgB;QAChB,iBAAiB;QACjB,yEAAyE;QACzE,2EAA2E;QAC3E,mBAAmB;QACnB,oBAAoB;QACpB,4EAA4E;QAC5E,sCAAsC;QACtC,aAAa;QACb,qBAAqB;QACrB,qBAAqB;QACrB,oEAAoE;QACpE,wDAAwD;QACxD,cAAc;KACf;IACD;;;;OAIG;IACH,QAAQ,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;IAChD,+CAA+C;IAC/C,KAAK,EAAE,CAAC,iBAAiB,EAAE,aAAa,CAAC;IACzC,sFAAsF;IACtF,MAAM,EAAE;QACN,WAAW;QACX,kBAAkB;QAClB,qBAAqB;QACrB,sBAAsB;QACtB,gBAAgB;QAChB,qBAAqB;QACrB,qBAAqB;QACrB,6BAA6B;QAC7B,aAAa;QACb,mBAAmB;QACnB,kBAAkB;QAClB,UAAU;QACV,aAAa;QACb,sEAAsE;QACtE,qBAAqB;KACtB;IAED,4EAA4E;IAC5E,MAAM,EAAE;QACN,QAAQ;QACR,UAAU;QACV,WAAW;QACX,WAAW;QACX,UAAU;QACV,aAAa;QACb,UAAU;QACV,aAAa;QACb,sBAAsB;QACtB,aAAa;QACb,eAAe;KAChB;IACD,8EAA8E;IAC9E,IAAI,EAAE,CAAC,eAAe,EAAE,mBAAmB,CAAC;IAC5C,oDAAoD;IACpD,YAAY,EAAE;QACZ,SAAS;QACT,SAAS;QACT,eAAe;QACf,YAAY;QACZ,aAAa;QACb,gBAAgB;QAChB,eAAe;QACf,eAAe;QACf,QAAQ;QACR,eAAe;KAChB;CACO,CAAC;AAEX;;;;GAIG;AACH,MAAM,gBAAgB,GAAsB,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AACvF,MAAM,QAAQ,GAAsB,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC;AAE/F;;;;GAIG;AACH,MAAM,MAAM,GAAgD;IAC1D,SAAS,EAAE,CAAC,SAAS,CAAC;IACtB,6EAA6E;IAC7E,+DAA+D;IAC/D,uBAAuB,EAAE,CAAC,cAAc,CAAC;IACzC,6EAA6E;IAC7E,wEAAwE;IACxE,cAAc,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC;CACtC,CAAC;AAEF,2CAA2C;AAC3C,MAAM,YAAY,GAAoB,MAAM,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAa;IAC5D,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAa;IAClD,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CACxD;CAC9B,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAW,SAAS,CAAC,YAAY,CAAC,CAAC;AAElE,qGAAqG;AACrG,SAAS,SAAS,CAAC,MAAuB;IACxC,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC;QAC3D,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE;QACxE,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;aAChE,IAAI,EAAE;KACV,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAuB;IACtD,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AACjG,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAmC,EACnC,OAA2B;IAE3B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,kBAAkB;QAAE,OAAO,MAAM,CAAC;IAC3E,OAAO,sBAAsB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAuB;IAC3D,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAC7C,qBAAqB,CAAC,KAAK,EAAE,uBAAuB,CAAC,CAAC;IACtD,OAAO,sBAAsB,CAAC,YAAY,EAAE,KAAK,CAAoB,CAAC;AACxE,CAAC;AAED,qGAAqG;AACrG,MAAM,mBAAmB,GAAsB,MAAM,CAAC,MAAM,CAAC;IAC3D,GAAG,CAAC,YAAY,CAAC,IAAI,IAAI,EAAE,CAAC;IAC5B,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC;CACxC,CAAC,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAmC;IACtE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACvE,CAAC"}

package/dist/esm/redaction/knownStrings.d.ts

@@ -34,8 +34,8 @@
  * State, the snapshot and the commit log are not served by it: footprintjs's
  * rule decides those, by name.
  */
-import type { ABSENCE_NOTE } from '../semantics/coverage/absent.js';
-import type { CoveredResult, ToolAbsence } from '../semantics/coverage/types.js';
+import type { ABSENCE_NOTE, ABSENCE_NOTE_COMPOSED } from '../semantics/coverage/absent.js';
+import type { CompletenessGapItem, CoveredResult, NamesFacetItem, SourceGapItem, ToolAbsence } from '../semantics/coverage/types.js';
 import type { FigureDerivation } from '../core/agent/evidence/types.js';
 import type { AgentfootprintEventMap, AgentfootprintEventType } from '../events/registry.js';
 import type { CursorMoveCause, SkillEdgeKind } from '../injection-engine/skillGraph.js';
@@ -44,10 +44,12 @@ import type { InjectionTrigger } from '../injection-engine/types.js';
 type Payloads = AgentfootprintEventMap[AgentfootprintEventType]['payload'];
 /**
  * The library's own envelopes a payload carries inside a field typed loosely
- * (a tool's `result`, what the model read): `absent()`'s and `coverage()`'s.
- * Their field names and words are the library's as much as a payload's.
+ * (a tool's `result`, what the model read): `absent()`'s and `coverage()`'s,
+ * and the items an `among` miss composes into an absence's lists (typed
+ * apart from `CoverageItem`, which they extend). Their field names and words
+ * are the library's as much as a payload's.
  */
-type Envelopes = ToolAbsence | CoveredResult;
+type Envelopes = ToolAbsence | CoveredResult | NamesFacetItem | SourceGapItem | CompletenessGapItem;
 /** A depth counter for the type walks below (payload types nest a few levels). */
 type Next = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, never];
 /** Every string literal reachable in `T` — the members of its verdict-word unions. */
@@ -64,9 +66,9 @@ type FieldNamesOf<T, D extends number = 0> = [D] extends [never] ? never : T ext
  * a skill map's node kind, an evidence value's shape, the stop words every
  * provider adapter normalizes to (`adapters/llm/*` · `normalizeStopReason`).
  */
-type PlainStringWords = 'history-order' | 'registry+injections' | 'registry+provider+injections' | 'tree' | 'entry' | 'route' | 'model' | 'skill' | 'predicate' | 'identifier' | 'number' | 'stop' | 'tool_use' | 'max_tokens';
+type PlainStringWords = 'history-order' | 'registry+injections' | 'registry+provider+injections' | 'tree' | 'entry' | 'route' | 'model' | 'skill' | 'predicate' | 'identifier' | 'number' | 'no-read' | 'stop' | 'tool_use' | 'max_tokens';
 /** (a) The library's own words. */
-export type LibraryWord = AgentfootprintEventType | StringLiterals<Payloads> | StringLiterals<Envelopes> | typeof ABSENCE_NOTE | CursorMoveCause | SkillEdgeKind | GuardOperator | FigureDerivation | InjectionTrigger['kind'] | PlainStringWords;
+export type LibraryWord = AgentfootprintEventType | StringLiterals<Payloads> | StringLiterals<Envelopes> | typeof ABSENCE_NOTE | typeof ABSENCE_NOTE_COMPOSED | CursorMoveCause | SkillEdgeKind | GuardOperator | FigureDerivation | InjectionTrigger['kind'] | PlainStringWords;
 /** The field names of the library's payloads. */
 export type FieldName = FieldNamesOf<Payloads> | FieldNamesOf<Envelopes>;
 /** (a) The library's own words — one exported frozen set. */