niceeval 0.12.2-canary.31 → 0.13.0

package/dist/assertions/record/attachment.cjs

@@ -1,14 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.assertionsAttachmentFamilyV1 = exports.assertionsAttachmentDefinitionV1 = exports.assertionsRecordSchemasV1 = void 0;
-exports.assertionBlobRefsV1 = assertionBlobRefsV1;
-exports.encodeAssertionResultV1 = encodeAssertionResultV1;
-exports.encodeSealedAssertionEntryV1 = encodeSealedAssertionEntryV1;
-exports.createAssertionsAttachmentProducerV1 = createAssertionsAttachmentProducerV1;
-exports.defineAssertionsProjectorV1 = defineAssertionsProjectorV1;
+exports.assertionsRecordSchemas = void 0;
+exports.assertionBlobRefs = assertionBlobRefs;
+exports.encodeAssertionResult = encodeAssertionResult;
+exports.encodeSealedAssertionEntry = encodeSealedAssertionEntry;
+exports.createAssertionsAttachmentProducer = createAssertionsAttachmentProducer;
+exports.defineAssertionsProjector = defineAssertionsProjector;
 const effect_1 = require("effect");
 const index_ts_1 = require("../../record/attachment/index.cjs");
-const internal_ts_1 = require("../../record/attachment/internal.cjs");
 const codec_ts_1 = require("./codec.cjs");
 const producer_ts_1 = require("./producer.cjs");
 /**
@@ -18,13 +17,13 @@ const producer_ts_1 = require("./producer.cjs");
  * current Attachment builder.
  */
 const RecordBlobRefPositionSchema = effect_1.Schema.declare((value) => typeof value === "object" && value !== null);
