agentfootprint 10.1.0 → 10.2.0

package/dist/integrity/claim-binding/capture.js

@@ -0,0 +1,152 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evidenceSnapshot = exports.finalizeEvidence = exports.captureReturnedEvidence = exports.captureDispatch = exports.readResultIdentity = exports.resultIdentityOf = void 0;
+/**
+ * Internal dispatch/return/delivery receipt boundary, not mounted in the Agent.
+ * The eventual runtime adapter reserves a namespace/run/ordinal before await,
+ * captures at actual execute, then finalizes against the authorized served value.
+ */
+const encode_js_1 = require("../../memory/identity/encode.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 ledger_js_1 = require("../unsupported-claim/ledger.js");
+const scope_js_1 = require("./scope.js");
+function resultIdentityOf(identity) {
+    if (!(0, scope_js_1.boundedText)(identity.namespace) ||
+        !(0, scope_js_1.boundedText)(identity.runId) ||
+        !Number.isSafeInteger(identity.ordinal) ||
+        identity.ordinal < 1)
+        throw new Error('Invalid runtime result identity.');
+    return `claim-result/${(0, encode_js_1.encodeIdentityField)(identity.namespace)}/${(0, encode_js_1.encodeIdentityField)(identity.runId)}/${identity.ordinal}`;
+}
+exports.resultIdentityOf = resultIdentityOf;
+/** Decode only canonical runtime result occurrences; no lookup or authority is inferred. */
+function readResultIdentity(raw) {
+    if (typeof raw !== 'string' || raw.length > scope_js_1.BINDING_LIMITS.resultIdText)
+        throw new TypeError('Invalid saved result identity.');
+    const parts = raw.split('/');
+    if (parts.length !== 4 || parts[0] !== 'claim-result')
+        throw new TypeError('Invalid saved result identity.');
+    const identity = Object.freeze({
+        namespace: (0, encode_js_1.decodePresentIdentityField)(parts[1]),
+        runId: (0, encode_js_1.decodePresentIdentityField)(parts[2]),
+        ordinal: Number(parts[3]),
+    });
+    if (resultIdentityOf(identity) !== raw)
+        throw new TypeError('Noncanonical saved result identity.');
+    return identity;
+}
+exports.readResultIdentity = readResultIdentity;
+/** Capture selected scope now; a later mutation of args cannot change it. */
+function captureDispatch(identity, tool, executedArgs, declaration) {
+    declaration = (0, scope_js_1.scopeDeclarationOf)(declaration);
+    const id = resultIdentityOf(identity);
+    if (!(0, scope_js_1.boundedText)(tool.toolName) ||
+        !(0, scope_js_1.boundedText)(tool.toolCallId) ||
+        !Number.isSafeInteger(tool.iteration) ||
+        tool.iteration < 0)
+        throw new Error('Invalid tool identity.');
+    const common = {
+        identity: { ...identity },
+        id,
+        toolName: tool.toolName,
+        toolCallId: tool.toolCallId,
+        iteration: tool.iteration,
+        scopeDeclaration: { id: declaration.id, version: declaration.version },
+        ...(declaration.periodDimension !== undefined && {
+            periodDimension: declaration.periodDimension,
+        }),
+    };
+    try {
+        return (0, boundedJson_js_1.copyJson)({ ...common, scope: (0, scope_js_1.executedScope)(executedArgs, declaration) }, scope_js_1.BINDING_LIMITS.scopeBytes * 2, true);
+    }
+    catch {
+        return (0, boundedJson_js_1.copyJson)({ ...common, unavailable: 'missing-scope' }, scope_js_1.BINDING_LIMITS.scopeBytes * 2, true);
+    }
+}
+exports.captureDispatch = captureDispatch;
+/** Preserve the returned reading before any async result rule can mutate it. */
+function captureReturnedEvidence(dispatch, original) {
+    try {
+        const semantics = (0, envelope_js_1.readSemantics)((0, boundedJson_js_1.copyJson)(original, scope_js_1.BINDING_LIMITS.resultBytes, true));
+        if (semantics === undefined)
+            throw new Error('No recognized evidence.');
+        return Object.freeze({ resultId: dispatch.id, semantics });
+    }
+    catch {
+        return Object.freeze({ resultId: dispatch.id, unavailable: 'invalid-evidence' });
+    }
+}
+exports.captureReturnedEvidence = captureReturnedEvidence;
+/**
+ * returned is the return-time copy from that invocation. served is
+ * the final model-facing payload AFTER all governance, placement and caps.
+ * Visibility is a trusted adapter decision; equality alone grants no access.
+ * Rewrites need a future explicit association, and are unavailable here.
+ */
+function finalizeEvidence(dispatch, returned, served, access) {
+    const unavailable = (reason) => (0, boundedJson_js_1.copyJson)({
+        identity: dispatch.identity,
+        id: dispatch.id,
+        toolName: dispatch.toolName,
+        toolCallId: dispatch.toolCallId,
+        iteration: dispatch.iteration,
+        scopeDeclaration: dispatch.scopeDeclaration,
+        unavailable: reason,
+    }, scope_js_1.BINDING_LIMITS.scopeBytes * 2, true);
+    if (dispatch.id !== resultIdentityOf(dispatch.identity))
+        return unavailable('invalid-evidence');
+    if (access.completed !== true)
+        return unavailable('incomplete-result');
+    if (access.resultVisible !== true || access.scopeVisible !== true)
+        return unavailable('withheld-evidence');
+    if (dispatch.unavailable !== undefined)
+        return unavailable(dispatch.unavailable);
+    if (returned.resultId !== dispatch.id)
+        return unavailable('unassociated-result');
+    if (returned.unavailable !== undefined)
+        return unavailable(returned.unavailable);
+    try {
+        const raw = (0, boundedJson_js_1.copyJson)(returned.semantics, scope_js_1.BINDING_LIMITS.resultBytes, true);
+        const semantics = (0, envelope_js_1.readSemantics)(raw);
+        if (semantics === undefined)
+            return unavailable('invalid-evidence');
+        const model = typeof served === 'string'
+            ? JSON.parse(served.length <= scope_js_1.BINDING_LIMITS.resultBytes ? served : '')
+            : served;
+        const allowed = (0, boundedJson_js_1.copyJson)(model, scope_js_1.BINDING_LIMITS.resultBytes, true);
+        const projection = (0, boundedJson_js_1.copyJson)((0, envelope_js_1.semanticsForModel)(semantics), scope_js_1.BINDING_LIMITS.resultBytes, true);
+        if ((0, canonicalJson_js_1.canonicalJson)(allowed) !== (0, canonicalJson_js_1.canonicalJson)(projection))
+            return unavailable('unassociated-result');
+        const period = (0, envelope_js_1.periodOfSemantics)(semantics);
+        return (0, boundedJson_js_1.copyJson)({
+            ...dispatch,
+            facts: (0, ledger_js_1.claimRowsOf)(semantics, {
+                toolName: dispatch.toolName,
+                toolCallId: dispatch.toolCallId,
+                iteration: dispatch.iteration,
+            }),
+            ...((semantics.coverage !== undefined || period !== undefined) && {
+                coverage: (0, envelope_js_1.coverageOfSemantics)(semantics),
+            }),
+            ...(period !== undefined && { period }),
+        }, scope_js_1.BINDING_LIMITS.resultBytes, true);
+    }
+    catch {
+        return unavailable('invalid-evidence');
+    }
+}
+exports.finalizeEvidence = finalizeEvidence;
+/** Freeze the caller's completed evidence universe at the declaration moment. */
+function evidenceSnapshot(namespace, verifiedRunIds, results) {
+    if (!(0, scope_js_1.boundedText)(namespace) ||
+        verifiedRunIds.length > scope_js_1.BINDING_LIMITS.results ||
+        !verifiedRunIds.every(scope_js_1.boundedText) ||
+        new Set(verifiedRunIds).size !== verifiedRunIds.length ||
+        results.length > scope_js_1.BINDING_LIMITS.results)
+        throw new Error('Invalid evidence snapshot boundary.');
+    return (0, boundedJson_js_1.copyJson)({ version: 1, namespace, runIds: verifiedRunIds, results }, scope_js_1.BINDING_LIMITS.snapshotBytes, true);
+}
+exports.evidenceSnapshot = evidenceSnapshot;
+//# sourceMappingURL=capture.js.map

package/dist/integrity/claim-binding/capture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture.js","sourceRoot":"","sources":["../../../src/integrity/claim-binding/capture.ts"],"names":[],"mappings":";;;AAAA;;;;GAIG;AACH,+DAAkG;AAClG,6DAAoD;AACpD,iEAA2D;AAC3D,iEAKyC;AACzC,8DAA6D;AAC7D,yCAA4F;AAU5F,SAAgB,gBAAgB,CAAC,QAAwB;IACvD,IACE,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,SAAS,CAAC;QAChC,CAAC,IAAA,sBAAW,EAAC,QAAQ,CAAC,KAAK,CAAC;QAC5B,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvC,QAAQ,CAAC,OAAO,GAAG,CAAC;QAEpB,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,OAAO,gBAAgB,IAAA,+BAAmB,EAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAA,+BAAmB,EACnF,QAAQ,CAAC,KAAK,CACf,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;AAC1B,CAAC;AAXD,4CAWC;AAED,4FAA4F;AAC5F,SAAgB,kBAAkB,CAAC,GAAY;IAC7C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,GAAG,yBAAc,CAAC,YAAY;QACrE,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,cAAc;QACnD,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,SAAS,EAAE,IAAA,sCAA0B,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC/C,KAAK,EAAE,IAAA,sCAA0B,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3C,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KAC1B,CAAC,CAAC;IACH,IAAI,gBAAgB,CAAC,QAAQ,CAAC,KAAK,GAAG;QACpC,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC;AAClB,CAAC;AAdD,gDAcC;AAED,6EAA6E;AAC7E,SAAgB,eAAe,CAC7B,QAAwB,EACxB,IAA4F,EAC5F,YAAqB,EACrB,WAA6B;IAE7B,WAAW,GAAG,IAAA,6BAAkB,EAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,EAAE,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACtC,IACE,CAAC,IAAA,sBAAW,EAAC,IAAI,CAAC,QAAQ,CAAC;QAC3B,CAAC,IAAA,sBAAW,EAAC,IAAI,CAAC,UAAU,CAAC;QAC7B,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;QACrC,IAAI,CAAC,SAAS,GAAG,CAAC;QAElB,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG;QACb,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE;QACzB,EAAE;QACF,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,gBAAgB,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE;QACtE,GAAG,CAAC,WAAW,CAAC,eAAe,KAAK,SAAS,IAAI;YAC/C,eAAe,EAAE,WAAW,CAAC,eAAe;SAC7C,CAAC;KACH,CAAC;IACF,IAAI,CAAC;QACH,OAAO,IAAA,yBAAQ,EACb,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,IAAA,wBAAa,EAAC,YAAY,EAAE,WAAW,CAAC,EAAE,EAC9D,yBAAc,CAAC,UAAU,GAAG,CAAC,EAC7B,IAAI,CACe,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAA,yBAAQ,EACb,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,EAC3C,yBAAc,CAAC,UAAU,GAAG,CAAC,EAC7B,IAAI,CACe,CAAC;IACxB,CAAC;AACH,CAAC;AAvCD,0CAuCC;AAED,gFAAgF;AAChF,SAAgB,uBAAuB,CACrC,QAA0B,EAC1B,QAAiB;IAEjB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,IAAA,2BAAa,EAAC,IAAA,yBAAQ,EAAC,QAAQ,EAAE,yBAAc,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QACtF,IAAI,SAAS,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QACxE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC,CAAC;IACnF,CAAC;AACH,CAAC;AAXD,0DAWC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAC9B,QAA0B,EAC1B,QAA0B,EAC1B,MAAe,EACf,MAIC;IAED,MAAM,WAAW,GAAG,CAAC,MAAqC,EAAkB,EAAE,CAC5E,IAAA,yBAAQ,EACN;QACE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,WAAW,EAAE,MAAM;KACpB,EACD,yBAAc,CAAC,UAAU,GAAG,CAAC,EAC7B,IAAI,CACa,CAAC;IACtB,IAAI,QAAQ,CAAC,EAAE,KAAK,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;IAChG,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI;QAC/D,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC1C,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjF,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,EAAE;QAAE,OAAO,WAAW,CAAC,qBAAqB,CAAC,CAAC;IACjF,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjF,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,yBAAQ,EAAC,QAAQ,CAAC,SAAS,EAAE,yBAAc,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC3E,MAAM,SAAS,GAAG,IAAA,2BAAa,EAAC,GAAG,CAAC,CAAC;QACrC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;QACpE,MAAM,KAAK,GACT,OAAO,MAAM,KAAK,QAAQ;YACxB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,yBAAc,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,CAAC,CAAC,MAAM,CAAC;QACb,MAAM,OAAO,GAAG,IAAA,yBAAQ,EAAC,KAAK,EAAE,yBAAc,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAClE,MAAM,UAAU,GAAG,IAAA,yBAAQ,EAAC,IAAA,+BAAiB,EAAC,SAAS,CAAC,EAAE,yBAAc,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC5F,IAAI,IAAA,gCAAa,EAAC,OAAO,CAAC,KAAK,IAAA,gCAAa,EAAC,UAAU,CAAC;YACtD,OAAO,WAAW,CAAC,qBAAqB,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAA,+BAAiB,EAAC,SAAS,CAAC,CAAC;QAC5C,OAAO,IAAA,yBAAQ,EACb;YACE,GAAG,QAAQ;YACX,KAAK,EAAE,IAAA,uBAAW,EAAC,SAAS,EAAE;gBAC5B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;aAC9B,CAAC;YACF,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC,IAAI;gBAChE,QAAQ,EAAE,IAAA,iCAAmB,EAAC,SAAS,CAAC;aACzC,CAAC;YACF,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;SACxC,EACD,yBAAc,CAAC,WAAW,EAC1B,IAAI,CACa,CAAC;IACtB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AA/DD,4CA+DC;AAED,iFAAiF;AACjF,SAAgB,gBAAgB,CAC9B,SAAiB,EACjB,cAAiC,EACjC,OAAkC;IAElC,IACE,CAAC,IAAA,sBAAW,EAAC,SAAS,CAAC;QACvB,cAAc,CAAC,MAAM,GAAG,yBAAc,CAAC,OAAO;QAC9C,CAAC,cAAc,CAAC,KAAK,CAAC,sBAAW,CAAC;QAClC,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,MAAM;QACtD,OAAO,CAAC,MAAM,GAAG,yBAAc,CAAC,OAAO;QAEvC,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,OAAO,IAAA,yBAAQ,EACb,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,EAC1D,yBAAc,CAAC,aAAa,EAC5B,IAAI,CACe,CAAC;AACxB,CAAC;AAlBD,4CAkBC"}

package/dist/integrity/claim-binding/scope.js

@@ -0,0 +1,159 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.queriedPeriodMatches = exports.scopesMatch = exports.executedScope = exports.scopeDeclarationOf = exports.ownConfigArray = exports.boundedResultId = exports.boundedText = exports.BINDING_LIMITS = void 0;
+/** Authored scope projection over the arguments actually delivered to execute. */
+const boundedJson_js_1 = require("../../lib/boundedJson.js");
+const canonicalJson_js_1 = require("../../lib/canonicalJson.js");
+const instant_js_1 = require("../../core/time/instant.js");
+const period_js_1 = require("../../core/agent/coverage/period.js");
+exports.BINDING_LIMITS = Object.freeze({
+    text: 512,
+    resultIdText: 3104,
+    dimensions: 16,
+    path: 16,
+    scopeBytes: 8192,
+    resultBytes: 256 * 1024,
+    snapshotBytes: 1024 * 1024,
+    results: 256,
+});
+function boundedText(value) {
+    return typeof value === 'string' && value.trim() !== '' && value.length <= exports.BINDING_LIMITS.text;
+}
+exports.boundedText = boundedText;
+function boundedResultId(value) {
+    return (typeof value === 'string' &&
+        value.startsWith('claim-result/') &&
+        value.length <= exports.BINDING_LIMITS.resultIdText);
+}
+exports.boundedResultId = boundedResultId;
+/** Shallow descriptor-only admission for authored arrays containing callbacks. */
+function ownConfigArray(value, maximum) {
+    if (!Array.isArray(value) || Object.getPrototypeOf(value) !== Array.prototype)
+        throw new Error('Expected a plain configuration array.');
+    const length = Object.getOwnPropertyDescriptor(value, 'length')?.value;
+    if (typeof length !== 'number' ||
+        !Number.isSafeInteger(length) ||
+        length > maximum ||
+        Reflect.ownKeys(value).length !== length + 1)
+        throw new Error('Invalid configuration array.');
+    const items = [];
+    for (let index = 0; index < length; index++) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+        if (!descriptor?.enumerable || !('value' in descriptor))
+            throw new Error('Expected dense configuration data.');
+        items.push(descriptor.value);
+    }
+    return Object.freeze(items);
+}
+exports.ownConfigArray = ownConfigArray;
+/** Inspect authored configuration without evaluating getters or inherited fields. */
+function scopeDeclarationOf(raw) {
+    const source = (0, boundedJson_js_1.ownData)(raw, ['id', 'version', 'dimensions', 'periodDimension']);
+    const sourceDimensions = ownConfigArray(source.dimensions, exports.BINDING_LIMITS.dimensions);
+    if (!boundedText(source.id) || !boundedText(source.version) || sourceDimensions.length === 0)
+        throw new Error('Invalid scope declaration.');
+    const names = new Set();
+    const dimensions = sourceDimensions.map((rawDimension) => {
+        const dimension = (0, boundedJson_js_1.ownData)(rawDimension, ['name', 'argumentPath', 'default', 'normalize']);
+        const path = (0, boundedJson_js_1.copyJson)(dimension.argumentPath, exports.BINDING_LIMITS.scopeBytes, true);
+        if (!boundedText(dimension.name) ||
+            names.has(dimension.name) ||
+            !Array.isArray(path) ||
+            path.length === 0 ||
+            path.length > exports.BINDING_LIMITS.path ||
+            !path.every(boundedText) ||
+            (Object.hasOwn(dimension, 'normalize') && typeof dimension.normalize !== 'function'))
+            throw new Error('Invalid scope dimension.');
+        names.add(dimension.name);
+        return Object.freeze({
+            name: dimension.name,
+            argumentPath: path,
+            ...(Object.hasOwn(dimension, 'default') && {
+                default: (0, boundedJson_js_1.copyJson)(dimension.default, exports.BINDING_LIMITS.scopeBytes, true),
+            }),
+            ...(typeof dimension.normalize === 'function' && {
+                normalize: dimension.normalize,
+            }),
+        });
+    });
+    if (Object.hasOwn(source, 'periodDimension') &&
+        (!boundedText(source.periodDimension) || !names.has(source.periodDimension)))
+        throw new Error('Invalid period dimension.');
+    return Object.freeze({
+        id: source.id,
+        version: source.version,
+        dimensions: Object.freeze(dimensions),
+        ...(typeof source.periodDimension === 'string' && { periodDimension: source.periodDimension }),
+    });
+}
+exports.scopeDeclarationOf = scopeDeclarationOf;
+/** Own data properties only: inherited names and accessors supply no scope. */
+function argumentAt(args, path) {
+    if (path.length === 0 || path.length > exports.BINDING_LIMITS.path || !path.every(boundedText))
+        throw new Error('Invalid scope path.');
+    let cursor = args;
+    for (const key of path) {
+        if (cursor === null || typeof cursor !== 'object')
+            return undefined;
+        const descriptor = Object.getOwnPropertyDescriptor(cursor, key);
+        if (descriptor === undefined) {
+            if (key in cursor)
+                throw new Error('Inherited scope is not executed own-data.');
+            return undefined;
+        }
+        if (!descriptor.enumerable || !('value' in descriptor))
+            throw new Error('Scope requires own data.');
+        cursor = descriptor.value;
+    }
+    return cursor;
+}
+function executedScope(args, declaration) {
+    declaration = scopeDeclarationOf(declaration);
+    const scope = {};
+    for (const dimension of declaration.dimensions) {
+        if (!boundedText(dimension.name) || Object.hasOwn(scope, dimension.name))
+            throw new Error('Invalid scope dimension.');
+        let value = argumentAt(args, dimension.argumentPath);
+        if (value === undefined && Object.hasOwn(dimension, 'default'))
+            value = dimension.default;
+        if (value === undefined)
+            throw new Error('Required scope is missing.');
+        // Detach BEFORE invoking an authored normalizer: it cannot mutate dispatch.
+        value = (0, boundedJson_js_1.copyJson)(value, exports.BINDING_LIMITS.scopeBytes, true);
+        if (dimension.normalize !== undefined)
+            value = dimension.normalize(value);
+        Object.defineProperty(scope, dimension.name, {
+            value: (0, boundedJson_js_1.copyJson)(value, exports.BINDING_LIMITS.scopeBytes, true),
+            enumerable: true,
+        });
+    }
+    if (declaration.periodDimension !== undefined &&
+        !Object.hasOwn(scope, declaration.periodDimension))
+        throw new Error('The period dimension is missing.');
+    return (0, boundedJson_js_1.copyJson)(scope, exports.BINDING_LIMITS.scopeBytes, true);
+}
+exports.executedScope = executedScope;
+/** Exact declared dimensions; no inferred subset, defaults or currency conversion. */
+function scopesMatch(evidence, intended) {
+    const expected = (0, boundedJson_js_1.ownData)((0, boundedJson_js_1.copyJson)(intended, exports.BINDING_LIMITS.scopeBytes, true));
+    return (0, canonicalJson_js_1.canonicalJson)(evidence) === (0, canonicalJson_js_1.canonicalJson)(expected);
+}
+exports.scopesMatch = scopesMatch;
+/** The existing period/instant owners decide validity and temporal equivalence. */
+function queriedPeriodMatches(scopeValue, period) {
+    const query = (0, boundedJson_js_1.ownData)(scopeValue, ['from', 'to']);
+    if ((0, period_js_1.periodProblem)({ queried: query, held: 'unknown' }, 'camel') !== undefined)
+        return false;
+    const from = (0, instant_js_1.instantOf)(query.from, 'lenient');
+    const to = (0, instant_js_1.instantOf)(query.to, 'lenient');
+    const actualFrom = (0, instant_js_1.instantOf)(period.queried.from, 'lenient');
+    const actualTo = (0, instant_js_1.instantOf)(period.queried.to, 'lenient');
+    return (from !== undefined &&
+        to !== undefined &&
+        actualFrom !== undefined &&
+        actualTo !== undefined &&
+        (0, instant_js_1.compareInstants)(from, actualFrom) === 0 &&
+        (0, instant_js_1.compareInstants)(to, actualTo) === 0);
+}
+exports.queriedPeriodMatches = queriedPeriodMatches;
+//# sourceMappingURL=scope.js.map

