agentfootprint 9.76.0 → 9.77.0

package/dist/esm/integrity/empty-lookup/check.js

@@ -0,0 +1,212 @@
+/**
+ * empty-lookup — the run itself produced this identifier, and the lookup for
+ * it found nothing. Filed at the WRITE seam, as an advisory, never an
+ * accusation.
+ *
+ * Pattern: pure function over (one finished call, the results its declared
+ *          producers served); the domain check, one seam later than
+ *          `unsupported-argument`.
+ * Role:    the decidable fragment of "did this tool answer, or did it only
+ *          appear to answer?".
+ *
+ * THE MEASURED FAILURE. A triage agent's reverse-lookup tool filtered a
+ * column before a pivot, so the column did not exist yet and EVERY reverse
+ * lookup returned an empty result — for every identifier, always. The tool
+ * then answered SUCCESSFULLY with an empty list, and the agent reported in a
+ * table, with confidence, that the device was "not currently logged in to any
+ * port on the collected switches" and advised checking physical cabling. It
+ * was logged in the whole time. Nothing in the framework noticed, because an
+ * empty result from a broken filter is byte-identical to an empty result from
+ * a genuine absence.
+ *
+ * WHAT THE LIBRARY ALREADY KNOWS, and this check is nothing more than the
+ * join of the two:
+ *   (a) the identifier was GROUNDED — it came out of an earlier tool result
+ *       in THIS run, from a tool the consumer's author named in
+ *       `Tool.argumentsFrom`;
+ *   (b) the lookup keyed on it came back EMPTY.
+ * When the run produced the identifier and the lookup for it finds nothing,
+ * that is worth filing. It is not worth accusing anyone of.
+ *
+ * THE CEILING, and it is the whole reason this is an advisory: an empty
+ * answer can be perfectly true. The device may exist and simply have no
+ * logins right now. NOTHING IN THIS FILE CAN TELL THOSE APART, and nothing in
+ * this file pretends to — the finding says "here is a pair worth a look", the
+ * record carries the ceiling sentence verbatim, and the same finding is filed
+ * for the true absence and the broken filter alike. A check that guessed
+ * which one it was looking at would be inventing the certainty the field
+ * failure was made of.
+ *
+ * DECLARED, NEVER INFERRED — the `argumentsFrom` precedent, THIRD use. A tool
+ * is this check's subject only because its author said its arguments come
+ * from another tool's results. One declaration now arms three seams:
+ * `dangling-reference` asks whether the ground is still in reach when the
+ * tool is OFFERED, `unsupported-argument` whether the value the model chose
+ * came from that ground when the tool was CALLED, and this whether the ground
+ * the run really did serve then found anything when the tool ANSWERED.
+ *
+ * WHAT COUNTS AS EMPTY — and what this refuses to judge. See
+ * {@link readLookupResult}. A rowset is counted, never interpreted; an
+ * absence is read from the marker its own helper mints. Every other shape a
+ * tool has ever returned — a sentence, an object, a `null`, a claim ticket —
+ * is BESPOKE: the library cannot see whether it holds rows, so the encounter
+ * is `not-applicable` and says so in the ledger. That row is the point. A
+ * check that silently skipped what it could not read would be the decoration
+ * the disposition family exists to make impossible.
+ *
+ * Detection only. Nothing here blocks, retries, rewrites or delays anything;
+ * the result the model reads is the result the tool returned.
+ */
+import { MIN_CHECKED_LENGTH, clipValue, stringLeaves } from '../argumentLeaves.js';
+/**
+ * THE CEILING, as one string with one owner.
+ *
+ * Quoted verbatim into every finding's message, into the check's README and
+ * into its docs page, so the bound cannot drift out of one of them and leave
+ * a reader thinking the library knows more than it does.
+ */
+export const EMPTY_LOOKUP_CEILING = 'An empty result can be perfectly true — the thing may exist and simply have nothing to show ' +
+    'right now — so this is a place to look, never a verdict that anything is wrong.';
+/**
+ * READ a finished result's shape, or decline to.
+ *
+ * The two readable shapes, and why only these two:
+ *
+ *   • a **rowset** — an array. Its length is COUNTED, not interpreted: zero
+ *     rows is zero rows, and no judgement about what the tool meant is
+ *     involved. This is the shape the recorded failure actually returned.
+ *   • an **absence** — the `absent()` envelope, whose author said in so many
+ *     words "the search ran and matched nothing".
+ *
+ * Everything else returns `undefined`, which the caller files as
+ * `not-applicable`. A prose sentence, a bespoke `{ rows: [...] }` wrapper, a
+ * `null`, a placement claim ticket — the library cannot see rows in any of
+ * them, and guessing is how a checker starts lying.
+ *
+ * @param value the tool's own answer, as it returned it.
+ * @param declaredAbsence whether `readAbsence` recognized the value. PASSED
+ *   IN rather than re-derived here on purpose: the `af_absent` marker has
+ *   exactly one owner (`core/agent/coverage/absent.ts`), a second spelling of
+ *   a reserved word would eventually disagree with the first, and
+ *   `src/integrity/` stays a leaf that imports no agent code.
+ */
+export function readLookupResult(value, declaredAbsence) {
+    if (declaredAbsence)
+        return { shape: 'absence', empty: true };
+    if (Array.isArray(value))
+        return { shape: 'rowset', empty: value.length === 0, rows: value.length };
+    return undefined;
+}
+/**
+ * Judge one finished call to an armed tool.
+ *
+ * @param call the call and what the library could read of its result. The
+ *   caller has already established the tool declared `argumentsFrom`;
+ *   nothing here re-decides who is a subject.
+ * @param produced every tool result this run served BEFORE this call, with
+ *   the tool that produced each. Filtered to the declared producers here.
+ * @param epoch the run iteration, stamped on every witness.
+ */
+export function emptyLookupOf(call, produced, epoch) {
+    // A shape the library cannot read is not a pass and not a fail. It is the
+    // check looking at a subject that is out of its scope BY RULE, which is
+    // exactly what `not-applicable` was minted for.
+    if (call.reading === undefined)
+        return { findings: [], disposition: 'not-applicable' };
+    // The lookup found something. Nothing to say — and a `checked-pass` rather
+    // than silence, because a check that only speaks when it fires cannot be
+    // told apart from one that was never wired.
+    if (!call.reading.empty)
+        return { findings: [], disposition: 'checked-pass' };
+    // Only the DECLARED producers ground anything here. The choice seam asks
+    // the broader question (did ANYTHING the run served carry this value); this
+    // one is narrower on purpose — `argumentsFrom` says where the value was
+    // supposed to come from, and "it came from exactly there, and the lookup
+    // still found nothing" is the pair worth a person's attention.
+    const grounds = produced
+        .filter((p) => call.argumentsFrom.includes(p.toolName) && p.text.length > 0)
+        .map((p) => ({ toolName: p.toolName, lowered: p.text.toLowerCase() }));
+    // The declared ground served nothing at all in this run, so there is no
+    // corpus to join against and no identity edge between the two tools. Not a
+    // pass — the check could not run. `unreachable` is the family's word for
+    // exactly that, and it is the falsification instrument: an `empty-lookup`
+    // row dominated by `unreachable` means apps are calling consumers before
+    // their declared producers, and this check is watching a seam that is not
+    // where their identifiers come from.
+    if (grounds.length === 0)
+        return { findings: [], disposition: 'unreachable' };
+    const consumer = { kind: 'tool', id: call.toolName };
+    const emptyPhrase = call.reading.shape === 'absence'
+        ? 'a declared absence — the tool said the search ran and matched nothing'
+        : 'a rowset with zero rows';
+    const findings = [];
+    for (const leaf of stringLeaves(call.args, '')) {
+        const value = leaf.value.trim();
+        // The same fences as the choice seam, for the same reasons and from the
+        // same file: non-strings are never identifier-shaped, and below four
+        // characters substring matching is noise in both directions.
+        if (value.length < MIN_CHECKED_LENGTH)
+            continue;
+        const needle = value.toLowerCase();
+        // Substring, case-insensitive — deliberately THE SAME rule the choice
+        // seam grounds by. The two checks must agree about what "this value came
+        // from that tool" means, or a value could fall between them and be seen
+        // by neither.
+        const ground = grounds.find((g) => g.lowered.includes(needle));
+        if (ground === undefined)
+            continue;
+        const producer = { kind: 'tool', id: ground.toolName };
+        const witnesses = [
+            {
+                subject: consumer,
+                predicate: leaf.path,
+                value: leaf.value,
+                epoch,
+                stratum: 'asserted',
+                provenance: `tool call ${call.toolCallId}: argument '${leaf.path}' as the model chose it`,
+            },
+            {
+                subject: producer,
+                predicate: leaf.path,
+                value: 'served this value earlier in this run',
+                epoch,
+                stratum: 'asserted',
+                provenance: `'${ground.toolName}' is a declared ground of '${call.toolName}' ` +
+                    `(Tool.argumentsFrom) and one of its results in this run carries the value`,
+            },
+            {
+                subject: consumer,
+                predicate: leaf.path,
+                value: `found nothing — ${emptyPhrase}`,
+                epoch,
+                stratum: 'asserted',
+                provenance: `tool call ${call.toolCallId}: the result, as the tool returned it`,
+            },
+        ];
+        findings.push({
+            kind: 'empty-lookup',
+            seam: 'write',
+            subjects: [consumer, producer],
+            // The dot-path IS the discriminator, exactly as at the choice seam: two
+            // arguments of one call are two notices. The stated limit is the same
+            // one — the SAME argument re-chosen with a different value stays one
+            // finding, and the ledger's `findings` count is what says how often.
+            predicate: leaf.path,
+            witnesses,
+            epoch,
+            // Doubt, not contradiction. Counted apart from real defects everywhere
+            // the family reports, because this check can never know it found one.
+            advisory: true,
+            message: `'${call.toolName}' was called with ${leaf.path} = "${clipValue(value)}" — a value ` +
+                `this run itself produced, in a result from '${ground.toolName}', which ` +
+                `'${call.toolName}' declares as where its arguments come from — and the lookup came ` +
+                `back with ${emptyPhrase}. That pairing is what makes it worth a look: the run had ` +
+                `the identifier, so an empty answer is either a true absence or a lookup that could ` +
+                `never have matched, and those two are byte-identical from here. ` +
+                `${EMPTY_LOOKUP_CEILING} Call id ${call.toolCallId}. Nothing here blocked the call, ` +
+                `changed the result, or retried anything.`,
+        });
+    }
+    return { findings, disposition: findings.length > 0 ? 'checked-fail' : 'checked-pass' };
+}
+//# sourceMappingURL=check.js.map

