@sourcey/catalog-verifier 1.1.4 → 1.1.5

package/dist/modules/evidence-operations/src/proof-graph.js

@@ -1,28 +1,58 @@
-import { canonicalJson, digest, sha256Bytes } from "provenry/primitives";
+import { compareInstants, digest, sha256Bytes } from "provenry/primitives";
 import { sourceyCaptureMethodRegistry } from "../../../contracts/capture/src/methods.js";
+import { evidenceReviewDecisionCoreSchema, evidenceReviewDecisionSchema, } from "../../../contracts/evidence/src/index.js";
 import { catalogRevisionContracts, entityRevisionSchema, } from "../../../contracts/revisions/src/index.js";
-import { deriveSourceStanding, evidenceNormalizerForToolchainDigest, normalizeEvidenceCapture, verifyEvidenceAssertions, } from "./submission-verifier.js";
+import { assertAttestedObservationCapture } from "./attested-capture.js";
+import { EVIDENCE_NORMALIZER } from "./evidence-normalization.js";
+import { currentListingRevision } from "./retained-revision.js";
+import { deriveSourceStanding, normalizeEvidenceCapture, verifyEvidenceAssertions, } from "./submission-verifier.js";
 /**
- * Verifies the complete public evidence graph from immutable local bytes.
- * Callers supply already-materialized objects; this kernel performs no I/O.
- * Normalized bytes are proven by reproducing them from their capture.
+ * Verifies the public evidence graph a release holds, from immutable local
+ * bytes; this kernel performs no I/O. Evidence the release first includes is
+ * proved: its normalized bytes reproduce from its capture with the current
+ * profile, its assertions locate in them, and its capture is the one a Provenry
+ * attestation the caller has verified (`verifyAttestedCaptures`) proves.
+ * Evidence an earlier release first included is carried: that release proved
+ * it, so here only its citations must resolve (lean-release-chain §3.1).
  */
 export function verifyEvidenceObjectGraph(input) {
     const revisions = new Map(input.revisions.map((revision) => [revision.revision_digest, revision]));
     const observations = new Map(input.observations.map((observation) => [observation.observation_id, observation]));
-    const captureReceipts = new Map();
-    const captureReceiptOperations = new Set();
-    for (const receipt of input.captureReceipts) {
-        const { receipt_digest: receiptDigest, protected: _, ...core } = receipt;
-        if (digest(core) !== receiptDigest ||
-            captureReceipts.has(receiptDigest) ||
-            captureReceiptOperations.has(receipt.operation_id)) {
-            throw new Error(`Capture receipt ${receiptDigest} is not uniquely content-addressed.`);
-        }
-        captureReceipts.set(receiptDigest, receipt);
-        captureReceiptOperations.add(receipt.operation_id);
+    const carriedEventIds = input.carriedEventIds ?? new Set();
+    const usedAttestations = new Set();
+    // Carried evidence resolves its citations; nothing it rests on is proved again.
+    const carriedObservationIds = new Set();
+    for (const event of input.events) {
+        if (event.kind !== "evidence.bound" || !carriedEventIds.has(event.event_id))
+            continue;
+        const payload = event.payload;
+        for (const revisionDigest of [
+            event.subject.revision_digest,
+            payload.authority_entity_revision_digest,
+            payload.authority_program_revision_digest,
+        ]) {
+            if (typeof revisionDigest === "string" && !revisions.has(revisionDigest)) {
+                throw new Error(`Carried evidence event ${event.event_id} lacks its revision ${revisionDigest}.`);
+            }
+        }
+        const observationId = requiredString(payload.observation_id, "observation_id");
+        const observation = observations.get(observationId);
+        if (!observation) {
+            throw new Error(`Carried evidence event ${event.event_id} lacks its observation.`);
+        }
+        if (payload.normalized_object_digest !== undefined &&
+            payload.normalized_object_digest !== observation.capture?.normalized_object?.digest) {
+            throw new Error(`Carried evidence event ${event.event_id} names the wrong normalized object.`);
+        }
+        carriedObservationIds.add(observationId);
+        if (payload.capture_attestation_digest !== undefined) {
+            const attestationDigest = requiredString(payload.capture_attestation_digest, "capture_attestation_digest");
+            if (!input.attestedCaptures.has(attestationDigest)) {
+                throw new Error(`Carried evidence event ${event.event_id} lacks its capture attestation.`);
+            }
+            usedAttestations.add(attestationDigest);
+        }
     }
-    const usedCaptureReceipts = new Set();
     for (const observation of input.observations) {
         const capture = observation.capture;
         if (capture?.availability !== "public")
@@ -37,19 +67,23 @@ export function verifyEvidenceObjectGraph(input) {
             throw new Error(`Observation ${observation.observation_id} lacks its normalized evidence declaration.`);
         }
         const normalizedBytes = input.normalizedObjects.get(capture.normalized_object.digest);
-        if (!normalizedBytes || normalizedBytes.byteLength !== capture.normalized_object.bytes) {
+        if (!normalizedBytes ||
+            normalizedBytes.byteLength !== capture.normalized_object.bytes ||
+            (!input.capturesProven && sha256Bytes(normalizedBytes) !== capture.normalized_object.digest)) {
             throw new Error(`Observation ${observation.observation_id} lacks its normalized evidence bytes.`);
         }
-        const normalizer = evidenceNormalizerForToolchainDigest(capture.normalized_object.toolchain_digest);
-        if (capture.normalized_object.normalizer_contract !== normalizer.normalizer_contract ||
-            capture.normalized_object.normalizer_id !== normalizer.normalizer_id ||
-            capture.normalized_object.version !== normalizer.version) {
-            throw new Error(`Observation ${observation.observation_id} uses an unsupported evidence normalizer.`);
+        // The release that first included carried evidence normalized it.
+        if (carriedObservationIds.has(observation.observation_id))
+            continue;
+        if (capture.normalized_object.normalizer_contract !== EVIDENCE_NORMALIZER.normalizer_contract ||
+            capture.normalized_object.normalizer_id !== EVIDENCE_NORMALIZER.normalizer_id ||
+            capture.normalized_object.version !== EVIDENCE_NORMALIZER.version ||
+            capture.normalized_object.toolchain_digest !== EVIDENCE_NORMALIZER.toolchain_digest) {
+            throw new Error(`Observation ${observation.observation_id} is not normalized with the current profile.`);
         }
         const reproduced = normalizeEvidenceCapture({
             bytes: captureBytes,
             mediaType: capture.media_type,
-            normalizerToolchainDigest: normalizer.toolchain_digest,
         });
         if (reproduced.digest !== capture.normalized_object.digest ||
             !bytesEqual(reproduced.bytes, normalizedBytes)) {
@@ -57,15 +91,13 @@ export function verifyEvidenceObjectGraph(input) {
         }
     }
     for (const event of input.events) {
-        if (event.kind !== "evidence.bound")
+        if (event.kind !== "evidence.bound" || carriedEventIds.has(event.event_id))
             continue;
         const revisionDigest = event.subject.revision_digest;
-        const revision = revisionDigest ? revisions.get(revisionDigest) : undefined;
-        if (!revision)
+        const retained = revisionDigest ? revisions.get(revisionDigest) : undefined;
+        if (!retained)
             throw new Error(`Evidence event ${event.event_id} lacks its exact revision.`);
-        if (revision.revision_contract === "sourcey.agent-readiness-declaration-revision/v1alpha1") {
-            throw new Error(`Evidence event ${event.event_id} cannot target a declaration revision.`);
-        }
+        const revision = currentListingRevision(retained);
         const payload = event.payload;
         const observationId = requiredString(payload.observation_id, "observation_id");
         const observation = observations.get(observationId);
@@ -119,18 +151,6 @@ export function verifyEvidenceObjectGraph(input) {
             }
             continue;
         }
-        const captureReceiptDigest = requiredString(payload.capture_receipt_digest, "capture_receipt_digest");
-        const captureReceipt = captureReceipts.get(captureReceiptDigest);
-        if (!captureReceipt) {
-            throw new Error(`Evidence event ${event.event_id} lacks its capture receipt.`);
-        }
-        usedCaptureReceipts.add(captureReceiptDigest);
-        if (canonicalJson(captureReceipt.subject) !== canonicalJson(event.subject) ||
-            captureReceipt.authority_entity_revision_digest !== authorityRevisionDigest ||
-            captureReceipt.authority_program_revision_digest !== authorityProgramRevisionDigest ||
-            captureReceipt.issued_at > event.occurred_at) {
-            throw new Error(`Evidence event ${event.event_id} disagrees with its capture receipt.`);
-        }
         if (!observation.capture.requested_uri ||
             !observation.capture.final_uri ||
             !observation.capture.redirect_chain ||
@@ -152,25 +172,28 @@ export function verifyEvidenceObjectGraph(input) {
         if (sourceStanding !== observation.capture.source_standing) {
             throw new Error(`Evidence event ${event.event_id} has incorrect source standing.`);
         }
-        const receiptCapture = captureReceipt.capture;
-        if (receiptCapture.subject_source_url !== observation.source_uri ||
-            receiptCapture.requested_url !== observation.capture.requested_uri ||
-            receiptCapture.final_url !== observation.capture.final_uri ||
-            canonicalJson(receiptCapture.redirect_chain) !==
-                canonicalJson(observation.capture.redirect_chain) ||
-            receiptCapture.retrieved_at !== observation.retrieved_at ||
-            receiptCapture.method !== observation.method.name ||
-            receiptCapture.media_type !== observation.capture.media_type ||
-            receiptCapture.digest !== observation.capture.digest ||
-            receiptCapture.bytes !== observation.capture.bytes ||
-            receiptCapture.availability !==
-                (observation.capture.availability === "public" ? "public" : "restricted")) {
-            throw new Error(`Evidence event ${event.event_id} capture receipt binds different bytes.`);
+        const attestationDigest = requiredString(payload.capture_attestation_digest, "capture_attestation_digest");
+        const captured = input.attestedCaptures.get(attestationDigest);
+        if (!captured) {
+            throw new Error(`Evidence event ${event.event_id} lacks its capture attestation.`);
+        }
+        usedAttestations.add(attestationDigest);
+        const decision = evidenceReviewDecisionSchema.parse(payload.review_decision);
+        const { decision_digest: decisionDigest, ...decisionCore } = decision;
+        if (digest(evidenceReviewDecisionCoreSchema.parse(decisionCore)) !== decisionDigest ||
+            decision.decision !== "approved" ||
+            compareInstants(decision.decided_at, event.occurred_at) > 0) {
+            throw new Error(`Evidence event ${event.event_id} lacks its exact approved review.`);
+        }
+        if (observation.capture.availability !== "public" ||
+            compareInstants(captured.attestation.signed_at, event.occurred_at) > 0) {
+            throw new Error(`Evidence event ${event.event_id} disagrees with its capture attestation.`);
         }
+        assertAttestedObservationCapture(observation, captured);
     }
-    for (const receipt of input.captureReceipts) {
-        if (!usedCaptureReceipts.has(receipt.receipt_digest)) {
-            throw new Error(`Capture receipt ${receipt.receipt_digest} is not bound by an evidence event.`);
+    for (const attestationDigest of input.attestedCaptures.keys()) {
+        if (!usedAttestations.has(attestationDigest)) {
+            throw new Error(`Capture attestation ${attestationDigest} is not bound by an evidence event.`);
         }
     }
 }

package/dist/modules/evidence-operations/src/proof-graph.js.map

@@ -1 +1 @@
-{"version":3,"file":"proof-graph.js","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/proof-graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAe,MAAM,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AAGzF,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,2CAA2C,CAAC;AAGnD,OAAO,EACL,oBAAoB,EACpB,oCAAoC,EACpC,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,0BAA0B,CAAC;AAElC;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAazC;IACC,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC,CACnF,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkC,CAAC;IAClE,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;IACnD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC5C,MAAM,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;QACzE,IACE,MAAM,CAAC,IAAI,CAAC,KAAK,aAAa;YAC9B,eAAe,CAAC,GAAG,CAAC,aAAa,CAAC;YAClC,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,EAClD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,mBAAmB,aAAa,qCAAqC,CAAC,CAAC;QACzF,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;QAC5C,wBAAwB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9C,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC;QACpC,IAAI,OAAO,EAAE,YAAY,KAAK,QAAQ;YAAE,SAAS;QACjD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAgB,CAAC,CAAC;QAClE,IACE,CAAC,YAAY;YACb,YAAY,CAAC,UAAU,KAAK,OAAO,CAAC,KAAK;YACzC,CAAC,CAAC,KAAK,CAAC,cAAc,IAAI,WAAW,CAAC,YAAY,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,EACvE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,eAAe,WAAW,CAAC,cAAc,kCAAkC,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,6CAA6C,CACvF,CAAC;QACJ,CAAC;QACD,MAAM,eAAe,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAgB,CAAC,CAAC;QAChG,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,UAAU,KAAK,OAAO,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;YACvF,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,uCAAuC,CACjF,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,oCAAoC,CACrD,OAAO,CAAC,iBAAiB,CAAC,gBAA0B,CACrD,CAAC;QACF,IACE,OAAO,CAAC,iBAAiB,CAAC,mBAAmB,KAAK,UAAU,CAAC,mBAAmB;YAChF,OAAO,CAAC,iBAAiB,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa;YACpE,OAAO,CAAC,iBAAiB,CAAC,OAAO,KAAK,UAAU,CAAC,OAAO,EACxD,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,2CAA2C,CACrF,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,wBAAwB,CAAC;YAC1C,KAAK,EAAE,YAAY;YACnB,SAAS,EAAE,OAAO,CAAC,UAAU;YAC7B,yBAAyB,EAAE,UAAU,CAAC,gBAA0B;SACjE,CAAC,CAAC;QACH,IACE,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,iBAAiB,CAAC,MAAM;YACtD,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,EAAE,eAAe,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,8CAA8C,CACxF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAAE,SAAS;QAC9C,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC;QACrD,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,4BAA4B,CAAC,CAAC;QAC7F,IAAI,QAAQ,CAAC,iBAAiB,KAAK,uDAAuD,EAAE,CAAC;YAC3F,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,wCAAwC,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAkC,CAAC;QACzD,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,oCAAoC,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,gCAAgC,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,2CAA2C,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,gBAAgB,GAAG,cAAc,CACrC,OAAO,CAAC,wBAAwB,EAChC,0BAA0B,CACjB,CAAC;QACZ,IAAI,WAAW,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YACtE,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,qCAAqC,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,eAAe,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACtE,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,oCAAoC,CAAC,CAAC;QACxF,CAAC;QACD,wBAAwB,CAAC;YACvB,UAAU,EAAE,OAAO,CAAC,UAEF;YAClB,eAAe;YACf,QAAQ;SACT,CAAC,CAAC;QACH,MAAM,uBAAuB,GAAG,cAAc,CAC5C,OAAO,CAAC,gCAAgC,EACxC,kCAAkC,CACnC,CAAC;QACF,MAAM,uBAAuB,GAAG,SAAS,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACvE,IACE,uBAAuB,EAAE,iBAAiB,KAAK,wBAAwB,CAAC,MAAM;YAC9E,uBAAuB,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,EACxD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,uCAAuC,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,8BAA8B,GAAG,OAAO,CAAC,iCAAiC,CAAC;QACjF,IACE,QAAQ,CAAC,iBAAiB,KAAK,wBAAwB,CAAC,KAAK;YAC7D,QAAQ,CAAC,UAAU,KAAK,SAAS,EACjC,CAAC;YACD,MAAM,aAAa,GAAG,cAAc,CAClC,8BAA8B,EAC9B,mCAAmC,CACpC,CAAC;YACF,MAAM,wBAAwB,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC9D,IACE,wBAAwB,EAAE,iBAAiB,KAAK,wBAAwB,CAAC,OAAO;gBAChF,wBAAwB,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;gBACzD,wBAAwB,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,EAC3D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,wCAAwC,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;aAAM,IAAI,8BAA8B,KAAK,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,uCAAuC,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1C,IACE,CAAC,KAAK,CAAC,oBAAoB;gBAC3B,WAAW,CAAC,OAAO,CAAC,eAAe,KAAK,kBAAkB;gBAC1D,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC9D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,QAAQ,kBAAkB,CAAC,CAAC;YACxE,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,oBAAoB,GAAG,cAAc,CACzC,OAAO,CAAC,sBAAsB,EAC9B,wBAAwB,CACzB,CAAC;QACF,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QACjE,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,6BAA6B,CAAC,CAAC;QACjF,CAAC;QACD,mBAAmB,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QAC9C,IACE,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;YACtE,cAAc,CAAC,gCAAgC,KAAK,uBAAuB;YAC3E,cAAc,CAAC,iCAAiC,KAAK,8BAA8B;YACnF,cAAc,CAAC,SAAS,GAAG,KAAK,CAAC,WAAW,EAC5C,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,sCAAsC,CAAC,CAAC;QAC1F,CAAC;QACD,IACE,CAAC,WAAW,CAAC,OAAO,CAAC,aAAa;YAClC,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS;YAC9B,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc;YACnC,CAAC,WAAW,CAAC,OAAO,CAAC,eAAe,EACpC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,qCAAqC,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QACvC,4BAA4B,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,cAAc,GAAG,oBAAoB,CACzC;YACE,kBAAkB,EAAE,WAAW,CAAC,UAAU;YAC1C,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS;YACxC,YAAY,EAAE,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,MAAoD;SAC7D,EACD;YACE,OAAO,EAAE;gBACP,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAC5D,uBAA+D,CAAC,OAAO,EAAE,OAAO,CAClF;aACF;SACF,CACF,CAAC;QACF,IAAI,cAAc,KAAK,WAAW,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,iCAAiC,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC;QAC9C,IACE,cAAc,CAAC,kBAAkB,KAAK,WAAW,CAAC,UAAU;YAC5D,cAAc,CAAC,aAAa,KAAK,WAAW,CAAC,OAAO,CAAC,aAAa;YAClE,cAAc,CAAC,SAAS,KAAK,WAAW,CAAC,OAAO,CAAC,SAAS;YAC1D,aAAa,CAAC,cAAc,CAAC,cAAc,CAAC;gBAC1C,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC;YACnD,cAAc,CAAC,YAAY,KAAK,WAAW,CAAC,YAAY;YACxD,cAAc,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI;YACjD,cAAc,CAAC,UAAU,KAAK,WAAW,CAAC,OAAO,CAAC,UAAU;YAC5D,cAAc,CAAC,MAAM,KAAK,WAAW,CAAC,OAAO,CAAC,MAAM;YACpD,cAAc,CAAC,KAAK,KAAK,WAAW,CAAC,OAAO,CAAC,KAAK;YAClD,cAAc,CAAC,YAAY;gBACzB,CAAC,WAAW,CAAC,OAAO,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,EAC3E,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,yCAAyC,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC5C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,KAAK,CACb,mBAAmB,OAAO,CAAC,cAAc,qCAAqC,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,CAAC;IAC1F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,KAAiB;IACrD,OAAO,CACL,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAC7F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"proof-graph.js","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/proof-graph.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAe,MAAM,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AAEzF,OAAO,EACL,gCAAgC,EAChC,4BAA4B,GAC7B,MAAM,0CAA0C,CAAC;AAElD,OAAO,EACL,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,gCAAgC,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,sBAAsB,EAAgC,MAAM,wBAAwB,CAAC;AAC9F,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,0BAA0B,CAAC;AAElC;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAgBzC;IACC,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,CACxE,CAAC;IACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC,CACnF,CAAC;IACF,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,IAAI,IAAI,GAAG,EAAU,CAAC;IACnE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,gFAAgF;IAChF,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;YAAE,SAAS;QACtF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAkC,CAAC;QACzD,KAAK,MAAM,cAAc,IAAI;YAC3B,KAAK,CAAC,OAAO,CAAC,eAAe;YAC7B,OAAO,CAAC,gCAAgC;YACxC,OAAO,CAAC,iCAAiC;SAC1C,EAAE,CAAC;YACF,IAAI,OAAO,cAAc,KAAK,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;gBACzE,MAAM,IAAI,KAAK,CACb,0BAA0B,KAAK,CAAC,QAAQ,uBAAuB,cAAc,GAAG,CACjF,CAAC;YACJ,CAAC;QACH,CAAC;QACD,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,CAAC,QAAQ,yBAAyB,CAAC,CAAC;QACrF,CAAC;QACD,IACE,OAAO,CAAC,wBAAwB,KAAK,SAAS;YAC9C,OAAO,CAAC,wBAAwB,KAAK,WAAW,CAAC,OAAO,EAAE,iBAAiB,EAAE,MAAM,EACnF,CAAC;YACD,MAAM,IAAI,KAAK,CACb,0BAA0B,KAAK,CAAC,QAAQ,qCAAqC,CAC9E,CAAC;QACJ,CAAC;QACD,qBAAqB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACzC,IAAI,OAAO,CAAC,0BAA0B,KAAK,SAAS,EAAE,CAAC;YACrD,MAAM,iBAAiB,GAAG,cAAc,CACtC,OAAO,CAAC,0BAA0B,EAClC,4BAA4B,CAC7B,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACnD,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,CAAC,QAAQ,iCAAiC,CAAC,CAAC;YAC7F,CAAC;YACD,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC;QACpC,IAAI,OAAO,EAAE,YAAY,KAAK,QAAQ;YAAE,SAAS;QACjD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAgB,CAAC,CAAC;QAClE,IACE,CAAC,YAAY;YACb,YAAY,CAAC,UAAU,KAAK,OAAO,CAAC,KAAK;YACzC,CAAC,CAAC,KAAK,CAAC,cAAc,IAAI,WAAW,CAAC,YAAY,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,EACvE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,eAAe,WAAW,CAAC,cAAc,kCAAkC,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,6CAA6C,CACvF,CAAC;QACJ,CAAC;QACD,MAAM,eAAe,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAgB,CAAC,CAAC;QAChG,IACE,CAAC,eAAe;YAChB,eAAe,CAAC,UAAU,KAAK,OAAO,CAAC,iBAAiB,CAAC,KAAK;YAC9D,CAAC,CAAC,KAAK,CAAC,cAAc,IAAI,WAAW,CAAC,eAAe,CAAC,KAAK,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAC5F,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,uCAAuC,CACjF,CAAC;QACJ,CAAC;QACD,kEAAkE;QAClE,IAAI,qBAAqB,CAAC,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC;YAAE,SAAS;QACpE,IACE,OAAO,CAAC,iBAAiB,CAAC,mBAAmB,KAAK,mBAAmB,CAAC,mBAAmB;YACzF,OAAO,CAAC,iBAAiB,CAAC,aAAa,KAAK,mBAAmB,CAAC,aAAa;YAC7E,OAAO,CAAC,iBAAiB,CAAC,OAAO,KAAK,mBAAmB,CAAC,OAAO;YACjE,OAAO,CAAC,iBAAiB,CAAC,gBAAgB,KAAK,mBAAmB,CAAC,gBAAgB,EACnF,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,8CAA8C,CACxF,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,wBAAwB,CAAC;YAC1C,KAAK,EAAE,YAAY;YACnB,SAAS,EAAE,OAAO,CAAC,UAAU;SAC9B,CAAC,CAAC;QACH,IACE,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,iBAAiB,CAAC,MAAM;YACtD,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,EAAE,eAAe,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,KAAK,CACb,eAAe,WAAW,CAAC,cAAc,8CAA8C,CACxF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;YAAE,SAAS;QACrF,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC;QACrD,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,4BAA4B,CAAC,CAAC;QAC7F,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAkC,CAAC;QACzD,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACpD,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,oCAAoC,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,gCAAgC,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,2CAA2C,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,gBAAgB,GAAG,cAAc,CACrC,OAAO,CAAC,wBAAwB,EAChC,0BAA0B,CACjB,CAAC;QACZ,IAAI,WAAW,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;YACtE,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,qCAAqC,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,eAAe,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACtE,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,oCAAoC,CAAC,CAAC;QACxF,CAAC;QACD,wBAAwB,CAAC;YACvB,UAAU,EAAE,OAAO,CAAC,UAEF;YAClB,eAAe;YACf,QAAQ;SACT,CAAC,CAAC;QACH,MAAM,uBAAuB,GAAG,cAAc,CAC5C,OAAO,CAAC,gCAAgC,EACxC,kCAAkC,CACnC,CAAC;QACF,MAAM,uBAAuB,GAAG,SAAS,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;QACvE,IACE,uBAAuB,EAAE,iBAAiB,KAAK,wBAAwB,CAAC,MAAM;YAC9E,uBAAuB,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,EACxD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,uCAAuC,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,8BAA8B,GAAG,OAAO,CAAC,iCAAiC,CAAC;QACjF,IACE,QAAQ,CAAC,iBAAiB,KAAK,wBAAwB,CAAC,KAAK;YAC7D,QAAQ,CAAC,UAAU,KAAK,SAAS,EACjC,CAAC;YACD,MAAM,aAAa,GAAG,cAAc,CAClC,8BAA8B,EAC9B,mCAAmC,CACpC,CAAC;YACF,MAAM,wBAAwB,GAAG,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC9D,IACE,wBAAwB,EAAE,iBAAiB,KAAK,wBAAwB,CAAC,OAAO;gBAChF,wBAAwB,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;gBACzD,wBAAwB,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,EAC3D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,wCAAwC,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;aAAM,IAAI,8BAA8B,KAAK,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,uCAAuC,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1C,IACE,CAAC,KAAK,CAAC,oBAAoB;gBAC3B,WAAW,CAAC,OAAO,CAAC,eAAe,KAAK,kBAAkB;gBAC1D,CAAC,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAC9D,CAAC;gBACD,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,QAAQ,kBAAkB,CAAC,CAAC;YACxE,CAAC;YACD,SAAS;QACX,CAAC;QACD,IACE,CAAC,WAAW,CAAC,OAAO,CAAC,aAAa;YAClC,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS;YAC9B,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc;YACnC,CAAC,WAAW,CAAC,OAAO,CAAC,eAAe,EACpC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,qCAAqC,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QACvC,4BAA4B,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACzE,MAAM,cAAc,GAAG,oBAAoB,CACzC;YACE,kBAAkB,EAAE,WAAW,CAAC,UAAU;YAC1C,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,SAAS;YACxC,YAAY,EAAE,WAAW,CAAC,YAAY;YACtC,MAAM,EAAE,MAAoD;SAC7D,EACD;YACE,OAAO,EAAE;gBACP,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAC5D,uBAA+D,CAAC,OAAO,EAAE,OAAO,CAClF;aACF;SACF,CACF,CAAC;QACF,IAAI,cAAc,KAAK,WAAW,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,iCAAiC,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,iBAAiB,GAAG,cAAc,CACtC,OAAO,CAAC,0BAA0B,EAClC,4BAA4B,CAC7B,CAAC;QACF,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC/D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,iCAAiC,CAAC,CAAC;QACrF,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,4BAA4B,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC7E,MAAM,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG,YAAY,EAAE,GAAG,QAAQ,CAAC;QACtE,IACE,MAAM,CAAC,gCAAgC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,KAAK,cAAc;YAC/E,QAAQ,CAAC,QAAQ,KAAK,UAAU;YAChC,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,EAC3D,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,mCAAmC,CAAC,CAAC;QACvF,CAAC;QACD,IACE,WAAW,CAAC,OAAO,CAAC,YAAY,KAAK,QAAQ;YAC7C,eAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,EACtE,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,QAAQ,0CAA0C,CAAC,CAAC;QAC9F,CAAC;QACD,gCAAgC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IACD,KAAK,MAAM,iBAAiB,IAAI,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CACb,uBAAuB,iBAAiB,qCAAqC,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,mBAAmB,CAAC,CAAC;IAC1F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,KAAiB;IACrD,OAAO,CACL,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAC7F,CAAC;AACJ,CAAC"}

package/dist/modules/evidence-operations/src/retained-revision.d.ts

@@ -1,7 +1,9 @@
-import type { AgentReadinessDeclarationRevision, AgentReadinessRevision } from "../../../contracts/agent-readiness/src/index.js";
-import type { EntityRevision, OfferRevision, ProgramRevision } from "../../../contracts/revisions/src/index.js";
-export type RetainedCatalogRevision = EntityRevision | ProgramRevision | OfferRevision | AgentReadinessRevision | AgentReadinessDeclarationRevision;
-export type RetainedEvidenceBearingRevision = Exclude<RetainedCatalogRevision, AgentReadinessDeclarationRevision>;
-/** Parses a revision under the schema its contract names and proves its canonical core. */
+import { type RevisionDocument } from "../../../contracts/api/src/index.js";
+import { type ListingRevision } from "../../../contracts/revisions/src/index.js";
+/** A revision a release admitted, as its exact bytes. */
+export type RetainedCatalogRevision = RevisionDocument;
+/** Reads a retained revision's contract and digest, and proves its bytes against the digest. */
 export declare function parseRetainedCatalogRevision(value: unknown): RetainedCatalogRevision;
+/** A retained listing revision read for its meaning; any other contract is refused. */
+export declare function currentListingRevision(revision: RetainedCatalogRevision): ListingRevision;
 //# sourceMappingURL=retained-revision.d.ts.map

package/dist/modules/evidence-operations/src/retained-revision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"retained-revision.d.ts","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/retained-revision.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,iCAAiC,EACjC,sBAAsB,EACvB,MAAM,iDAAiD,CAAC;AAMzD,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACb,eAAe,EAChB,MAAM,2CAA2C,CAAC;AAQnD,MAAM,MAAM,uBAAuB,GAC/B,cAAc,GACd,eAAe,GACf,aAAa,GACb,sBAAsB,GACtB,iCAAiC,CAAC;AAEtC,MAAM,MAAM,+BAA+B,GAAG,OAAO,CACnD,uBAAuB,EACvB,iCAAiC,CAClC,CAAC;AAEF,2FAA2F;AAC3F,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAepF"}
+{"version":3,"file":"retained-revision.d.ts","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/retained-revision.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,gBAAgB,EAA0B,MAAM,qCAAqC,CAAC;AACpG,OAAO,EAGL,KAAK,eAAe,EAGrB,MAAM,2CAA2C,CAAC;AAEnD,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,gBAAgB,CAAC;AAEvD,gGAAgG;AAChG,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAcpF;AAED,uFAAuF;AACvF,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,uBAAuB,GAAG,eAAe,CAWzF"}

package/dist/modules/evidence-operations/src/retained-revision.js

@@ -1,32 +1,30 @@
 import { digest } from "provenry/primitives";
-import { agentReadinessDeclarationRevisionSchema, agentReadinessRevisionContract, agentReadinessRevisionSchema, } from "../../../contracts/agent-readiness/src/index.js";
+import { revisionDocumentSchema } from "../../../contracts/api/src/index.js";
 import { catalogRevisionContracts, entityRevisionSchema, offerRevisionSchema, programRevisionSchema, } from "../../../contracts/revisions/src/index.js";
-/** Parses a revision under the schema its contract names and proves its canonical core. */
+/** Reads a retained revision's contract and digest, and proves its bytes against the digest. */
 export function parseRetainedCatalogRevision(value) {
-    const candidate = typeof value === "object" && value !== null ? value : {};
-    const parsed = safeParseRevision(candidate.revision_contract, value);
+    const parsed = revisionDocumentSchema.safeParse(value);
     if (!parsed.success) {
-        throw new Error(`Retained revision ${String(candidate.revision_digest ?? "unknown")} (${String(candidate.revision_contract ?? "unknown")}) does not use the current revision contract.`);
+        const candidate = typeof value === "object" && value !== null ? value : {};
+        throw new Error(`Retained revision ${String(candidate.revision_digest ?? "unknown")} (${String(candidate.revision_contract ?? "unknown")}) does not use a released revision contract.`);
     }
-    const revision = parsed.data;
-    const { revision_digest: revisionDigest, ...core } = revision;
+    const { revision_digest: revisionDigest, ...core } = parsed.data;
     if (digest(core) !== revisionDigest) {
         throw new Error(`Retained revision ${revisionDigest} does not match its canonical core.`);
     }
-    return revision;
+    return parsed.data;
 }
-function safeParseRevision(contract, value) {
-    switch (contract) {
+/** A retained listing revision read for its meaning; any other contract is refused. */
+export function currentListingRevision(revision) {
+    switch (revision.revision_contract) {
         case catalogRevisionContracts.entity:
-            return entityRevisionSchema.safeParse(value);
+            return entityRevisionSchema.parse(revision);
         case catalogRevisionContracts.program:
-            return programRevisionSchema.safeParse(value);
+            return programRevisionSchema.parse(revision);
         case catalogRevisionContracts.offer:
-            return offerRevisionSchema.safeParse(value);
-        case agentReadinessRevisionContract:
-            return agentReadinessRevisionSchema.safeParse(value);
+            return offerRevisionSchema.parse(revision);
         default:
-            return agentReadinessDeclarationRevisionSchema.safeParse(value);
+            throw new Error(`Revision ${revision.revision_digest} is not a listing revision.`);
     }
 }
 //# sourceMappingURL=retained-revision.js.map

package/dist/modules/evidence-operations/src/retained-revision.js.map

@@ -1 +1 @@
-{"version":3,"file":"retained-revision.js","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/retained-revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAK7C,OAAO,EACL,uCAAuC,EACvC,8BAA8B,EAC9B,4BAA4B,GAC7B,MAAM,iDAAiD,CAAC;AAMzD,OAAO,EACL,wBAAwB,EACxB,oBAAoB,EACpB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,2CAA2C,CAAC;AAcnD,2FAA2F;AAC3F,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,MAAM,SAAS,GACb,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC;IACrE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,CAAC,SAAS,CAAC,eAAe,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,iBAAiB,IAAI,SAAS,CAAC,+CAA+C,CACxK,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;IAC7B,MAAM,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC9D,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,qBAAqB,cAAc,qCAAqC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAiB,EAAE,KAAc;IAC1D,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,wBAAwB,CAAC,MAAM;YAClC,OAAO,oBAAoB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/C,KAAK,wBAAwB,CAAC,OAAO;YACnC,OAAO,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAChD,KAAK,wBAAwB,CAAC,KAAK;YACjC,OAAO,mBAAmB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9C,KAAK,8BAA8B;YACjC,OAAO,4BAA4B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACvD;YACE,OAAO,uCAAuC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;AACH,CAAC"}
+{"version":3,"file":"retained-revision.js","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/retained-revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAyB,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AACpG,OAAO,EACL,wBAAwB,EACxB,oBAAoB,EAEpB,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,2CAA2C,CAAC;AAKnD,gGAAgG;AAChG,MAAM,UAAU,4BAA4B,CAAC,KAAc;IACzD,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,SAAS,GACb,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,CAAC,SAAS,CAAC,eAAe,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC,SAAS,CAAC,iBAAiB,IAAI,SAAS,CAAC,8CAA8C,CACvK,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,eAAe,EAAE,cAAc,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACjE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,qBAAqB,cAAc,qCAAqC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,sBAAsB,CAAC,QAAiC;IACtE,QAAQ,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACnC,KAAK,wBAAwB,CAAC,MAAM;YAClC,OAAO,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9C,KAAK,wBAAwB,CAAC,OAAO;YACnC,OAAO,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/C,KAAK,wBAAwB,CAAC,KAAK;YACjC,OAAO,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7C;YACE,MAAM,IAAI,KAAK,CAAC,YAAY,QAAQ,CAAC,eAAe,6BAA6B,CAAC,CAAC;IACvF,CAAC;AACH,CAAC"}

package/dist/modules/evidence-operations/src/source-authority.js

@@ -1,5 +1,5 @@
 import { canonicalizePublicHttpsUrl } from "../../catalog-primitives/src/index.js";
-import { domainIsPublicSuffix } from "../../evidence-comparison/src/values.js";
+import { domainIsPublicSuffix } from "../../evidence-comparison/src/domains.js";
 import { evidenceHttpAllowedHosts } from "./url-canonicalization.js";
 /**
  * Canonical-source authority for catalog evidence.

package/dist/modules/evidence-operations/src/source-authority.js.map

@@ -1 +1 @@
-{"version":3,"file":"source-authority.js","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/source-authority.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAAgB,EAChB,OAA0B,EAC1B,WAAmB;IAEnB,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QAC7B,4FAA4F;QAC5F,IAAI,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,WAAW;YAC3C,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,EACnF,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,GAAW,EACX,UAAqC,EACrC,EAAU;IAIV,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IACvC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CACrE,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IACvB,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACrF,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAC/C,OAA0B,EAC1B,gBAAmC,EACnC,gBAAwB;IAExB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,UAA6B,CAAC;QAClC,IAAI,CAAC;YACH,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,mEAAmE;YACnE,kEAAkE;YAClE,iEAAiE;YACjE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IACE,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvB,2BAA2B,CAAC,IAAI,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CACtE,EACD,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,GAAG,CACZ,IAAI,GAAG,CAAC,0BAA0B,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CACjF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"source-authority.js","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/source-authority.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAErE;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAAgB,EAChB,OAA0B,EAC1B,WAAmB;IAEnB,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;QAC7B,4FAA4F;QAC5F,IAAI,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,WAAW;YAC3C,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,EACnF,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/D,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,GAAW,EACX,UAAqC,EACrC,EAAU;IAIV,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IACvC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC9C,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CACrE,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;IACvB,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACrF,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACpF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iCAAiC,CAC/C,OAA0B,EAC1B,gBAAmC,EACnC,gBAAwB;IAExB,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,UAA6B,CAAC;QAClC,IAAI,CAAC;YACH,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,mEAAmE;YACnE,kEAAkE;YAClE,iEAAiE;YACjE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IACE,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACvB,2BAA2B,CAAC,IAAI,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CACtE,EACD,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,GAAG,CACZ,IAAI,GAAG,CAAC,0BAA0B,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CACjF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAC3D,CAAC"}

package/dist/modules/evidence-operations/src/submission-verifier.d.ts

@@ -1,18 +1,9 @@
 import { type Digest } from "provenry/primitives";
 import { z } from "zod";
-import { type AgentReadinessRevision } from "../../../contracts/agent-readiness/src/index.js";
 import { type EvidenceAssertion, type EvidenceDerivationRule, type EvidenceProofKind, type EvidenceSourceStanding } from "../../../contracts/evidence/src/index.js";
-import { type EntityRevision, type OfferRevision, type ProgramRevision } from "../../../contracts/revisions/src/index.js";
-import type { RetainedEvidenceBearingRevision } from "./retained-revision.js";
-export { EVIDENCE_NORMALIZER, EVIDENCE_NORMALIZER_CANONICAL_LINK, EVIDENCE_NORMALIZER_CANONICAL_LINK_TOOLCHAIN, EVIDENCE_NORMALIZER_FOUNDATION, EVIDENCE_NORMALIZER_FOUNDATION_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_EMBEDDED_JSON_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_EMPTY_HTML_VALUES_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_EMPTY_HTML_VALUES_XML_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_JSON_VARIANTS_TOOLCHAIN, EVIDENCE_NORMALIZER_TOOLCHAIN, EVIDENCE_NORMALIZER_WEB_LINK_TOOLCHAIN, EVIDENCE_NORMALIZER_XML, EVIDENCE_NORMALIZER_XML_TOOLCHAIN, evidenceNormalizerForToolchainDigest, evidenceNormalizerSchema, normalizeEvidenceCapture, } from "./evidence-normalization.js";
-export declare const EVIDENCE_SUBMISSION_LIMITS: {
-    readonly captureBytes: number;
-    readonly normalizedBytes: number;
-    readonly assertions: 128;
-    readonly locatorsPerAssertion: 16;
-    readonly redirects: 5;
-};
-export declare const evidenceSubmissionCaptureSchema: z.ZodObject<{
+import { type EntityRevision, type ListingRevision, type ProgramRevision } from "../../../contracts/revisions/src/index.js";
+export { EVIDENCE_NORMALIZER, EVIDENCE_NORMALIZER_TOOLCHAIN, evidenceNormalizerSchema, normalizeEvidenceCapture, } from "./evidence-normalization.js";
+declare const evidenceSubmissionCaptureSchema: z.ZodObject<{
     subject_source_url: z.ZodURL;
     requested_url: z.ZodURL;
     final_url: z.ZodURL;
@@ -47,11 +38,11 @@ export declare const evidenceSubmissionCaptureSchema: z.ZodObject<{
         normalized_bytes: z.ZodNumber;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-export declare const evidenceSubmissionNormalizationSchema: z.ZodObject<{
+declare const evidenceSubmissionNormalizationSchema: z.ZodObject<{
     normalizer_contract: z.ZodLiteral<"sourcey.evidence-normalizer/v1alpha1">;
     normalizer_id: z.ZodLiteral<"sourcey-deterministic-content">;
     version: z.ZodLiteral<"1">;
-    toolchain_digest: z.ZodString;
+    toolchain_digest: z.ZodLiteral<`sha256:${string}`>;
     object_digest: z.ZodString;
 }, z.core.$strict>;
 export declare const evidenceSubmissionSchema: z.ZodObject<{
@@ -96,7 +87,7 @@ export declare const evidenceSubmissionSchema: z.ZodObject<{
         normalizer_contract: z.ZodLiteral<"sourcey.evidence-normalizer/v1alpha1">;
         normalizer_id: z.ZodLiteral<"sourcey-deterministic-content">;
         version: z.ZodLiteral<"1">;
-        toolchain_digest: z.ZodString;
+        toolchain_digest: z.ZodLiteral<`sha256:${string}`>;
         object_digest: z.ZodString;
     }, z.core.$strict>;
     assertions: z.ZodArray<z.ZodObject<{
@@ -131,7 +122,7 @@ export type EvidenceSubmission = z.infer<typeof evidenceSubmissionSchema>;
 export type EvidenceSubmissionCapture = z.infer<typeof evidenceSubmissionCaptureSchema>;
 export type EvidenceSubmissionNormalization = z.infer<typeof evidenceSubmissionNormalizationSchema>;
 export type { EvidenceSourceStanding };
-export interface VerifiedEvidenceAssertion {
+interface VerifiedEvidenceAssertion {
     readonly path: string;
     readonly polarity: "supports" | "contradicts";
     readonly proofKind: EvidenceProofKind;
@@ -141,7 +132,7 @@ export interface VerifiedEvidenceAssertion {
         readonly text: string;
     }[];
 }
-export interface VerifiedEvidenceSubmission {
+interface VerifiedEvidenceSubmission {
     readonly submission: EvidenceSubmission;
     readonly sourceStanding: EvidenceSourceStanding;
     readonly normalizedBytes: Uint8Array;
@@ -220,7 +211,7 @@ export declare const evidenceReviewProposalSchema: z.ZodObject<{
             normalizer_contract: z.ZodLiteral<"sourcey.evidence-normalizer/v1alpha1">;
             normalizer_id: z.ZodLiteral<"sourcey-deterministic-content">;
             version: z.ZodLiteral<"1">;
-            toolchain_digest: z.ZodString;
+            toolchain_digest: z.ZodLiteral<`sha256:${string}`>;
             object_digest: z.ZodString;
         }, z.core.$strict>;
         assertions: z.ZodArray<z.ZodObject<{
@@ -291,7 +282,6 @@ export declare const evidenceReviewProposalSchema: z.ZodObject<{
     proposal_digest: z.ZodString;
 }, z.core.$strict>;
 export type EvidenceReviewProposal = z.infer<typeof evidenceReviewProposalSchema>;
-type Revision = EntityRevision | ProgramRevision | OfferRevision | AgentReadinessRevision;
 /**
  * Validates the self-contained proposal envelope at a persistence or provider
  * boundary. This intentionally does not claim that the referenced evidence is
@@ -307,7 +297,7 @@ export declare function verifyEvidenceSubmission(input: {
     readonly submission: unknown;
     readonly captureBytes: Uint8Array;
     readonly normalizedBytes: Uint8Array;
-    readonly revision: Revision;
+    readonly revision: ListingRevision;
     readonly authorityEntityRevision: EntityRevision;
     readonly authorityProgramRevision: ProgramRevision | null;
 }): VerifiedEvidenceSubmission;
@@ -328,7 +318,7 @@ export declare function verifyEvidenceCaptureObjects(input: {
 export declare function verifyEvidenceAssertions(input: {
     readonly assertions: readonly EvidenceAssertion[];
     readonly normalizedBytes: Uint8Array;
-    readonly revision: RetainedEvidenceBearingRevision;
+    readonly revision: ListingRevision;
 }): readonly VerifiedEvidenceAssertion[];
 export declare function prepareEvidenceReviewProposal(input: {
     readonly operationId: Digest;
@@ -340,7 +330,7 @@ export declare function prepareEvidenceReviewProposal(input: {
     readonly submission: unknown;
     readonly captureBytes: Uint8Array;
     readonly normalizedBytes: Uint8Array;
-    readonly revision: Revision;
+    readonly revision: ListingRevision;
     readonly authorityEntityRevision: EntityRevision;
     readonly authorityProgramRevision: ProgramRevision | null;
 }): EvidenceReviewProposal;
@@ -348,7 +338,7 @@ export declare function verifyEvidenceReviewProposal(input: {
     readonly proposal: unknown;
     readonly captureBytes: Uint8Array;
     readonly normalizedBytes: Uint8Array;
-    readonly revision: Revision;
+    readonly revision: ListingRevision;
     readonly authorityEntityRevision: EntityRevision;
     readonly authorityProgramRevision: ProgramRevision | null;
     readonly expectedBaseReleaseId?: Digest;

package/dist/modules/evidence-operations/src/submission-verifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"submission-verifier.d.ts","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/submission-verifier.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,MAAM,EAIZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,KAAK,sBAAsB,EAE5B,MAAM,iDAAiD,CAAC;AAGzD,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAO5B,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,eAAe,EACrB,MAAM,2CAA2C,CAAC;AAEnD,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AAG9E,OAAO,EACL,mBAAmB,EACnB,kCAAkC,EAClC,4CAA4C,EAC5C,8BAA8B,EAC9B,wCAAwC,EACxC,+CAA+C,EAC/C,mDAAmD,EACnD,uDAAuD,EACvD,+CAA+C,EAC/C,6BAA6B,EAC7B,sCAAsC,EACtC,uBAAuB,EACvB,iCAAiC,EACjC,oCAAoC,EACpC,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AAMrC,eAAO,MAAM,0BAA0B;aACrC,YAAY;aACZ,eAAe;aACf,UAAU,EAAE,GAAG;aACf,oBAAoB;aACpB,SAAS,EAAE,CAAC;CACJ,CAAC;AAEX,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAAmC,CAAC;AAEhF,eAAO,MAAM,qCAAqC;;;;;;kBAEvC,CAAC;AAEZ,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAQ1B,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC;AACxF,MAAM,MAAM,+BAA+B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qCAAqC,CAAC,CAAC;AACpG,YAAY,EAAE,sBAAsB,EAAE,CAAC;AAEvC,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,aAAa,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,EAAE,CAAC;CACL;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,sBAAsB,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAC3D;AAwDD,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAE9B,CAAC;AAEZ,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAElF,KAAK,QAAQ,GAAG,cAAc,GAAG,eAAe,GAAG,aAAa,GAAG,sBAAsB,CAAC;AAE1F;;;;;GAKG;AACH,wBAAgB,sCAAsC,CAAC,QAAQ,EAAE,OAAO,GAAG,sBAAsB,CAOhG;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,uBAAuB,EAAE,cAAc,CAAC;IACjD,QAAQ,CAAC,wBAAwB,EAAE,eAAe,GAAG,IAAI,CAAC;CAC3D,GAAG,0BAA0B,CA8B7B;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;CACtC,GAAG;IACF,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,+BAA+B,CAAC;IACxD,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;CACtC,CA2BA;AAqED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,+BAA+B,CAAC;CACpD,GAAG,SAAS,yBAAyB,EAAE,CAkCvC;AAQD,wBAAgB,6BAA6B,CAAC,KAAK,EAAE;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,uBAAuB,EAAE,cAAc,CAAC;IACjD,QAAQ,CAAC,wBAAwB,EAAE,eAAe,GAAG,IAAI,CAAC;CAC3D,GAAG,sBAAsB,CAsCzB;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,uBAAuB,EAAE,cAAc,CAAC;IACjD,QAAQ,CAAC,wBAAwB,EAAE,eAAe,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,GAAG,sBAAsB,CA0BzB;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,IAAI,CACX,kBAAkB,CAAC,SAAS,CAAC,EAC7B,oBAAoB,GAAG,WAAW,GAAG,cAAc,GAAG,QAAQ,CAC/D,EACD,uBAAuB,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAA;CAAE,GACxF,sBAAsB,CA0BxB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,kBAAkB,CAAC,SAAS,CAAC,GACrC,kBAAkB,CAAC,SAAS,CAAC,CAI/B"}
+{"version":3,"file":"submission-verifier.d.ts","sourceRoot":"","sources":["../../../../modules/evidence-operations/src/submission-verifier.ts"],"names":[],"mappings":"AACA,OAAO,EAEL,KAAK,MAAM,EAIZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACtB,KAAK,sBAAsB,EAO5B,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,2CAA2C,CAAC;AAInD,OAAO,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,wBAAwB,EACxB,wBAAwB,GACzB,MAAM,6BAA6B,CAAC;AAcrC,QAAA,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAAmC,CAAC;AAEzE,QAAA,MAAM,qCAAqC;;;;;;kBAEhC,CAAC;AAEZ,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAQ1B,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC;AACxF,MAAM,MAAM,+BAA+B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qCAAqC,CAAC,CAAC;AACpG,YAAY,EAAE,sBAAsB,EAAE,CAAC;AAEvC,UAAU,yBAAyB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,aAAa,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,cAAc,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;KACvB,EAAE,CAAC;CACL;AAED,UAAU,0BAA0B;IAClC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,sBAAsB,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAC3D;AAwDD,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAE9B,CAAC;AAEZ,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAElF;;;;;GAKG;AACH,wBAAgB,sCAAsC,CAAC,QAAQ,EAAE,OAAO,GAAG,sBAAsB,CAOhG;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,uBAAuB,EAAE,cAAc,CAAC;IACjD,QAAQ,CAAC,wBAAwB,EAAE,eAAe,GAAG,IAAI,CAAC;CAC3D,GAAG,0BAA0B,CA8B7B;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;CACtC,GAAG;IACF,QAAQ,CAAC,OAAO,EAAE,yBAAyB,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,+BAA+B,CAAC;IACxD,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;CACtC,CA0BA;AA6DD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;CACpC,GAAG,SAAS,yBAAyB,EAAE,CAkCvC;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE;IACnD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,uBAAuB,EAAE,cAAc,CAAC;IACjD,QAAQ,CAAC,wBAAwB,EAAE,eAAe,GAAG,IAAI,CAAC;CAC3D,GAAG,sBAAsB,CAsCzB;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,uBAAuB,EAAE,cAAc,CAAC;IACjD,QAAQ,CAAC,wBAAwB,EAAE,eAAe,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;CACzC,GAAG,sBAAsB,CA0BzB;AAED,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,IAAI,CACX,kBAAkB,CAAC,SAAS,CAAC,EAC7B,oBAAoB,GAAG,WAAW,GAAG,cAAc,GAAG,QAAQ,CAC/D,EACD,uBAAuB,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAA;CAAE,GACxF,sBAAsB,CA0BxB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,kBAAkB,CAAC,SAAS,CAAC,GACrC,kBAAkB,CAAC,SAAS,CAAC,CAI/B"}

package/dist/modules/evidence-operations/src/submission-verifier.js

@@ -1,26 +1,25 @@
 import { TextDecoder } from "node:util";
 import { canonicalJson, digest, IDENTIFIER_PATTERN, sha256Bytes, } from "provenry/primitives";
 import { z } from "zod";
-import { agentReadinessRevisionContract, } from "../../../contracts/agent-readiness/src/index.js";
 import { sourceyEvidenceCaptureMethodVersion } from "../../../contracts/capture/src/method-names.js";
 import { sourceyCaptureMethodRegistry } from "../../../contracts/capture/src/methods.js";
 import { EVIDENCE_LOCATORS_PER_ASSERTION_LIMIT, evidenceAssertionSchema, evidenceCaptureDeclarationSchema, evidenceDerivationRuleSchema, evidenceProofKindSchema, evidenceReceiptSubjectSchema, evidenceSourceStandingSchema, } from "../../../contracts/evidence/src/index.js";
 import { catalogRevisionContracts, } from "../../../contracts/revisions/src/index.js";
 import { evidenceNormalizerSchema, normalizeEvidenceCapture } from "./evidence-normalization.js";
 import { hostnameWithinEntityDomains } from "./source-authority.js";
-export { EVIDENCE_NORMALIZER, EVIDENCE_NORMALIZER_CANONICAL_LINK, EVIDENCE_NORMALIZER_CANONICAL_LINK_TOOLCHAIN, EVIDENCE_NORMALIZER_FOUNDATION, EVIDENCE_NORMALIZER_FOUNDATION_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_EMBEDDED_JSON_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_EMPTY_HTML_VALUES_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_EMPTY_HTML_VALUES_XML_TOOLCHAIN, EVIDENCE_NORMALIZER_PRE_JSON_VARIANTS_TOOLCHAIN, EVIDENCE_NORMALIZER_TOOLCHAIN, EVIDENCE_NORMALIZER_WEB_LINK_TOOLCHAIN, EVIDENCE_NORMALIZER_XML, EVIDENCE_NORMALIZER_XML_TOOLCHAIN, evidenceNormalizerForToolchainDigest, evidenceNormalizerSchema, normalizeEvidenceCapture, } from "./evidence-normalization.js";
+export { EVIDENCE_NORMALIZER, EVIDENCE_NORMALIZER_TOOLCHAIN, evidenceNormalizerSchema, normalizeEvidenceCapture, } from "./evidence-normalization.js";
 const digestSchema = z.string().regex(/^sha256:[a-f0-9]{64}$/);
 const pointerSchema = z.string().regex(/^\/(?:[^~/]|~0|~1)+(?:\/(?:[^~/]|~0|~1)+)*$/);
 const utf8 = new TextDecoder("utf-8", { fatal: true });
-export const EVIDENCE_SUBMISSION_LIMITS = {
+const EVIDENCE_SUBMISSION_LIMITS = {
     captureBytes: 10 * 1024 * 1024,
     normalizedBytes: 5 * 1024 * 1024,
     assertions: 128,
     locatorsPerAssertion: EVIDENCE_LOCATORS_PER_ASSERTION_LIMIT,
     redirects: 5,
 };
-export const evidenceSubmissionCaptureSchema = evidenceCaptureDeclarationSchema;
-export const evidenceSubmissionNormalizationSchema = evidenceNormalizerSchema
+const evidenceSubmissionCaptureSchema = evidenceCaptureDeclarationSchema;
+const evidenceSubmissionNormalizationSchema = evidenceNormalizerSchema
     .extend({ object_digest: digestSchema })
     .strict();
 export const evidenceSubmissionSchema = z
@@ -152,7 +151,6 @@ export function verifyEvidenceCaptureObjects(input) {
     const normalized = normalizeEvidenceCapture({
         bytes: input.captureBytes,
         mediaType: capture.media_type,
-        normalizerToolchainDigest: normalization.toolchain_digest,
     });
     if (normalized.digest !== normalization.object_digest ||
         sha256Bytes(input.normalizedBytes) !== normalization.object_digest ||
@@ -188,14 +186,6 @@ function assertRevisionAuthorityBindings(input) {
     }
 }
 function revisionSubject(revision) {
-    if (revision.revision_contract === agentReadinessRevisionContract) {
-        return {
-            subject_type: "agent_readiness_profile",
-            entity_id: revision.entity_id,
-            agent_readiness_profile_id: revision.agent_readiness_profile_id,
-            revision_digest: revision.revision_digest,
-        };
-    }
     if (revision.revision_contract === catalogRevisionContracts.offer) {
         return {
             subject_type: "offer",
@@ -226,7 +216,7 @@ export function verifyEvidenceAssertions(input) {
             throw new Error(`Evidence submission repeats path ${assertion.path}.`);
         }
         paths.add(assertion.path);
-        if (!pointerExists(revisionEvidenceValue(input.revision), assertion.path)) {
+        if (!pointerExists(input.revision.content, assertion.path)) {
             throw new Error(`Evidence assertion targets missing revision path ${assertion.path}.`);
         }
         const values = assertion.locators.map((locator) => {
@@ -255,11 +245,6 @@ export function verifyEvidenceAssertions(input) {
         };
     });
 }
-function revisionEvidenceValue(revision) {
-    return revision.revision_contract === agentReadinessRevisionContract
-        ? revision
-        : revision.content;
-}
 export function prepareEvidenceReviewProposal(input) {
     const verified = verifyEvidenceSubmission(input);
     const core = evidenceReviewProposalCoreSchema.parse({