agentfootprint 9.76.1 → 9.78.0

package/dist/esm/integrity/disposition/lifecycle.js

@@ -10,7 +10,14 @@
  *          compose-invariant: a mount kernel is configured; dangling: at
  *          least one tool declared `argumentsFrom`, which arms BOTH the
  *          compose-seam dangling-reference check and the choice-seam
- *          unsupported-argument check off the same declaration).
+ *          unsupported-argument check off the same declaration;
+ *          empty-lookup: that same declaration AND the operator's
+ *          `noticeEmptyLookups` dial — two halves, because an advisory that
+ *          armed itself off a declaration made for something else would not
+ *          be opt-in at all; column-types: `Tool.resultColumns` AND the
+ *          operator's `checkColumnTypes` dial off `'off'` — the same two
+ *          halves, arming BOTH `column-type-mismatch` and `missing-column`
+ *          off the one declaration).
  *          Registration is what makes silence auditable — an unregistered
  *          check is honest
  *          absence, a registered one that never notes is the wiring rot
@@ -29,6 +36,8 @@ import { wireViolationsOf } from '../invariant-violation/wire.js';
 import { danglingReferencesOf } from '../dangling-reference/check.js';
 import { unsupportedArgumentsOf } from '../unsupported-argument/check.js';
 import { unsupportedClaimsOf } from '../unsupported-claim/check.js';