package/dist/esm/integrity/empty-lookup/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../../src/integrity/empty-lookup/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAKnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAC/B,8FAA8F;IAC9F,iFAAiF,CAAC;AAWpF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,eAAwB;IAExB,IAAI,eAAe;QAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACtB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAC5E,OAAO,SAAS,CAAC;AACnB,CAAC;AAiCD;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAqB,EACrB,QAAmC,EACnC,KAAa;IAEb,0EAA0E;IAC1E,wEAAwE;IACxE,gDAAgD;IAChD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC;IACvF,2EAA2E;IAC3E,yEAAyE;IACzE,4CAA4C;IAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;IAE9E,yEAAyE;IACzE,4EAA4E;IAC5E,wEAAwE;IACxE,yEAAyE;IACzE,+DAA+D;IAC/D,MAAM,OAAO,GAAG,QAAQ;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SAC3E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;IACzE,wEAAwE;IACxE,2EAA2E;IAC3E,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,qCAAqC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IAE9E,MAAM,QAAQ,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IACjE,MAAM,WAAW,GACf,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS;QAC9B,CAAC,CAAC,uEAAuE;QACzE,CAAC,CAAC,yBAAyB,CAAC;IAChC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,wEAAwE;QACxE,qEAAqE;QACrE,6DAA6D;QAC7D,IAAI,KAAK,CAAC,MAAM,GAAG,kBAAkB;YAAE,SAAS;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACnC,sEAAsE;QACtE,yEAAyE;QACzE,wEAAwE;QACxE,cAAc;QACd,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QAEnC,MAAM,QAAQ,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnE,MAAM,SAAS,GAAgB;YAC7B;gBACE,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,KAAK;gBACL,OAAO,EAAE,UAAU;gBACnB,UAAU,EAAE,aAAa,IAAI,CAAC,UAAU,eAAe,IAAI,CAAC,IAAI,yBAAyB;aAC1F;YACD;gBACE,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,KAAK,EAAE,uCAAuC;gBAC9C,KAAK;gBACL,OAAO,EAAE,UAAU;gBACnB,UAAU,EACR,IAAI,MAAM,CAAC,QAAQ,8BAA8B,IAAI,CAAC,QAAQ,IAAI;oBAClE,2EAA2E;aAC9E;YACD;gBACE,OAAO,EAAE,QAAQ;gBACjB,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,KAAK,EAAE,mBAAmB,WAAW,EAAE;gBACvC,KAAK;gBACL,OAAO,EAAE,UAAU;gBACnB,UAAU,EAAE,aAAa,IAAI,CAAC,UAAU,uCAAuC;aAChF;SACF,CAAC;QAEF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;YAC9B,wEAAwE;YACxE,sEAAsE;YACtE,qEAAqE;YACrE,qEAAqE;YACrE,SAAS,EAAE,IAAI,CAAC,IAAI;YACpB,SAAS;YACT,KAAK;YACL,uEAAuE;YACvE,sEAAsE;YACtE,QAAQ,EAAE,IAAI;YACd,OAAO,EACL,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,CAAC,cAAc;gBACpF,+CAA+C,MAAM,CAAC,QAAQ,WAAW;gBACzE,IAAI,IAAI,CAAC,QAAQ,oEAAoE;gBACrF,aAAa,WAAW,4DAA4D;gBACpF,qFAAqF;gBACrF,kEAAkE;gBAClE,GAAG,oBAAoB,YAAY,IAAI,CAAC,UAAU,mCAAmC;gBACrF,0CAA0C;SAC7C,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;AAC1F,CAAC"}