package/dist/integrity/claim-binding/scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../../src/integrity/claim-binding/scope.ts"],"names":[],"mappings":";;;AAAA,kFAAkF;AAClF,6DAA6D;AAC7D,iEAA2D;AAC3D,2DAAwE;AACxE,mEAAoE;AAIvD,QAAA,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,GAAG;IACT,YAAY,EAAE,IAAI;IAClB,UAAU,EAAE,EAAE;IACd,IAAI,EAAE,EAAE;IACR,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,GAAG,GAAG,IAAI;IACvB,aAAa,EAAE,IAAI,GAAG,IAAI;IAC1B,OAAO,EAAE,GAAG;CACb,CAAC,CAAC;AAEH,SAAgB,WAAW,CAAC,KAAc;IACxC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,IAAI,sBAAc,CAAC,IAAI,CAAC;AACjG,CAAC;AAFD,kCAEC;AAED,SAAgB,eAAe,CAAC,KAAc;IAC5C,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,UAAU,CAAC,eAAe,CAAC;QACjC,KAAK,CAAC,MAAM,IAAI,sBAAc,CAAC,YAAY,CAC5C,CAAC;AACJ,CAAC;AAND,0CAMC;AAED,kFAAkF;AAClF,SAAgB,cAAc,CAAC,KAAc,EAAE,OAAe;IAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;QAC3E,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,KAAgB,CAAC;IAClF,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;QAC7B,MAAM,GAAG,OAAO;QAChB,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,MAAM,GAAG,CAAC;QAE5C,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YACrD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAnBD,wCAmBC;AAED,qFAAqF;AACrF,SAAgB,kBAAkB,CAAC,GAAY;IAC7C,MAAM,MAAM,GAAG,IAAA,wBAAO,EAAC,GAAG,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAChF,MAAM,gBAAgB,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,sBAAc,CAAC,UAAU,CAAC,CAAC;IACtF,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAC1F,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,YAAY,EAAkB,EAAE;QACvE,MAAM,SAAS,GAAG,IAAA,wBAAO,EAAC,YAAY,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1F,MAAM,IAAI,GAAG,IAAA,yBAAQ,EAAC,SAAS,CAAC,YAAY,EAAE,sBAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAC/E,IACE,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;YACzB,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YACpB,IAAI,CAAC,MAAM,KAAK,CAAC;YACjB,IAAI,CAAC,MAAM,GAAG,sBAAc,CAAC,IAAI;YACjC,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YACxB,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,OAAO,SAAS,CAAC,SAAS,KAAK,UAAU,CAAC;YAEpF,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,YAAY,EAAE,IAAyB;YACvC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI;gBACzC,OAAO,EAAE,IAAA,yBAAQ,EAAC,SAAS,CAAC,OAAO,EAAE,sBAAc,CAAC,UAAU,EAAE,IAAI,CAAC;aACtE,CAAC;YACF,GAAG,CAAC,OAAO,SAAS,CAAC,SAAS,KAAK,UAAU,IAAI;gBAC/C,SAAS,EAAE,SAAS,CAAC,SAAqD;aAC3E,CAAC;SACH,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IACE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC;QACxC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAE5E,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,GAAG,CAAC,OAAO,MAAM,CAAC,eAAe,KAAK,QAAQ,IAAI,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC;KAC/F,CAAC,CAAC;AACL,CAAC;AA1CD,gDA0CC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,IAAa,EAAE,IAAuB;IACxD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,sBAAc,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QACpF,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACzC,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChE,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,GAAG,IAAI,MAAM;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAChF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC;IAC5B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAgB,aAAa,CAC3B,IAAa,EACb,WAA6B;IAE7B,WAAW,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC;YACtE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,IAAI,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,YAAY,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC;YAAE,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC;QAC1F,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACvE,4EAA4E;QAC5E,KAAK,GAAG,IAAA,yBAAQ,EAAC,KAAK,EAAE,sBAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACzD,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC1E,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE;YAC3C,KAAK,EAAE,IAAA,yBAAQ,EAAC,KAAK,EAAE,sBAAc,CAAC,UAAU,EAAE,IAAI,CAAC;YACvD,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,IACE,WAAW,CAAC,eAAe,KAAK,SAAS;QACzC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,eAAe,CAAC;QAElD,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,OAAO,IAAA,yBAAQ,EAAC,KAAK,EAAE,sBAAc,CAAC,UAAU,EAAE,IAAI,CAAsC,CAAC;AAC/F,CAAC;AA1BD,sCA0BC;AAED,sFAAsF;AACtF,SAAgB,WAAW,CACzB,QAA2C,EAC3C,QAAiB;IAEjB,MAAM,QAAQ,GAAG,IAAA,wBAAO,EAAC,IAAA,yBAAQ,EAAC,QAAQ,EAAE,sBAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9E,OAAO,IAAA,gCAAa,EAAC,QAAQ,CAAC,KAAK,IAAA,gCAAa,EAAC,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAND,kCAMC;AAED,mFAAmF;AACnF,SAAgB,oBAAoB,CAAC,UAAmB,EAAE,MAAsB;IAC9E,MAAM,KAAK,GAAG,IAAA,wBAAO,EAAC,UAAU,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAClD,IAAI,IAAA,yBAAa,EAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5F,MAAM,IAAI,GAAG,IAAA,sBAAS,EAAC,KAAK,CAAC,IAAc,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,IAAA,sBAAS,EAAC,KAAK,CAAC,EAAY,EAAE,SAAS,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAA,sBAAS,EAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAA,sBAAS,EAAC,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACzD,OAAO,CACL,IAAI,KAAK,SAAS;QAClB,EAAE,KAAK,SAAS;QAChB,UAAU,KAAK,SAAS;QACxB,QAAQ,KAAK,SAAS;QACtB,IAAA,4BAAe,EAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;QACvC,IAAA,4BAAe,EAAC,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,CACpC,CAAC;AACJ,CAAC;AAfD,oDAeC"}

