niceeval 0.13.2 → 0.13.3

package/dist/assertions/match.d.cts

@@ -35,19 +35,32 @@ export interface MatchDiagnosticChild {
     readonly diagnostic?: MatchDiagnostic;
 }
 export type MatchEvaluationState = "matched" | "mismatched" | "unavailable";
+export interface CollectionEvaluationReceipt {
+    readonly examined: number;
+    readonly matched: number;
+    readonly mismatched: number;
+    readonly unavailable: number;
+    readonly knownTotal: number | null;
+    readonly complete: boolean;
+    readonly exhaustive: boolean;
+    readonly decisive: boolean;
+}
 /** 一个单候选 matcher 的内部三态结果。 */
 export type BooleanMatchEvaluation<R> = {
     readonly state: "matched";
     /** 永远是传入 candidate 本身，只是在类型层收窄。 */
     readonly value: R;
     readonly diagnostic?: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 } | {
     readonly state: "mismatched";
     readonly diagnostic: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 } | {
     readonly state: "unavailable";
     readonly reason: string;
     readonly diagnostic: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 };
 declare const matchInputBrand: unique symbol;
 declare const matchRefinementBrand: unique symbol;

package/dist/assertions/match.d.mts

@@ -35,19 +35,32 @@ export interface MatchDiagnosticChild {
     readonly diagnostic?: MatchDiagnostic;
 }
 export type MatchEvaluationState = "matched" | "mismatched" | "unavailable";
+export interface CollectionEvaluationReceipt {
+    readonly examined: number;
+    readonly matched: number;
+    readonly mismatched: number;
+    readonly unavailable: number;
+    readonly knownTotal: number | null;
+    readonly complete: boolean;
+    readonly exhaustive: boolean;
+    readonly decisive: boolean;
+}
 /** 一个单候选 matcher 的内部三态结果。 */
 export type BooleanMatchEvaluation<R> = {
     readonly state: "matched";
     /** 永远是传入 candidate 本身，只是在类型层收窄。 */
     readonly value: R;
     readonly diagnostic?: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 } | {
     readonly state: "mismatched";
     readonly diagnostic: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 } | {
     readonly state: "unavailable";
     readonly reason: string;
     readonly diagnostic: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 };
 declare const matchInputBrand: unique symbol;
 declare const matchRefinementBrand: unique symbol;

package/dist/assertions/match.d.ts

@@ -35,19 +35,32 @@ export interface MatchDiagnosticChild {
     readonly diagnostic?: MatchDiagnostic;
 }
 export type MatchEvaluationState = "matched" | "mismatched" | "unavailable";
+export interface CollectionEvaluationReceipt {
+    readonly examined: number;
+    readonly matched: number;
+    readonly mismatched: number;
+    readonly unavailable: number;
+    readonly knownTotal: number | null;
+    readonly complete: boolean;
+    readonly exhaustive: boolean;
+    readonly decisive: boolean;
+}
 /** 一个单候选 matcher 的内部三态结果。 */
 export type BooleanMatchEvaluation<R> = {
     readonly state: "matched";
     /** 永远是传入 candidate 本身，只是在类型层收窄。 */
     readonly value: R;
     readonly diagnostic?: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 } | {
     readonly state: "mismatched";
     readonly diagnostic: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 } | {
     readonly state: "unavailable";
     readonly reason: string;
     readonly diagnostic: MatchDiagnostic;
+    readonly receipt?: CollectionEvaluationReceipt;
 };
 declare const matchInputBrand: unique symbol;
 declare const matchRefinementBrand: unique symbol;

package/dist/assertions/record/attachment.cjs

@@ -32,8 +32,8 @@ function assertionBlobRefs(document) {
             refs.push(material.ref);
     };
     for (const entry of document.entries) {
-        collect(entry.subject);
-        for (const material of entry.evidence)
+        collect(entry.materials.source);
+        for (const material of entry.materials.evidence)
             collect(material);
     }
     return Object.freeze(refs);