package/dist/esm/integrity/finding/types.d.ts

@@ -20,7 +20,7 @@
 import type { Assertion, SubjectRef } from '../assertion/types.js';
 import type { IntegritySeam } from '../disposition/types.js';
 /**
- * The five defect classes, by their plain names:
+ * The six defect classes, by their plain names:
  *
  * | kind | means | mechanism |
  * |---|---|---|
@@ -29,8 +29,17 @@ import type { IntegritySeam } from '../disposition/types.js';
  * | `dangling-reference`   | offered an action whose inputs are no longer available | closure   |
  * | `duplicate-execution`  | did settled work again                                 | once      |
  * | `unsupported-claim`    | stated something the record does not support           | grounding |
+ * | `empty-lookup`         | the run produced this value, and the lookup for it found nothing | join |
+ *
+ * `empty-lookup` is the one class that is ADVISORY BY CONSTRUCTION (9.77.0) —
+ * every finding it files carries `advisory: true`, because an empty result
+ * can be perfectly true and nothing in the library can tell a true absence
+ * from a lookup that could never have matched. It is a place to look, not a
+ * defect that was proven. It is deliberately NOT `dangling-reference`, whose
+ * meaning is the opposite: there the ground has left reach, here the ground
+ * is in reach and the lookup came back with nothing.
  */