package/dist/integrity/claim-binding/types.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BINDING_REASONS = void 0;
+exports.BINDING_REASONS = Object.freeze([
+    'invalid-claim',
+    'unknown-rule',
+    'invalid-rule',
+    'missing-result',
+    'ambiguous-result',
+    'foreign-result',
+    'incomplete-result',
+    'withheld-evidence',
+    'unassociated-result',
+    'invalid-evidence',
+    'missing-scope',
+    'scope-mismatch',
+    'scope-version-mismatch',
+    'missing-fact',
+    'ambiguous-fact',
+    'unasserted-value',
+    'coverage-undeclared',
+    'coverage-partial',
+    'coverage-unknown',
+    'coverage-stale',
+]);
+//# sourceMappingURL=types.js.map

package/dist/integrity/claim-binding/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/integrity/claim-binding/types.ts"],"names":[],"mappings":";;;AAgCa,QAAA,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,eAAe;IACf,cAAc;IACd,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,gBAAgB;IAChB,mBAAmB;IACnB,mBAAmB;IACnB,qBAAqB;IACrB,kBAAkB;IAClB,eAAe;IACf,gBAAgB;IAChB,wBAAwB;IACxB,cAAc;IACd,gBAAgB;IAChB,kBAAkB;IAClB,qBAAqB;IACrB,kBAAkB;IAClB,kBAAkB;IAClB,gBAAgB;CACR,CAAC,CAAC"}