+import { emptyLookupOf, readLookupResult } from '../empty-lookup/check.js';
+import { columnTypesOf, readRowset } from '../column-types/check.js';
 /**
  * Start one run's ledger: register the present checks and, in dev posture,
  * prove each can still catch its own synthetic defect.
@@ -73,6 +82,9 @@ export function beginIntegrityRun(present, posture) {
     armed('dangling-reference', 'compose', present.dangling === true);
     armed('unsupported-argument', 'choice', present.dangling === true);
     armed('unsupported-claim', 'claim', present.claim === true);
+    armed('empty-lookup', 'write', present.emptyLookup === true);
+    armed('column-type-mismatch', 'write', present.columnTypes === true);
+    armed('missing-column', 'write', present.columnTypes === true);
     if (posture !== 'dev')
         return ledger;
     // The canaries — one known-bad fixture per REGISTERED check, through the
@@ -142,6 +154,47 @@ export function beginIntegrityRun(present, posture) {
         if (caught.findings.length > 0)
             ledger.noteSynthetic('unsupported-claim', 'claim', 'caught');
     }
+    {
+        // The write-seam canary (9.77.0): a lookup whose argument the fixture's
+        // PRODUCER really did serve, answering with a zero-row rowset. Both
+        // halves of the join are deliberately load-bearing — remove the ground
+        // and the value is not the run's own; make the rowset non-empty and
+        // there is nothing to notice — so a check that finds nothing here has
+        // lost one of the two facts it exists to pair.
+        ledger.noteSynthetic('empty-lookup', 'write', 'minted');
+        const caught = emptyLookupOf({
+            toolName: 'canary_tool',
+            toolCallId: 'canary',
+            args: { id: 'canary-grounded-id' },
+            argumentsFrom: ['canary_ground'],
+            reading: readLookupResult([], false),
+        }, [{ toolName: 'canary_ground', text: 'canary: served canary-grounded-id' }], -1);
+        if (caught.findings.length > 0)
+            ledger.noteSynthetic('empty-lookup', 'write', 'caught');
+    }
+    {
+        // The column-type canaries (9.78.0). ONE fixture, deliberately, because
+        // one rowset carries both defects at once and that is the honest shape of
+        // the field failure: a numeric column arriving as text AND a declared
+        // column nobody delivered, in the same result. Each check reads its own
+        // findings out of the shared verdict, so a canary that catches one and
+        // not the other names exactly which half died.
+        ledger.noteSynthetic('column-type-mismatch', 'write', 'minted');
+        ledger.noteSynthetic('missing-column', 'write', 'minted');
+        const caught = columnTypesOf({
+            toolName: 'canary_tool',
+            toolCallId: 'canary',
+            columns: { canary_measure: 'number', canary_absent: 'string' },
+            reading: readRowset([{ canary_measure: '1240' }]),
+            mode: 'warn',
+        }, -1);
+        if (caught.findings.some((f) => f.kind === 'column-type-mismatch')) {
+            ledger.noteSynthetic('column-type-mismatch', 'write', 'caught');
+        }
+        if (caught.findings.some((f) => f.kind === 'missing-column')) {
+            ledger.noteSynthetic('missing-column', 'write', 'caught');
+        }
+    }
     return ledger;
 }
 //# sourceMappingURL=lifecycle.js.map

package/dist/esm/integrity/disposition/lifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../../src/integrity/disposition/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,iBAAiB,EAA0B,MAAM,aAAa,CAAC;AAGxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AA0BpE;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA+B,EAC/B,OAAyB;IAEzB,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IACnC,IAAI,OAAO,CAAC,IAAI;QAAE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACjE,4CAA4C;IAC5C,EAAE;IACF,2EAA2E;IAC3E,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,UAAU;IACV,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,8DAA8D;IAC9D,kCAAkC;IAClC,uEAAuE;IACvE,+BAA+B;IAC/B,EAAE;IACF,4EAA4E;IAC5E,+DAA+D;IAC/D,2EAA2E;IAC3E,gEAAgE;IAChE,sEAAsE;IACtE,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,KAAK,GAAG,CAAC,IAAsB,EAAE,IAAmB,EAAE,OAAgB,EAAQ,EAAE;QACpF,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,KAAK,CAAC,qBAAqB,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;IAC3E,KAAK,CAAC,oBAAoB,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAClE,KAAK,CAAC,sBAAsB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IACnE,KAAK,CAAC,mBAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAE5D,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC;IAErC,yEAAyE;IACzE,0EAA0E;IAC1E,EAAE;IACF,2EAA2E;IAC3E,mEAAmE;IACnE,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,aAAa;IACb,EAAE;IACF,6EAA6E;IAC7E,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,uEAAuE;IACvE,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,gBAAgB,CAC7B,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,wBAAwB,EAAE,EAChE,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,EACtE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,qBAAqB,CAClC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,EAC3F,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAC1D,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,oBAAoB,CACjC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAC3D,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,EAC1B,IAAI,GAAG,EAAE,EACT,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACzF,CAAC;IACD,CAAC;QACC,yEAAyE;QACzE,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,sBAAsB,CACnC;YACE;gBACE,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE,QAAQ;gBACpB,IAAI,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE;gBACpC,aAAa,EAAE,CAAC,eAAe,CAAC;aACjC;SACF,EACD,EAAE,QAAQ,EAAE,CAAC,0CAA0C,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EACzE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAC3E;YACE;gBACE,MAAM,EAAE,eAAe;gBACvB,KAAK,EAAE,cAAc;gBACrB,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,QAAQ;gBAClB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC;aACd;SACF,EACD,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAC/B,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../../../src/integrity/disposition/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAAE,iBAAiB,EAA0B,MAAM,aAAa,CAAC;AAGxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAiDrE;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAA+B,EAC/B,OAAyB;IAEzB,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IACnC,IAAI,OAAO,CAAC,IAAI;QAAE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACjE,4CAA4C;IAC5C,EAAE;IACF,2EAA2E;IAC3E,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,yEAAyE;IACzE,UAAU;IACV,EAAE;IACF,wEAAwE;IACxE,0EAA0E;IAC1E,yEAAyE;IACzE,8DAA8D;IAC9D,kCAAkC;IAClC,uEAAuE;IACvE,+BAA+B;IAC/B,EAAE;IACF,4EAA4E;IAC5E,+DAA+D;IAC/D,2EAA2E;IAC3E,gEAAgE;IAChE,sEAAsE;IACtE,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,KAAK,GAAG,CAAC,IAAsB,EAAE,IAAmB,EAAE,OAAgB,EAAQ,EAAE;QACpF,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,KAAK,CAAC,qBAAqB,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC;IAC3E,KAAK,CAAC,oBAAoB,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IAClE,KAAK,CAAC,sBAAsB,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;IACnE,KAAK,CAAC,mBAAmB,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC5D,KAAK,CAAC,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IAC7D,KAAK,CAAC,sBAAsB,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IACrE,KAAK,CAAC,gBAAgB,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC;IAE/D,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAC;IAErC,yEAAyE;IACzE,0EAA0E;IAC1E,EAAE;IACF,2EAA2E;IAC3E,mEAAmE;IACnE,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,aAAa;IACb,EAAE;IACF,6EAA6E;IAC7E,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,6EAA6E;IAC7E,uEAAuE;IACvE,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,gBAAgB,CAC7B,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,wBAAwB,EAAE,EAChE,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,EACtE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvF,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,qBAAqB,CAClC,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,EAC3F,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAC1D,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,qBAAqB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,oBAAoB,CACjC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,EAC3D,IAAI,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,EAC1B,IAAI,GAAG,EAAE,EACT,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;IACzF,CAAC;IACD,CAAC;QACC,yEAAyE;QACzE,yEAAyE;QACzE,0EAA0E;QAC1E,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,sBAAsB,CACnC;YACE;gBACE,QAAQ,EAAE,aAAa;gBACvB,UAAU,EAAE,QAAQ;gBACpB,IAAI,EAAE,EAAE,EAAE,EAAE,sBAAsB,EAAE;gBACpC,aAAa,EAAE,CAAC,eAAe,CAAC;aACjC;SACF,EACD,EAAE,QAAQ,EAAE,CAAC,0CAA0C,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,EACzE,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,CAAC;QACC,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,mBAAmB,CAChC,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAC3E;YACE;gBACE,MAAM,EAAE,eAAe;gBACvB,KAAK,EAAE,cAAc;gBACrB,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,QAAQ;gBAClB,UAAU,EAAE,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC;aACd;SACF,EACD,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAC/B,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,mBAAmB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/F,CAAC;IACD,CAAC;QACC,wEAAwE;QACxE,oEAAoE;QACpE,uEAAuE;QACvE,oEAAoE;QACpE,sEAAsE;QACtE,+CAA+C;QAC/C,MAAM,CAAC,aAAa,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,aAAa,CAC1B;YACE,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE,QAAQ;YACpB,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,EAAE;YAClC,aAAa,EAAE,CAAC,eAAe,CAAC;YAChC,OAAO,EAAE,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC;SACrC,EACD,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,IAAI,EAAE,mCAAmC,EAAE,CAAC,EAC1E,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,aAAa,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IACD,CAAC;QACC,wEAAwE;QACxE,0EAA0E;QAC1E,sEAAsE;QACtE,wEAAwE;QACxE,uEAAuE;QACvE,+CAA+C;QAC/C,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,CAAC,aAAa,CAAC,gBAAgB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,aAAa,CAC1B;YACE,QAAQ,EAAE,aAAa;YACvB,UAAU,EAAE,QAAQ;YACpB,OAAO,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE;YAC9D,OAAO,EAAE,UAAU,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC,CAAC;YACjD,IAAI,EAAE,MAAM;SACb,EACD,CAAC,CAAC,CACH,CAAC;QACF,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,aAAa,CAAC,sBAAsB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,aAAa,CAAC,gBAAgB,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/esm/integrity/empty-lookup/check.d.ts

@@ -0,0 +1,140 @@
+/**
+ * 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 type { Disposition } from '../disposition/types.js';
+import type { ContextError } from '../finding/types.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 declare const EMPTY_LOOKUP_CEILING: string;
+/** What the library could read about a finished lookup's result. */
+export interface LookupResultReading {
+    /** `'rowset'` — an array, counted. `'absence'` — the `absent()` envelope. */
+    readonly shape: 'rowset' | 'absence';
+    readonly empty: boolean;
+    /** Rows counted, for a rowset. Absent for an absence, which declares itself. */
+    readonly rows?: number;
+}
+/**
+ * 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 declare function readLookupResult(value: unknown, declaredAbsence: boolean): LookupResultReading | undefined;
+/** One finished call to a tool whose author declared where its arguments come from. */
+export interface EmptyLookupCall {
+    /** The CONSUMER — the tool that was called and answered. */
+    readonly toolName: string;
+    /** The provider's id for this call — what the witness points a reader at. */
+    readonly toolCallId: string;
+    readonly args: Readonly<Record<string, unknown>>;
+    /** `Tool.argumentsFrom` — the tools whose results were meant to ground these arguments. */
+    readonly argumentsFrom: readonly string[];
+    /** What the library could read about the result — `undefined` = bespoke shape. */
+    readonly reading: LookupResultReading | undefined;
+}
+/** One earlier tool result this run served, with the tool that produced it. */
+export interface ProducedResult {
+    readonly toolName: string;
+    /** The result exactly as the run served it into the conversation. */
+    readonly text: string;
+}
+/** One encounter's outcome: the findings, and the disposition it earns. */
+export interface EmptyLookupEncounter {
+    readonly findings: readonly ContextError[];
+    /**
+     * The ledger row this encounter files — computed HERE, beside the rules
+     * that decide it, so "the library refused to judge this shape" is provable
+     * without a live agent.
+     */
+    readonly disposition: Disposition;
+}
+/**
+ * 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 declare function emptyLookupOf(call: EmptyLookupCall, produced: readonly ProducedResult[], epoch: number): EmptyLookupEncounter;

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 eight defect classes, by their plain names:
  *
  * | kind | means | mechanism |
  * |---|---|---|
@@ -29,8 +29,29 @@ 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 |
+ * | `column-type-mismatch` | a column holds something other than the type its tool declared | type |
+ * | `missing-column`       | a column the tool declared is in none of its rows      | presence  |
+ *
+ * `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.
+ *
+ * `column-type-mismatch` and `missing-column` (9.78.0) are two classes rather
+ * than one ON PURPOSE, and the field failure they come from is the argument:
+ * a LUN of 0 stored as `''` and a LUN column that was never delivered send a
+ * person to two different files, and a checker that said only "something is
+ * off with logical_unit_number" would have helped with neither. Unlike
+ * `empty-lookup`, neither is advisory: a column declared `number` that holds
+ * a string is not a place to look, it is a broken promise — though what the
+ * check can see about it is bounded, and the bound ships as
+ * `COLUMN_TYPE_CEILING` in every message.
  */
-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' | 'column-type-mismatch' | 'missing-column';
 /** 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;AAyFH;;;;;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"}