-export type ContextErrorKind = 'invariant-violation' | 'unsupported-argument' | 'dangling-reference' | 'duplicate-execution' | 'unsupported-claim';
+export type ContextErrorKind = 'invariant-violation' | 'unsupported-argument' | 'dangling-reference' | 'duplicate-execution' | 'unsupported-claim' | 'empty-lookup';
 /** One detected context error — a labelled instance, automatically. */
 export interface ContextError {
     readonly kind: ContextErrorKind;

package/dist/esm/integrity/finding/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/integrity/finding/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAiEH;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,CAAe;IAClD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;SAC/B,IAAI,EAAE;SACN,IAAI,CAAC,KAAK,CAAC,CAAC;IACf,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,oEAAoE;IACpE,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;IACpC,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,QAAQ,KAAK,SAAS,IAAI,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/integrity/finding/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA2EH;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,CAAe;IAClD,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;SAC/B,IAAI,EAAE;SACN,IAAI,CAAC,KAAK,CAAC,CAAC;IACf,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,oEAAoE;IACpE,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;IACpC,OAAO,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,KAAK,QAAQ,KAAK,SAAS,IAAI,KAAK,EAAE,CAAC;AACpE,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,mBAAmB,CAAC,MAA+B;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/esm/integrity/unsupported-argument/check.js

@@ -61,33 +61,17 @@
  *
  * Detection only. Nothing here blocks, rewrites or delays a call.
  */
-/** Below this, substring matching says nothing. */
-const MIN_CHECKED_LENGTH = 4;
-/** Longest a single value is quoted at inside a message. */
-const MAX_QUOTED_CHARS = 80;
+import { MIN_CHECKED_LENGTH, clipValue, stringLeaves } from '../argumentLeaves.js';
+/**
+ * The value fence, the quoting length and the argument walk moved to
+ * `../argumentLeaves.ts` when the write seam's `empty-lookup` check landed
+ * (9.77.0). Two checks now read one call's arguments and must agree, to the
+ * character, about which leaves are candidates and what their dot-paths are —
+ * the second check's whole job is to notice something about a value this one
+ * already excused.
+ */
 /** Deepest a schema is walked for `enum` declarations. */
 const MAX_SCHEMA_DEPTH = 8;
-function clip(value) {
-    return value.length <= MAX_QUOTED_CHARS ? value : `${value.slice(0, MAX_QUOTED_CHARS - 1)}…`;
-}
-/** Every string leaf of an arguments object, with its dot-path. */
-function* stringLeaves(node, path) {
-    if (typeof node === 'string') {
-        yield { path, value: node };
-        return;
-    }
-    if (Array.isArray(node)) {
-        for (let i = 0; i < node.length; i++) {
-            yield* stringLeaves(node[i], path === '' ? String(i) : `${path}.${String(i)}`);
-        }
-        return;
-    }
-    if (node !== null && typeof node === 'object') {
-        for (const [key, value] of Object.entries(node)) {
-            yield* stringLeaves(value, path === '' ? key : `${path}.${key}`);
-        }
-    }
-}
 /**
  * Best-effort: every string an `enum` array declares anywhere in a tool's
  * `inputSchema`. Flat by design — a per-path map would be more precise, and on
@@ -211,12 +195,12 @@ export function unsupportedArgumentsOf(calls, corpus, epoch) {
                 witnesses,
                 epoch,
                 message: selfReferenced
-                    ? `'${call.toolName}' was called with ${leaf.path} = "${clip(value)}", and the only ` +
+                    ? `'${call.toolName}' was called with ${leaf.path} = "${clipValue(value)}", and the only ` +
                         `place that value appears in the frame the model chose from is the model’s own ` +
                         `earlier answer. Rendered text is not evidence — a value re-read out of prose can ` +
                         `be a fragment of something else entirely. To ground it, ${refetch}. Nothing here ` +
                         `blocked the call.`
-                    : `'${call.toolName}' was called with ${leaf.path} = "${clip(value)}", and that value ` +
+                    : `'${call.toolName}' was called with ${leaf.path} = "${clipValue(value)}", and that value ` +
                         `appears nowhere in the frame the model chose from — not in the instructions, not ` +
                         `in any message from the user, not in any tool result. Nothing served it, so ` +
                         `nothing in this run can say what it refers to. To ground it, ${refetch}. Nothing ` +

package/dist/esm/integrity/unsupported-argument/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../../src/integrity/unsupported-argument/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAwEH,mDAAmD;AACnD,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAE7B,4DAA4D;AAC5D,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B,0DAA0D;AAC1D,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,KAAK,CAAC,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC,GAAG,CAAC;AAC/F,CAAC;AAED,mEAAmE;AACnE,QAAQ,CAAC,CAAC,YAAY,CAAC,IAAa,EAAE,IAAY;IAChD,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC5B,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC,EAAE,CAAC;YAC3E,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAe;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,KAAa,EAAQ,EAAE;QAClD,IAAI,KAAK,GAAG,gBAAgB,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QAClF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAA+B,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,IAAI;gBAAE,IAAI,OAAO,QAAQ,KAAK,QAAQ;oBAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAgC,EAChC,MAAoB,EACpB,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,wEAAwE;IACxE,0EAA0E;IAC1E,qEAAqE;IACrE,qDAAqD;IACrD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,MAAM,CACL,CAAC,CAAC,EAAuB,EAAE,CACzB,CAAC,KAAK,IAAI;QACV,OAAO,CAAC,KAAK,QAAQ;QACrB,OAAQ,CAAyB,CAAC,KAAK,KAAK,QAAQ;QACnD,CAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAChD,OAAQ,CAA0B,CAAC,MAAM,KAAK,QAAQ;QACrD,CAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CACrD;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GACT,uCAAuC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB;QAChF,oDAAoD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC;IAEjG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,QAAQ,OAAO,mCAAmC;YACpD,CAAC,CAAC,gDAAgD,CAAC;QAEvD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,GAAG,kBAAkB;gBAAE,SAAS;YAChD,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAAE,SAAS;YAC3D,yEAAyE;YACzE,sEAAsE;YACtE,wEAAwE;YACxE,qEAAqE;YACrE,oEAAoE;YACpE,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YACnE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,kBAAkB,CAAC,IAAI,CAAC;oBACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,MAAM,EAAE,SAAS,CAAC,MAAM;iBACzB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAErE,MAAM,SAAS,GAAgB;gBAC7B;oBACE,OAAO;oBACP,SAAS,EAAE,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK;oBACL,OAAO,EAAE,UAAU;oBACnB,UAAU,EAAE,aAAa,IAAI,CAAC,UAAU,eAAe,IAAI,CAAC,IAAI,yBAAyB;iBAC1F;gBACD;oBACE,OAAO;oBACP,SAAS,EAAE,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,cAAc;wBACnB,CAAC,CAAC,oEAAoE;wBACtE,CAAC,CAAC,+CAA+C;oBACnD,KAAK;oBACL,OAAO,EAAE,UAAU;oBACnB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,uEAAuE;gBACvE,mEAAmE;gBACnE,8DAA8D;gBAC9D,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,SAAS;gBACT,KAAK;gBACL,OAAO,EAAE,cAAc;oBACrB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAkB;wBACnF,gFAAgF;wBAChF,mFAAmF;wBACnF,2DAA2D,OAAO,iBAAiB;wBACnF,mBAAmB;oBACrB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,oBAAoB;wBACrF,mFAAmF;wBACnF,8EAA8E;wBAC9E,gEAAgE,OAAO,YAAY;wBACnF,wBAAwB;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../../src/integrity/unsupported-argument/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAEH,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAuEnF;;;;;;;GAOG;AAEH,0DAA0D;AAC1D,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAe;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,KAAa,EAAQ,EAAE;QAClD,IAAI,KAAK,GAAG,gBAAgB,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO;QAClF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAA+B,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,IAAI;gBAAE,IAAI,OAAO,QAAQ,KAAK,QAAQ;oBAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC1F,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAChB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAgC,EAChC,MAAoB,EACpB,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,wEAAwE;IACxE,0EAA0E;IAC1E,qEAAqE;IACrE,qDAAqD;IACrD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,MAAM,CACL,CAAC,CAAC,EAAuB,EAAE,CACzB,CAAC,KAAK,IAAI;QACV,OAAO,CAAC,KAAK,QAAQ;QACrB,OAAQ,CAAyB,CAAC,KAAK,KAAK,QAAQ;QACnD,CAAuB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAChD,OAAQ,CAA0B,CAAC,MAAM,KAAK,QAAQ;QACrD,CAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CACrD;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GACT,uCAAuC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB;QAChF,oDAAoD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,oBAAoB,CAAC;IAEjG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,OAAO,GACX,OAAO,CAAC,MAAM,GAAG,CAAC;YAChB,CAAC,CAAC,QAAQ,OAAO,mCAAmC;YACpD,CAAC,CAAC,gDAAgD,CAAC;QAEvD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,GAAG,kBAAkB;gBAAE,SAAS;YAChD,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAAE,SAAS;YAC3D,yEAAyE;YACzE,sEAAsE;YACtE,wEAAwE;YACxE,qEAAqE;YACrE,oEAAoE;YACpE,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YACnE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,kBAAkB,CAAC,IAAI,CAAC;oBACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,MAAM,EAAE,SAAS,CAAC,MAAM;iBACzB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAErE,MAAM,SAAS,GAAgB;gBAC7B;oBACE,OAAO;oBACP,SAAS,EAAE,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,KAAK;oBACL,OAAO,EAAE,UAAU;oBACnB,UAAU,EAAE,aAAa,IAAI,CAAC,UAAU,eAAe,IAAI,CAAC,IAAI,yBAAyB;iBAC1F;gBACD;oBACE,OAAO;oBACP,SAAS,EAAE,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,cAAc;wBACnB,CAAC,CAAC,oEAAoE;wBACtE,CAAC,CAAC,+CAA+C;oBACnD,KAAK;oBACL,OAAO,EAAE,UAAU;oBACnB,UAAU,EAAE,KAAK;iBAClB;aACF,CAAC;YAEF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,uEAAuE;gBACvE,mEAAmE;gBACnE,8DAA8D;gBAC9D,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,SAAS;gBACT,KAAK;gBACL,OAAO,EAAE,cAAc;oBACrB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,SAAS,CAC7D,KAAK,CACN,kBAAkB;wBACnB,gFAAgF;wBAChF,mFAAmF;wBACnF,2DAA2D,OAAO,iBAAiB;wBACnF,mBAAmB;oBACrB,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,qBAAqB,IAAI,CAAC,IAAI,OAAO,SAAS,CAC7D,KAAK,CACN,oBAAoB;wBACrB,mFAAmF;wBACnF,8EAA8E;wBAC9E,gEAAgE,OAAO,YAAY;wBACnF,wBAAwB;aAC7B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;AAC1C,CAAC"}

package/dist/esm/lib/trace-toolpack/traceToolpack.js

@@ -442,7 +442,7 @@ function buildRunOverview(artifacts, index) {
 }
 // ── find_context_errors ────────────────────────────────────────────────────
 /**
- * The five ContextErrorKinds — each mapped to the check that can FILE it in
+ * The six ContextErrorKinds — each mapped to the check that can FILE it in
  * this build, or `false` when no check ships for that class.
  *
  * Two jobs in one table:
@@ -451,8 +451,8 @@ function buildRunOverview(artifacts, index) {
  *     a kind added to the finding type without joining this list fails to
  *     compile HERE, rather than becoming a value the tool's enum silently
  *     rejects at run time.
- *   - the honesty gate. `ContextErrorKind` names five defect classes;
- *     `src/integrity/` ships four checks. Offering the fifth in the
+ *   - the honesty gate. `ContextErrorKind` names six defect classes;
+ *     `src/integrity/` ships five checks. Offering the sixth in the
  *     schema enum invites a query whose only possible answer is a negative
  *     verdict about a class nothing in the library could have filed — the
  *     tool telling a model "no duplicate-execution errors" when nothing on
@@ -466,6 +466,7 @@ const CONTEXT_ERROR_KIND_CHECKS = {
     'dangling-reference': 'src/integrity/dangling-reference (compose)',
     'duplicate-execution': false,
     'unsupported-claim': 'src/integrity/unsupported-claim (claim)',
+    'empty-lookup': 'src/integrity/empty-lookup (write)',
 };
 const ALL_CONTEXT_ERROR_KINDS = Object.keys(CONTEXT_ERROR_KIND_CHECKS);
 /** The kinds the tool OFFERS — the ones a shipped check can actually file. */
@@ -754,7 +755,8 @@ function buildFindContextErrors(artifacts, index, reader, opts) {
         name: 'find_context_errors',
         description: 'What did this run CONTRADICT ITSELF about? Lists the Context Integrity findings the ' +
             'library already caught — an invariant violated, an offered action whose inputs left ' +
-            'scope, an argument nothing served, a claim the record does not support — each with the ' +
+            'scope, an argument nothing served, a claim the record does not support, a lookup for a ' +
+            'value this run produced that came back empty — each with the ' +
             'step it was filed at and the ' +
             'exact drill that opens the state behind it. Call it EARLY when an answer looks wrong: a ' +
             'contradiction the library already caught beats re-deriving one. Reads only; nothing is ' +