@@ -58,13 +58,32 @@ function encodeSnapshotObject(value) {
     }
     return Object.freeze(encoded);
 }
+function explanationValue(value) {
+    if (value === null || typeof value === "boolean" || typeof value === "string" ||
+        (typeof value === "number" && Number.isFinite(value))) {
+        return Object.freeze({ kind: "value", value });
+    }
+    if (Array.isArray(value)) {
+        return Object.freeze({ kind: "list", items: Object.freeze(value.map(explanationValue)) });
+    }
+    if (typeof value === "object" && value !== null) {
+        return Object.freeze({
+            kind: "fields",
+            fields: Object.freeze(Object.entries(value).map(([label, nested]) => Object.freeze({
+                label,
+                value: explanationValue(nested),
+            }))),
+        });
+    }
+    return Object.freeze({ kind: "unavailable", reason: "source-unavailable" });
+}
 function encodeCriterion(criterion) {
     switch (criterion.kind) {
         case "value-match":
             return Object.freeze({
                 kind: "builtin",
                 id: "value-match/v1",
-                data: Object.freeze({ subject: criterion.subject }),
+                data: Object.freeze({ subject: criterion.subject, matcher: criterion.matcher }),
             });
         case "scope-status":
             return Object.freeze({
@@ -226,6 +245,7 @@ function encodeAssertionResult(result) {
     const diagnostic = result.diagnostic === undefined
         ? {}
         : { diagnostic: encodeSnapshotObject(result.diagnostic) };
+    const receipt = result.receipt === undefined ? {} : { receipt: Object.freeze({ ...result.receipt }) };
     switch (result.state) {
         case "matched":
             return Object.freeze({
@@ -235,6 +255,7 @@ function encodeAssertionResult(result) {
                     ? Object.freeze({ state: "earned", points: result.score.points, earned: result.score.earned })
                     : Object.freeze({ state: "not-scored" }),
                 ...diagnostic,
+                ...receipt,
             });
         case "mismatched":
             return Object.freeze({
@@ -245,6 +266,7 @@ function encodeAssertionResult(result) {
                     ? Object.freeze({ state: "earned", points: result.score.points, earned: result.score.earned })
                     : Object.freeze({ state: "not-scored" }),
                 ...diagnostic,
+                ...receipt,
             });
         case "unavailable":
             return Object.freeze({
@@ -255,6 +277,7 @@ function encodeAssertionResult(result) {
                     ? Object.freeze({ state: "unavailable", points: result.score.points, reason: result.score.reason })
                     : Object.freeze({ state: "not-scored" }),
                 ...diagnostic,
+                ...receipt,
             });
         case "errored":
             return Object.freeze({
@@ -265,6 +288,7 @@ function encodeAssertionResult(result) {
                     ? Object.freeze({ state: "unavailable", points: result.score.points, reason: result.score.reason })
                     : Object.freeze({ state: "not-scored" }),
                 ...diagnostic,
+                ...receipt,
             });
         case "not-applicable":
             return Object.freeze({
@@ -275,23 +299,48 @@ function encodeAssertionResult(result) {
                     ? Object.freeze({ state: "unavailable", points: result.score.points, reason: result.score.reason })
                     : Object.freeze({ state: "not-scored" }),
                 ...diagnostic,
+                ...receipt,
             });
     }
 }
 /** Private Runtime → durable Assertions codec bridge. */
 function encodeSealedAssertionEntry(entry) {
+    const criterion = encodeCriterion(entry.criterion);
+    const subject = encodeMaterial(entry.subject);
+    const result = encodeAssertionResult(entry.result);
     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: 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),
+        criterion: Object.freeze({ state: "available", value: criterion }),
+        materials: Object.freeze({
+            source: subject,
+            evidence: Object.freeze(entry.evidence.map(encodeMaterial)),
+            coverage: encodeCoverage(entry.coverage),
+            limitations: encodeLimitations(entry.limitations),
+        }),
+        evaluation: Object.freeze({
+            observed: explanationValue(entry.observed),
+            ...(result.receipt === undefined ? {} : { receipt: result.receipt }),
+        }),
+        decision: Object.freeze({
+            result: result.state,
+            reason: "reason" in result ? result.reason : null,
+            gate: result.gate,
+        }),
+        policy: Object.freeze({
+            requirement: Object.freeze({ state: "available", value: entry.policy.requirement }),
+            condition: Object.freeze({ state: "available", value: entry.policy.condition }),
+        }),
+        contribution: result.score,
+        explanationRetention: result.diagnostic === undefined
+            ? Object.freeze({ state: "retained", value: Object.freeze({
+                    kind: "unavailable",
+                    reason: "not-declared",
+                }) })
+            : Object.freeze({ state: "retained", value: explanationValue(result.diagnostic) }),
     });
 }
 function makeProvisionalBlobRef() {
@@ -299,6 +348,8 @@ function makeProvisionalBlobRef() {
 }
 function provisionalMaterial(material) {
     switch (material.kind) {
+        case "unavailable":
+            return material;
         case "snapshot":
             return Object.freeze({ kind: "snapshot", value: material.value });
         case "blob":
@@ -316,20 +367,32 @@ function provisionalEntry(entry) {
     return Object.freeze({
         display: entry.display,
         criterion: entry.criterion,
-        subject: provisionalMaterial(entry.subject),
-        evidence: Object.freeze(entry.evidence.map(provisionalMaterial)),
-        coverage: entry.coverage,
-        limitations: entry.limitations,
-        result: entry.result,
+        materials: Object.freeze({
+            source: provisionalMaterial(entry.materials.source),
+            evidence: Object.freeze(entry.materials.evidence.map(provisionalMaterial)),
+            coverage: entry.materials.coverage,
+            limitations: entry.materials.limitations,
+        }),
+        evaluation: entry.evaluation,
+        decision: entry.decision,
+        policy: entry.policy,
+        contribution: entry.contribution,
+        explanationRetention: entry.explanationRetention,
     });
 }
 function captureEntrySources(entry) {
     return Object.freeze({
-        subject: entry.subject,
-        evidence: Object.freeze([...entry.evidence]),
+        source: entry.materials.source,
+        evidence: Object.freeze([...entry.materials.evidence]),
     });
 }
 function materializeMaterial(material, source, blobs, drafts) {
+    if (material.kind === "unavailable") {
+        if (source.kind !== "unavailable") {
+            throw new Error("Assertions producer changed a sealed material kind");
+        }
+        return material;
+    }
     if (material.kind === "snapshot") {
         if (source.kind !== "snapshot") {
             throw new Error("Assertions producer changed a sealed material kind");
@@ -351,16 +414,18 @@ function materializeMaterial(material, source, blobs, drafts) {
     });
 }
 function outerCriterion(criterion) {
+    if (criterion.state === "unavailable")
+        return 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");
+    if (!(0, codec_ts_1.isBoundedJsonObject)(criterion.value)) {
+        throw new Error("An Assertions writer criterion must be bounded JSON");
     }
-    const decoded = effect_1.Schema.decodeUnknownEither(codec_ts_1.BoundedJsonObjectSchema, codec_ts_1.AssertionsExactParseOptions)(criterion);
+    const decoded = effect_1.Schema.decodeUnknownEither(codec_ts_1.BoundedJsonObjectSchema, codec_ts_1.AssertionsExactParseOptions)(criterion.value);
     if (effect_1.Either.isLeft(decoded)) {
-        throw new Error("An Assertions v1 writer criterion must be bounded JSON");
+        throw new Error("An Assertions writer criterion must be bounded JSON");
     }
-    return decoded.right;
+    return Object.freeze({ state: "available", value: decoded.right });
 }
 function materializeDocument(sources, sealedEntries, sourceSites, blobs) {
     const drafts = [];
@@ -370,24 +435,30 @@ function materializeDocument(sources, sealedEntries, sourceSites, blobs) {
         if (source === undefined) {
             throw new Error("Assertions producer lost a sealed entry source");
         }
-        if (source.evidence.length !== sealed.evidence.length) {
+        if (source.evidence.length !== sealed.materials.evidence.length) {
             throw new Error("Assertions producer changed sealed evidence cardinality");
         }
         materializedEntries.push(Object.freeze({
             entryId: sealed.entryId,
             display: sealed.display,
             criterion: outerCriterion(sealed.criterion),
-            subject: materializeMaterial(sealed.subject, source.subject, blobs, drafts),
-            evidence: Object.freeze(sealed.evidence.map((material, evidenceIndex) => {
-                const evidenceSource = source.evidence[evidenceIndex];
-                if (evidenceSource === undefined) {
-                    throw new Error("Assertions producer lost a sealed evidence source");
-                }
-                return materializeMaterial(material, evidenceSource, blobs, drafts);
-            })),
-            coverage: sealed.coverage,
-            limitations: sealed.limitations,
-            result: sealed.result,
+            materials: Object.freeze({
+                source: materializeMaterial(sealed.materials.source, source.source, blobs, drafts),
+                evidence: Object.freeze(sealed.materials.evidence.map((material, evidenceIndex) => {
+                    const evidenceSource = source.evidence[evidenceIndex];
+                    if (evidenceSource === undefined) {
+                        throw new Error("Assertions producer lost a sealed evidence source");
+                    }
+                    return materializeMaterial(material, evidenceSource, blobs, drafts);
+                })),
+                coverage: sealed.materials.coverage,
+                limitations: sealed.materials.limitations,
+            }),
+            evaluation: sealed.evaluation,
+            decision: sealed.decision,
+            policy: sealed.policy,
+            contribution: sealed.contribution,
+            explanationRetention: sealed.explanationRetention,
         }));
     }
     return Object.freeze({

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

@@ -1 +1 @@
-{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;;AA+BA,8CAYC;AA8MD,sDAuDC;AAED,gEAcC;AAgID,gFA4CC;AAMD,8DAOC;AAzfD,6CAAyC;AACzC,mCAAgD;AAChD,+DAAsV;AACtV,sEAAuE;AAIvE,yCAAkR;AAClR,+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,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,eAAM,CAAC,mBAAmB,CAAC,iCAAsB,EAAE,sCAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;YACtG,IAAI,KAAK,CAAC,UAAU,GAAG,EAAE,GAAG,IAAI,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,eAAM,CAAC,mBAAmB,CAAC,mCAAkB,CAAC,CAAC,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChH,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;gBAC9E,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,CAAC;oBACjB,IAAI,EAAE,MAAe;oBACrB,MAAM,EAAE,IAAA,+BAAoB,EAAC,eAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACnD,QAAQ,EAAE,OAAgB;oBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,MAAM,EAAE,MAAM,CAAC,KAAK;oBACpB,OAAO,EAAE,uCAAuC,KAAK,CAAC,UAAU,YAAY;iBAC/E,CAAC,CAAC;YACP,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,UAAmB;gBACzB,KAAK,EAAE,MAAM,CAAC,KAAK;aACtB,CAAC,CAAC;QACP,CAAC;QACD,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,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACtE,MAAM,iBAAiB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;YAC/F,MAAM,uBAAuB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;gBACpE,OAAO,EAAE,EAAE;gBACX,WAAW;aACd,CAAC,CAAC,CAAC,UAAU,GAAG,iBAAiB,CAAC;YACnC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC;gBAClC,YAAY,EAAE,uCAA4B,GAAG,uBAAuB;aACvE,CAAC,CAAC;YACH,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,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;YAChJ,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 { createHash } from \"node:crypto\";\nimport { Either, Schema, Stream } from \"effect\";\nimport { makeFixedRecordAttachmentWrite, makeRecordBlobSource, validateRecordAttachmentWrite, type FixedAttachmentWriteSpec, type RecordAttachmentBlobBuilder, type RecordAttachmentBlobDraft, type RecordAttachmentPayloadSnapshot, type RecordAttachmentWrite, type RecordBlobRef, type RecordBlobSource, } from \"../../record/attachment/index.ts\";\nimport { Sha256DigestSchema } from \"../../record/codec/identifiers.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, BoundedJsonValueSchema, MAX_ASSERTION_DOCUMENT_BYTES, 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            const value = encodeSnapshotValue(material.value);\n            const bytes = new TextEncoder().encode(JSON.stringify(value));\n            const inline = Schema.decodeUnknownEither(BoundedJsonValueSchema, AssertionsExactParseOptions)(value);\n            if (bytes.byteLength > 32 * 1024 || Either.isLeft(inline)) {\n                const digest = Schema.decodeUnknownEither(Sha256DigestSchema)(createHash(\"sha256\").update(bytes).digest(\"hex\"));\n                if (Either.isLeft(digest)) {\n                    throw new Error(\"Assertions snapshot produced an invalid SHA-256 digest\");\n                }\n                return Object.freeze({\n                    kind: \"blob\" as const,\n                    source: makeRecordBlobSource(Stream.succeed(bytes)),\n                    encoding: \"utf-8\" as const,\n                    byteLength: bytes.byteLength,\n                    sha256: digest.right,\n                    preview: `JSON Assertion material stored as a ${bytes.byteLength}-byte blob`,\n                });\n            }\n            return Object.freeze({\n                kind: \"snapshot\" as const,\n                value: inline.right,\n            });\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 sourceSites = Object.freeze([...(sealInput.sourceSites ?? [])]);\n            const emptyEntriesBytes = new TextEncoder().encode(JSON.stringify({ entries: [] })).byteLength;\n            const sourceSitesFramingBytes = new TextEncoder().encode(JSON.stringify({\n                entries: [],\n                sourceSites,\n            })).byteLength - emptyEntriesBytes;\n            const document = documentBuilder.seal({\n                maximumBytes: MAX_ASSERTION_DOCUMENT_BYTES - sourceSitesFramingBytes,\n            });\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, sourceSites, 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"]}
+{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;;AA+BA,8CAYC;AA0OD,sDA6DC;AAED,gEAsCC;AAsJD,gFA4CC;AAMD,8DAOC;AAzkBD,6CAAyC;AACzC,mCAAgD;AAChD,+DAAsV;AACtV,sEAAuE;AAIvE,yCAAkR;AAClR,+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,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ;YAC3C,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AA+BD,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,gBAAgB,CAAC,KAAc;IACpC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QACzE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,IAAI,EAAE,QAAiB;YACvB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC/E,KAAK;gBACL,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC;aAClC,CAAC,CAAC,CAAC;SACP,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,MAAM,EAAE,oBAA6B,EAAE,CAAC,CAAC;AAClG,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,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;aAClF,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,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,eAAM,CAAC,mBAAmB,CAAC,iCAAsB,EAAE,sCAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;YACtG,IAAI,KAAK,CAAC,UAAU,GAAG,EAAE,GAAG,IAAI,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,eAAM,CAAC,mBAAmB,CAAC,mCAAkB,CAAC,CAAC,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChH,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;gBAC9E,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,CAAC;oBACjB,IAAI,EAAE,MAAe;oBACrB,MAAM,EAAE,IAAA,+BAAoB,EAAC,eAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;oBACnD,QAAQ,EAAE,OAAgB;oBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,MAAM,EAAE,MAAM,CAAC,KAAK;oBACpB,OAAO,EAAE,uCAAuC,KAAK,CAAC,UAAU,YAAY;iBAC/E,CAAC,CAAC;YACP,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,IAAI,EAAE,UAAmB;gBACzB,KAAK,EAAE,MAAM,CAAC,KAAK;aACtB,CAAC,CAAC;QACP,CAAC;QACD,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,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;IACtG,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;gBACb,GAAG,OAAO;aACb,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;gBACb,GAAG,OAAO;aACb,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;gBACb,GAAG,OAAO;aACb,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;gBACb,GAAG,OAAO;aACb,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;gBACb,GAAG,OAAO;aACb,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,yDAAyD;AACzD,SAAgB,0BAA0B,CAAC,KAA2B;IAClE,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACnD,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,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QAC3E,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC3D,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC;YACxC,WAAW,EAAE,iBAAiB,CAAC,KAAK,CAAC,WAAW,CAAC;SACpD,CAAC;QACF,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC1C,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;SACvE,CAAC;QACF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,MAAM,EAAE,QAAQ,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;YACjD,IAAI,EAAE,MAAM,CAAC,IAAI;SACpB,CAAC;QACF,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YAClB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC5F,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;SAC3F,CAAC;QACF,YAAY,EAAE,MAAM,CAAC,KAAK;QAC1B,oBAAoB,EAAE,MAAM,CAAC,UAAU,KAAK,SAAS;YACjD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;oBAC3D,IAAI,EAAE,aAAsB;oBAC5B,MAAM,EAAE,cAAuB;iBAClC,CAAC,EAAE,CAAC;YACT,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;KAClG,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,aAAa;YACd,OAAO,QAAQ,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,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACrB,MAAM,EAAE,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;YACnD,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAC1E,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ;YAClC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,WAAW;SAC3C,CAAC;QACF,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;KACnD,CAAC,CAAC;AACP,CAAC;AAKD,SAAS,mBAAmB,CAAO,KAA2C;IAC1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM;QAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;KACzD,CAAC,CAAC;AACP,CAAC;AACD,SAAS,mBAAmB,CAAO,QAA+D,EAAE,MAAoC,EAAE,KAAkC,EAAE,MAAyC;IACnN,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,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,IAAI,SAAS,CAAC,KAAK,KAAK,aAAa;QACjC,OAAO,SAAS,CAAC;IACrB,0EAA0E;IAC1E,2EAA2E;IAC3E,IAAI,CAAC,IAAA,8BAAmB,EAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,kCAAuB,EAAE,sCAA2B,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClH,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;AAChF,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,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC9D,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,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC;gBAClF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,EAAE;oBAC9E,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;oBACtD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;wBAC/B,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;oBACzE,CAAC;oBACD,OAAO,mBAAmB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBACxE,CAAC,CAAC,CAAC;gBACH,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;gBACnC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,WAAW;aAC5C,CAAC;YACF,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;SACpD,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,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACtE,MAAM,iBAAiB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;YAC/F,MAAM,uBAAuB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;gBACpE,OAAO,EAAE,EAAE;gBACX,WAAW;aACd,CAAC,CAAC,CAAC,UAAU,GAAG,iBAAiB,CAAC;YACnC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC;gBAClC,YAAY,EAAE,uCAA4B,GAAG,uBAAuB;aACvE,CAAC,CAAC;YACH,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,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;YAChJ,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 { createHash } from \"node:crypto\";\nimport { Either, Schema, Stream } from \"effect\";\nimport { makeFixedRecordAttachmentWrite, makeRecordBlobSource, validateRecordAttachmentWrite, type FixedAttachmentWriteSpec, type RecordAttachmentBlobBuilder, type RecordAttachmentBlobDraft, type RecordAttachmentPayloadSnapshot, type RecordAttachmentWrite, type RecordBlobRef, type RecordBlobSource, } from \"../../record/attachment/index.ts\";\nimport { Sha256DigestSchema } from \"../../record/codec/identifiers.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, BoundedJsonValueSchema, MAX_ASSERTION_DOCUMENT_BYTES, createAssertionsRecordSchemas, isBoundedJsonObject, projectAssertionsDocument, type ThirdPartyCriterionRegistry, } from \"./codec.ts\";\nimport { createAssertionsDocumentBuilder, type AssertionEntryInput, type AssertionsDocumentBuilder, type AssertionsEntryIdSource, type AssertionsProducerError, } from \"./producer.ts\";\nimport type { AssertionEntryId, AssertionFactValue, 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.materials.source);\n        for (const material of entry.materials.evidence)\n            collect(material);\n    }\n    return Object.freeze(refs);\n}\nexport type AssertionMaterialInput<E, R> = {\n    readonly kind: \"unavailable\";\n    readonly reason: \"not-recorded\";\n} | {\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 materials: {\n        readonly source: AssertionMaterialInput<E, R>;\n        readonly evidence: readonly AssertionMaterialInput<E, R>[];\n        readonly coverage: AssertionEntryInput<RecordBlobRef>[\"materials\"][\"coverage\"];\n        readonly limitations: AssertionEntryInput<RecordBlobRef>[\"materials\"][\"limitations\"];\n    };\n    readonly evaluation: AssertionEntryInput<RecordBlobRef>[\"evaluation\"];\n    readonly decision: AssertionEntryInput<RecordBlobRef>[\"decision\"];\n    readonly policy: AssertionEntryInput<RecordBlobRef>[\"policy\"];\n    readonly contribution: AssertionEntryInput<RecordBlobRef>[\"contribution\"];\n    readonly explanationRetention: AssertionEntryInput<RecordBlobRef>[\"explanationRetention\"];\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 explanationValue(value: unknown): AssertionFactValue {\n    if (value === null || typeof value === \"boolean\" || typeof value === \"string\" ||\n        (typeof value === \"number\" && Number.isFinite(value))) {\n        return Object.freeze({ kind: \"value\" as const, value });\n    }\n    if (Array.isArray(value)) {\n        return Object.freeze({ kind: \"list\" as const, items: Object.freeze(value.map(explanationValue)) });\n    }\n    if (typeof value === \"object\" && value !== null) {\n        return Object.freeze({\n            kind: \"fields\" as const,\n            fields: Object.freeze(Object.entries(value).map(([label, nested]) => Object.freeze({\n                label,\n                value: explanationValue(nested),\n            }))),\n        });\n    }\n    return Object.freeze({ kind: \"unavailable\" as const, reason: \"source-unavailable\" as const });\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, matcher: criterion.matcher }),\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            const value = encodeSnapshotValue(material.value);\n            const bytes = new TextEncoder().encode(JSON.stringify(value));\n            const inline = Schema.decodeUnknownEither(BoundedJsonValueSchema, AssertionsExactParseOptions)(value);\n            if (bytes.byteLength > 32 * 1024 || Either.isLeft(inline)) {\n                const digest = Schema.decodeUnknownEither(Sha256DigestSchema)(createHash(\"sha256\").update(bytes).digest(\"hex\"));\n                if (Either.isLeft(digest)) {\n                    throw new Error(\"Assertions snapshot produced an invalid SHA-256 digest\");\n                }\n                return Object.freeze({\n                    kind: \"blob\" as const,\n                    source: makeRecordBlobSource(Stream.succeed(bytes)),\n                    encoding: \"utf-8\" as const,\n                    byteLength: bytes.byteLength,\n                    sha256: digest.right,\n                    preview: `JSON Assertion material stored as a ${bytes.byteLength}-byte blob`,\n                });\n            }\n            return Object.freeze({\n                kind: \"snapshot\" as const,\n                value: inline.right,\n            });\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    const receipt = result.receipt === undefined ? {} : { receipt: Object.freeze({ ...result.receipt }) };\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                ...receipt,\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                ...receipt,\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                ...receipt,\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                ...receipt,\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                ...receipt,\n            });\n    }\n}\n/** Private Runtime → durable Assertions codec bridge. */\nexport function encodeSealedAssertionEntry(entry: SealedAssertionEntry): AssertionsAttachmentEntryInput<never, never> {\n    const criterion = encodeCriterion(entry.criterion);\n    const subject = encodeMaterial(entry.subject);\n    const result = encodeAssertionResult(entry.result);\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: Object.freeze({ state: \"available\" as const, value: criterion }),\n        materials: Object.freeze({\n            source: subject,\n            evidence: Object.freeze(entry.evidence.map(encodeMaterial)),\n            coverage: encodeCoverage(entry.coverage),\n            limitations: encodeLimitations(entry.limitations),\n        }),\n        evaluation: Object.freeze({\n            observed: explanationValue(entry.observed),\n            ...(result.receipt === undefined ? {} : { receipt: result.receipt }),\n        }),\n        decision: Object.freeze({\n            result: result.state,\n            reason: \"reason\" in result ? result.reason : null,\n            gate: result.gate,\n        }),\n        policy: Object.freeze({\n            requirement: Object.freeze({ state: \"available\" as const, value: entry.policy.requirement }),\n            condition: Object.freeze({ state: \"available\" as const, value: entry.policy.condition }),\n        }),\n        contribution: result.score,\n        explanationRetention: result.diagnostic === undefined\n            ? Object.freeze({ state: \"retained\" as const, value: Object.freeze({\n                    kind: \"unavailable\" as const,\n                    reason: \"not-declared\" as const,\n                }) })\n            : Object.freeze({ state: \"retained\" as const, value: explanationValue(result.diagnostic) }),\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 \"unavailable\":\n            return material;\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        materials: Object.freeze({\n            source: provisionalMaterial(entry.materials.source),\n            evidence: Object.freeze(entry.materials.evidence.map(provisionalMaterial)),\n            coverage: entry.materials.coverage,\n            limitations: entry.materials.limitations,\n        }),\n        evaluation: entry.evaluation,\n        decision: entry.decision,\n        policy: entry.policy,\n        contribution: entry.contribution,\n        explanationRetention: entry.explanationRetention,\n    });\n}\ninterface AssertionsAttachmentEntrySources<E, R> {\n    readonly source: 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        source: entry.materials.source,\n        evidence: Object.freeze([...entry.materials.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 === \"unavailable\") {\n        if (source.kind !== \"unavailable\") {\n            throw new Error(\"Assertions producer changed a sealed material kind\");\n        }\n        return material;\n    }\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    if (criterion.state === \"unavailable\")\n        return 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.value)) {\n        throw new Error(\"An Assertions writer criterion must be bounded JSON\");\n    }\n    const decoded = Schema.decodeUnknownEither(BoundedJsonObjectSchema, AssertionsExactParseOptions)(criterion.value);\n    if (Either.isLeft(decoded)) {\n        throw new Error(\"An Assertions writer criterion must be bounded JSON\");\n    }\n    return Object.freeze({ state: \"available\" as const, value: 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.materials.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            materials: Object.freeze({\n                source: materializeMaterial(sealed.materials.source, source.source, blobs, drafts),\n                evidence: Object.freeze(sealed.materials.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.materials.coverage,\n                limitations: sealed.materials.limitations,\n            }),\n            evaluation: sealed.evaluation,\n            decision: sealed.decision,\n            policy: sealed.policy,\n            contribution: sealed.contribution,\n            explanationRetention: sealed.explanationRetention,\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 sourceSites = Object.freeze([...(sealInput.sourceSites ?? [])]);\n            const emptyEntriesBytes = new TextEncoder().encode(JSON.stringify({ entries: [] })).byteLength;\n            const sourceSitesFramingBytes = new TextEncoder().encode(JSON.stringify({\n                entries: [],\n                sourceSites,\n            })).byteLength - emptyEntriesBytes;\n            const document = documentBuilder.seal({\n                maximumBytes: MAX_ASSERTION_DOCUMENT_BYTES - sourceSitesFramingBytes,\n            });\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, sourceSites, 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"]}