package/dist/integrity/unsupported-claim/check.js

@@ -35,7 +35,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.unsupportedClaimsOf = void 0;
 const types_js_1 = require("../assertion/types.js");
-const conflicts_js_1 = require("../assertion/conflicts.js");
+const evaluate_js_1 = require("./evaluate.js");
 /** Minimal dot-path read; `undefined` for any miss along the way. */
 function readPath(answer, path) {
     let cursor = answer;
@@ -46,14 +46,6 @@ function readPath(answer, path) {
     }
     return cursor;
 }
-const isDoubt = (value) => value === null || value === 'unknown';
-/** The stated one-direction leniency: '30' claims 30. */
-function numericallyEqual(claimed, settled) {
-    return (typeof settled === 'number' &&
-        typeof claimed === 'string' &&
-        claimed.trim() !== '' &&
-        Number(claimed) === settled);
-}
 /**
  * Compare the parsed answer's declared claims against the ledger.
  * Pure; the caller files findings and dispositions.
@@ -70,26 +62,38 @@ function unsupportedClaimsOf(declared, ledger, answer, epoch) {
         }
         const rows = ledger.filter((r) => r.entity === claim.entity && r.field === claim.field);
         const settledRow = rows[rows.length - 1];
-        if (settledRow === undefined || !(0, types_js_1.participates)(settledRow.value)) {
-            // Never collected, or collected as an honest unknown — incomparable.
+        if (settledRow === undefined) {
+            // Never collected — incomparable, never an accusation.
             dispositions.push({ claim: claim.answerField, disposition: 'unreachable' });
             continue;
         }
         const subject = { kind: 'entity', id: claim.entity };
-        const settledValue = (0, types_js_1.comparableValueOf)(settledRow.value);
         const ledgerProvenance = `${settledRow.toolName} (call ${settledRow.toolCallId}, iteration ` +
             `${String(settledRow.iteration)})` +
             (settledRow.measuredAt !== undefined ? `, measured_at ${String(settledRow.measuredAt)}` : '');
-        if (isDoubt(claimed)) {
-            // …unless the RUN settled a non-reading too. Reporting `null` for a
-            // fact whose settled value is `null` is agreement, not doubt — the
-            // model declined nothing. Checked here rather than by falling through
-            // to the comparison below, because the advisory's whole premise is
-            // "a verified value existed and the answer declined it".
-            if (isDoubt(settledValue)) {
-                dispositions.push({ claim: claim.answerField, disposition: 'checked-pass' });
-                continue;
-            }
+        const evidence = {
+            subject,
+            predicate: claim.field,
+            value: settledRow.value,
+            epoch,
+            stratum: 'asserted',
+            provenance: ledgerProvenance,
+        };
+        const assertion = {
+            subject,
+            predicate: claim.field,
+            value: claimed,
+            epoch,
+            stratum: 'asserted',
+            provenance: `answer field '${claim.answerField}'`,
+        };
+        const evaluation = (0, evaluate_js_1.evaluateClaimPair)(evidence, assertion);
+        if (evaluation === 'evidence-unavailable') {
+            dispositions.push({ claim: claim.answerField, disposition: 'unreachable' });
+            continue;
+        }
+        const settledValue = (0, types_js_1.comparableValueOf)(settledRow.value);
+        if (evaluation === 'doubt-against-value') {
             // The model declined to claim a fact the run verified — an advisory.
             findings.push({
                 kind: 'unsupported-claim',
@@ -100,16 +104,7 @@ function unsupportedClaimsOf(declared, ledger, answer, epoch) {
                 // predicate their identities collide and the second is deduplicated
                 // away, leaving the event channel disagreeing with the ledger.
                 predicate: claim.field,
-                witnesses: [
-                    {
-                        subject,
-                        predicate: claim.field,
-                        value: settledRow.value,
-                        epoch,
-                        stratum: 'asserted',
-                        provenance: ledgerProvenance,
-                    },
-                ],
+                witnesses: [evidence],
                 epoch,
                 message: `The answer's '${claim.answerField}' says ${JSON.stringify(claimed)} while the run ` +
                     `verified ${claim.field}(${claim.entity}) = ${JSON.stringify(settledValue)} ` +
@@ -119,28 +114,15 @@ function unsupportedClaimsOf(declared, ledger, answer, epoch) {
             dispositions.push({ claim: claim.answerField, disposition: 'checked-pass' });
             continue;
         }
-        if (numericallyEqual(claimed, settledValue)) {
+        if (evaluation !== 'conflict') {
+            // Preserve the existing diagnostic mapping, including both-doubt and
+            // claim-nonparticipating. checked-pass here is NOT a support certificate.
             dispositions.push({ claim: claim.answerField, disposition: 'checked-pass' });
             continue;
         }
-        // The algebra decides "contradict" — the fences apply for free.
         const witnesses = [
-            {
-                subject,
-                predicate: claim.field,
-                value: settledRow.value,
-                epoch,
-                stratum: 'asserted',
-                provenance: ledgerProvenance,
-            },
-            {
-                subject,
-                predicate: claim.field,
-                value: claimed,
-                epoch,
-                stratum: 'asserted',
-                provenance: `answer field '${claim.answerField}'`,
-            },
+            evidence,
+            assertion,
             // Earlier values ride as QUOTED history: legitimately superseded, on
             // the record so a reader sees the fact's whole life, never firing.
             ...rows.slice(0, -1).map((r) => ({
@@ -151,10 +133,6 @@ function unsupportedClaimsOf(declared, ledger, answer, epoch) {
                 provenance: `${r.toolName} (call ${r.toolCallId}, iteration ${String(r.iteration)})`,
             })),
         ];
-        if ((0, conflicts_js_1.conflictsOf)(witnesses).length === 0) {
-            dispositions.push({ claim: claim.answerField, disposition: 'checked-pass' });
-            continue;
-        }
         findings.push({
             kind: 'unsupported-claim',
             seam: 'claim',

package/dist/integrity/unsupported-claim/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/integrity/unsupported-claim/check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAGH,oDAAwE;AACxE,4DAAwD;AA8BxD,qEAAqE;AACrE,SAAS,QAAQ,CAAC,MAAe,EAAE,IAAY;IAC7C,IAAI,MAAM,GAAY,MAAM,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC;AAEnF,yDAAyD;AACzD,SAAS,gBAAgB,CAAC,OAAgB,EAAE,OAAgB;IAC1D,OAAO,CACL,OAAO,OAAO,KAAK,QAAQ;QAC3B,OAAO,OAAO,KAAK,QAAQ;QAC3B,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE;QACrB,MAAM,CAAC,OAAO,CAAC,KAAK,OAAO,CAC5B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,mBAAmB,CACjC,QAAkC,EAClC,MAAiC,EACjC,MAAe,EACf,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkD,EAAE,CAAC;IAEvE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,kEAAkE;YAClE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,IAAA,uBAAY,EAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,qEAAqE;YACrE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACjE,MAAM,YAAY,GAAG,IAAA,4BAAiB,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzD,MAAM,gBAAgB,GACpB,GAAG,UAAU,CAAC,QAAQ,UAAU,UAAU,CAAC,UAAU,cAAc;YACnE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG;YAClC,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEhG,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACrB,oEAAoE;YACpE,mEAAmE;YACnE,sEAAsE;YACtE,mEAAmE;YACnE,yDAAyD;YACzD,IAAI,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC1B,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;gBAC7E,SAAS;YACX,CAAC;YACD,qEAAqE;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,8DAA8D;gBAC9D,oEAAoE;gBACpE,+DAA+D;gBAC/D,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,SAAS,EAAE;oBACT;wBACE,OAAO;wBACP,SAAS,EAAE,KAAK,CAAC,KAAK;wBACtB,KAAK,EAAE,UAAU,CAAC,KAAK;wBACvB,KAAK;wBACL,OAAO,EAAE,UAAU;wBACnB,UAAU,EAAE,gBAAgB;qBAC7B;iBACF;gBACD,KAAK;gBACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;oBACpF,YAAY,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;oBAC7E,IAAI,gBAAgB,sDAAsD;oBAC1E,sDAAsD;aACzD,CAAC,CAAC;YACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,IAAI,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;YAC5C,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,MAAM,SAAS,GAAgB;YAC7B;gBACE,OAAO;gBACP,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,KAAK,EAAE,UAAU,CAAC,KAAK;gBACvB,KAAK;gBACL,OAAO,EAAE,UAAU;gBACnB,UAAU,EAAE,gBAAgB;aAC7B;YACD;gBACE,OAAO;gBACP,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,KAAK,EAAE,OAAO;gBACd,KAAK;gBACL,OAAO,EAAE,UAAU;gBACnB,UAAU,EAAE,iBAAiB,KAAK,CAAC,WAAW,GAAG;aAClD;YACD,qEAAqE;YACrE,mEAAmE;YACnE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CACtB,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC;gBACjB,OAAO;gBACP,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,QAAQ;gBACjB,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,UAAU,eAAe,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG;aACrF,CAAC,CACH;SACF,CAAC;QACF,IAAI,IAAA,0BAAW,EAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,SAAS;YACT,KAAK;YACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;gBACtF,mBAAmB,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;gBACpF,IAAI,gBAAgB,gEAAgE;gBACpF,8DAA8D;SACjE,CAAC,CAAC;QACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AACpC,CAAC;AA/HD,kDA+HC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/integrity/unsupported-claim/check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAGH,oDAA0D;AAG1D,+CAAkD;AA4BlD,qEAAqE;AACrE,SAAS,QAAQ,CAAC,MAAe,EAAE,IAAY;IAC7C,IAAI,MAAM,GAAY,MAAM,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAgB,mBAAmB,CACjC,QAAkC,EAClC,MAAiC,EACjC,MAAe,EACf,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkD,EAAE,CAAC;IAEvE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,kEAAkE;YAClE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,uDAAuD;YACvD,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACjE,MAAM,gBAAgB,GACpB,GAAG,UAAU,CAAC,QAAQ,UAAU,UAAU,CAAC,UAAU,cAAc;YACnE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG;YAClC,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEhG,MAAM,QAAQ,GAAc;YAC1B,OAAO;YACP,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,gBAAgB;SAC7B,CAAC;QACF,MAAM,SAAS,GAAc;YAC3B,OAAO;YACP,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,KAAK,EAAE,OAAO;YACd,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,iBAAiB,KAAK,CAAC,WAAW,GAAG;SAClD,CAAC;QACF,MAAM,UAAU,GAAG,IAAA,+BAAiB,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,sBAAsB,EAAE,CAAC;YAC1C,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,IAAA,4BAAiB,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,qBAAqB,EAAE,CAAC;YACzC,qEAAqE;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,8DAA8D;gBAC9D,oEAAoE;gBACpE,+DAA+D;gBAC/D,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,SAAS,EAAE,CAAC,QAAQ,CAAC;gBACrB,KAAK;gBACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;oBACpF,YAAY,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;oBAC7E,IAAI,gBAAgB,sDAAsD;oBAC1E,sDAAsD;aACzD,CAAC,CAAC;YACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC9B,qEAAqE;YACrE,0EAA0E;YAC1E,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAgB;YAC7B,QAAQ;YACR,SAAS;YACT,qEAAqE;YACrE,mEAAmE;YACnE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CACtB,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC;gBACjB,OAAO;gBACP,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,QAAQ;gBACjB,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,UAAU,eAAe,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG;aACrF,CAAC,CACH;SACF,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,SAAS;YACT,KAAK;YACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;gBACtF,mBAAmB,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;gBACpF,IAAI,gBAAgB,gEAAgE;gBACpF,8DAA8D;SACjE,CAAC,CAAC;QACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AACpC,CAAC;AAlHD,kDAkHC"}

package/dist/integrity/unsupported-claim/evaluate.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evaluateClaimPair = void 0;
+const types_js_1 = require("../assertion/types.js");
+const conflicts_js_1 = require("../assertion/conflicts.js");
+const isDoubt = (value) => value === null || value === 'unknown';
+/** The existing one-direction leniency: a raw numeric string claims a number. */
+function numericallyEqual(claimed, settled) {
+    return (typeof settled === 'number' &&
+        typeof claimed === 'string' &&
+        claimed.trim() !== '' &&
+        Number(claimed) === settled);
+}
+/**
+ * Evaluate an explicitly selected evidence/claim pair, without selecting or
+ * rewriting either assertion. Adapters must establish that the asserted pair
+ * concerns the same subject, predicate and epoch before interpreting a result.
+ * No rule here establishes scope, completeness, authorisation or truth.
+ */
+function evaluateClaimPair(evidence, claim) {
+    if (!(0, types_js_1.participates)(evidence.value))
+        return 'evidence-unavailable';
+    const settled = (0, types_js_1.comparableValueOf)(evidence.value);
+    // RAW claimed null/'unknown' is doubt; a known(...) wrapper follows the
+    // algebra below. Unwrapping both sides here would change the old contract.
+    if (isDoubt(claim.value))
+        return isDoubt(settled) ? 'both-doubt' : 'doubt-against-value';
+    if (numericallyEqual(claim.value, settled))
+        return 'numeric-leniency';
+    const conflict = (0, conflicts_js_1.conflictsOf)([evidence, claim]).length !== 0;
+    // Classify the absence without converting it into positive agreement. Do
+    // this AFTER the algebra so its existing serialization failures still occur.
+    if (!(0, types_js_1.participates)(claim.value))
+        return 'claim-nonparticipating';
+    return conflict ? 'conflict' : 'no-conflict';
+}
+exports.evaluateClaimPair = evaluateClaimPair;
+//# sourceMappingURL=evaluate.js.map

