agentfootprint 10.1.1 → 10.3.0

package/dist/core/agent/findings/reserved.js

@@ -43,7 +43,7 @@
  * `unprovable` so a later call cannot falsify a sentence.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.splitFindings = exports.readDeclaration = exports.carriesFindingsDecoration = exports.withoutFindingsArgument = exports.withSourcesArgument = exports.withFindingsArgument = exports.ownsReservedArgument = exports.FINDINGS_ANSWER_ASK = exports.findingsInstructionFor = exports.FINDINGS_CONTINGENT_LINE = exports.FINDINGS_INSTRUCTION = exports.FINDINGS_INSTRUCTION_ID = exports.FINDINGS_SOURCES_SCHEMA = exports.FINDINGS_FROM_PROPERTY = exports.FINDINGS_ARGUMENT_SCHEMA = exports.FINDINGS_OFFER_CAP = void 0;
+exports.splitFindings = exports.readDeclaration = exports.carriesFindingsDecoration = exports.withoutFindingsArgument = exports.withSourcesArgument = exports.withFindingsArgument = exports.ownsReservedArgument = exports.FINDINGS_ANSWER_ASK = exports.findingsInstructionFor = exports.FINDINGS_CONTINGENT_LINE = exports.FINDINGS_INSTRUCTION = exports.FINDINGS_INSTRUCTION_ID = exports.findingsAnswerSchema = exports.FINDINGS_SOURCES_SCHEMA = exports.FINDINGS_FROM_PROPERTY = exports.FINDINGS_ARGUMENT_SCHEMA = exports.FINDINGS_OFFER_CAP = void 0;
 const sources_js_1 = require("../arguments/sources.js");
 const types_js_1 = require("./types.js");
 function isPlainObject(value) {
@@ -239,6 +239,55 @@ exports.FINDINGS_SOURCES_SCHEMA = deepFreeze({
     properties: { from: exports.FINDINGS_FROM_PROPERTY },
     required: ['from'],
 });
+/**
+ * The answer-turn `_findings` property, for a provider's structured output
+ * (`.outputSchema(…, { strategy: 'native' })`, `nativeOutputFormat.ts`).
+ *
+ * What the served contract allows on an ANSWER is exactly what
+ * `FINDINGS_INSTRUCTION` says: a top-level `_findings.previous`. So this is
+ * that one property, taken from `FINDINGS_ARGUMENT_SCHEMA` itself (one source:
+ * a later edit to the standings shape reaches the answer too) — with ONE wire
+ * narrowing: an assertion's `value` is untyped there (any JSON), which a
+ * structured output cannot decode without recursion, so here it is a string,
+ * number, boolean or null. `readDeclaration` still reads whatever arrives.
+ * No offer `enum`: the ids are listed on the served tools, and a format that
+ * changed with every offer would re-compile the grammar and invalidate the
+ * prompt cache on every call. Built per call, never edited.
+ */
+function findingsAnswerSchema() {
+    const previous = exports.FINDINGS_ARGUMENT_SCHEMA.properties.previous;
+    const item = previous.items;
+    const itemProps = item.properties;
+    const assertions = itemProps.assertions;
+    const assertion = assertions.items;
+    const scalar = {
+        anyOf: [{ type: 'string' }, { type: 'number' }, { type: 'boolean' }, { type: 'null' }],
+    };
+    return {
+        type: 'object',
+        description: FINDINGS_MARKER,
+        properties: {
+            previous: {
+                ...previous,
+                items: {
+                    ...item,
+                    properties: {
+                        ...itemProps,
+                        assertions: {
+                            ...assertions,
+                            items: {
+                                ...assertion,
+                                properties: { ...assertion.properties, value: scalar },
+                            },
+                        },
+                    },
+                },
+            },
+        },
+        required: ['previous'],
+    };
+}
+exports.findingsAnswerSchema = findingsAnswerSchema;
 /**
  * The id of the always-on instruction `.findings()` registers (9.101.0) — the
  * name a receipt's `system.pieces` carries and a test can look for; the

package/dist/core/agent/findings/reserved.js.map

@@ -1 +1 @@
-{"version":3,"file":"reserved.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/reserved.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;;;AAGH,wDAA6E;AAC7E,yCAWoB;AAMpB,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,MAAM,CAAC,KAAkB,EAAE,GAAW;IAC7C,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,OAAO,CAAmB,KAAc,EAAE,UAAwB;IACzE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,UAAgC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACxF,CAAC;AAED,sFAAsF;AACtF,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAe,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0EAA0E;AAE1E;;;GAGG;AACH,MAAM,oBAAoB,GACxB,8EAA8E;IAC9E,kFAAkF;IAClF,oFAAoF;IACpF,mFAAmF;IACnF,uCAAuC;IACvC,oEAAoE;IACpE,mFAAmF;IACnF,oFAAoF;IACpF,qFAAqF;IACrF,2DAA2D,CAAC;AAE9D;;;;GAIG;AACH,MAAM,eAAe,GAAG,8CAA8C,CAAC;AAEvE,uGAAuG;AACvG,MAAM,sBAAsB,GAC1B,yFAAyF;IACzF,aAAa,CAAC;AAEhB;;;;GAIG;AACU,QAAA,kBAAkB,GAAG,EAAE,CAAC;AAErC;;;;GAIG;AACU,QAAA,wBAAwB,GAAgB,UAAU,CAAC;IAC9D,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,oBAAoB;IACjC,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,uBAAY,CAAC;YACvB,WAAW,EACT,iEAAiE;gBACjE,iCAAiC;SACpC;QACD,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,wBAAa,CAAC;YACxB,WAAW,EAAE,yCAAyC;SACvD;QACD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,mFAAmF;gBACnF,QAAQ;SACX;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,iFAAiF;gBACjF,oBAAoB;SACvB;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,OAAO;YACb,WAAW,EACT,kFAAkF;gBAClF,6DAA6D;YAC/D,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kCAAkC,EAAE;oBAC/E,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,0BAAe,CAAC,EAAE;oBACxD,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,iDAAiD;qBAC/D;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,OAAO;wBACb,WAAW,EACT,gFAAgF;wBAClF,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,OAAO,EAAE;oCACP,IAAI,EAAE,QAAQ;oCACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oCAChE,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC;iCACzB;gCACD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gCAC7B,KAAK,EAAE,EAAE;6BACV;4BACD,QAAQ,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC;yBAC5C;qBACF;oBACD,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,EAAE;oBACvE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,gDAAgD,EAAE;iBACxF;gBACD,QAAQ,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC;aACrC;SACF;KACF;IACD,QAAQ,EAAE,CAAC,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACU,QAAA,sBAAsB,GAAgB,UAAU,CAAC;IAC5D,IAAI,EAAE,OAAO;IACb,WAAW,EACT,yFAAyF;QACzF,wFAAwF;IAC1F,KAAK,EAAE;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,GAAG,kCAAqB,CAAC;gBAChC,WAAW,EACT,kFAAkF;oBAClF,uFAAuF;aAC1F;YACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,4CAA4C,EAAE;YACpF,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SACvB;QACD,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;KACjC;CACF,CAAC,CAAC;AAEH;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,QAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,OAAO,UAAU,CAAC;QAChB,GAAG,OAAO;QACV,UAAU,EAAE,EAAE,IAAI,EAAE,8BAAsB,EAAE,GAAI,OAAO,CAAC,UAA0B,EAAE;QACpF,QAAQ,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC;KAChC,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,kCAAkC,GAAgB,gBAAgB,CAAC,gCAAwB,CAAC,CAAC;AAEnG;;;;;;;;;GASG;AACU,QAAA,uBAAuB,GAAgB,UAAU,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,eAAe;IAC5B,UAAU,EAAE,EAAE,IAAI,EAAE,8BAAsB,EAAE;IAC5C,QAAQ,EAAE,CAAC,MAAM,CAAC;CACnB,CAAC,CAAC;AAEH;;;;;GAKG;AACU,QAAA,uBAAuB,GAAG,iBAAiB,CAAC;AAEzD;;;GAGG;AACU,QAAA,oBAAoB,GAAG;IAClC,kGAAkG;IAClG,6FAA6F;QAC3F,8FAA8F;QAC9F,6BAA6B;IAC/B,+FAA+F;QAC7F,4DAA4D;IAC9D,8FAA8F;QAC5F,wEAAwE;IAC1E,oFAAoF;IACpF,iDAAiD;IACjD,iEAAiE;IACjE,yBAAyB;IACzB,2FAA2F;QACzF,6EAA6E;IAC/E,8EAA8E;QAC5E,4FAA4F;QAC5F,UAAU;CACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;;;;;;;;GAUG;AACU,QAAA,wBAAwB,GACnC,4FAA4F;IAC5F,uFAAuF;IACvF,mBAAmB,CAAC;AAEtB;;;;;;;;GAQG;AACH,SAAgB,sBAAsB,CAAC,IAAsC;IAC3E,OAAO,IAAI,CAAC,UAAU;QACpB,CAAC,CAAC,GAAG,4BAAoB,KAAK,gCAAwB,EAAE;QACxD,CAAC,CAAC,4BAAoB,CAAC;AAC3B,CAAC;AAJD,wDAIC;AAED;;;;;;;;;;;;GAYG;AACU,QAAA,mBAAmB,GAAG;IACjC,4FAA4F;QAC1F,gBAAgB;IAClB,6FAA6F;IAC7F,0FAA0F;QACxF,8EAA8E;IAChF,wEAAwE;IACxE,wEAAwE;CACzE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,0EAA0E;AAE1E;;;;;;;;GAQG;AACH,SAAgB,oBAAoB,CAAC,MAAiC;IACpE,MAAM,UAAU,GAAG,MAAM,EAAE,WAAW,EAAE,UAAU,CAAC;IACnD,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,4BAAiB,CAAC,CAAC;AAC5E,CAAC;AAHD,oDAGC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAAC,KAAwB;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,0BAAkB,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,WAAW,GACf,MAAM,KAAK,CAAC;QACV,CAAC,CAAC,sBAAsB;QACxB,CAAC,CAAC,GAAG,sBAAsB,QAAQ,MAAM,CAAC,MAAM,yCAAyC;YACvF,WAAW,MAAM,UAAU,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,OAAO;YACtE,QAAQ,0BAAkB,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,gCAAwB,CAAC,UAAyB,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAuB,CAAC;IAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAoB,CAAC;IAC5C,MAAM,cAAc,GAAG,KAAK,CAAC,UAAyB,CAAC;IACvD,OAAO,UAAU,CAAC;QAChB,GAAG,gCAAwB;QAC3B,UAAU,EAAE;YACV,GAAG,IAAI;YACP,QAAQ,EAAE;gBACR,GAAG,QAAQ;gBACX,KAAK,EAAE;oBACL,GAAG,KAAK;oBACR,UAAU,EAAE;wBACV,GAAG,cAAc;wBACjB,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE;qBAC1D;iBACF;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,SAAgB,oBAAoB,CAClC,MAAqB,EACrB,QAA2B,EAAE,EAC7B,OAAqC;IAErC,IAAI,oBAAoB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC;IACpC,8EAA8E;IAC9E,MAAM,OAAO,GACX,GAAG,CAAC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,IAAI;YACJ,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,gCAAwB;QAC5B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACjC,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE;YACX,GAAG,MAAM,CAAC,WAAW;YACrB,UAAU,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC,4BAAiB,CAAC,EAAE,OAAO,EAAE;SAClE;KACF,CAAC;AACJ,CAAC;AA1BD,oDA0BC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAgB,mBAAmB,CAAC,MAAqB;IACvD,IAAI,oBAAoB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE;YACX,GAAG,MAAM,CAAC,WAAW;YACrB,UAAU,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC,4BAAiB,CAAC,EAAE,+BAAuB,EAAE;SAClF;KACF,CAAC;AACJ,CAAC;AAXD,kDAWC;AAED;;;;;;;;GAQG;AACH,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,gCAAwB;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,CACL,aAAa,CAAC,KAAK,CAAC;QACpB,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,eAAe,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,uBAAuB,CAAC,WAAoB;IAC1D,IAAI,CAAC,yBAAyB,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAChE,MAAM,UAAU,GAAI,WAA2B,CAAC,UAAyB,CAAC;IAC1E,MAAM,EAAE,CAAC,4BAAiB,CAAC,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,UAAU,CAAC;IACjE,OAAO,EAAE,GAAI,WAA2B,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC/D,CAAC;AALD,0DAKC;AAED;;;;;;;;GAQG;AACH,SAAgB,yBAAyB,CAAC,WAAoB;IAC5D,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC;IAC1C,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC,4BAAiB,CAAC,CAAC,CAAC;AAC1F,CAAC;AAJD,8DAIC;AAwBD,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,OAAO,CACL,aAAa,CAAC,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAChC,OAAO,OAAO,CAAC,EAAE,KAAK,QAAQ;QAC9B,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CACpC,CAAC;AACJ,CAAC;AAED,yGAAyG;AACzG,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACvF,IAAI,CAAC,OAAO,CAAW,GAAG,CAAC,QAAQ,EAAE,0BAAe,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC/E,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,KAAK,GAOP,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3D,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;;YAC1D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;;YAC5D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;;YACnD,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS,IAAI,CAAC,CAAC;aAC9C,CAAC;YACJ,MAAM,UAAU,GAAwB,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,IAAI,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3B,UAAU,CAAC,IAAI,CAAC;wBACd,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;wBACnD,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;qBACf,CAAC,CAAC;gBACL,CAAC;;oBAAM,SAAS,IAAI,CAAC,CAAC;YACxB,CAAC;YACD,KAAK,CAAC,UAAU,GAAG,UAAU,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;GAUG;AACH,yCAAyC;AACzC,SAAgB,eAAe,CAC7B,GAAY,EACZ,IAAsB,EACtB,IAAkB;IAElB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACjD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAOL,EAAE,CAAC;IACP,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAQ,GAAG,CAAC,KAAK,EAAE,uBAAY,CAAC;YAAE,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;;YAC9D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAS,GAAG,CAAC,MAAM,EAAE,wBAAa,CAAC;YAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;;YACnE,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,0EAA0E;IAC1E,gFAAgF;IAChF,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;YAAE,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;;YACtE,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;;YAC7D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS,IAAI,CAAC,CAAC;aAC5C,CAAC;YACJ,MAAM,QAAQ,GAAuB,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC;gBAC5B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,IAAI,gBAAoC,CAAC;IACzC,IAAI,IAAI,EAAE,eAAe,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAA,wBAAW,EAAC,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QAC/C,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;QAClC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC;QAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACpD,CAAC;IACD,MAAM,QAAQ,GACZ,GAAG,CAAC,KAAK,KAAK,SAAS;QACvB,GAAG,CAAC,MAAM,KAAK,SAAS;QACxB,GAAG,CAAC,WAAW,KAAK,SAAS;QAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;IACzB,OAAO;QACL,GAAG,CAAC,QAAQ,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;QACrC,SAAS;QACT,GAAG,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAhED,0CAgEC;AAYD;;;;;;;GAOG;AACH,SAAgB,aAAa,CAAC,IAAiB,EAAE,IAAsB;IACrE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,4BAAiB,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9E,MAAM,EAAE,CAAC,4BAAiB,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACnD,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACpE,OAAO;QACL,IAAI,EAAE,IAAI;QACV,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QAC3D,GAAG,CAAC,SAAS,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;KACpC,CAAC;AACJ,CAAC;AATD,sCASC"}
+{"version":3,"file":"reserved.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/reserved.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;;;AAGH,wDAA6E;AAC7E,yCAWoB;AAMpB,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,MAAM,CAAC,KAAkB,EAAE,GAAW;IAC7C,OAAO,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,OAAO,CAAmB,KAAc,EAAE,UAAwB;IACzE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,UAAgC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACxF,CAAC;AAED,sFAAsF;AACtF,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAe,CAAC;YAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0EAA0E;AAE1E;;;GAGG;AACH,MAAM,oBAAoB,GACxB,8EAA8E;IAC9E,kFAAkF;IAClF,oFAAoF;IACpF,mFAAmF;IACnF,uCAAuC;IACvC,oEAAoE;IACpE,mFAAmF;IACnF,oFAAoF;IACpF,qFAAqF;IACrF,2DAA2D,CAAC;AAE9D;;;;GAIG;AACH,MAAM,eAAe,GAAG,8CAA8C,CAAC;AAEvE,uGAAuG;AACvG,MAAM,sBAAsB,GAC1B,yFAAyF;IACzF,aAAa,CAAC;AAEhB;;;;GAIG;AACU,QAAA,kBAAkB,GAAG,EAAE,CAAC;AAErC;;;;GAIG;AACU,QAAA,wBAAwB,GAAgB,UAAU,CAAC;IAC9D,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,oBAAoB;IACjC,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,uBAAY,CAAC;YACvB,WAAW,EACT,iEAAiE;gBACjE,iCAAiC;SACpC;QACD,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,wBAAa,CAAC;YACxB,WAAW,EAAE,yCAAyC;SACvD;QACD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,mFAAmF;gBACnF,QAAQ;SACX;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,iFAAiF;gBACjF,oBAAoB;SACvB;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,OAAO;YACb,WAAW,EACT,kFAAkF;gBAClF,6DAA6D;YAC/D,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kCAAkC,EAAE;oBAC/E,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,0BAAe,CAAC,EAAE;oBACxD,MAAM,EAAE;wBACN,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,iDAAiD;qBAC/D;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,OAAO;wBACb,WAAW,EACT,gFAAgF;wBAClF,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,OAAO,EAAE;oCACP,IAAI,EAAE,QAAQ;oCACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oCAChE,QAAQ,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC;iCACzB;gCACD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gCAC7B,KAAK,EAAE,EAAE;6BACV;4BACD,QAAQ,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,CAAC;yBAC5C;qBACF;oBACD,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,EAAE;oBACvE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,gDAAgD,EAAE;iBACxF;gBACD,QAAQ,EAAE,CAAC,YAAY,EAAE,UAAU,CAAC;aACrC;SACF;KACF;IACD,QAAQ,EAAE,CAAC,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACU,QAAA,sBAAsB,GAAgB,UAAU,CAAC;IAC5D,IAAI,EAAE,OAAO;IACb,WAAW,EACT,yFAAyF;QACzF,wFAAwF;IAC1F,KAAK,EAAE;QACL,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,GAAG,kCAAqB,CAAC;gBAChC,WAAW,EACT,kFAAkF;oBAClF,uFAAuF;aAC1F;YACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,4CAA4C,EAAE;YACpF,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SACvB;QACD,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;KACjC;CACF,CAAC,CAAC;AAEH;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,OAAoB;IAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,QAA8B,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,OAAO,UAAU,CAAC;QAChB,GAAG,OAAO;QACV,UAAU,EAAE,EAAE,IAAI,EAAE,8BAAsB,EAAE,GAAI,OAAO,CAAC,UAA0B,EAAE;QACpF,QAAQ,EAAE,CAAC,GAAG,QAAQ,EAAE,MAAM,CAAC;KAChC,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,kCAAkC,GAAgB,gBAAgB,CAAC,gCAAwB,CAAC,CAAC;AAEnG;;;;;;;;;GASG;AACU,QAAA,uBAAuB,GAAgB,UAAU,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,eAAe;IAC5B,UAAU,EAAE,EAAE,IAAI,EAAE,8BAAsB,EAAE;IAC5C,QAAQ,EAAE,CAAC,MAAM,CAAC;CACnB,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,SAAgB,oBAAoB;IAClC,MAAM,QAAQ,GAAI,gCAAwB,CAAC,UAA0B,CAAC,QAAuB,CAAC;IAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAoB,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAyB,CAAC;IACjD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAyB,CAAC;IACvD,MAAM,SAAS,GAAG,UAAU,CAAC,KAAoB,CAAC;IAClD,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;KACvF,CAAC;IACF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE,eAAe;QAC5B,UAAU,EAAE;YACV,QAAQ,EAAE;gBACR,GAAG,QAAQ;gBACX,KAAK,EAAE;oBACL,GAAG,IAAI;oBACP,UAAU,EAAE;wBACV,GAAG,SAAS;wBACZ,UAAU,EAAE;4BACV,GAAG,UAAU;4BACb,KAAK,EAAE;gCACL,GAAG,SAAS;gCACZ,UAAU,EAAE,EAAE,GAAI,SAAS,CAAC,UAA0B,EAAE,KAAK,EAAE,MAAM,EAAE;6BACxE;yBACF;qBACF;iBACF;aACF;SACF;QACD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB,CAAC;AACJ,CAAC;AAhCD,oDAgCC;AAED;;;;;GAKG;AACU,QAAA,uBAAuB,GAAG,iBAAiB,CAAC;AAEzD;;;GAGG;AACU,QAAA,oBAAoB,GAAG;IAClC,kGAAkG;IAClG,6FAA6F;QAC3F,8FAA8F;QAC9F,6BAA6B;IAC/B,+FAA+F;QAC7F,4DAA4D;IAC9D,8FAA8F;QAC5F,wEAAwE;IAC1E,oFAAoF;IACpF,iDAAiD;IACjD,iEAAiE;IACjE,yBAAyB;IACzB,2FAA2F;QACzF,6EAA6E;IAC/E,8EAA8E;QAC5E,4FAA4F;QAC5F,UAAU;CACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;;;;;;;;GAUG;AACU,QAAA,wBAAwB,GACnC,4FAA4F;IAC5F,uFAAuF;IACvF,mBAAmB,CAAC;AAEtB;;;;;;;;GAQG;AACH,SAAgB,sBAAsB,CAAC,IAAsC;IAC3E,OAAO,IAAI,CAAC,UAAU;QACpB,CAAC,CAAC,GAAG,4BAAoB,KAAK,gCAAwB,EAAE;QACxD,CAAC,CAAC,4BAAoB,CAAC;AAC3B,CAAC;AAJD,wDAIC;AAED;;;;;;;;;;;;GAYG;AACU,QAAA,mBAAmB,GAAG;IACjC,4FAA4F;QAC1F,gBAAgB;IAClB,6FAA6F;IAC7F,0FAA0F;QACxF,8EAA8E;IAChF,wEAAwE;IACxE,wEAAwE;CACzE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,0EAA0E;AAE1E;;;;;;;;GAQG;AACH,SAAgB,oBAAoB,CAAC,MAAiC;IACpE,MAAM,UAAU,GAAG,MAAM,EAAE,WAAW,EAAE,UAAU,CAAC;IACnD,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,4BAAiB,CAAC,CAAC;AAC5E,CAAC;AAHD,oDAGC;AAED;;;;;;;;GAQG;AACH,SAAS,qBAAqB,CAAC,KAAwB;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,0BAAkB,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,MAAM,WAAW,GACf,MAAM,KAAK,CAAC;QACV,CAAC,CAAC,sBAAsB;QACxB,CAAC,CAAC,GAAG,sBAAsB,QAAQ,MAAM,CAAC,MAAM,yCAAyC;YACvF,WAAW,MAAM,UAAU,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,OAAO;YACtE,QAAQ,0BAAkB,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,gCAAwB,CAAC,UAAyB,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAuB,CAAC;IAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAoB,CAAC;IAC5C,MAAM,cAAc,GAAG,KAAK,CAAC,UAAyB,CAAC;IACvD,OAAO,UAAU,CAAC;QAChB,GAAG,gCAAwB;QAC3B,UAAU,EAAE;YACV,GAAG,IAAI;YACP,QAAQ,EAAE;gBACR,GAAG,QAAQ;gBACX,KAAK,EAAE;oBACL,GAAG,KAAK;oBACR,UAAU,EAAE;wBACV,GAAG,cAAc;wBACjB,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE;qBAC1D;iBACF;aACF;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,SAAgB,oBAAoB,CAClC,MAAqB,EACrB,QAA2B,EAAE,EAC7B,OAAqC;IAErC,IAAI,oBAAoB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,EAAE,IAAI,KAAK,IAAI,CAAC;IACpC,8EAA8E;IAC9E,MAAM,OAAO,GACX,GAAG,CAAC,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,IAAI;YACJ,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,gCAAwB;QAC5B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,gBAAgB,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;YAC9C,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACjC,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE;YACX,GAAG,MAAM,CAAC,WAAW;YACrB,UAAU,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC,4BAAiB,CAAC,EAAE,OAAO,EAAE;SAClE;KACF,CAAC;AACJ,CAAC;AA1BD,oDA0BC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAgB,mBAAmB,CAAC,MAAqB;IACvD,IAAI,oBAAoB,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;IACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACpE,OAAO;QACL,GAAG,MAAM;QACT,WAAW,EAAE;YACX,GAAG,MAAM,CAAC,WAAW;YACrB,UAAU,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC,4BAAiB,CAAC,EAAE,+BAAuB,EAAE;SAClF;KACF,CAAC;AACJ,CAAC;AAXD,kDAWC;AAED;;;;;;;;GAQG;AACH,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,gCAAwB;QAAE,OAAO,IAAI,CAAC;IACpD,OAAO,CACL,aAAa,CAAC,KAAK,CAAC;QACpB,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;QACrC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,eAAe,CAAC,CAC9C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,uBAAuB,CAAC,WAAoB;IAC1D,IAAI,CAAC,yBAAyB,CAAC,WAAW,CAAC;QAAE,OAAO,WAAW,CAAC;IAChE,MAAM,UAAU,GAAI,WAA2B,CAAC,UAAyB,CAAC;IAC1E,MAAM,EAAE,CAAC,4BAAiB,CAAC,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,UAAU,CAAC;IACjE,OAAO,EAAE,GAAI,WAA2B,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC/D,CAAC;AALD,0DAKC;AAED;;;;;;;;GAQG;AACH,SAAgB,yBAAyB,CAAC,WAAoB;IAC5D,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC;IAC1C,OAAO,aAAa,CAAC,UAAU,CAAC,IAAI,oBAAoB,CAAC,UAAU,CAAC,4BAAiB,CAAC,CAAC,CAAC;AAC1F,CAAC;AAJD,8DAIC;AAwBD,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,OAAO,CACL,aAAa,CAAC,OAAO,CAAC;QACtB,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ;QAChC,OAAO,OAAO,CAAC,EAAE,KAAK,QAAQ;QAC9B,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,CACpC,CAAC;AACJ,CAAC;AAED,yGAAyG;AACzG,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACvF,IAAI,CAAC,OAAO,CAAW,GAAG,CAAC,QAAQ,EAAE,0BAAe,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC/E,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,KAAK,GAOP,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3D,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;;YAC1D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;;YAC5D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;;YACnD,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS,IAAI,CAAC,CAAC;aAC9C,CAAC;YACJ,MAAM,UAAU,GAAwB,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,IAAI,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3B,UAAU,CAAC,IAAI,CAAC;wBACd,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;wBACnD,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;qBACf,CAAC,CAAC;gBACL,CAAC;;oBAAM,SAAS,IAAI,CAAC,CAAC;YACxB,CAAC;YACD,KAAK,CAAC,UAAU,GAAG,UAAU,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;GAUG;AACH,yCAAyC;AACzC,SAAgB,eAAe,CAC7B,GAAY,EACZ,IAAsB,EACtB,IAAkB;IAElB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACjD,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAOL,EAAE,CAAC;IACP,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,CAAQ,GAAG,CAAC,KAAK,EAAE,uBAAY,CAAC;YAAE,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;;YAC9D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAS,GAAG,CAAC,MAAM,EAAE,wBAAa,CAAC;YAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;;YACnE,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,0EAA0E;IAC1E,gFAAgF;IAChF,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ;YAAE,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;;YACtE,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ;YAAE,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;;YAC7D,SAAS,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS,IAAI,CAAC,CAAC;aAC5C,CAAC;YACJ,MAAM,QAAQ,GAAuB,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBAChC,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;gBAChC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC;gBAC5B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;oBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC;YACD,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,IAAI,gBAAoC,CAAC;IACzC,IAAI,IAAI,EAAE,eAAe,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAA,wBAAW,EAAC,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QAC/C,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;QAClC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC;QAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACpD,CAAC;IACD,MAAM,QAAQ,GACZ,GAAG,CAAC,KAAK,KAAK,SAAS;QACvB,GAAG,CAAC,MAAM,KAAK,SAAS;QACxB,GAAG,CAAC,WAAW,KAAK,SAAS;QAC7B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,QAAQ,KAAK,SAAS;QAC1B,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC;IACzB,OAAO;QACL,GAAG,CAAC,QAAQ,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;QACrC,SAAS;QACT,GAAG,CAAC,gBAAgB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAhED,0CAgEC;AAYD;;;;;;;GAOG;AACH,SAAgB,aAAa,CAAC,IAAiB,EAAE,IAAsB;IACrE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,4BAAiB,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC9E,MAAM,EAAE,CAAC,4BAAiB,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACnD,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACpE,OAAO;QACL,IAAI,EAAE,IAAI;QACV,GAAG,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;QAC3D,GAAG,CAAC,SAAS,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;KACpC,CAAC;AACJ,CAAC;AATD,sCASC"}

package/dist/core/agent/findings/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;;;AAmBH,kFAAkF;AACrE,QAAA,iBAAiB,GAAG,WAAoB,CAAC;AACtD,8EAA8E;AACjE,QAAA,mBAAmB,GAAG,WAAoB,CAAC;AASxD,wEAAwE;AAC3D,QAAA,YAAY,GAAqB,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAC1E,QAAA,aAAa,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5E,QAAA,eAAe,GAAwB,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM;IACN,MAAM;IACN,OAAO;IACP,WAAW;CACZ,CAAC,CAAC;AAEH;;;;;;;GAOG;AACU,QAAA,iBAAiB,GAAG,GAAG,CAAC;AAyJrC;;;;;GAKG;AACU,QAAA,kBAAkB,GAAG,IAAI,CAAC;AA0EvC;;;;;;GAMG;AACU,QAAA,sBAAsB,GAAG,GAAG,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;;;AAoBH,kFAAkF;AACrE,QAAA,iBAAiB,GAAG,WAAoB,CAAC;AACtD,8EAA8E;AACjE,QAAA,mBAAmB,GAAG,WAAoB,CAAC;AASxD,wEAAwE;AAC3D,QAAA,YAAY,GAAqB,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;AAC1E,QAAA,aAAa,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAC5E,QAAA,eAAe,GAAwB,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM;IACN,MAAM;IACN,OAAO;IACP,WAAW;CACZ,CAAC,CAAC;AAEH;;;;;;;GAOG;AACU,QAAA,iBAAiB,GAAG,GAAG,CAAC;AAyJrC;;;;;GAKG;AACU,QAAA,kBAAkB,GAAG,IAAI,CAAC;AA0EvC;;;;;;GAMG;AACU,QAAA,sBAAsB,GAAG,GAAG,CAAC"}

package/dist/core/agent/findings/verificationCheck.js

@@ -0,0 +1,99 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkFindingClaim = void 0;
+/**
+ * Pure opt-in findings adapter. Role: bind one literal declaration to an exact
+ * authorized result, then ask the shared evaluator; return a row for the EXISTING
+ * findings writer. No ledger, evidence discovery, callbacks on restore or I/O.
+ */
+const boundedJson_js_1 = require("../../../lib/boundedJson.js");
+const bindEvidence_js_1 = require("../../../integrity/claim-binding/bindEvidence.js");
+const scope_js_1 = require("../../../integrity/claim-binding/scope.js");
+const evaluate_js_1 = require("../../../integrity/unsupported-claim/evaluate.js");
+const verificationRow_js_1 = require("./verificationRow.js");
+/**
+ * Invalid/missing JSON value throws explicitly: replacing it with null would
+ * misrecord the declaration. A malformed optional check is a recorded refusal.
+ * `supported` is possible only after bindClaim establishes an eligible pair;
+ * the standalone evaluator's no-conflict result is never sufficient.
+ */
+function checkFindingClaim(input) {
+    const request = (0, boundedJson_js_1.ownData)(input.request);
+    if (!Object.hasOwn(request, 'value'))
+        throw new TypeError('Finding claim has no declared value.');
+    const declaredValue = (0, boundedJson_js_1.copyJson)(request.value, verificationRow_js_1.VERIFICATION_LIMITS.valueBytes, true);
+    let declaredRule;
+    let checkProblem;
+    if (!Object.hasOwn(request, 'check'))
+        checkProblem = 'missing-check';
+    else {
+        try {
+            const check = (0, boundedJson_js_1.ownData)(request.check);
+            if ((0, scope_js_1.boundedText)(check.rule))
+                declaredRule = check.rule;
+            if (Object.keys(check).some((key) => key !== 'rule') || declaredRule === undefined)
+                checkProblem = 'malformed-check';
+        }
+        catch {
+            checkProblem = 'malformed-check';
+        }
+    }
+    if (Object.keys(request).some((key) => !['value', 'check', 'subject', 'predicate'].includes(key)))
+        checkProblem = 'malformed-check';
+    const base = {
+        kind: 'claim-verification',
+        claimId: (0, verificationRow_js_1.claimIdentityOf)(input.identity),
+        declaredOn: input.declaredOn,
+        standing: input.standing,
+        iteration: input.iteration,
+        ...(input.turn !== undefined && { turn: input.turn }),
+        checker: { id: 'claim-pair', version: 1 },
+        ...(input.parentResult !== undefined && { declaredResult: input.parentResult }),
+        ...(declaredRule !== undefined && { declaredRule }),
+        declaredValue,
+    };
+    const unverified = (reason) => (0, verificationRow_js_1.readClaimVerificationRow)({ ...base, outcome: 'unverified', reason });
+    if (input.standing === 'noise')
+        return unverified('ineligible-noise');
+    if (checkProblem !== undefined)
+        return unverified(checkProblem);
+    if (input.parentResult === undefined)
+        return unverified('missing-result');
+    const bound = (0, bindEvidence_js_1.bindClaim)({ result: input.parentResult, value: declaredValue, rule: declaredRule }, input.snapshot, input.rules, input.intendedScope);
+    if (bound.kind === 'unverified')
+        return unverified(bound.reason === 'missing-result' && input.retentionLimited === true
+            ? 'retention-limit'
+            : bound.reason);
+    if (Object.hasOwn(request, 'subject') || Object.hasOwn(request, 'predicate')) {
+        try {
+            const subject = (0, boundedJson_js_1.ownData)(request.subject, ['kind', 'id']);
+            if (subject.kind !== bound.claim.subject.kind ||
+                subject.id !== bound.claim.subject.id ||
+                request.predicate !== bound.claim.predicate)
+                return unverified('assertion-mismatch');
+        }
+        catch {
+            return unverified('assertion-mismatch');
+        }
+    }
+    const reason = (0, evaluate_js_1.evaluateClaimPair)(bound.evidence, bound.claim);
+    if (reason !== 'no-conflict' && reason !== 'numeric-leniency' && reason !== 'conflict')
+        return unverified(reason);
+    const resolved = {
+        resultId: bound.resultId,
+        rule: bound.rule,
+        scope: bound.scope,
+        coverage: bound.coverage,
+        ...(bound.period !== undefined && { period: bound.period }),
+        evidence: bound.evidence,
+        claim: bound.claim,
+    };
+    return (0, verificationRow_js_1.readClaimVerificationRow)({
+        ...base,
+        outcome: reason === 'conflict' ? 'contradicted' : 'supported',
+        reason,
+        resolved,
+    });
+}
+exports.checkFindingClaim = checkFindingClaim;
+//# sourceMappingURL=verificationCheck.js.map

package/dist/core/agent/findings/verificationCheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationCheck.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/verificationCheck.ts"],"names":[],"mappings":";;;AAAA;;;;GAIG;AACH,gEAAgE;AAChE,sFAA6E;AAC7E,wEAAwE;AAMxE,kFAAqF;AAMrF,6DAI8B;AAiB9B;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,KAA6B;IAC7D,MAAM,OAAO,GAAG,IAAA,wBAAO,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAClG,MAAM,aAAa,GAAG,IAAA,yBAAQ,EAAC,OAAO,CAAC,KAAK,EAAE,wCAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACpF,IAAI,YAAgC,CAAC;IACrC,IAAI,YAA6D,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;QAAE,YAAY,GAAG,eAAe,CAAC;SAChE,CAAC;QACJ,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,IAAA,wBAAO,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,IAAA,sBAAW,EAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,YAAY,GAAG,KAAK,CAAC,IAAI,CAAC;YACvD,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,IAAI,YAAY,KAAK,SAAS;gBAChF,YAAY,GAAG,iBAAiB,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,YAAY,GAAG,iBAAiB,CAAC;QACnC,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC/F,YAAY,GAAG,iBAAiB,CAAC;IAEnC,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,oBAA6B;QACnC,OAAO,EAAE,IAAA,oCAAe,EAAC,KAAK,CAAC,QAAQ,CAAC;QACxC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACrD,OAAO,EAAE,EAAE,EAAE,EAAE,YAAqB,EAAE,OAAO,EAAE,CAAU,EAAE;QAC3D,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;QAC/E,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,YAAY,EAAE,CAAC;QACnD,aAAa;KACd,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,MAAyC,EAAwB,EAAE,CACrF,IAAA,6CAAwB,EAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;IACvE,IAAI,KAAK,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC,kBAAkB,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,YAAY,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAA,2BAAS,EACrB,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,EACxE,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,aAAa,CACpB,CAAC;IACF,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAC7B,OAAO,UAAU,CACf,KAAK,CAAC,MAAM,KAAK,gBAAgB,IAAI,KAAK,CAAC,gBAAgB,KAAK,IAAI;YAClE,CAAC,CAAC,iBAAiB;YACnB,CAAC,CAAC,KAAK,CAAC,MAAM,CACjB,CAAC;IAEJ,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QAC7E,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAA,wBAAO,EAAC,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACzD,IACE,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI;gBACzC,OAAO,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;gBACrC,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS;gBAE3C,OAAO,UAAU,CAAC,oBAAoB,CAAC,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,UAAU,CAAC,oBAAoB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAA,+BAAiB,EAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,kBAAkB,IAAI,MAAM,KAAK,UAAU;QACpF,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG;QACf,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3D,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;KACnB,CAAC;IACF,OAAO,IAAA,6CAAwB,EAAC;QAC9B,GAAG,IAAI;QACP,OAAO,EAAE,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW;QAC7D,MAAM;QACN,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAjFD,8CAiFC"}

package/dist/core/agent/findings/verificationCheckpoint.js

@@ -0,0 +1,110 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.requireVerificationOnResume = exports.verificationCheckpointOf = exports.readVerificationCheckpoint = void 0;
+/**
+ * One admission boundary for the verifier's private checkpoint carrier.
+ * Role: join validated observation identities to retained lineage/counters,
+ * never reconstruct evidence, evaluate a claim or authenticate storage.
+ * Historical observations without a carrier are readable but supply no grant.
+ */
+const boundedJson_js_1 = require("../../../lib/boundedJson.js");
+const canonicalJson_js_1 = require("../../../lib/canonicalJson.js");
+const capture_js_1 = require("../../../integrity/claim-binding/capture.js");
+const scope_js_1 = require("../../../integrity/claim-binding/scope.js");
+const verificationRow_js_1 = require("./verificationRow.js");
+const verificationState_js_1 = require("./verificationState.js");
+/** Classify stored rows as data, using the same strict new-row reader on both paths. */
+function verificationRowsOf(raw) {
+    // The legacy optional ledger treats undefined as absence. The NEW evidence
+    // carrier has no such exception: its own present-only reader stays strict.
+    const rows = (0, scope_js_1.ownConfigArray)(raw === undefined ? [] : raw, Number.MAX_SAFE_INTEGER);
+    const observations = [];
+    for (const row of rows) {
+        if (row === null || typeof row !== 'object' || Array.isArray(row))
+            throw new TypeError('Invalid findings verification ledger.');
+        const kind = Object.getOwnPropertyDescriptor(row, 'kind');
+        if (kind === undefined || !('value' in kind))
+            throw new TypeError('Invalid findings verification row kind.');
+        if (kind.value === 'claim-verification')
+            observations.push((0, verificationRow_js_1.readClaimVerificationRow)(row));
+    }
+    return observations;
+}
+/** Read a present carrier beside its ledger; the checkpoint owner authenticates origin. */
+function readVerificationCheckpoint(raw, ledger) {
+    const admitted = (0, verificationState_js_1.readVerificationState)(raw, 0);
+    let largestClaimOrdinal = 0;
+    const seen = new Set();
+    // Reuse the dense own-data array owner, not the saved value's iterator.
+    // No new ledger length cap: older ledger rows retain their existing budget.
+    for (const observation of verificationRowsOf(ledger)) {
+        const identity = (0, verificationRow_js_1.readClaimIdentity)(observation.claimId);
+        if (identity.namespace !== admitted.evidence.namespace ||
+            !admitted.evidence.runIds.includes(identity.runId) ||
+            seen.has(identity.ordinal))
+            throw new TypeError('Invalid findings verification claim lineage.');
+        seen.add(identity.ordinal);
+        largestClaimOrdinal = Math.max(largestClaimOrdinal, identity.ordinal);
+        if (observation.outcome !== 'unverified') {
+            const resolved = observation.resolved;
+            const result = (0, capture_js_1.readResultIdentity)(resolved.resultId);
+            if (result.namespace !== admitted.evidence.namespace ||
+                !admitted.evidence.runIds.includes(result.runId) ||
+                result.ordinal >= admitted.nextResultOrdinal)
+                throw new TypeError('Invalid findings verification result lineage.');
+            const receipt = admitted.evidence.results.find((item) => item.id === resolved.resultId);
+            const facts = receipt?.facts?.filter((fact) => fact.entity === resolved.evidence.subject.id &&
+                fact.field === resolved.evidence.predicate);
+            if (receipt === undefined ||
+                receipt.unavailable !== undefined ||
+                (0, canonicalJson_js_1.canonicalJson)(receipt.scope) !== (0, canonicalJson_js_1.canonicalJson)(resolved.scope) ||
+                (0, canonicalJson_js_1.canonicalJson)(receipt.coverage) !== (0, canonicalJson_js_1.canonicalJson)(resolved.coverage) ||
+                (0, canonicalJson_js_1.canonicalJson)(receipt.period) !== (0, canonicalJson_js_1.canonicalJson)(resolved.period) ||
+                facts?.length !== 1 ||
+                (0, canonicalJson_js_1.canonicalJson)(facts[0].value) !== (0, canonicalJson_js_1.canonicalJson)(resolved.evidence.value))
+                throw new TypeError('Recorded comparison does not name its retained receipt.');
+        }
+    }
+    return (0, verificationState_js_1.readVerificationState)(admitted, largestClaimOrdinal);
+}
+exports.readVerificationCheckpoint = readVerificationCheckpoint;
+/**
+ * Shared by conversation-history and full pause boundaries. Presence is strict:
+ * undefined, inherited fields and accessors are not absence or live evidence.
+ */
+function verificationCheckpointOf(container) {
+    if (container === null || typeof container !== 'object' || Array.isArray(container))
+        throw new TypeError('Invalid findings verification checkpoint container.');
+    const descriptor = Object.getOwnPropertyDescriptor(container, 'claimVerification');
+    if (descriptor === undefined) {
+        if ('claimVerification' in container)
+            throw new TypeError('Inherited findings verification state is not a checkpoint.');
+        return undefined;
+    }
+    if (!('value' in descriptor))
+        throw new TypeError('Findings verification state must be stored data.');
+    const source = (0, boundedJson_js_1.ownData)(container);
+    const ledger = (0, scope_js_1.ownConfigArray)(source.findingsLedger === undefined ? [] : source.findingsLedger, Number.MAX_SAFE_INTEGER);
+    return readVerificationCheckpoint(descriptor.value, ledger);
+}
+exports.verificationCheckpointOf = verificationCheckpointOf;
+/** Never silently discard a previously opted-in verifier on newest-version resume. */
+function requireVerificationOnResume(container, enabled) {
+    const state = verificationCheckpointOf(container);
+    if (state === undefined && container !== null && typeof container === 'object') {
+        const ledgerDescriptor = Object.getOwnPropertyDescriptor(container, 'findingsLedger');
+        if (ledgerDescriptor === undefined && 'findingsLedger' in container)
+            throw new TypeError('Findings verification ledger must be own stored data.');
+        if (ledgerDescriptor !== undefined && !('value' in ledgerDescriptor))
+            throw new TypeError('Findings verification ledger must be stored data.');
+        if (verificationRowsOf(ledgerDescriptor?.value).length > 0)
+            throw new TypeError('This saved run has findings verification observations but no retained evidence ' +
+                'carrier. It is readable history, not a resumable verification checkpoint.');
+    }
+    if (state !== undefined && !enabled)
+        throw new TypeError('This saved run carries findings verification evidence. Continue it with findings ' +
+            'verification enabled; disabling it would silently discard saved checks.');
+    return state;
+}
+exports.requireVerificationOnResume = requireVerificationOnResume;
+//# sourceMappingURL=verificationCheckpoint.js.map

package/dist/core/agent/findings/verificationCheckpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationCheckpoint.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/verificationCheckpoint.ts"],"names":[],"mappings":";;;AAAA;;;;;GAKG;AACH,gEAAsD;AACtD,oEAA8D;AAC9D,4EAAiF;AACjF,wEAA2E;AAC3E,6DAAmF;AACnF,iEAA4F;AAG5F,wFAAwF;AACxF,SAAS,kBAAkB,CAAC,GAAY;IACtC,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,IAAI,GAAG,IAAA,yBAAc,EAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACnF,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAC/D,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,wBAAwB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC;YAC1C,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,KAAK,KAAK,oBAAoB;YAAE,YAAY,CAAC,IAAI,CAAC,IAAA,6CAAwB,EAAC,GAAG,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,2FAA2F;AAC3F,SAAgB,0BAA0B,CACxC,GAAY,EACZ,MAA0B;IAE1B,MAAM,QAAQ,GAAG,IAAA,4CAAqB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC/C,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,wEAAwE;IACxE,4EAA4E;IAC5E,KAAK,MAAM,WAAW,IAAI,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,IAAA,sCAAiB,EAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACxD,IACE,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,QAAQ,CAAC,SAAS;YAClD,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YAClD,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;YAE1B,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;QACtE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC3B,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACtE,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC;YACtC,MAAM,MAAM,GAAG,IAAA,+BAAkB,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACrD,IACE,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,QAAQ,CAAC,SAAS;gBAChD,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;gBAChD,MAAM,CAAC,OAAO,IAAI,QAAQ,CAAC,iBAAiB;gBAE5C,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;YACvE,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACxF,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,EAAE,MAAM,CAClC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE;gBAC5C,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAC7C,CAAC;YACF,IACE,OAAO,KAAK,SAAS;gBACrB,OAAO,CAAC,WAAW,KAAK,SAAS;gBACjC,IAAA,gCAAa,EAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAA,gCAAa,EAAC,QAAQ,CAAC,KAAK,CAAC;gBAC9D,IAAA,gCAAa,EAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAA,gCAAa,EAAC,QAAQ,CAAC,QAAQ,CAAC;gBACpE,IAAA,gCAAa,EAAC,OAAO,CAAC,MAAM,CAAC,KAAK,IAAA,gCAAa,EAAC,QAAQ,CAAC,MAAM,CAAC;gBAChE,KAAK,EAAE,MAAM,KAAK,CAAC;gBACnB,IAAA,gCAAa,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAA,gCAAa,EAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAExE,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IACD,OAAO,IAAA,4CAAqB,EAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;AAC9D,CAAC;AA/CD,gEA+CC;AAED;;;GAGG;AACH,SAAgB,wBAAwB,CAAC,SAAkB;IACzD,IAAI,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QACjF,MAAM,IAAI,SAAS,CAAC,qDAAqD,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;IACnF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,mBAAmB,IAAI,SAAS;YAClC,MAAM,IAAI,SAAS,CAAC,4DAA4D,CAAC,CAAC;QACpF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;QAC1B,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,IAAA,wBAAO,EAAC,SAAS,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,IAAA,yBAAc,EAC3B,MAAM,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,EAChE,MAAM,CAAC,gBAAgB,CACxB,CAAC;IACF,OAAO,0BAA0B,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAC9D,CAAC;AAjBD,4DAiBC;AAED,sFAAsF;AACtF,SAAgB,2BAA2B,CACzC,SAAkB,EAClB,OAAgB;IAEhB,MAAM,KAAK,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC/E,MAAM,gBAAgB,GAAG,MAAM,CAAC,wBAAwB,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QACtF,IAAI,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,IAAI,SAAS;YACjE,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;QAC/E,IAAI,gBAAgB,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,gBAAgB,CAAC;YAClE,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;QAC3E,IAAI,kBAAkB,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;YACxD,MAAM,IAAI,SAAS,CACjB,iFAAiF;gBAC/E,2EAA2E,CAC9E,CAAC;IACN,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO;QACjC,MAAM,IAAI,SAAS,CACjB,mFAAmF;YACjF,yEAAyE,CAC5E,CAAC;IACJ,OAAO,KAAK,CAAC;AACf,CAAC;AAvBD,kEAuBC"}

package/dist/core/agent/findings/verificationConfig.js

@@ -0,0 +1,119 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileVerificationConfig = void 0;
+/**
+ * Compile the explicit verifier's authored rules and retention permission.
+ * Role: closure-only configuration; callbacks never enter recorded state.
+ */
+const admit_js_1 = require("../../../integrity/claim-binding/admit.js");
+const capture_js_1 = require("../../../integrity/claim-binding/capture.js");
+const scope_js_1 = require("../../../integrity/claim-binding/scope.js");
+const boundedJson_js_1 = require("../../../lib/boundedJson.js");
+const canonicalJson_js_1 = require("../../../lib/canonicalJson.js");
+const envelope_js_1 = require("../../../lib/semantics/envelope.js");
+const WITHHELD = Object.freeze({
+    resultVisible: false,
+    scopeVisible: false,
+});
+const GRANTED = Object.freeze({ resultVisible: true, scopeVisible: true });
+function sameScope(left, right) {
+    // Functions are author-owned identities, not JSON or a stringified source.
+    if (left.dimensions.length !== right.dimensions.length ||
+        left.dimensions.some((dimension, index) => dimension.normalize !== right.dimensions[index].normalize))
+        return false;
+    const data = (scope) => ({
+        ...scope,
+        dimensions: scope.dimensions.map((dimension) => ({ ...dimension, normalize: undefined })),
+    });
+    return (0, canonicalJson_js_1.canonicalJson)(data(left)) === (0, canonicalJson_js_1.canonicalJson)(data(right));
+}
+/** Only the existing detached capture ports can enter the author's callback. */
+function authorizationInputOf(raw) {
+    const source = (0, boundedJson_js_1.ownData)(raw, ['dispatch', 'returned', 'served']);
+    const dispatch = (0, boundedJson_js_1.ownData)((0, boundedJson_js_1.copyJson)(source.dispatch, scope_js_1.BINDING_LIMITS.scopeBytes * 2, true), [
+        'identity',
+        'id',
+        'toolName',
+        'toolCallId',
+        'iteration',
+        'scopeDeclaration',
+        'scope',
+        'periodDimension',
+        'unavailable',
+    ]);
+    const identity = (0, boundedJson_js_1.ownData)(dispatch.identity, ['namespace', 'runId', 'ordinal']);
+    const declaration = (0, boundedJson_js_1.ownData)(dispatch.scopeDeclaration, ['id', 'version']);
+    const returned = (0, boundedJson_js_1.ownData)((0, boundedJson_js_1.copyJson)(source.returned, scope_js_1.BINDING_LIMITS.resultBytes + scope_js_1.BINDING_LIMITS.scopeBytes, true), ['resultId', 'semantics', 'unavailable']);
+    if (dispatch.unavailable !== undefined ||
+        returned.unavailable !== undefined ||
+        !(0, scope_js_1.boundedText)(identity.namespace) ||
+        !(0, scope_js_1.boundedText)(identity.runId) ||
+        typeof identity.ordinal !== 'number' ||
+        dispatch.id !==
+            (0, capture_js_1.resultIdentityOf)({
+                namespace: identity.namespace,
+                runId: identity.runId,
+                ordinal: identity.ordinal,
+            }) ||
+        returned.resultId !== dispatch.id ||
+        !(0, scope_js_1.boundedText)(dispatch.toolName) ||
+        !(0, scope_js_1.boundedText)(dispatch.toolCallId) ||
+        typeof dispatch.iteration !== 'number' ||
+        !Number.isSafeInteger(dispatch.iteration) ||
+        dispatch.iteration < 0 ||
+        !(0, scope_js_1.boundedText)(declaration.id) ||
+        !(0, scope_js_1.boundedText)(declaration.version) ||
+        (Object.hasOwn(dispatch, 'periodDimension') && !(0, scope_js_1.boundedText)(dispatch.periodDimension)) ||
+        (0, envelope_js_1.readSemantics)(returned.semantics) === undefined)
+        throw new Error('Invalid verification authorization input.');
+    (0, boundedJson_js_1.ownData)((0, boundedJson_js_1.copyJson)(dispatch.scope, scope_js_1.BINDING_LIMITS.scopeBytes, true));
+    return Object.freeze({
+        dispatch: Object.freeze(dispatch),
+        returned: Object.freeze(returned),
+        served: (0, boundedJson_js_1.copyJson)(source.served, scope_js_1.BINDING_LIMITS.resultBytes, true),
+    });
+}
+/** Strict configuration admission runs once, not at every verification. */
+function compileVerificationConfig(raw) {
+    const source = (0, boundedJson_js_1.ownData)(raw, ['rules', 'authorizeEvidence']);
+    const rules = (0, scope_js_1.ownConfigArray)(source.rules, scope_js_1.BINDING_LIMITS.results).map(admit_js_1.bindingRuleOf);
+    if (rules.length === 0 || typeof source.authorizeEvidence !== 'function')
+        throw new Error('findings.verify requires rules and an explicit authorizeEvidence callback.');
+    const authorize = source.authorizeEvidence;
+    const ids = new Set();
+    const scopes = new Map();
+    for (const rule of rules) {
+        if (ids.has(rule.id))
+            throw new Error('Duplicate findings verification rule.');
+        ids.add(rule.id);
+        const prior = scopes.get(rule.toolName);
+        if (prior !== undefined && !sameScope(prior, rule.scopeDeclaration))
+            throw new Error('Conflicting findings verification scopes for one tool.');
+        scopes.set(rule.toolName, rule.scopeDeclaration);
+    }
+    return Object.freeze({
+        rules: Object.freeze(rules),
+        scopeForTool: (toolName) => scopes.get(toolName),
+        authorizeEvidence: (input) => {
+            try {
+                const response = authorize(authorizationInputOf(input));
+                // A mistaken async callback cannot grant access. Consume rejection of
+                // a genuine Promise without awaiting it or invoking an arbitrary then.
+                if (response instanceof Promise) {
+                    void Promise.prototype.then.call(response, undefined, () => undefined);
+                    return WITHHELD;
+                }
+                const decision = (0, boundedJson_js_1.ownData)(response, ['resultVisible', 'scopeVisible']);
+                return decision.resultVisible === true && decision.scopeVisible === true
+                    ? GRANTED
+                    : WITHHELD;
+            }
+            catch {
+                // Never record policy exception text, return values or private inputs.
+                return WITHHELD;
+            }
+        },
+    });
+}
+exports.compileVerificationConfig = compileVerificationConfig;
+//# sourceMappingURL=verificationConfig.js.map

package/dist/core/agent/findings/verificationConfig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verificationConfig.js","sourceRoot":"","sources":["../../../../src/core/agent/findings/verificationConfig.ts"],"names":[],"mappings":";;;AAAA;;;GAGG;AACH,wEAA0E;AAC1E,4EAA+E;AAC/E,wEAImD;AAOnD,gEAAgE;AAChE,oEAA8D;AAC9D,oEAAmE;AAiCnE,MAAM,QAAQ,GAA0B,MAAM,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,KAAK;IACpB,YAAY,EAAE,KAAK;CACpB,CAAC,CAAC;AACH,MAAM,OAAO,GAA0B,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;AAElG,SAAS,SAAS,CAAC,IAAsB,EAAE,KAAuB;IAChE,2EAA2E;IAC3E,IACE,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM;QAClD,IAAI,CAAC,UAAU,CAAC,IAAI,CAClB,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,CAChF;QAED,OAAO,KAAK,CAAC;IACf,MAAM,IAAI,GAAG,CAAC,KAAuB,EAAE,EAAE,CAAC,CAAC;QACzC,GAAG,KAAK;QACR,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;KAC1F,CAAC,CAAC;IACH,OAAO,IAAA,gCAAa,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAA,gCAAa,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,gFAAgF;AAChF,SAAS,oBAAoB,CAAC,GAA+B;IAC3D,MAAM,MAAM,GAAG,IAAA,wBAAO,EAAC,GAAG,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAG,IAAA,wBAAO,EAAC,IAAA,yBAAQ,EAAC,MAAM,CAAC,QAAQ,EAAE,yBAAc,CAAC,UAAU,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE;QACvF,UAAU;QACV,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,WAAW;QACX,kBAAkB;QAClB,OAAO;QACP,iBAAiB;QACjB,aAAa;KACd,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAA,wBAAO,EAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,IAAA,wBAAO,EAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAA,wBAAO,EACtB,IAAA,yBAAQ,EAAC,MAAM,CAAC,QAAQ,EAAE,yBAAc,CAAC,WAAW,GAAG,yBAAc,CAAC,UAAU,EAAE,IAAI,CAAC,EACvF,CAAC,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CACzC,CAAC;IACF,IACE,QAAQ,CAAC,WAAW,KAAK,SAAS;QAClC,QAAQ,CAAC,WAAW,KAAK,SAAS;QAClC,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,KAAK,CAAC;QAC5B,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;QACpC,QAAQ,CAAC,EAAE;YACT,IAAA,6BAAgB,EAAC;gBACf,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC1B,CAAC;QACJ,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE;QACjC,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,QAAQ,CAAC;QAC/B,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,UAAU,CAAC;QACjC,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACtC,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC;QACzC,QAAQ,CAAC,SAAS,GAAG,CAAC;QACtB,CAAC,IAAA,sBAAW,EAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,CAAC,IAAA,sBAAW,EAAC,WAAW,CAAC,OAAO,CAAC;QACjC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QACtF,IAAA,2BAAa,EAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,SAAS;QAE/C,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,IAAA,wBAAO,EAAC,IAAA,yBAAQ,EAAC,QAAQ,CAAC,KAAK,EAAE,yBAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAgC;QAChE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAgC;QAChE,MAAM,EAAE,IAAA,yBAAQ,EAAC,MAAM,CAAC,MAAM,EAAE,yBAAc,CAAC,WAAW,EAAE,IAAI,CAAC;KAClE,CAAC,CAAC;AACL,CAAC;AAED,2EAA2E;AAC3E,SAAgB,yBAAyB,CAAC,GAAY;IACpD,MAAM,MAAM,GAAG,IAAA,wBAAO,EAAC,GAAG,EAAE,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAA,yBAAc,EAAC,MAAM,CAAC,KAAK,EAAE,yBAAc,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,wBAAa,CAAC,CAAC;IACtF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,CAAC,iBAAiB,KAAK,UAAU;QACtE,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;IAChG,MAAM,SAAS,GAAG,MAAM,CAAC,iBAAqE,CAAC;IAC/F,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QAC/E,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC;YACjE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAC3B,YAAY,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACxD,iBAAiB,EAAE,CAAC,KAAiC,EAAyB,EAAE;YAC9E,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAY,SAAS,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjE,sEAAsE;gBACtE,uEAAuE;gBACvE,IAAI,QAAQ,YAAY,OAAO,EAAE,CAAC;oBAChC,KAAK,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;oBACvE,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBACD,MAAM,QAAQ,GAAG,IAAA,wBAAO,EAAC,QAAQ,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;gBACtE,OAAO,QAAQ,CAAC,aAAa,KAAK,IAAI,IAAI,QAAQ,CAAC,YAAY,KAAK,IAAI;oBACtE,CAAC,CAAC,OAAO;oBACT,CAAC,CAAC,QAAQ,CAAC;YACf,CAAC;YAAC,MAAM,CAAC;gBACP,uEAAuE;gBACvE,OAAO,QAAQ,CAAC;YAClB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAtCD,8DAsCC"}