-const AssertionsProvisionalBlobRefV1Schema = effect_1.Schema.Struct({
+const AssertionsProvisionalBlobRefSchema = effect_1.Schema.Struct({
     kind: effect_1.Schema.Literal("assertions-provisional-blob-ref"),
 });
-exports.assertionsRecordSchemasV1 = (0, codec_ts_1.createAssertionsRecordSchemas)(RecordBlobRefPositionSchema);
-const assertionsProducerSchemasV1 = (0, codec_ts_1.createAssertionsRecordSchemas)(AssertionsProvisionalBlobRefV1Schema);
+exports.assertionsRecordSchemas = (0, codec_ts_1.createAssertionsRecordSchemas)(RecordBlobRefPositionSchema);
+const assertionsProducerSchemas = (0, codec_ts_1.createAssertionsRecordSchemas)(AssertionsProvisionalBlobRefSchema);
 /** Complete payload-order projection required by Record's closure validator. */
-function assertionBlobRefsV1(document) {
+function assertionBlobRefs(document) {
     const refs = [];
     const collect = (material) => {
         if (material.kind === "blob")
@@ -37,44 +36,27 @@ function assertionBlobRefsV1(document) {
     }
     return Object.freeze(refs);
 }
-function requireDefinition(result, message) {
-    if (effect_1.Either.isLeft(result)) {
-        throw new Error(message);
-    }
-    return result.right;
-}
-exports.assertionsAttachmentDefinitionV1 = requireDefinition((0, internal_ts_1.defineBuiltinJsonRecordAttachment)({
-    owner: "attempt",
-    name: "niceeval.assertions",
-    schemaId: "niceeval.assertions/v1",
-    schema: exports.assertionsRecordSchemasV1.outerDocument,
-    blobRefs: assertionBlobRefsV1,
-}), "Assertions v1 RecordAttachment definition must be valid");
-exports.assertionsAttachmentFamilyV1 = requireDefinition((0, index_ts_1.defineRecordAttachmentFamily)({
-    current: exports.assertionsAttachmentDefinitionV1,
-    migrations: [],
-}), "Assertions v1 RecordAttachment family must be valid");
-function encodeSnapshotValueV1(value) {
+function encodeSnapshotValue(value) {
     if (value === null || typeof value === "boolean" || typeof value === "number" || typeof value === "string") {
         return value;
     }
     if (Array.isArray(value)) {
-        return Object.freeze(value.map(encodeSnapshotValueV1));
+        return Object.freeze(value.map(encodeSnapshotValue));
     }
     const encoded = {};
     for (const [key, nested] of Object.entries(value)) {
-        encoded[key] = encodeSnapshotValueV1(nested);
+        encoded[key] = encodeSnapshotValue(nested);
     }
     return Object.freeze(encoded);
 }
-function encodeSnapshotObjectV1(value) {
+function encodeSnapshotObject(value) {
     const encoded = {};
     for (const [key, nested] of Object.entries(value)) {
-        encoded[key] = encodeSnapshotValueV1(nested);
+        encoded[key] = encodeSnapshotValue(nested);
     }
     return Object.freeze(encoded);
 }
-function encodeCriterionV1(criterion) {
+function encodeCriterion(criterion) {
     switch (criterion.kind) {
         case "value-match":
             return Object.freeze({
@@ -167,26 +149,30 @@ function encodeCriterionV1(criterion) {
             return Object.freeze({
                 name: criterion.name,
                 schemaId: criterion.schemaId,
-                data: encodeSnapshotValueV1(criterion.data),
+                data: encodeSnapshotValue(criterion.data),
             });
     }
 }
-function encodeMaterialV1(material) {
+function encodeMaterial(material) {
     switch (material.kind) {
         case "snapshot":
             return Object.freeze({
                 kind: "snapshot",
-                value: encodeSnapshotValueV1(material.value),
+                value: encodeSnapshotValue(material.value),
             });
         case "record-attachment":
             return Object.freeze({
-                kind: "record-attachment",
-                schemaId: "niceeval.diff/v1",
-                preview: material.preview,
+                // The durable Assertions closure cannot hold a capability into the
+                // File Changes family. Keep only the already-safe display material.
+                kind: "snapshot",
+                value: Object.freeze({
+                    kind: "file-changes",
+                    preview: material.preview,
+                }),
             });
     }
 }
-function encodeCoverageV1(coverage) {
+function encodeCoverage(coverage) {
     switch (coverage.state) {
         case "complete":
             return Object.freeze({ state: "complete" });
@@ -198,7 +184,7 @@ function encodeCoverageV1(coverage) {
             return Object.freeze({ state: "not-applicable", reason: coverage.reason });
     }
 }
-function encodeLimitationsV1(limitations) {
+function encodeLimitations(limitations) {
     return Object.freeze(limitations.map((limitation) => {
         switch (limitation.kind) {
             case "redacted":
@@ -216,10 +202,10 @@ function encodeLimitationsV1(limitations) {
         }
     }));
 }
-function encodeAssertionResultV1(result) {
+function encodeAssertionResult(result) {
     const diagnostic = result.diagnostic === undefined
         ? {}
-        : { diagnostic: encodeSnapshotObjectV1(result.diagnostic) };
+        : { diagnostic: encodeSnapshotObject(result.diagnostic) };
     switch (result.state) {
         case "matched":
             return Object.freeze({
@@ -273,40 +259,35 @@ function encodeAssertionResultV1(result) {
     }
 }
 /** Private Runtime → durable Assertions codec bridge. */
-function encodeSealedAssertionEntryV1(entry) {
+function encodeSealedAssertionEntry(entry) {
     return Object.freeze({
         display: Object.freeze({
             ...(entry.display.key === undefined ? {} : { key: entry.display.key }),
             ...(entry.display.label === undefined ? {} : { label: entry.display.label }),
             groupPath: Object.freeze([...entry.display.groupPath]),
         }),
-        criterion: encodeCriterionV1(entry.criterion),
-        subject: encodeMaterialV1(entry.subject),
-        evidence: Object.freeze(entry.evidence.map(encodeMaterialV1)),
-        coverage: encodeCoverageV1(entry.coverage),
-        limitations: encodeLimitationsV1(entry.limitations),
-        result: encodeAssertionResultV1(entry.result),
+        criterion: encodeCriterion(entry.criterion),
+        subject: encodeMaterial(entry.subject),
+        evidence: Object.freeze(entry.evidence.map(encodeMaterial)),
+        coverage: encodeCoverage(entry.coverage),
+        limitations: encodeLimitations(entry.limitations),
+        result: encodeAssertionResult(entry.result),
     });
 }
-function makeProvisionalBlobRefV1() {
+function makeProvisionalBlobRef() {
     return Object.freeze({ kind: "assertions-provisional-blob-ref" });
 }
 function provisionalMaterial(material) {
     switch (material.kind) {
         case "snapshot":
             return Object.freeze({ kind: "snapshot", value: material.value });
-        case "record-attachment":
-            return Object.freeze({
-                kind: "record-attachment",
-                schemaId: material.schemaId,
-                preview: material.preview,
-            });
         case "blob":
             return Object.freeze({
                 kind: "blob",
-                ref: makeProvisionalBlobRefV1(),
+                ref: makeProvisionalBlobRef(),
                 encoding: material.encoding,
                 byteLength: material.byteLength,
+                sha256: material.sha256,
                 preview: material.preview,
             });
     }
@@ -335,16 +316,6 @@ function materializeMaterial(material, source, blobs, drafts) {
         }
         return Object.freeze({ kind: "snapshot", value: material.value });
     }
-    if (material.kind === "record-attachment") {
-        if (source.kind !== "record-attachment") {
-            throw new Error("Assertions producer changed a sealed material kind");
-        }
-        return Object.freeze({
-            kind: "record-attachment",
-            schemaId: material.schemaId,
-            preview: material.preview,
-        });
-    }
     if (source.kind !== "blob") {
         throw new Error("Assertions producer changed a sealed material kind");
     }
@@ -355,17 +326,23 @@ function materializeMaterial(material, source, blobs, drafts) {
         ref: draft.ref,
         encoding: material.encoding,
         byteLength: material.byteLength,
+        sha256: material.sha256,
         preview: material.preview,
     });
 }
 function outerCriterion(criterion) {
-    const decoded = effect_1.Schema.decodeUnknownEither(codec_ts_1.BoundedJsonObjectV1Schema, codec_ts_1.AssertionsExactParseOptions)(criterion);
+    // Effect's structural decoder reads fields before a trailing filter. Keep
+    // the descriptor-aware raw check in front so accessors are never executed.
+    if (!(0, codec_ts_1.isBoundedJsonObject)(criterion)) {
+        throw new Error("An Assertions v1 writer criterion must be bounded JSON");
+    }
+    const decoded = effect_1.Schema.decodeUnknownEither(codec_ts_1.BoundedJsonObjectSchema, codec_ts_1.AssertionsExactParseOptions)(criterion);
     if (effect_1.Either.isLeft(decoded)) {
         throw new Error("An Assertions v1 writer criterion must be bounded JSON");
     }
     return decoded.right;
 }
-function materializeDocument(sources, sealedEntries, blobs) {
+function materializeDocument(sources, sealedEntries, sourceSites, blobs) {
     const drafts = [];
     const materializedEntries = [];
     for (const [index, sealed] of sealedEntries.entries()) {
@@ -394,7 +371,13 @@ function materializeDocument(sources, sealedEntries, blobs) {
         }));
     }
     return Object.freeze({
-        payload: Object.freeze({ entries: Object.freeze(materializedEntries) }),
+        payload: Object.freeze({
+            entries: Object.freeze(materializedEntries),
+            // Source sites are joined into this fixed family by the runner's source
+            // capture before final sealing. A producer with no captured site writes
+            // the exact empty sequence instead of another durable family.
+            sourceSites: Object.freeze([...sourceSites]),
+        }),
         blobs: Object.freeze(drafts),
     });
 }
@@ -403,10 +386,10 @@ function materializeDocument(sources, sealedEntries, blobs) {
  * inside one generic RecordAttachment write. Callers never receive a raw ref,
  * path, key, or bytes channel, so cross-Attachment closure is impossible.
  */
-function createAssertionsAttachmentProducerV1(input) {
-    const documentBuilder = (0, producer_ts_1.createAssertionsDocumentBuilderV1)({
-        documentSchema: assertionsProducerSchemasV1.document,
-        entryIds: input.entryIds,
+function createAssertionsAttachmentProducer(config) {
+    const documentBuilder = (0, producer_ts_1.createAssertionsDocumentBuilder)({
+        documentSchema: assertionsProducerSchemas.document,
+        entryIds: config.entryIds,
     });
     const sources = [];
     let sealed;
@@ -417,7 +400,7 @@ function createAssertionsAttachmentProducerV1(input) {
                 sources.push(captureEntrySources(entry));
             return appended;
         },
-        seal() {
+        seal(sealInput = {}) {
             if (sealed !== undefined)
                 return sealed;
             const document = documentBuilder.seal();
@@ -425,7 +408,7 @@ function createAssertionsAttachmentProducerV1(input) {
                 sealed = effect_1.Either.left(document.left);
                 return sealed;
             }
-            const write = (0, index_ts_1.makeRecordAttachmentWrite)(exports.assertionsAttachmentFamilyV1, (blobs) => materializeDocument(sources, document.right.entries, blobs));
+            const write = (0, index_ts_1.makeFixedRecordAttachmentWrite)(config.write, (blobs) => materializeDocument(sources, document.right.entries, sealInput.sourceSites ?? Object.freeze([]), blobs));
             const closure = (0, index_ts_1.validateRecordAttachmentWrite)(write);
             if (effect_1.Either.isLeft(closure)) {
                 throw new Error("Assertions producer generated an invalid RecordAttachment closure");
@@ -437,11 +420,11 @@ function createAssertionsAttachmentProducerV1(input) {
     return Object.freeze(producer);
 }
 /** Typed, synchronous projection over one already-materialized Attachment value. */
-function defineAssertionsProjectorV1(registry) {
+function defineAssertionsProjector(registry, write) {
     return Object.freeze({
-        family: exports.assertionsAttachmentFamilyV1,
+        write,
         project(value) {
-            return (0, codec_ts_1.projectAssertionsDocumentV1)(value.payload, registry);
+            return (0, codec_ts_1.projectAssertionsDocument)(value, registry);
         },
     });
 }

package/dist/assertions/record/attachment.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;;AA4BA,kDAYC;AA2MD,0DAuDC;AAED,oEAcC;AA+HD,oFAkCC;AAMD,kEAOC;AAxeD,mCAAwC;AACxC,+DAAgT;AAEhT,qEAAyF;AACzF,yCAA6M;AAC7M,+CAAiM;AAEjM;;;;;GAKG;AACH,MAAM,2BAA2B,GAAuD,eAAM,CAAC,OAAO,CAAgB,CAAC,KAAK,EAA0B,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC;AAStM,MAAM,oCAAoC,GAAkD,eAAM,CAAC,MAAM,CAAC;IACtG,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,iCAAiC,CAAC;CAC1D,CAAC,CAAC;AACU,QAAA,yBAAyB,GAAG,IAAA,wCAA6B,EAAC,2BAA2B,CAAC,CAAC;AACpG,MAAM,2BAA2B,GAAG,IAAA,wCAA6B,EAAC,oCAAoC,CAAC,CAAC;AACxG,gFAAgF;AAChF,SAAgB,mBAAmB,CAAC,QAAkD;IAClF,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,QAA4C,EAAQ,EAAE;QACnE,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YACxB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ;YACjC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AACD,SAAS,iBAAiB,CAAkB,MAAsC,EAAE,OAAe;IAC/F,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC;AACxB,CAAC;AACY,QAAA,gCAAgC,GAAG,iBAAiB,CAAC,IAAA,+CAAiC,EAAC;IAChG,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,qBAAqB;IAC3B,QAAQ,EAAE,wBAAwB;IAClC,MAAM,EAAE,iCAAyB,CAAC,aAAa;IAC/C,QAAQ,EAAE,mBAAmB;CAChC,CAAC,EAAE,yDAAyD,CAAC,CAAC;AAClD,QAAA,4BAA4B,GAAG,iBAAiB,CAAC,IAAA,uCAA4B,EAAC;IACvF,OAAO,EAAE,wCAAgC;IACzC,UAAU,EAAE,EAAE;CACjB,CAAC,EAAE,qDAAqD,CAAC,CAAC;AAwB3D,SAAS,qBAAqB,CAAC,KAA6B;IACxD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,OAAO,GAAkD,EAAE,CAAC;IAClE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,sBAAsB,CAAC,KAA8B;IAC1D,MAAM,OAAO,GAAkD,EAAE,CAAC;IAClE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,iBAAiB,CAAC,SAA6B;IACpD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,gBAAyB;gBAC7B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;aACtD,CAAC,CAAC;QACP,KAAK,cAAc;YACf,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,iBAA0B;gBAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;aAClF,CAAC,CAAC;QACP,KAAK,YAAY;YACb,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,eAAwB;gBAC5B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;oBAChB,KAAK,EAAE,SAAS,CAAC,KAAK;oBACtB,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,SAAS,EAAE,SAAS,CAAC,SAAS;oBAC9B,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;oBAC1E,GAAG,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS;wBAClC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC;4BACE,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;gCAC9C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC;gCAC5C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;yBAC9F,CAAC;iBACT,CAAC;aACL,CAAC,CAAC;QACP,KAAK,mBAAmB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,sBAA+B;gBACnC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;aAC5E,CAAC,CAAC;QACP,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACpB,QAAQ,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC1B,KAAK,eAAe;oBAChB,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,eAAwB,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;qBAC3G,CAAC,CAAC;gBACP,KAAK,YAAY;oBACb,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,YAAqB,EAAE,CAAC;qBAC5D,CAAC,CAAC;gBACP,KAAK,cAAc;oBACf,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;4BAChB,SAAS,EAAE,cAAuB;4BAClC,IAAI,EAAE,SAAS,CAAC,IAAI;4BACpB,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;4BACvE,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;4BACvE,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;yBACvE,CAAC;qBACL,CAAC,CAAC;gBACP,KAAK,cAAc;oBACf,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,cAAuB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;qBACpF,CAAC,CAAC;gBACP,KAAK,aAAa;oBACd,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;4BAChB,SAAS,EAAE,aAAsB;4BACjC,OAAO,EAAE,SAAS,CAAC,OAAO;4BAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;4BACtB,OAAO,EAAE,SAAS,CAAC,OAAO;yBAC7B,CAAC;qBACL,CAAC,CAAC;YACX,CAAC;QACL,CAAC;QACD,KAAK,cAAc;YACf,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,iBAA0B;gBAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;aACpD,CAAC,CAAC;QACP,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,IAAI,EAAE,qBAAqB,CAAC,SAAS,CAAC,IAAI,CAAC;aAC9C,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,gBAAgB,CAAC,QAA2B;IACjD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,UAAmB;gBACzB,KAAK,EAAE,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC;aAC/C,CAAC,CAAC;QACP,KAAK,mBAAmB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,mBAA4B;gBAClC,QAAQ,EAAE,kBAA2B;gBACrC,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC5B,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,gBAAgB,CAAC,QAA2B;IACjD,QAAQ,QAAQ,CAAC,KAAK,EAAE,CAAC;QACrB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC,CAAC;QACzD,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACjF,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,KAAK,gBAAgB;YACjB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAyB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5F,CAAC;AACL,CAAC;AACD,SAAS,mBAAmB,CAAC,WAA2C;IACpE,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAyB,EAAE;QACvE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,UAAU;gBACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3F,KAAK,SAAS;gBACV,OAAO,MAAM,CAAC,MAAM,CAAC;oBACjB,IAAI,EAAE,SAAkB;oBACxB,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,GAAG,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;iBACxF,CAAC,CAAC;YACP,KAAK,WAAW;gBACZ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;YAChG,KAAK,kBAAkB;gBACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,kBAA2B,EAAE,CAAC,CAAC;QACpE,CAAC;IACL,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AACD,SAAgB,uBAAuB,CAAC,MAAuB;IAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS;QAC9C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,UAAU,EAAE,sBAAsB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;IAChE,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,SAAkB;gBACzB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBAClC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACvG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,YAAY;YACb,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,YAAqB;gBAC5B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBAClC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACvG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,SAAkB;gBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,gBAAgB;YACjB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,gBAAyB;gBAChC,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,yDAAyD;AACzD,SAAgB,4BAA4B,CAAC,KAA2B;IACpE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YAC5E,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SACzD,CAAC;QACF,SAAS,EAAE,iBAAiB,CAAC,KAAK,CAAC,SAAS,CAAC;QAC7C,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC;QACxC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC7D,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC1C,WAAW,EAAE,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC;QACnD,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,MAAM,CAAC;KAChD,CAAC,CAAC;AACP,CAAC;AAKD,SAAS,wBAAwB;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAAC,CAAC;AACtE,CAAC;AACD,SAAS,mBAAmB,CAAO,QAAwC;IACvE,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACtE,KAAK,mBAAmB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,mBAAmB;gBACzB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC5B,CAAC,CAAC;QACP,KAAK,MAAM;YACP,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,wBAAwB,EAAE;gBAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC5B,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,gBAAgB,CAAO,KAA6C;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC;QAC3C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAChE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;KACvB,CAAC,CAAC;AACP,CAAC;AAKD,SAAS,mBAAmB,CAAO,KAA6C;IAC5E,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;KAC/C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAO,QAA6D,EAAE,MAAsC,EAAE,KAAkC,EAAE,MAAyC;IACnN,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACxC,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,OAAO,EAAE,QAAQ,CAAC,OAAO;SAC5B,CAAC,CAAC;IACP,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC5B,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAC,SAAwE;IAC5F,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,oCAAyB,EAAE,sCAA2B,CAAC,CAAC,SAAS,CAAC,CAAC;IAC9G,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC;AACzB,CAAC;AACD,SAAS,mBAAmB,CAAO,OAA4D,EAAE,aAA0E,EAAE,KAAkC;IAI3M,MAAM,MAAM,GAAsC,EAAE,CAAC;IACrD,MAAM,mBAAmB,GAA2C,EAAE,CAAC;IACvE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC/E,CAAC;QACD,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACnC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC;YAC3C,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;YAC3E,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,EAAE;gBACpE,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACtD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;oBAC/B,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;gBACzE,CAAC;gBACD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC;YACH,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;SACxB,CAAC,CAAC,CAAC;IACR,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACvE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC/B,CAAC,CAAC;AACP,CAAC;AACD;;;;GAIG;AACH,SAAgB,oCAAoC,CAAO,KAE1D;IACG,MAAM,eAAe,GAAgE,IAAA,+CAAiC,EAAC;QACnH,cAAc,EAAE,2BAA2B,CAAC,QAAQ;QACpD,QAAQ,EAAE,KAAK,CAAC,QAAQ;KAC3B,CAAC,CAAC;IACH,MAAM,OAAO,GAA+C,EAAE,CAAC;IAC/D,IAAI,MAAoG,CAAC;IACzG,MAAM,QAAQ,GAAyC;QACnD,MAAM,CAAC,KAAK;YACR,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;YACjE,IAAI,eAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7C,OAAO,QAAQ,CAAC;QACpB,CAAC;QACD,IAAI;YACA,IAAI,MAAM,KAAK,SAAS;gBACpB,OAAO,MAAM,CAAC;YAClB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,eAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1B,MAAM,GAAG,eAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpC,OAAO,MAAM,CAAC;YAClB,CAAC;YACD,MAAM,KAAK,GAAG,IAAA,oCAAyB,EAAC,oCAA4B,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;YAC9I,MAAM,OAAO,GAAG,IAAA,wCAA6B,EAAC,KAAK,CAAC,CAAC;YACrD,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM,GAAG,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,OAAO,MAAM,CAAC;QAClB,CAAC;KACJ,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAKD,oFAAoF;AACpF,SAAgB,2BAA2B,CAAC,QAAuC;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM,EAAE,oCAA4B;QACpC,OAAO,CAAC,KAAsE;YAC1E,OAAO,IAAA,sCAA2B,EAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAChE,CAAC;KACJ,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { defineRecordAttachmentFamily, makeRecordAttachmentWrite, validateRecordAttachmentWrite, type RecordAttachmentBlobBuilder, type RecordAttachmentBlobDraft, type RecordAttachmentValue, type RecordAttachmentWrite, type RecordBlobRef, type RecordBlobSource, } from \"../../record/attachment/index.ts\";\nimport type { AssertionCoverage, AssertionCriterion, AssertionLimitation, AssertionMaterial, AssertionResult, AssertionSnapshotObject, AssertionSnapshotValue, SealedAssertionEntry, } from \"../api.ts\";\nimport { defineBuiltinJsonRecordAttachment, } from \"../../record/attachment/internal.ts\";\nimport { AssertionEntryIdSchema, AssertionsExactParseOptions, BoundedJsonObjectV1Schema, createAssertionsRecordSchemas, projectAssertionsDocumentV1, type ThirdPartyCriterionRegistryV1, } from \"./codec.ts\";\nimport { createAssertionsDocumentBuilderV1, type AssertionEntryInputV1, type AssertionsDocumentBuilderV1, type AssertionsEntryIdSourceV1, type AssertionsProducerErrorV1, } from \"./producer.ts\";\nimport type { AssertionEntryId, AssertionEntryV1, AssertionEntryOuterV1, AssertionCoverageV1, AssertionLimitationV1, AssertionMaterialV1, AssertionsDocumentOuterV1, AssertionsProjectionV1, BoundedJsonObjectV1, BoundedJsonValueV1, SealedAssertionResultV1, WritableCriterionEnvelopeV1, } from \"./model.ts\";\n/**\n * The Record attachment runtime keeps the real ref authority private. This\n * positional schema only lets the Assertions schema carry a package ref;\n * generic Record closure validation still rejects every ref not minted by the\n * current Attachment builder.\n */\nconst RecordBlobRefPositionSchema: Schema.Schema<RecordBlobRef, RecordBlobRef, never> = Schema.declare<RecordBlobRef>((value): value is RecordBlobRef => typeof value === \"object\" && value !== null);\n/**\n * Producer preflight needs to validate the strict writer document before the\n * real Attachment builder exists. This is deliberately not a RecordBlobRef:\n * final payloads replace it with a ref minted by `blobs.add` below.\n */\ninterface AssertionsProvisionalBlobRefV1 {\n    readonly kind: \"assertions-provisional-blob-ref\";\n}\nconst AssertionsProvisionalBlobRefV1Schema: Schema.Schema<AssertionsProvisionalBlobRefV1> = Schema.Struct({\n    kind: Schema.Literal(\"assertions-provisional-blob-ref\"),\n});\nexport const assertionsRecordSchemasV1 = createAssertionsRecordSchemas(RecordBlobRefPositionSchema);\nconst assertionsProducerSchemasV1 = createAssertionsRecordSchemas(AssertionsProvisionalBlobRefV1Schema);\n/** Complete payload-order projection required by Record's closure validator. */\nexport function assertionBlobRefsV1(document: AssertionsDocumentOuterV1<RecordBlobRef>): readonly RecordBlobRef[] {\n    const refs: RecordBlobRef[] = [];\n    const collect = (material: AssertionMaterialV1<RecordBlobRef>): void => {\n        if (material.kind === \"blob\")\n            refs.push(material.ref);\n    };\n    for (const entry of document.entries) {\n        collect(entry.subject);\n        for (const material of entry.evidence)\n            collect(material);\n    }\n    return Object.freeze(refs);\n}\nfunction requireDefinition<Result, Failure>(result: Either.Either<Result, Failure>, message: string): Result {\n    if (Either.isLeft(result)) {\n        throw new Error(message);\n    }\n    return result.right;\n}\nexport const assertionsAttachmentDefinitionV1 = requireDefinition(defineBuiltinJsonRecordAttachment({\n    owner: \"attempt\",\n    name: \"niceeval.assertions\",\n    schemaId: \"niceeval.assertions/v1\",\n    schema: assertionsRecordSchemasV1.outerDocument,\n    blobRefs: assertionBlobRefsV1,\n}), \"Assertions v1 RecordAttachment definition must be valid\");\nexport const assertionsAttachmentFamilyV1 = requireDefinition(defineRecordAttachmentFamily({\n    current: assertionsAttachmentDefinitionV1,\n    migrations: [],\n}), \"Assertions v1 RecordAttachment family must be valid\");\nexport type AssertionMaterialInputV1<E, R> = {\n    readonly kind: \"snapshot\";\n    readonly value: BoundedJsonValueV1;\n} | {\n    readonly kind: \"blob\";\n    readonly source: RecordBlobSource<E, R>;\n    readonly encoding: \"utf-8\" | \"binary\";\n    readonly byteLength: number;\n    readonly preview: string;\n} | {\n    readonly kind: \"record-attachment\";\n    readonly schemaId: \"niceeval.diff/v1\";\n    readonly preview: string;\n};\nexport interface AssertionsAttachmentEntryInputV1<E, R> {\n    readonly display: AssertionEntryInputV1<RecordBlobRef>[\"display\"];\n    readonly criterion: AssertionEntryInputV1<RecordBlobRef>[\"criterion\"];\n    readonly subject: AssertionMaterialInputV1<E, R>;\n    readonly evidence: readonly AssertionMaterialInputV1<E, R>[];\n    readonly coverage: AssertionEntryInputV1<RecordBlobRef>[\"coverage\"];\n    readonly limitations: AssertionEntryInputV1<RecordBlobRef>[\"limitations\"];\n    readonly result: AssertionEntryInputV1<RecordBlobRef>[\"result\"];\n}\nfunction encodeSnapshotValueV1(value: AssertionSnapshotValue): BoundedJsonValueV1 {\n    if (value === null || typeof value === \"boolean\" || typeof value === \"number\" || typeof value === \"string\") {\n        return value;\n    }\n    if (Array.isArray(value)) {\n        return Object.freeze(value.map(encodeSnapshotValueV1));\n    }\n    const encoded: globalThis.Record<string, BoundedJsonValueV1> = {};\n    for (const [key, nested] of Object.entries(value)) {\n        encoded[key] = encodeSnapshotValueV1(nested);\n    }\n    return Object.freeze(encoded);\n}\nfunction encodeSnapshotObjectV1(value: AssertionSnapshotObject): BoundedJsonObjectV1 {\n    const encoded: globalThis.Record<string, BoundedJsonValueV1> = {};\n    for (const [key, nested] of Object.entries(value)) {\n        encoded[key] = encodeSnapshotValueV1(nested);\n    }\n    return Object.freeze(encoded);\n}\nfunction encodeCriterionV1(criterion: AssertionCriterion): WritableCriterionEnvelopeV1 {\n    switch (criterion.kind) {\n        case \"value-match\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"value-match/v1\" as const,\n                data: Object.freeze({ subject: criterion.subject }),\n            });\n        case \"scope-status\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"scope-status/v1\" as const,\n                data: Object.freeze({ scope: criterion.scope, assertion: criterion.assertion }),\n            });\n        case \"occurrence\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"occurrence/v1\" as const,\n                data: Object.freeze({\n                    scope: criterion.scope,\n                    occurrence: criterion.occurrence,\n                    assertion: criterion.assertion,\n                    ...(criterion.matcher === undefined ? {} : { matcher: criterion.matcher }),\n                    ...(criterion.quantifier === undefined\n                        ? {}\n                        : {\n                            quantifier: criterion.quantifier.kind === \"absent\"\n                                ? Object.freeze({ kind: \"absent\" as const })\n                                : Object.freeze({ kind: criterion.quantifier.kind, count: criterion.quantifier.count }),\n                        }),\n                }),\n            });\n        case \"judge-measurement\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"judge-measurement/v1\" as const,\n                data: Object.freeze({ recipe: criterion.recipe, scale: criterion.scale }),\n            });\n        case \"sandbox-result\": {\n            switch (criterion.operation) {\n                case \"changed-paths\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({ operation: \"changed-paths\" as const, paths: Object.freeze([...criterion.paths]) }),\n                    });\n                case \"no-changes\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({ operation: \"no-changes\" as const }),\n                    });\n                case \"file-changed\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({\n                            operation: \"file-changed\" as const,\n                            path: criterion.path,\n                            ...(criterion.status === undefined ? {} : { status: criterion.status }),\n                            ...(criterion.before === undefined ? {} : { before: criterion.before }),\n                            ...(criterion.after === undefined ? {} : { after: criterion.after }),\n                        }),\n                    });\n                case \"file-deleted\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({ operation: \"file-deleted\" as const, path: criterion.path }),\n                    });\n                case \"not-in-diff\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({\n                            operation: \"not-in-diff\" as const,\n                            pattern: criterion.pattern,\n                            flags: criterion.flags,\n                            content: criterion.content,\n                        }),\n                    });\n            }\n        }\n        case \"direct-score\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"direct-score/v1\" as const,\n                data: Object.freeze({ source: criterion.source }),\n            });\n        case \"third-party\":\n            return Object.freeze({\n                name: criterion.name,\n                schemaId: criterion.schemaId,\n                data: encodeSnapshotValueV1(criterion.data),\n            });\n    }\n}\nfunction encodeMaterialV1(material: AssertionMaterial): AssertionMaterialInputV1<never, never> {\n    switch (material.kind) {\n        case \"snapshot\":\n            return Object.freeze({\n                kind: \"snapshot\" as const,\n                value: encodeSnapshotValueV1(material.value),\n            });\n        case \"record-attachment\":\n            return Object.freeze({\n                kind: \"record-attachment\" as const,\n                schemaId: \"niceeval.diff/v1\" as const,\n                preview: material.preview,\n            });\n    }\n}\nfunction encodeCoverageV1(coverage: AssertionCoverage): AssertionCoverageV1 {\n    switch (coverage.state) {\n        case \"complete\":\n            return Object.freeze({ state: \"complete\" as const });\n        case \"partial\":\n            return Object.freeze({ state: \"partial\" as const, reason: coverage.reason });\n        case \"unavailable\":\n            return Object.freeze({ state: \"unavailable\" as const, reason: coverage.reason });\n        case \"not-applicable\":\n            return Object.freeze({ state: \"not-applicable\" as const, reason: coverage.reason });\n    }\n}\nfunction encodeLimitationsV1(limitations: readonly AssertionLimitation[]): readonly AssertionLimitationV1[] {\n    return Object.freeze(limitations.map((limitation): AssertionLimitationV1 => {\n        switch (limitation.kind) {\n            case \"redacted\":\n                return Object.freeze({ kind: \"redacted\" as const, fieldCount: limitation.fieldCount });\n            case \"sampled\":\n                return Object.freeze({\n                    kind: \"sampled\" as const,\n                    captured: limitation.captured,\n                    ...(limitation.knownTotal === undefined ? {} : { knownTotal: limitation.knownTotal }),\n                });\n            case \"truncated\":\n                return Object.freeze({ kind: \"truncated\" as const, omittedBytes: limitation.omittedBytes });\n            case \"provider-limited\":\n                return Object.freeze({ kind: \"provider-limited\" as const });\n        }\n    }));\n}\nexport function encodeAssertionResultV1(result: AssertionResult): SealedAssertionResultV1 {\n    const diagnostic = result.diagnostic === undefined\n        ? {}\n        : { diagnostic: encodeSnapshotObjectV1(result.diagnostic) };\n    switch (result.state) {\n        case \"matched\":\n            return Object.freeze({\n                state: \"matched\" as const,\n                gate: result.gate,\n                score: result.score.state === \"earned\"\n                    ? Object.freeze({ state: \"earned\" as const, points: result.score.points, earned: result.score.earned })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"mismatched\":\n            return Object.freeze({\n                state: \"mismatched\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"earned\"\n                    ? Object.freeze({ state: \"earned\" as const, points: result.score.points, earned: result.score.earned })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"unavailable\":\n            return Object.freeze({\n                state: \"unavailable\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"unavailable\"\n                    ? Object.freeze({ state: \"unavailable\" as const, points: result.score.points, reason: result.score.reason })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"errored\":\n            return Object.freeze({\n                state: \"errored\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"unavailable\"\n                    ? Object.freeze({ state: \"unavailable\" as const, points: result.score.points, reason: result.score.reason })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"not-applicable\":\n            return Object.freeze({\n                state: \"not-applicable\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"unavailable\"\n                    ? Object.freeze({ state: \"unavailable\" as const, points: result.score.points, reason: result.score.reason })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n    }\n}\n/** Private Runtime → durable Assertions codec bridge. */\nexport function encodeSealedAssertionEntryV1(entry: SealedAssertionEntry): AssertionsAttachmentEntryInputV1<never, never> {\n    return Object.freeze({\n        display: Object.freeze({\n            ...(entry.display.key === undefined ? {} : { key: entry.display.key }),\n            ...(entry.display.label === undefined ? {} : { label: entry.display.label }),\n            groupPath: Object.freeze([...entry.display.groupPath]),\n        }),\n        criterion: encodeCriterionV1(entry.criterion),\n        subject: encodeMaterialV1(entry.subject),\n        evidence: Object.freeze(entry.evidence.map(encodeMaterialV1)),\n        coverage: encodeCoverageV1(entry.coverage),\n        limitations: encodeLimitationsV1(entry.limitations),\n        result: encodeAssertionResultV1(entry.result),\n    });\n}\nexport interface AssertionsAttachmentProducerV1<E, R> {\n    readonly append: (entry: AssertionsAttachmentEntryInputV1<E, R>) => Either.Either<AssertionEntryId, AssertionsProducerErrorV1>;\n    readonly seal: () => Either.Either<RecordAttachmentWrite<\"attempt\", E, R>, AssertionsProducerErrorV1>;\n}\nfunction makeProvisionalBlobRefV1(): AssertionsProvisionalBlobRefV1 {\n    return Object.freeze({ kind: \"assertions-provisional-blob-ref\" });\n}\nfunction provisionalMaterial<E, R>(material: AssertionMaterialInputV1<E, R>): AssertionMaterialV1<AssertionsProvisionalBlobRefV1> {\n    switch (material.kind) {\n        case \"snapshot\":\n            return Object.freeze({ kind: \"snapshot\", value: material.value });\n        case \"record-attachment\":\n            return Object.freeze({\n                kind: \"record-attachment\",\n                schemaId: material.schemaId,\n                preview: material.preview,\n            });\n        case \"blob\":\n            return Object.freeze({\n                kind: \"blob\",\n                ref: makeProvisionalBlobRefV1(),\n                encoding: material.encoding,\n                byteLength: material.byteLength,\n                preview: material.preview,\n            });\n    }\n}\nfunction provisionalEntry<E, R>(entry: AssertionsAttachmentEntryInputV1<E, R>): AssertionEntryInputV1<AssertionsProvisionalBlobRefV1> {\n    return Object.freeze({\n        display: entry.display,\n        criterion: entry.criterion,\n        subject: provisionalMaterial(entry.subject),\n        evidence: Object.freeze(entry.evidence.map(provisionalMaterial)),\n        coverage: entry.coverage,\n        limitations: entry.limitations,\n        result: entry.result,\n    });\n}\ninterface AssertionsAttachmentEntrySourcesV1<E, R> {\n    readonly subject: AssertionMaterialInputV1<E, R>;\n    readonly evidence: readonly AssertionMaterialInputV1<E, R>[];\n}\nfunction captureEntrySources<E, R>(entry: AssertionsAttachmentEntryInputV1<E, R>): AssertionsAttachmentEntrySourcesV1<E, R> {\n    return Object.freeze({\n        subject: entry.subject,\n        evidence: Object.freeze([...entry.evidence]),\n    });\n}\nfunction materializeMaterial<E, R>(material: AssertionMaterialV1<AssertionsProvisionalBlobRefV1>, source: AssertionMaterialInputV1<E, R>, blobs: RecordAttachmentBlobBuilder, drafts: RecordAttachmentBlobDraft<E, R>[]): AssertionMaterialV1<RecordBlobRef> {\n    if (material.kind === \"snapshot\") {\n        if (source.kind !== \"snapshot\") {\n            throw new Error(\"Assertions producer changed a sealed material kind\");\n        }\n        return Object.freeze({ kind: \"snapshot\", value: material.value });\n    }\n    if (material.kind === \"record-attachment\") {\n        if (source.kind !== \"record-attachment\") {\n            throw new Error(\"Assertions producer changed a sealed material kind\");\n        }\n        return Object.freeze({\n            kind: \"record-attachment\",\n            schemaId: material.schemaId,\n            preview: material.preview,\n        });\n    }\n    if (source.kind !== \"blob\") {\n        throw new Error(\"Assertions producer changed a sealed material kind\");\n    }\n    const draft = blobs.add(source.source);\n    drafts.push(draft);\n    return Object.freeze({\n        kind: \"blob\",\n        ref: draft.ref,\n        encoding: material.encoding,\n        byteLength: material.byteLength,\n        preview: material.preview,\n    });\n}\nfunction outerCriterion(criterion: AssertionEntryV1<AssertionsProvisionalBlobRefV1>[\"criterion\"]): AssertionEntryOuterV1<RecordBlobRef>[\"criterion\"] {\n    const decoded = Schema.decodeUnknownEither(BoundedJsonObjectV1Schema, AssertionsExactParseOptions)(criterion);\n    if (Either.isLeft(decoded)) {\n        throw new Error(\"An Assertions v1 writer criterion must be bounded JSON\");\n    }\n    return decoded.right;\n}\nfunction materializeDocument<E, R>(sources: readonly AssertionsAttachmentEntrySourcesV1<E, R>[], sealedEntries: readonly AssertionEntryV1<AssertionsProvisionalBlobRefV1>[], blobs: RecordAttachmentBlobBuilder): {\n    readonly payload: AssertionsDocumentOuterV1<RecordBlobRef>;\n    readonly blobs: readonly RecordAttachmentBlobDraft<E, R>[];\n} {\n    const drafts: RecordAttachmentBlobDraft<E, R>[] = [];\n    const materializedEntries: AssertionEntryOuterV1<RecordBlobRef>[] = [];\n    for (const [index, sealed] of sealedEntries.entries()) {\n        const source = sources[index];\n        if (source === undefined) {\n            throw new Error(\"Assertions producer lost a sealed entry source\");\n        }\n        if (source.evidence.length !== sealed.evidence.length) {\n            throw new Error(\"Assertions producer changed sealed evidence cardinality\");\n        }\n        materializedEntries.push(Object.freeze({\n            entryId: sealed.entryId,\n            display: sealed.display,\n            criterion: outerCriterion(sealed.criterion),\n            subject: materializeMaterial(sealed.subject, source.subject, blobs, drafts),\n            evidence: Object.freeze(sealed.evidence.map((material, evidenceIndex) => {\n                const evidenceSource = source.evidence[evidenceIndex];\n                if (evidenceSource === undefined) {\n                    throw new Error(\"Assertions producer lost a sealed evidence source\");\n                }\n                return materializeMaterial(material, evidenceSource, blobs, drafts);\n            })),\n            coverage: sealed.coverage,\n            limitations: sealed.limitations,\n            result: sealed.result,\n        }));\n    }\n    return Object.freeze({\n        payload: Object.freeze({ entries: Object.freeze(materializedEntries) }),\n        blobs: Object.freeze(drafts),\n    });\n}\n/**\n * Collects completed facts in declaration order, then mints every blob ref\n * inside one generic RecordAttachment write. Callers never receive a raw ref,\n * path, key, or bytes channel, so cross-Attachment closure is impossible.\n */\nexport function createAssertionsAttachmentProducerV1<E, R>(input: {\n    readonly entryIds: AssertionsEntryIdSourceV1;\n}): AssertionsAttachmentProducerV1<E, R> {\n    const documentBuilder: AssertionsDocumentBuilderV1<AssertionsProvisionalBlobRefV1> = createAssertionsDocumentBuilderV1({\n        documentSchema: assertionsProducerSchemasV1.document,\n        entryIds: input.entryIds,\n    });\n    const sources: AssertionsAttachmentEntrySourcesV1<E, R>[] = [];\n    let sealed: Either.Either<RecordAttachmentWrite<\"attempt\", E, R>, AssertionsProducerErrorV1> | undefined;\n    const producer: AssertionsAttachmentProducerV1<E, R> = {\n        append(entry) {\n            const appended = documentBuilder.append(provisionalEntry(entry));\n            if (Either.isRight(appended))\n                sources.push(captureEntrySources(entry));\n            return appended;\n        },\n        seal() {\n            if (sealed !== undefined)\n                return sealed;\n            const document = documentBuilder.seal();\n            if (Either.isLeft(document)) {\n                sealed = Either.left(document.left);\n                return sealed;\n            }\n            const write = makeRecordAttachmentWrite(assertionsAttachmentFamilyV1, (blobs) => materializeDocument(sources, document.right.entries, blobs));\n            const closure = validateRecordAttachmentWrite(write);\n            if (Either.isLeft(closure)) {\n                throw new Error(\"Assertions producer generated an invalid RecordAttachment closure\");\n            }\n            sealed = Either.right(write);\n            return sealed;\n        },\n    };\n    return Object.freeze(producer);\n}\nexport interface AssertionsProjectorDefinitionV1 {\n    readonly family: typeof assertionsAttachmentFamilyV1;\n    readonly project: (value: RecordAttachmentValue<AssertionsDocumentOuterV1<RecordBlobRef>>) => AssertionsProjectionV1<RecordBlobRef>;\n}\n/** Typed, synchronous projection over one already-materialized Attachment value. */\nexport function defineAssertionsProjectorV1(registry: ThirdPartyCriterionRegistryV1): AssertionsProjectorDefinitionV1 {\n    return Object.freeze({\n        family: assertionsAttachmentFamilyV1,\n        project(value: RecordAttachmentValue<AssertionsDocumentOuterV1<RecordBlobRef>>) {\n            return projectAssertionsDocumentV1(value.payload, registry);\n        },\n    });\n}\n"]}
+{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;;AA6BA,8CAYC;AA4LD,sDAuDC;AAED,gEAcC;AAgID,gFAoCC;AAMD,8DAOC;AA7dD,mCAAwC;AACxC,+DAAgU;AAIhU,yCAA4N;AAC5N,+CAAuL;AAEvL;;;;;GAKG;AACH,MAAM,2BAA2B,GAAuD,eAAM,CAAC,OAAO,CAAgB,CAAC,KAAK,EAA0B,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC;AAStM,MAAM,kCAAkC,GAAgD,eAAM,CAAC,MAAM,CAAC;IAClG,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,iCAAiC,CAAC;CAC1D,CAAC,CAAC;AACU,QAAA,uBAAuB,GAAG,IAAA,wCAA6B,EAAC,2BAA2B,CAAC,CAAC;AAClG,MAAM,yBAAyB,GAAG,IAAA,wCAA6B,EAAC,kCAAkC,CAAC,CAAC;AACpG,gFAAgF;AAChF,SAAgB,iBAAiB,CAAC,QAAgD;IAC9E,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,QAAgD,EAAQ,EAAE;QACvE,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM;YACxB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACnC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ;YACjC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAsBD,SAAS,mBAAmB,CAAC,KAA6B;IACtD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACzG,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,OAAO,GAAgD,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,oBAAoB,CAAC,KAA8B;IACxD,MAAM,OAAO,GAAgD,EAAE,CAAC;IAChE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AACD,SAAS,eAAe,CAAC,SAA6B;IAClD,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,gBAAyB;gBAC7B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;aACtD,CAAC,CAAC;QACP,KAAK,cAAc;YACf,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,iBAA0B;gBAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;aAClF,CAAC,CAAC;QACP,KAAK,YAAY;YACb,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,eAAwB;gBAC5B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;oBAChB,KAAK,EAAE,SAAS,CAAC,KAAK;oBACtB,UAAU,EAAE,SAAS,CAAC,UAAU;oBAChC,SAAS,EAAE,SAAS,CAAC,SAAS;oBAC9B,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;oBAC1E,GAAG,CAAC,SAAS,CAAC,UAAU,KAAK,SAAS;wBAClC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC;4BACE,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;gCAC9C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,CAAC;gCAC5C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;yBAC9F,CAAC;iBACT,CAAC;aACL,CAAC,CAAC;QACP,KAAK,mBAAmB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,sBAA+B;gBACnC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;aAC5E,CAAC,CAAC;QACP,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACpB,QAAQ,SAAS,CAAC,SAAS,EAAE,CAAC;gBAC1B,KAAK,eAAe;oBAChB,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,eAAwB,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;qBAC3G,CAAC,CAAC;gBACP,KAAK,YAAY;oBACb,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,YAAqB,EAAE,CAAC;qBAC5D,CAAC,CAAC;gBACP,KAAK,cAAc;oBACf,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;4BAChB,SAAS,EAAE,cAAuB;4BAClC,IAAI,EAAE,SAAS,CAAC,IAAI;4BACpB,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;4BACvE,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;4BACvE,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;yBACvE,CAAC;qBACL,CAAC,CAAC;gBACP,KAAK,cAAc;oBACf,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,cAAuB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;qBACpF,CAAC,CAAC;gBACP,KAAK,aAAa;oBACd,OAAO,MAAM,CAAC,MAAM,CAAC;wBACjB,IAAI,EAAE,SAAkB;wBACxB,EAAE,EAAE,mBAA4B;wBAChC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;4BAChB,SAAS,EAAE,aAAsB;4BACjC,OAAO,EAAE,SAAS,CAAC,OAAO;4BAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;4BACtB,OAAO,EAAE,SAAS,CAAC,OAAO;yBAC7B,CAAC;qBACL,CAAC,CAAC;YACX,CAAC;QACL,CAAC;QACD,KAAK,cAAc;YACf,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAkB;gBACxB,EAAE,EAAE,iBAA0B;gBAC9B,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC;aACpD,CAAC,CAAC;QACP,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,IAAI,EAAE,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC;aAC5C,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAC,QAA2B;IAC/C,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,UAAmB;gBACzB,KAAK,EAAE,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC;aAC7C,CAAC,CAAC;QACP,KAAK,mBAAmB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,mEAAmE;gBACnE,oEAAoE;gBACpE,IAAI,EAAE,UAAmB;gBACzB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;oBACjB,IAAI,EAAE,cAAc;oBACpB,OAAO,EAAE,QAAQ,CAAC,OAAO;iBAC5B,CAAC;aACL,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAC,QAA2B;IAC/C,QAAQ,QAAQ,CAAC,KAAK,EAAE,CAAC;QACrB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,CAAC,CAAC;QACzD,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACjF,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACrF,KAAK,gBAAgB;YACjB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,gBAAyB,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5F,CAAC;AACL,CAAC;AACD,SAAS,iBAAiB,CAAC,WAA2C;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAuB,EAAE;QACrE,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,UAAU;gBACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;YAC3F,KAAK,SAAS;gBACV,OAAO,MAAM,CAAC,MAAM,CAAC;oBACjB,IAAI,EAAE,SAAkB;oBACxB,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,GAAG,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;iBACxF,CAAC,CAAC;YACP,KAAK,WAAW;gBACZ,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAoB,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;YAChG,KAAK,kBAAkB;gBACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,kBAA2B,EAAE,CAAC,CAAC;QACpE,CAAC;IACL,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AACD,SAAgB,qBAAqB,CAAC,MAAuB;IACzD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS;QAC9C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,UAAU,EAAE,oBAAoB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;IAC9D,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,SAAkB;gBACzB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBAClC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACvG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,YAAY;YACb,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,YAAqB;gBAC5B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;oBAClC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBACvG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,SAAkB;gBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;QACP,KAAK,gBAAgB;YACjB,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,gBAAyB;gBAChC,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,aAAa;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;oBAC5G,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,YAAqB,EAAE,CAAC;gBACrD,GAAG,UAAU;aAChB,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,yDAAyD;AACzD,SAAgB,0BAA0B,CAAC,KAA2B;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;YACtE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YAC5E,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SACzD,CAAC;QACF,SAAS,EAAE,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC;QAC3C,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAC3D,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC;QACxC,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;QACjD,MAAM,EAAE,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;KAC9C,CAAC,CAAC;AACP,CAAC;AASD,SAAS,sBAAsB;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAAC,CAAC;AACtE,CAAC;AACD,SAAS,mBAAmB,CAAO,QAAsC;IACrE,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACtE,KAAK,MAAM;YACP,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,MAAM;gBACZ,GAAG,EAAE,sBAAsB,EAAE;gBAC7B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC5B,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,SAAS,gBAAgB,CAAO,KAA2C;IACvE,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC;QAC3C,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAChE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;KACvB,CAAC,CAAC;AACP,CAAC;AAKD,SAAS,mBAAmB,CAAO,KAA2C;IAC1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;KAC/C,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAO,QAA+D,EAAE,MAAoC,EAAE,KAAkC,EAAE,MAAyC;IACnN,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAI,EAAE,MAAM;QACZ,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC5B,CAAC,CAAC;AACP,CAAC;AACD,SAAS,cAAc,CAAC,SAAoE;IACxF,0EAA0E;IAC1E,2EAA2E;IAC3E,IAAI,CAAC,IAAA,8BAAmB,EAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,kCAAuB,EAAE,sCAA2B,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5G,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC;AACzB,CAAC;AACD,SAAS,mBAAmB,CAAO,OAA0D,EAAE,aAAsE,EAAE,WAA2C,EAAE,KAAkC;IAIlP,MAAM,MAAM,GAAsC,EAAE,CAAC;IACrD,MAAM,mBAAmB,GAAyC,EAAE,CAAC;IACrE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC/E,CAAC;QACD,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACnC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC;YAC3C,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;YAC3E,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,EAAE;gBACpE,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;gBACtD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;oBAC/B,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;gBACzE,CAAC;gBACD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC;YACH,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;SACxB,CAAC,CAAC,CAAC;IACR,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC;YAC3C,wEAAwE;YACxE,wEAAwE;YACxE,8DAA8D;YAC9D,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC;SAC/C,CAAC;QACF,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC/B,CAAC,CAAC;AACP,CAAC;AACD;;;;GAIG;AACH,SAAgB,kCAAkC,CAAO,MAIxD;IACG,MAAM,eAAe,GAA4D,IAAA,6CAA+B,EAAC;QAC7G,cAAc,EAAE,yBAAyB,CAAC,QAAQ;QAClD,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC5B,CAAC,CAAC;IACH,MAAM,OAAO,GAA6C,EAAE,CAAC;IAC7D,IAAI,MAAkG,CAAC;IACvG,MAAM,QAAQ,GAAuC;QACjD,MAAM,CAAC,KAAK;YACR,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;YACjE,IAAI,eAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7C,OAAO,QAAQ,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,YAA2C,EAAE;YAC9C,IAAI,MAAM,KAAK,SAAS;gBACpB,OAAO,MAAM,CAAC;YAClB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,eAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1B,MAAM,GAAG,eAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpC,OAAO,MAAM,CAAC;YAClB,CAAC;YACD,MAAM,KAAK,GAAG,IAAA,yCAA8B,EAAC,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YAC/K,MAAM,OAAO,GAAG,IAAA,wCAA6B,EAAC,KAAK,CAAC,CAAC;YACrD,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM,GAAG,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC7B,OAAO,MAAM,CAAC;QAClB,CAAC;KACJ,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAKD,oFAAoF;AACpF,SAAgB,yBAAyB,CAAC,QAAqC,EAAE,KAAgE;IAC7I,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK;QACL,OAAO,CAAC,KAA4D;YAChE,OAAO,IAAA,oCAAyB,EAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACtD,CAAC;KACJ,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { makeFixedRecordAttachmentWrite, validateRecordAttachmentWrite, type FixedAttachmentWriteSpec, type RecordAttachmentBlobBuilder, type RecordAttachmentBlobDraft, type RecordAttachmentPayloadSnapshot, type RecordAttachmentWrite, type RecordBlobRef, type RecordBlobSource, } from \"../../record/attachment/index.ts\";\nimport type { AssertionSourceSite, AssertionsAttachment, } from \"../../record/family/assertions.ts\";\nimport type { Sha256Digest } from \"../../record/model/identifiers.ts\";\nimport type { AssertionCoverage, AssertionCriterion, AssertionLimitation, AssertionMaterial, AssertionResult, AssertionSnapshotObject, AssertionSnapshotValue, SealedAssertionEntry, } from \"../api.ts\";\nimport { AssertionEntryIdSchema, AssertionsExactParseOptions, BoundedJsonObjectSchema, createAssertionsRecordSchemas, isBoundedJsonObject, projectAssertionsDocument, type ThirdPartyCriterionRegistry, } from \"./codec.ts\";\nimport { createAssertionsDocumentBuilder, type AssertionEntryInput, type AssertionsDocumentBuilder, type AssertionsEntryIdSource, type AssertionsProducerError, } from \"./producer.ts\";\nimport type { AssertionEntryId, AssertionEntry, AssertionEntryOuter, AssertionCoverage as RecordAssertionCoverage, AssertionLimitation as RecordAssertionLimitation, AssertionMaterial as RecordAssertionMaterial, AssertionsDocumentOuter, AssertionsProjection, BoundedJsonObject, BoundedJsonValue, SealedAssertionResult, WritableCriterionEnvelope, } from \"./model.ts\";\n/**\n * The Record attachment runtime keeps the real ref authority private. This\n * positional schema only lets the Assertions schema carry a package ref;\n * generic Record closure validation still rejects every ref not minted by the\n * current Attachment builder.\n */\nconst RecordBlobRefPositionSchema: Schema.Schema<RecordBlobRef, RecordBlobRef, never> = Schema.declare<RecordBlobRef>((value): value is RecordBlobRef => typeof value === \"object\" && value !== null);\n/**\n * Producer preflight needs to validate the strict writer document before the\n * real Attachment builder exists. This is deliberately not a RecordBlobRef:\n * final payloads replace it with a ref minted by `blobs.add` below.\n */\ninterface AssertionsProvisionalBlobRef {\n    readonly kind: \"assertions-provisional-blob-ref\";\n}\nconst AssertionsProvisionalBlobRefSchema: Schema.Schema<AssertionsProvisionalBlobRef> = Schema.Struct({\n    kind: Schema.Literal(\"assertions-provisional-blob-ref\"),\n});\nexport const assertionsRecordSchemas = createAssertionsRecordSchemas(RecordBlobRefPositionSchema);\nconst assertionsProducerSchemas = createAssertionsRecordSchemas(AssertionsProvisionalBlobRefSchema);\n/** Complete payload-order projection required by Record's closure validator. */\nexport function assertionBlobRefs(document: AssertionsDocumentOuter<RecordBlobRef>): readonly RecordBlobRef[] {\n    const refs: RecordBlobRef[] = [];\n    const collect = (material: RecordAssertionMaterial<RecordBlobRef>): void => {\n        if (material.kind === \"blob\")\n            refs.push(material.ref);\n    };\n    for (const entry of document.entries) {\n        collect(entry.subject);\n        for (const material of entry.evidence)\n            collect(material);\n    }\n    return Object.freeze(refs);\n}\nexport type AssertionMaterialInput<E, R> = {\n    readonly kind: \"snapshot\";\n    readonly value: BoundedJsonValue;\n} | {\n    readonly kind: \"blob\";\n    readonly source: RecordBlobSource<E, R>;\n    readonly encoding: \"utf-8\" | \"binary\";\n    readonly byteLength: number;\n    /** Digest declared by the producer and checked against sealed bytes. */\n    readonly sha256: Sha256Digest;\n    readonly preview: string;\n};\nexport interface AssertionsAttachmentEntryInput<E, R> {\n    readonly display: AssertionEntryInput<RecordBlobRef>[\"display\"];\n    readonly criterion: AssertionEntryInput<RecordBlobRef>[\"criterion\"];\n    readonly subject: AssertionMaterialInput<E, R>;\n    readonly evidence: readonly AssertionMaterialInput<E, R>[];\n    readonly coverage: AssertionEntryInput<RecordBlobRef>[\"coverage\"];\n    readonly limitations: AssertionEntryInput<RecordBlobRef>[\"limitations\"];\n    readonly result: AssertionEntryInput<RecordBlobRef>[\"result\"];\n}\nfunction encodeSnapshotValue(value: AssertionSnapshotValue): BoundedJsonValue {\n    if (value === null || typeof value === \"boolean\" || typeof value === \"number\" || typeof value === \"string\") {\n        return value;\n    }\n    if (Array.isArray(value)) {\n        return Object.freeze(value.map(encodeSnapshotValue));\n    }\n    const encoded: globalThis.Record<string, BoundedJsonValue> = {};\n    for (const [key, nested] of Object.entries(value)) {\n        encoded[key] = encodeSnapshotValue(nested);\n    }\n    return Object.freeze(encoded);\n}\nfunction encodeSnapshotObject(value: AssertionSnapshotObject): BoundedJsonObject {\n    const encoded: globalThis.Record<string, BoundedJsonValue> = {};\n    for (const [key, nested] of Object.entries(value)) {\n        encoded[key] = encodeSnapshotValue(nested);\n    }\n    return Object.freeze(encoded);\n}\nfunction encodeCriterion(criterion: AssertionCriterion): WritableCriterionEnvelope {\n    switch (criterion.kind) {\n        case \"value-match\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"value-match/v1\" as const,\n                data: Object.freeze({ subject: criterion.subject }),\n            });\n        case \"scope-status\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"scope-status/v1\" as const,\n                data: Object.freeze({ scope: criterion.scope, assertion: criterion.assertion }),\n            });\n        case \"occurrence\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"occurrence/v1\" as const,\n                data: Object.freeze({\n                    scope: criterion.scope,\n                    occurrence: criterion.occurrence,\n                    assertion: criterion.assertion,\n                    ...(criterion.matcher === undefined ? {} : { matcher: criterion.matcher }),\n                    ...(criterion.quantifier === undefined\n                        ? {}\n                        : {\n                            quantifier: criterion.quantifier.kind === \"absent\"\n                                ? Object.freeze({ kind: \"absent\" as const })\n                                : Object.freeze({ kind: criterion.quantifier.kind, count: criterion.quantifier.count }),\n                        }),\n                }),\n            });\n        case \"judge-measurement\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"judge-measurement/v1\" as const,\n                data: Object.freeze({ recipe: criterion.recipe, scale: criterion.scale }),\n            });\n        case \"sandbox-result\": {\n            switch (criterion.operation) {\n                case \"changed-paths\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({ operation: \"changed-paths\" as const, paths: Object.freeze([...criterion.paths]) }),\n                    });\n                case \"no-changes\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({ operation: \"no-changes\" as const }),\n                    });\n                case \"file-changed\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({\n                            operation: \"file-changed\" as const,\n                            path: criterion.path,\n                            ...(criterion.status === undefined ? {} : { status: criterion.status }),\n                            ...(criterion.before === undefined ? {} : { before: criterion.before }),\n                            ...(criterion.after === undefined ? {} : { after: criterion.after }),\n                        }),\n                    });\n                case \"file-deleted\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({ operation: \"file-deleted\" as const, path: criterion.path }),\n                    });\n                case \"not-in-diff\":\n                    return Object.freeze({\n                        kind: \"builtin\" as const,\n                        id: \"sandbox-result/v1\" as const,\n                        data: Object.freeze({\n                            operation: \"not-in-diff\" as const,\n                            pattern: criterion.pattern,\n                            flags: criterion.flags,\n                            content: criterion.content,\n                        }),\n                    });\n            }\n        }\n        case \"direct-score\":\n            return Object.freeze({\n                kind: \"builtin\" as const,\n                id: \"direct-score/v1\" as const,\n                data: Object.freeze({ source: criterion.source }),\n            });\n        case \"third-party\":\n            return Object.freeze({\n                name: criterion.name,\n                schemaId: criterion.schemaId,\n                data: encodeSnapshotValue(criterion.data),\n            });\n    }\n}\nfunction encodeMaterial(material: AssertionMaterial): AssertionMaterialInput<never, never> {\n    switch (material.kind) {\n        case \"snapshot\":\n            return Object.freeze({\n                kind: \"snapshot\" as const,\n                value: encodeSnapshotValue(material.value),\n            });\n        case \"record-attachment\":\n            return Object.freeze({\n                // The durable Assertions closure cannot hold a capability into the\n                // File Changes family. Keep only the already-safe display material.\n                kind: \"snapshot\" as const,\n                value: Object.freeze({\n                    kind: \"file-changes\",\n                    preview: material.preview,\n                }),\n            });\n    }\n}\nfunction encodeCoverage(coverage: AssertionCoverage): AssertionCoverage {\n    switch (coverage.state) {\n        case \"complete\":\n            return Object.freeze({ state: \"complete\" as const });\n        case \"partial\":\n            return Object.freeze({ state: \"partial\" as const, reason: coverage.reason });\n        case \"unavailable\":\n            return Object.freeze({ state: \"unavailable\" as const, reason: coverage.reason });\n        case \"not-applicable\":\n            return Object.freeze({ state: \"not-applicable\" as const, reason: coverage.reason });\n    }\n}\nfunction encodeLimitations(limitations: readonly AssertionLimitation[]): readonly AssertionLimitation[] {\n    return Object.freeze(limitations.map((limitation): AssertionLimitation => {\n        switch (limitation.kind) {\n            case \"redacted\":\n                return Object.freeze({ kind: \"redacted\" as const, fieldCount: limitation.fieldCount });\n            case \"sampled\":\n                return Object.freeze({\n                    kind: \"sampled\" as const,\n                    captured: limitation.captured,\n                    ...(limitation.knownTotal === undefined ? {} : { knownTotal: limitation.knownTotal }),\n                });\n            case \"truncated\":\n                return Object.freeze({ kind: \"truncated\" as const, omittedBytes: limitation.omittedBytes });\n            case \"provider-limited\":\n                return Object.freeze({ kind: \"provider-limited\" as const });\n        }\n    }));\n}\nexport function encodeAssertionResult(result: AssertionResult): SealedAssertionResult {\n    const diagnostic = result.diagnostic === undefined\n        ? {}\n        : { diagnostic: encodeSnapshotObject(result.diagnostic) };\n    switch (result.state) {\n        case \"matched\":\n            return Object.freeze({\n                state: \"matched\" as const,\n                gate: result.gate,\n                score: result.score.state === \"earned\"\n                    ? Object.freeze({ state: \"earned\" as const, points: result.score.points, earned: result.score.earned })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"mismatched\":\n            return Object.freeze({\n                state: \"mismatched\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"earned\"\n                    ? Object.freeze({ state: \"earned\" as const, points: result.score.points, earned: result.score.earned })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"unavailable\":\n            return Object.freeze({\n                state: \"unavailable\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"unavailable\"\n                    ? Object.freeze({ state: \"unavailable\" as const, points: result.score.points, reason: result.score.reason })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"errored\":\n            return Object.freeze({\n                state: \"errored\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"unavailable\"\n                    ? Object.freeze({ state: \"unavailable\" as const, points: result.score.points, reason: result.score.reason })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n        case \"not-applicable\":\n            return Object.freeze({\n                state: \"not-applicable\" as const,\n                reason: result.reason,\n                gate: result.gate,\n                score: result.score.state === \"unavailable\"\n                    ? Object.freeze({ state: \"unavailable\" as const, points: result.score.points, reason: result.score.reason })\n                    : Object.freeze({ state: \"not-scored\" as const }),\n                ...diagnostic,\n            });\n    }\n}\n/** Private Runtime → durable Assertions codec bridge. */\nexport function encodeSealedAssertionEntry(entry: SealedAssertionEntry): AssertionsAttachmentEntryInput<never, never> {\n    return Object.freeze({\n        display: Object.freeze({\n            ...(entry.display.key === undefined ? {} : { key: entry.display.key }),\n            ...(entry.display.label === undefined ? {} : { label: entry.display.label }),\n            groupPath: Object.freeze([...entry.display.groupPath]),\n        }),\n        criterion: encodeCriterion(entry.criterion),\n        subject: encodeMaterial(entry.subject),\n        evidence: Object.freeze(entry.evidence.map(encodeMaterial)),\n        coverage: encodeCoverage(entry.coverage),\n        limitations: encodeLimitations(entry.limitations),\n        result: encodeAssertionResult(entry.result),\n    });\n}\nexport interface AssertionsAttachmentProducer<E, R> {\n    readonly append: (entry: AssertionsAttachmentEntryInput<E, R>) => Either.Either<AssertionEntryId, AssertionsProducerError>;\n    readonly seal: (input?: AssertionsAttachmentSealInput) => Either.Either<RecordAttachmentWrite<\"attempt\", E, R>, AssertionsProducerError>;\n}\nexport interface AssertionsAttachmentSealInput {\n    /** Semantic joins to origin-Run Sources, embedded in this fixed family. */\n    readonly sourceSites?: readonly AssertionSourceSite[];\n}\nfunction makeProvisionalBlobRef(): AssertionsProvisionalBlobRef {\n    return Object.freeze({ kind: \"assertions-provisional-blob-ref\" });\n}\nfunction provisionalMaterial<E, R>(material: AssertionMaterialInput<E, R>): RecordAssertionMaterial<AssertionsProvisionalBlobRef> {\n    switch (material.kind) {\n        case \"snapshot\":\n            return Object.freeze({ kind: \"snapshot\", value: material.value });\n        case \"blob\":\n            return Object.freeze({\n                kind: \"blob\",\n                ref: makeProvisionalBlobRef(),\n                encoding: material.encoding,\n                byteLength: material.byteLength,\n                sha256: material.sha256,\n                preview: material.preview,\n            });\n    }\n}\nfunction provisionalEntry<E, R>(entry: AssertionsAttachmentEntryInput<E, R>): AssertionEntryInput<AssertionsProvisionalBlobRef> {\n    return Object.freeze({\n        display: entry.display,\n        criterion: entry.criterion,\n        subject: provisionalMaterial(entry.subject),\n        evidence: Object.freeze(entry.evidence.map(provisionalMaterial)),\n        coverage: entry.coverage,\n        limitations: entry.limitations,\n        result: entry.result,\n    });\n}\ninterface AssertionsAttachmentEntrySources<E, R> {\n    readonly subject: AssertionMaterialInput<E, R>;\n    readonly evidence: readonly AssertionMaterialInput<E, R>[];\n}\nfunction captureEntrySources<E, R>(entry: AssertionsAttachmentEntryInput<E, R>): AssertionsAttachmentEntrySources<E, R> {\n    return Object.freeze({\n        subject: entry.subject,\n        evidence: Object.freeze([...entry.evidence]),\n    });\n}\nfunction materializeMaterial<E, R>(material: RecordAssertionMaterial<AssertionsProvisionalBlobRef>, source: AssertionMaterialInput<E, R>, blobs: RecordAttachmentBlobBuilder, drafts: RecordAttachmentBlobDraft<E, R>[]): RecordAssertionMaterial<RecordBlobRef> {\n    if (material.kind === \"snapshot\") {\n        if (source.kind !== \"snapshot\") {\n            throw new Error(\"Assertions producer changed a sealed material kind\");\n        }\n        return Object.freeze({ kind: \"snapshot\", value: material.value });\n    }\n    if (source.kind !== \"blob\") {\n        throw new Error(\"Assertions producer changed a sealed material kind\");\n    }\n    const draft = blobs.add(source.source);\n    drafts.push(draft);\n    return Object.freeze({\n        kind: \"blob\",\n        ref: draft.ref,\n        encoding: material.encoding,\n        byteLength: material.byteLength,\n        sha256: material.sha256,\n        preview: material.preview,\n    });\n}\nfunction outerCriterion(criterion: AssertionEntry<AssertionsProvisionalBlobRef>[\"criterion\"]): AssertionEntryOuter<RecordBlobRef>[\"criterion\"] {\n    // Effect's structural decoder reads fields before a trailing filter. Keep\n    // the descriptor-aware raw check in front so accessors are never executed.\n    if (!isBoundedJsonObject(criterion)) {\n        throw new Error(\"An Assertions v1 writer criterion must be bounded JSON\");\n    }\n    const decoded = Schema.decodeUnknownEither(BoundedJsonObjectSchema, AssertionsExactParseOptions)(criterion);\n    if (Either.isLeft(decoded)) {\n        throw new Error(\"An Assertions v1 writer criterion must be bounded JSON\");\n    }\n    return decoded.right;\n}\nfunction materializeDocument<E, R>(sources: readonly AssertionsAttachmentEntrySources<E, R>[], sealedEntries: readonly AssertionEntry<AssertionsProvisionalBlobRef>[], sourceSites: readonly AssertionSourceSite[], blobs: RecordAttachmentBlobBuilder): {\n    readonly payload: AssertionsAttachment;\n    readonly blobs: readonly RecordAttachmentBlobDraft<E, R>[];\n} {\n    const drafts: RecordAttachmentBlobDraft<E, R>[] = [];\n    const materializedEntries: AssertionEntryOuter<RecordBlobRef>[] = [];\n    for (const [index, sealed] of sealedEntries.entries()) {\n        const source = sources[index];\n        if (source === undefined) {\n            throw new Error(\"Assertions producer lost a sealed entry source\");\n        }\n        if (source.evidence.length !== sealed.evidence.length) {\n            throw new Error(\"Assertions producer changed sealed evidence cardinality\");\n        }\n        materializedEntries.push(Object.freeze({\n            entryId: sealed.entryId,\n            display: sealed.display,\n            criterion: outerCriterion(sealed.criterion),\n            subject: materializeMaterial(sealed.subject, source.subject, blobs, drafts),\n            evidence: Object.freeze(sealed.evidence.map((material, evidenceIndex) => {\n                const evidenceSource = source.evidence[evidenceIndex];\n                if (evidenceSource === undefined) {\n                    throw new Error(\"Assertions producer lost a sealed evidence source\");\n                }\n                return materializeMaterial(material, evidenceSource, blobs, drafts);\n            })),\n            coverage: sealed.coverage,\n            limitations: sealed.limitations,\n            result: sealed.result,\n        }));\n    }\n    return Object.freeze({\n        payload: Object.freeze({\n            entries: Object.freeze(materializedEntries),\n            // Source sites are joined into this fixed family by the runner's source\n            // capture before final sealing. A producer with no captured site writes\n            // the exact empty sequence instead of another durable family.\n            sourceSites: Object.freeze([...sourceSites]),\n        }),\n        blobs: Object.freeze(drafts),\n    });\n}\n/**\n * Collects completed facts in declaration order, then mints every blob ref\n * inside one generic RecordAttachment write. Callers never receive a raw ref,\n * path, key, or bytes channel, so cross-Attachment closure is impossible.\n */\nexport function createAssertionsAttachmentProducer<E, R>(config: {\n    readonly entryIds: AssertionsEntryIdSource;\n    /** Injected by the fixed catalog consumer to avoid a catalog initialization cycle. */\n    readonly write: FixedAttachmentWriteSpec<\"attempt\", AssertionsAttachment>;\n}): AssertionsAttachmentProducer<E, R> {\n    const documentBuilder: AssertionsDocumentBuilder<AssertionsProvisionalBlobRef> = createAssertionsDocumentBuilder({\n        documentSchema: assertionsProducerSchemas.document,\n        entryIds: config.entryIds,\n    });\n    const sources: AssertionsAttachmentEntrySources<E, R>[] = [];\n    let sealed: Either.Either<RecordAttachmentWrite<\"attempt\", E, R>, AssertionsProducerError> | undefined;\n    const producer: AssertionsAttachmentProducer<E, R> = {\n        append(entry) {\n            const appended = documentBuilder.append(provisionalEntry(entry));\n            if (Either.isRight(appended))\n                sources.push(captureEntrySources(entry));\n            return appended;\n        },\n        seal(sealInput: AssertionsAttachmentSealInput = {}) {\n            if (sealed !== undefined)\n                return sealed;\n            const document = documentBuilder.seal();\n            if (Either.isLeft(document)) {\n                sealed = Either.left(document.left);\n                return sealed;\n            }\n            const write = makeFixedRecordAttachmentWrite(config.write, (blobs) => materializeDocument(sources, document.right.entries, sealInput.sourceSites ?? Object.freeze([]), blobs));\n            const closure = validateRecordAttachmentWrite(write);\n            if (Either.isLeft(closure)) {\n                throw new Error(\"Assertions producer generated an invalid RecordAttachment closure\");\n            }\n            sealed = Either.right(write);\n            return sealed;\n        },\n    };\n    return Object.freeze(producer);\n}\nexport interface AssertionsProjectorDefinition {\n    readonly write: FixedAttachmentWriteSpec<\"attempt\", AssertionsAttachment>;\n    readonly project: (value: RecordAttachmentPayloadSnapshot<AssertionsAttachment>) => AssertionsProjection<RecordBlobRef>;\n}\n/** Typed, synchronous projection over one already-materialized Attachment value. */\nexport function defineAssertionsProjector(registry: ThirdPartyCriterionRegistry, write: FixedAttachmentWriteSpec<\"attempt\", AssertionsAttachment>): AssertionsProjectorDefinition {\n    return Object.freeze({\n        write,\n        project(value: RecordAttachmentPayloadSnapshot<AssertionsAttachment>) {\n            return projectAssertionsDocument(value, registry);\n        },\n    });\n}\n"]}