package/dist/integrity/unsupported-claim/evaluate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/integrity/unsupported-claim/evaluate.ts"],"names":[],"mappings":";;;AAUA,oDAAwE;AACxE,4DAAwD;AAWxD,MAAM,OAAO,GAAG,CAAC,KAAc,EAAW,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,CAAC;AAEnF,iFAAiF;AACjF,SAAS,gBAAgB,CAAC,OAAgB,EAAE,OAAgB;IAC1D,OAAO,CACL,OAAO,OAAO,KAAK,QAAQ;QAC3B,OAAO,OAAO,KAAK,QAAQ;QAC3B,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE;QACrB,MAAM,CAAC,OAAO,CAAC,KAAK,OAAO,CAC5B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,iBAAiB,CAAC,QAAmB,EAAE,KAAgB;IACrE,IAAI,CAAC,IAAA,uBAAY,EAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,sBAAsB,CAAC;IAEjE,MAAM,OAAO,GAAG,IAAA,4BAAiB,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClD,wEAAwE;IACxE,2EAA2E;IAC3E,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC;IACzF,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC;QAAE,OAAO,kBAAkB,CAAC;IAEtE,MAAM,QAAQ,GAAG,IAAA,0BAAW,EAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IAC7D,yEAAyE;IACzE,6EAA6E;IAC7E,IAAI,CAAC,IAAA,uBAAY,EAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,wBAAwB,CAAC;IAChE,OAAO,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;AAC/C,CAAC;AAdD,8CAcC"}