niceeval 0.13.2 → 0.13.3

package/dist/assertions/record/producer.cjs

@@ -7,56 +7,76 @@ const UTF8 = new TextEncoder();
 function encodedBytes(value) {
     return UTF8.encode(JSON.stringify(value)).byteLength;
 }
-const DIAGNOSTIC_ROOT_KEYS = Object.freeze([
-    "code",
-    "message",
-    "path",
-    "expected",
-    "received",
-    "reason",
-    "locator",
-]);
-function compactDiagnostic(diagnostic, mode) {
-    if (mode === "minimal") {
-        return Object.freeze({
-            code: "diagnostic-truncated",
-            message: "matcher diagnostic details were omitted to fit the Assertions document limit",
-            path: Object.freeze([]),
-            truncation: Object.freeze({
-                code: "diagnostic-truncated",
-                reason: "document-limit",
-            }),
-        });
-    }
-    const root = {};
-    for (const key of DIAGNOSTIC_ROOT_KEYS) {
-        const value = diagnostic[key];
-        if (value !== undefined)
-            root[key] = value;
-    }
-    root.truncation = Object.freeze({
-        code: "diagnostic-truncated",
-        reason: "document-limit",
-    });
-    return Object.freeze(root);
-}
-function replaceDiagnostic(result, mode) {
-    if (result.diagnostic === undefined)
-        return result;
-    const diagnostic = compactDiagnostic(result.diagnostic, mode);
-    switch (result.state) {
-        case "matched": return Object.freeze({ ...result, diagnostic });
-        case "mismatched": return Object.freeze({ ...result, diagnostic });
-        case "unavailable": return Object.freeze({ ...result, diagnostic });
-        case "errored": return Object.freeze({ ...result, diagnostic });
-        case "not-applicable": return Object.freeze({ ...result, diagnostic });
-    }
-}
 function compactEntries(entries, mode) {
-    return Object.freeze(entries.map((entry) => Object.freeze({
-        ...entry,
-        result: replaceDiagnostic(entry.result, mode),
-    })));
+    const childState = (value) => {
+        if (value.kind !== "fields")
+            return undefined;
+        const state = value.fields.find((field) => field.label === "state")?.value;
+        return state?.kind === "value" && typeof state.value === "string" ? state.value : undefined;
+    };
+    const compactFact = (value, decision) => {
+        switch (value.kind) {
+            case "unavailable":
+            case "value":
+                return value;
+            case "text":
+                return value.text.length <= 512
+                    ? value
+                    : Object.freeze({ kind: "text", text: `${value.text.slice(0, 511)}…` });
+            case "list":
+                return Object.freeze({ kind: "list", items: Object.freeze(value.items.map((item) => compactFact(item, decision))) });
+            case "fields":
+                return Object.freeze({
+                    kind: "fields",
+                    fields: Object.freeze(value.fields.flatMap((field) => {
+                        if ((mode === "root" || mode === "minimal") &&
+                            (field.label === "message" || field.label === "expected" || field.label === "received"))
+                            return [];
+                        if (field.label === "children" && field.value.kind === "list") {
+                            const decisiveState = decision.result === "matched"
+                                ? "matched"
+                                : decision.result === "unavailable"
+                                    ? "unavailable"
+                                    : decision.result === "mismatched"
+                                        ? "matched"
+                                        : undefined;
+                            const decisive = [];
+                            if (decisiveState !== undefined) {
+                                for (const item of field.value.items) {
+                                    if (childState(item) !== decisiveState)
+                                        continue;
+                                    if (decisive.length === 0)
+                                        decisive.push(item);
+                                    else if (decisive.length === 1)
+                                        decisive.push(item);
+                                    else
+                                        decisive[1] = item;
+                                }
+                            }
+                            const representative = mode === "root" ? field.value.items.slice(0, 2) : [];
+                            const retained = [...new Set([...representative, ...decisive])];
+                            return [Object.freeze({
+                                    label: field.label,
+                                    value: Object.freeze({
+                                        kind: "list",
+                                        items: Object.freeze(retained.map((item) => compactFact(item, decision))),
+                                    }),
+                                })];
+                        }
+                        return [Object.freeze({ label: field.label, value: compactFact(field.value, decision) })];
+                    })),
+                });
+        }
+    };
+    return Object.freeze(entries.map((entry) => entry.explanationRetention.state === "retained"
+        ? Object.freeze({
+            ...entry,
+            explanationRetention: Object.freeze({
+                state: "retained",
+                value: compactFact(entry.explanationRetention.value, entry.decision),
+            }),
+        })
+        : entry));
 }
 function invalidDocument(message) {
     return Object.freeze({ code: "assertions-document-invalid", message });
@@ -137,7 +157,7 @@ function createAssertionsDocumentBuilder(input) {
             if (documentBytes > maximumBytes) {
                 return effect_1.Either.left(invalidDocument(`Assertions could not be saved after diagnostic compaction because entry framing is ` +
                     `${documentBytes} bytes; ${maximumBytes} bytes remain after source sites within the ` +
-                    `${codec_ts_1.MAX_ASSERTION_DOCUMENT_BYTES}-byte limit. Large subject and evidence snapshots are already ` +
+                    `${codec_ts_1.MAX_ASSERTION_DOCUMENT_BYTES}-byte limit. Large source and evidence snapshots are already ` +
                     "stored as blobs; reduce assertion count or matcher/display identity and retry."));
             }
             const encoded = effect_1.Schema.encodeUnknownEither(input.documentSchema, codec_ts_1.AssertionsExactParseOptions)(document);

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

@@ -1 +1 @@
-{"version":3,"file":"producer.js","sourceRoot":"","sources":["producer.ts"],"names":[],"mappings":";;AAuHA,0EA0EC;AAjMD,mCAAqD;AACrD,yCAA0I;AA2B1I,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAC/B,SAAS,YAAY,CAAC,KAAc;IAChC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;AACzD,CAAC;AACD,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,MAAM;IACN,SAAS;IACT,MAAM;IACN,UAAU;IACV,UAAU;IACV,QAAQ;IACR,SAAS;CACH,CAAC,CAAC;AACZ,SAAS,iBAAiB,CAAC,UAA6B,EAAE,IAAwB;IAC9E,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,8EAA8E;YACvF,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACvB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,gBAAgB;aAC3B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,MAAM,IAAI,GAAgD,EAAE,CAAC;IAC7D,KAAK,MAAM,GAAG,IAAI,oBAAoB,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,SAAS;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,gBAAgB;KAC3B,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AACD,SAAS,iBAAiB,CAAC,MAA6B,EAAE,IAAwB;IAC9E,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;QAC/B,OAAO,MAAM,CAAC;IAClB,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9D,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAChE,KAAK,YAAY,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QACnE,KAAK,aAAa,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QACpE,KAAK,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAChE,KAAK,gBAAgB,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3E,CAAC;AACL,CAAC;AACD,SAAS,cAAc,CAAU,OAA2C,EAAE,IAAwB;IAClG,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACtD,GAAG,KAAK;QACR,MAAM,EAAE,iBAAiB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC;KAChD,CAAC,CAAC,CAAC,CAAC;AACT,CAAC;AACD,SAAS,eAAe,CAAC,OAAe;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,6BAAsC,EAAE,OAAO,EAAE,CAAC,CAAC;AACpF,CAAC;AACD,SAAS,gBAAgB,CAAC,KAA6B;IACnD,IAAI,CAAC;QACD,MAAM,KAAK,GAAG,oBAAW,CAAC,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,SAAS;YACnB,OAAO,SAAS,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC;QACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,IAAI,GAAG;YAClC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QACnC,OAAO,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC;IACjC,CAAC;IACD,MAAM,CAAC;QACH,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAaD;;;;GAIG;AACH,SAAgB,+BAA+B,CAAmB,KAGjE;IACG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,IAAI,MAA+C,CAAC;IACpD,MAAM,OAAO,GAAuC;QAChD,MAAM,CAAC,KAAmC;YACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC,CAAC;YAC/D,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,iCAAsB,EAAE,sCAA2B,CAAC,CAAC,WAAW,CAAC,CAAC;YAC7G,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,OAAO,eAAM,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,WAAW;iBACvB,CAAC,CAAC;YACP,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,eAAM,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,WAAW;iBACvB,CAAC,CAAC;YACP,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;YAClE,OAAO,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,YAED,EAAE;YACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC;YACD,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,IAAI,uCAA4B,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,IAAI,YAAY,IAAI,CAAC,IAAI,YAAY,GAAG,uCAA4B,EAAE,CAAC;gBAC1G,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,8DAA8D,uCAA4B,eAAe;oBACxI,6DAA6D,CAAC,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,QAAQ,GAAgC,MAAM,CAAC,MAAM,CAAC;gBACtD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;aACvC,CAAC,CAAC;YACH,IAAI,CAAC,IAAA,mCAAwB,EAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,sFAAsF;oBACrH,mFAAmF,CAAC,CAAC,CAAC;YAC9F,CAAC;YACD,IAAI,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;gBAC/B,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;gBAChF,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;gBAC/B,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;gBACnF,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;gBAC/B,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,qFAAqF;oBACpH,GAAG,aAAa,WAAW,YAAY,8CAA8C;oBACrF,GAAG,uCAA4B,gEAAgE;oBAC/F,gFAAgF,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,cAAc,EAAE,sCAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC;YACxG,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC7C,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,gCAAgC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,EAAE,IAAI;oBACjH,mFAAmF,CAAC,CAAC,CAAC;YAC9F,CAAC;YACD,MAAM,GAAG,QAAQ,CAAC;YAClB,OAAO,eAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;KACJ,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC","sourcesContent":["import { Either, ParseResult, Schema } from \"effect\";\nimport { AssertionEntryIdSchema, AssertionsExactParseOptions, MAX_ASSERTION_DOCUMENT_BYTES, isAssertionsRawDataGraph, } from \"./codec.ts\";\nimport type { BoundedJsonObject, BoundedJsonValue, AssertionDisplay, AssertionEntryId, AssertionEntry, AssertionLimitation, AssertionMaterial, AssertionCoverage, AssertionsDocument, SealedAssertionResult, WritableCriterionEnvelope, } from \"./model.ts\";\nexport interface AssertionEntryInput<BlobRef> {\n    readonly display: AssertionDisplay;\n    readonly criterion: WritableCriterionEnvelope;\n    readonly subject: AssertionMaterial<BlobRef>;\n    readonly evidence: readonly AssertionMaterial<BlobRef>[];\n    readonly coverage: AssertionCoverage;\n    readonly limitations: readonly AssertionLimitation[];\n    readonly result: SealedAssertionResult;\n}\nexport interface AssertionsEntryIdSource {\n    /** Must return a fresh `ae_[a-z0-9]{20}` candidate for this Attachment. */\n    readonly next: () => string;\n}\nexport type AssertionsProducerError = {\n    readonly code: \"assertion-entry-id-invalid\";\n    readonly entryId: string;\n} | {\n    readonly code: \"assertion-entry-id-duplicate\";\n    readonly entryId: string;\n} | {\n    readonly code: \"assertions-document-sealed\";\n} | {\n    readonly code: \"assertions-document-invalid\";\n    readonly message: string;\n};\nconst UTF8 = new TextEncoder();\nfunction encodedBytes(value: unknown): number {\n    return UTF8.encode(JSON.stringify(value)).byteLength;\n}\nconst DIAGNOSTIC_ROOT_KEYS = Object.freeze([\n    \"code\",\n    \"message\",\n    \"path\",\n    \"expected\",\n    \"received\",\n    \"reason\",\n    \"locator\",\n] as const);\nfunction compactDiagnostic(diagnostic: BoundedJsonObject, mode: \"root\" | \"minimal\"): BoundedJsonObject {\n    if (mode === \"minimal\") {\n        return Object.freeze({\n            code: \"diagnostic-truncated\",\n            message: \"matcher diagnostic details were omitted to fit the Assertions document limit\",\n            path: Object.freeze([]),\n            truncation: Object.freeze({\n                code: \"diagnostic-truncated\",\n                reason: \"document-limit\",\n            }),\n        });\n    }\n    const root: globalThis.Record<string, BoundedJsonValue> = {};\n    for (const key of DIAGNOSTIC_ROOT_KEYS) {\n        const value = diagnostic[key];\n        if (value !== undefined)\n            root[key] = value;\n    }\n    root.truncation = Object.freeze({\n        code: \"diagnostic-truncated\",\n        reason: \"document-limit\",\n    });\n    return Object.freeze(root);\n}\nfunction replaceDiagnostic(result: SealedAssertionResult, mode: \"root\" | \"minimal\"): SealedAssertionResult {\n    if (result.diagnostic === undefined)\n        return result;\n    const diagnostic = compactDiagnostic(result.diagnostic, mode);\n    switch (result.state) {\n        case \"matched\": return Object.freeze({ ...result, diagnostic });\n        case \"mismatched\": return Object.freeze({ ...result, diagnostic });\n        case \"unavailable\": return Object.freeze({ ...result, diagnostic });\n        case \"errored\": return Object.freeze({ ...result, diagnostic });\n        case \"not-applicable\": return Object.freeze({ ...result, diagnostic });\n    }\n}\nfunction compactEntries<BlobRef>(entries: readonly AssertionEntry<BlobRef>[], mode: \"root\" | \"minimal\"): readonly AssertionEntry<BlobRef>[] {\n    return Object.freeze(entries.map((entry) => Object.freeze({\n        ...entry,\n        result: replaceDiagnostic(entry.result, mode),\n    })));\n}\nfunction invalidDocument(message: string): AssertionsProducerError {\n    return Object.freeze({ code: \"assertions-document-invalid\" as const, message });\n}\nfunction firstSchemaIssue(error: ParseResult.ParseError): string | undefined {\n    try {\n        const issue = ParseResult.ArrayFormatter.formatErrorSync(error)[0];\n        if (issue === undefined)\n            return undefined;\n        const path = issue.path.length === 0 ? \"document\" : issue.path.map(String).join(\".\");\n        const expected = issue.message.split(\", actual \", 1)[0] ?? issue.message;\n        const message = expected.length <= 512\n            ? expected\n            : `${expected.slice(0, 511)}…`;\n        return `${path}: ${message}`;\n    }\n    catch {\n        return undefined;\n    }\n}\nexport interface AssertionsDocumentBuilder<BlobRef> {\n    /** Appends exactly one completed Assertion in declaration/display order. */\n    readonly append: (entry: AssertionEntryInput<BlobRef>) => Either.Either<AssertionEntryId, AssertionsProducerError>;\n    /**\n     * Checks the writer-only exact document schema once and prevents subsequent\n     * appends. Repeated calls return the same sealed document without running\n     * an evaluator or minting another entry ID.\n     */\n    readonly seal: (input?: {\n        readonly maximumBytes?: number;\n    }) => Either.Either<AssertionsDocument<BlobRef>, AssertionsProducerError>;\n}\n/**\n * Assertion producers own normalization and ID allocation. This builder owns\n * neither Record paths nor blob streams: the later Attachment adapter supplies\n * Record's local builder, so an entry cannot borrow another Attachment's ref.\n */\nexport function createAssertionsDocumentBuilder<BlobRef, Encoded>(input: {\n    readonly documentSchema: Schema.Schema<AssertionsDocument<BlobRef>, Encoded>;\n    readonly entryIds: AssertionsEntryIdSource;\n}): AssertionsDocumentBuilder<BlobRef> {\n    const entryIds = new Set<string>();\n    const entries: AssertionEntry<BlobRef>[] = [];\n    let sealed: AssertionsDocument<BlobRef> | undefined;\n    const builder: AssertionsDocumentBuilder<BlobRef> = {\n        append(entry: AssertionEntryInput<BlobRef>): Either.Either<AssertionEntryId, AssertionsProducerError> {\n            if (sealed !== undefined) {\n                return Either.left({ code: \"assertions-document-sealed\" });\n            }\n            const entryIdText = input.entryIds.next();\n            const entryId = Schema.decodeUnknownEither(AssertionEntryIdSchema, AssertionsExactParseOptions)(entryIdText);\n            if (Either.isLeft(entryId)) {\n                return Either.left({\n                    code: \"assertion-entry-id-invalid\",\n                    entryId: entryIdText,\n                });\n            }\n            if (entryIds.has(entryId.right)) {\n                return Either.left({\n                    code: \"assertion-entry-id-duplicate\",\n                    entryId: entryIdText,\n                });\n            }\n            entryIds.add(entryId.right);\n            entries.push(Object.freeze({ entryId: entryId.right, ...entry }));\n            return Either.right(entryId.right);\n        },\n        seal(sealInput: {\n            readonly maximumBytes?: number;\n        } = {}): Either.Either<AssertionsDocument<BlobRef>, AssertionsProducerError> {\n            if (sealed !== undefined) {\n                return Either.right(sealed);\n            }\n            const maximumBytes = sealInput.maximumBytes ?? MAX_ASSERTION_DOCUMENT_BYTES;\n            if (!Number.isSafeInteger(maximumBytes) || maximumBytes <= 0 || maximumBytes > MAX_ASSERTION_DOCUMENT_BYTES) {\n                return Either.left(invalidDocument(`Assertions framing has no positive entry budget within the ${MAX_ASSERTION_DOCUMENT_BYTES}-byte limit. ` +\n                    \"Reduce assertion source sites or assertion count and retry.\"));\n            }\n            let document: AssertionsDocument<BlobRef> = Object.freeze({\n                entries: Object.freeze([...entries]),\n            });\n            if (!isAssertionsRawDataGraph(document)) {\n                return Either.left(invalidDocument(\"Assertions could not be saved because an entry contains a cyclic or non-JSON value. \" +\n                    \"Upgrade NiceEval and retry; if this persists, report assertions-document-invalid.\"));\n            }\n            let documentBytes = encodedBytes(document);\n            if (documentBytes > maximumBytes) {\n                document = Object.freeze({ entries: compactEntries(document.entries, \"root\") });\n                documentBytes = encodedBytes(document);\n            }\n            if (documentBytes > maximumBytes) {\n                document = Object.freeze({ entries: compactEntries(document.entries, \"minimal\") });\n                documentBytes = encodedBytes(document);\n            }\n            if (documentBytes > maximumBytes) {\n                return Either.left(invalidDocument(`Assertions could not be saved after diagnostic compaction because entry framing is ` +\n                    `${documentBytes} bytes; ${maximumBytes} bytes remain after source sites within the ` +\n                    `${MAX_ASSERTION_DOCUMENT_BYTES}-byte limit. Large subject and evidence snapshots are already ` +\n                    \"stored as blobs; reduce assertion count or matcher/display identity and retry.\"));\n            }\n            const encoded = Schema.encodeUnknownEither(input.documentSchema, AssertionsExactParseOptions)(document);\n            if (Either.isLeft(encoded)) {\n                const issue = firstSchemaIssue(encoded.left);\n                return Either.left(invalidDocument(`Assertions could not be saved${issue === undefined ? \"\" : ` because ${issue}`}. ` +\n                    \"Upgrade NiceEval and retry; if this persists, report assertions-document-invalid.\"));\n            }\n            sealed = document;\n            return Either.right(document);\n        },\n    };\n    return Object.freeze(builder);\n}\n"]}
+{"version":3,"file":"producer.js","sourceRoot":"","sources":["producer.ts"],"names":[],"mappings":";;AA4IA,0EA0EC;AAtND,mCAAqD;AACrD,yCAA0I;AA4B1I,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAC/B,SAAS,YAAY,CAAC,KAAc;IAChC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;AACzD,CAAC;AACD,SAAS,cAAc,CAAU,OAA2C,EAAE,IAAwB;IAClG,MAAM,UAAU,GAAG,CAAC,KAAyB,EAAsB,EAAE;QACjE,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,OAAO,SAAS,CAAC;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,EAAE,KAAK,CAAC;QAC3E,OAAO,KAAK,EAAE,IAAI,KAAK,OAAO,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,KAAyB,EAAE,QAA6C,EAAsB,EAAE;QACjH,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,aAAa,CAAC;YACnB,KAAK,OAAO;gBACR,OAAO,KAAK,CAAC;YACjB,KAAK,MAAM;gBACP,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,GAAG;oBAC3B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;YAChF,KAAK,MAAM;gBACP,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzH,KAAK,QAAQ;gBACT,OAAO,MAAM,CAAC,MAAM,CAAC;oBACjB,IAAI,EAAE,QAAQ;oBACd,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;wBACjD,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,SAAS,CAAC;4BACvC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,CAAC;4BACvF,OAAO,EAAE,CAAC;wBACd,IAAI,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;4BAC5D,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,KAAK,SAAS;gCAC/C,CAAC,CAAC,SAAS;gCACX,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,aAAa;oCAC/B,CAAC,CAAC,aAAa;oCACf,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,YAAY;wCAC9B,CAAC,CAAC,SAAS;wCACX,CAAC,CAAC,SAAS,CAAC;4BACxB,MAAM,QAAQ,GAAyB,EAAE,CAAC;4BAC1C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gCAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;oCACnC,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,aAAa;wCAClC,SAAS;oCACb,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;wCACrB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;yCACnB,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;wCAC1B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;wCAEpB,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;gCAC3B,CAAC;4BACL,CAAC;4BACD,MAAM,cAAc,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC5E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;4BAChE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;oCACd,KAAK,EAAE,KAAK,CAAC,KAAK;oCAClB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;wCACjB,IAAI,EAAE,MAAe;wCACrB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;qCAC5E,CAAC;iCACL,CAAC,CAAC,CAAC;wBACZ,CAAC;wBACD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC9F,CAAC,CAAC,CAAC;iBACN,CAAC,CAAC;QACX,CAAC;IACL,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,KAAK,KAAK,UAAU;QACvF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,GAAG,KAAK;YACR,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC;gBAChC,KAAK,EAAE,UAAmB;gBAC1B,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC;aACvE,CAAC;SACL,CAAC;QACF,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAClB,CAAC;AACD,SAAS,eAAe,CAAC,OAAe;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,6BAAsC,EAAE,OAAO,EAAE,CAAC,CAAC;AACpF,CAAC;AACD,SAAS,gBAAgB,CAAC,KAA6B;IACnD,IAAI,CAAC;QACD,MAAM,KAAK,GAAG,oBAAW,CAAC,cAAc,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAI,KAAK,KAAK,SAAS;YACnB,OAAO,SAAS,CAAC;QACrB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC;QACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,IAAI,GAAG;YAClC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;QACnC,OAAO,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC;IACjC,CAAC;IACD,MAAM,CAAC;QACH,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAaD;;;;GAIG;AACH,SAAgB,+BAA+B,CAAmB,KAGjE;IACG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,IAAI,MAA+C,CAAC;IACpD,MAAM,OAAO,GAAuC;QAChD,MAAM,CAAC,KAAmC;YACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC,CAAC;YAC/D,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,iCAAsB,EAAE,sCAA2B,CAAC,CAAC,WAAW,CAAC,CAAC;YAC7G,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,OAAO,eAAM,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,WAAW;iBACvB,CAAC,CAAC;YACP,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,eAAM,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,WAAW;iBACvB,CAAC,CAAC;YACP,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;YAClE,OAAO,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,CAAC,YAED,EAAE;YACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,OAAO,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC;YACD,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,IAAI,uCAA4B,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,IAAI,YAAY,IAAI,CAAC,IAAI,YAAY,GAAG,uCAA4B,EAAE,CAAC;gBAC1G,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,8DAA8D,uCAA4B,eAAe;oBACxI,6DAA6D,CAAC,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,QAAQ,GAAgC,MAAM,CAAC,MAAM,CAAC;gBACtD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC;aACvC,CAAC,CAAC;YACH,IAAI,CAAC,IAAA,mCAAwB,EAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,sFAAsF;oBACrH,mFAAmF,CAAC,CAAC,CAAC;YAC9F,CAAC;YACD,IAAI,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;gBAC/B,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;gBAChF,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;gBAC/B,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;gBACnF,aAAa,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;gBAC/B,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,qFAAqF;oBACpH,GAAG,aAAa,WAAW,YAAY,8CAA8C;oBACrF,GAAG,uCAA4B,+DAA+D;oBAC9F,gFAAgF,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,cAAc,EAAE,sCAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC;YACxG,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC7C,OAAO,eAAM,CAAC,IAAI,CAAC,eAAe,CAAC,gCAAgC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,EAAE,IAAI;oBACjH,mFAAmF,CAAC,CAAC,CAAC;YAC9F,CAAC;YACD,MAAM,GAAG,QAAQ,CAAC;YAClB,OAAO,eAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;KACJ,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC","sourcesContent":["import { Either, ParseResult, Schema } from \"effect\";\nimport { AssertionEntryIdSchema, AssertionsExactParseOptions, MAX_ASSERTION_DOCUMENT_BYTES, isAssertionsRawDataGraph, } from \"./codec.ts\";\nimport type { AssertionDisplay, AssertionEntryId, AssertionEntry, AssertionCriterionRecord, AssertionMaterials, AssertionEvaluation, AssertionDecision, AssertionDecisionPolicy, AssertionFactValue, ScoreContribution, ExplanationRetention, AssertionsDocument, WritableCriterionEnvelope, } from \"./model.ts\";\nexport interface AssertionEntryInput<BlobRef> {\n    readonly display: AssertionDisplay;\n    readonly criterion: AssertionCriterionRecord;\n    readonly materials: AssertionMaterials<BlobRef>;\n    readonly evaluation: AssertionEvaluation;\n    readonly decision: AssertionDecision;\n    readonly policy: AssertionDecisionPolicy;\n    readonly contribution: ScoreContribution;\n    readonly explanationRetention: ExplanationRetention;\n}\nexport interface AssertionsEntryIdSource {\n    /** Must return a fresh `ae_[a-z0-9]{20}` candidate for this Attachment. */\n    readonly next: () => string;\n}\nexport type AssertionsProducerError = {\n    readonly code: \"assertion-entry-id-invalid\";\n    readonly entryId: string;\n} | {\n    readonly code: \"assertion-entry-id-duplicate\";\n    readonly entryId: string;\n} | {\n    readonly code: \"assertions-document-sealed\";\n} | {\n    readonly code: \"assertions-document-invalid\";\n    readonly message: string;\n};\nconst UTF8 = new TextEncoder();\nfunction encodedBytes(value: unknown): number {\n    return UTF8.encode(JSON.stringify(value)).byteLength;\n}\nfunction compactEntries<BlobRef>(entries: readonly AssertionEntry<BlobRef>[], mode: \"root\" | \"minimal\"): readonly AssertionEntry<BlobRef>[] {\n    const childState = (value: AssertionFactValue): string | undefined => {\n        if (value.kind !== \"fields\")\n            return undefined;\n        const state = value.fields.find((field) => field.label === \"state\")?.value;\n        return state?.kind === \"value\" && typeof state.value === \"string\" ? state.value : undefined;\n    };\n    const compactFact = (value: AssertionFactValue, decision: AssertionEntry<BlobRef>[\"decision\"]): AssertionFactValue => {\n        switch (value.kind) {\n            case \"unavailable\":\n            case \"value\":\n                return value;\n            case \"text\":\n                return value.text.length <= 512\n                    ? value\n                    : Object.freeze({ kind: \"text\", text: `${value.text.slice(0, 511)}…` });\n            case \"list\":\n                return Object.freeze({ kind: \"list\", items: Object.freeze(value.items.map((item) => compactFact(item, decision))) });\n            case \"fields\":\n                return Object.freeze({\n                    kind: \"fields\",\n                    fields: Object.freeze(value.fields.flatMap((field) => {\n                        if ((mode === \"root\" || mode === \"minimal\") &&\n                            (field.label === \"message\" || field.label === \"expected\" || field.label === \"received\"))\n                            return [];\n                        if (field.label === \"children\" && field.value.kind === \"list\") {\n                            const decisiveState = decision.result === \"matched\"\n                                ? \"matched\"\n                                : decision.result === \"unavailable\"\n                                    ? \"unavailable\"\n                                    : decision.result === \"mismatched\"\n                                        ? \"matched\"\n                                        : undefined;\n                            const decisive: AssertionFactValue[] = [];\n                            if (decisiveState !== undefined) {\n                                for (const item of field.value.items) {\n                                    if (childState(item) !== decisiveState)\n                                        continue;\n                                    if (decisive.length === 0)\n                                        decisive.push(item);\n                                    else if (decisive.length === 1)\n                                        decisive.push(item);\n                                    else\n                                        decisive[1] = item;\n                                }\n                            }\n                            const representative = mode === \"root\" ? field.value.items.slice(0, 2) : [];\n                            const retained = [...new Set([...representative, ...decisive])];\n                            return [Object.freeze({\n                                    label: field.label,\n                                    value: Object.freeze({\n                                        kind: \"list\" as const,\n                                        items: Object.freeze(retained.map((item) => compactFact(item, decision))),\n                                    }),\n                                })];\n                        }\n                        return [Object.freeze({ label: field.label, value: compactFact(field.value, decision) })];\n                    })),\n                });\n        }\n    };\n    return Object.freeze(entries.map((entry) => entry.explanationRetention.state === \"retained\"\n        ? Object.freeze({\n            ...entry,\n            explanationRetention: Object.freeze({\n                state: \"retained\" as const,\n                value: compactFact(entry.explanationRetention.value, entry.decision),\n            }),\n        })\n        : entry));\n}\nfunction invalidDocument(message: string): AssertionsProducerError {\n    return Object.freeze({ code: \"assertions-document-invalid\" as const, message });\n}\nfunction firstSchemaIssue(error: ParseResult.ParseError): string | undefined {\n    try {\n        const issue = ParseResult.ArrayFormatter.formatErrorSync(error)[0];\n        if (issue === undefined)\n            return undefined;\n        const path = issue.path.length === 0 ? \"document\" : issue.path.map(String).join(\".\");\n        const expected = issue.message.split(\", actual \", 1)[0] ?? issue.message;\n        const message = expected.length <= 512\n            ? expected\n            : `${expected.slice(0, 511)}…`;\n        return `${path}: ${message}`;\n    }\n    catch {\n        return undefined;\n    }\n}\nexport interface AssertionsDocumentBuilder<BlobRef> {\n    /** Appends exactly one completed Assertion in declaration/display order. */\n    readonly append: (entry: AssertionEntryInput<BlobRef>) => Either.Either<AssertionEntryId, AssertionsProducerError>;\n    /**\n     * Checks the writer-only exact document schema once and prevents subsequent\n     * appends. Repeated calls return the same sealed document without running\n     * an evaluator or minting another entry ID.\n     */\n    readonly seal: (input?: {\n        readonly maximumBytes?: number;\n    }) => Either.Either<AssertionsDocument<BlobRef>, AssertionsProducerError>;\n}\n/**\n * Assertion producers own normalization and ID allocation. This builder owns\n * neither Record paths nor blob streams: the later Attachment adapter supplies\n * Record's local builder, so an entry cannot borrow another Attachment's ref.\n */\nexport function createAssertionsDocumentBuilder<BlobRef, Encoded>(input: {\n    readonly documentSchema: Schema.Schema<AssertionsDocument<BlobRef>, Encoded>;\n    readonly entryIds: AssertionsEntryIdSource;\n}): AssertionsDocumentBuilder<BlobRef> {\n    const entryIds = new Set<string>();\n    const entries: AssertionEntry<BlobRef>[] = [];\n    let sealed: AssertionsDocument<BlobRef> | undefined;\n    const builder: AssertionsDocumentBuilder<BlobRef> = {\n        append(entry: AssertionEntryInput<BlobRef>): Either.Either<AssertionEntryId, AssertionsProducerError> {\n            if (sealed !== undefined) {\n                return Either.left({ code: \"assertions-document-sealed\" });\n            }\n            const entryIdText = input.entryIds.next();\n            const entryId = Schema.decodeUnknownEither(AssertionEntryIdSchema, AssertionsExactParseOptions)(entryIdText);\n            if (Either.isLeft(entryId)) {\n                return Either.left({\n                    code: \"assertion-entry-id-invalid\",\n                    entryId: entryIdText,\n                });\n            }\n            if (entryIds.has(entryId.right)) {\n                return Either.left({\n                    code: \"assertion-entry-id-duplicate\",\n                    entryId: entryIdText,\n                });\n            }\n            entryIds.add(entryId.right);\n            entries.push(Object.freeze({ entryId: entryId.right, ...entry }));\n            return Either.right(entryId.right);\n        },\n        seal(sealInput: {\n            readonly maximumBytes?: number;\n        } = {}): Either.Either<AssertionsDocument<BlobRef>, AssertionsProducerError> {\n            if (sealed !== undefined) {\n                return Either.right(sealed);\n            }\n            const maximumBytes = sealInput.maximumBytes ?? MAX_ASSERTION_DOCUMENT_BYTES;\n            if (!Number.isSafeInteger(maximumBytes) || maximumBytes <= 0 || maximumBytes > MAX_ASSERTION_DOCUMENT_BYTES) {\n                return Either.left(invalidDocument(`Assertions framing has no positive entry budget within the ${MAX_ASSERTION_DOCUMENT_BYTES}-byte limit. ` +\n                    \"Reduce assertion source sites or assertion count and retry.\"));\n            }\n            let document: AssertionsDocument<BlobRef> = Object.freeze({\n                entries: Object.freeze([...entries]),\n            });\n            if (!isAssertionsRawDataGraph(document)) {\n                return Either.left(invalidDocument(\"Assertions could not be saved because an entry contains a cyclic or non-JSON value. \" +\n                    \"Upgrade NiceEval and retry; if this persists, report assertions-document-invalid.\"));\n            }\n            let documentBytes = encodedBytes(document);\n            if (documentBytes > maximumBytes) {\n                document = Object.freeze({ entries: compactEntries(document.entries, \"root\") });\n                documentBytes = encodedBytes(document);\n            }\n            if (documentBytes > maximumBytes) {\n                document = Object.freeze({ entries: compactEntries(document.entries, \"minimal\") });\n                documentBytes = encodedBytes(document);\n            }\n            if (documentBytes > maximumBytes) {\n                return Either.left(invalidDocument(`Assertions could not be saved after diagnostic compaction because entry framing is ` +\n                    `${documentBytes} bytes; ${maximumBytes} bytes remain after source sites within the ` +\n                    `${MAX_ASSERTION_DOCUMENT_BYTES}-byte limit. Large source and evidence snapshots are already ` +\n                    \"stored as blobs; reduce assertion count or matcher/display identity and retry.\"));\n            }\n            const encoded = Schema.encodeUnknownEither(input.documentSchema, AssertionsExactParseOptions)(document);\n            if (Either.isLeft(encoded)) {\n                const issue = firstSchemaIssue(encoded.left);\n                return Either.left(invalidDocument(`Assertions could not be saved${issue === undefined ? \"\" : ` because ${issue}`}. ` +\n                    \"Upgrade NiceEval and retry; if this persists, report assertions-document-invalid.\"));\n            }\n            sealed = document;\n            return Either.right(document);\n        },\n    };\n    return Object.freeze(builder);\n}\n"]}

package/dist/assertions/record/producer.d.cts

@@ -1,13 +1,14 @@
 import { Either, Schema } from "effect";
-import type { AssertionDisplay, AssertionEntryId, AssertionLimitation, AssertionMaterial, AssertionCoverage, AssertionsDocument, SealedAssertionResult, WritableCriterionEnvelope } from "./model.cjs";
+import type { AssertionDisplay, AssertionEntryId, AssertionCriterionRecord, AssertionMaterials, AssertionEvaluation, AssertionDecision, AssertionDecisionPolicy, ScoreContribution, ExplanationRetention, AssertionsDocument } from "./model.cjs";
 export interface AssertionEntryInput<BlobRef> {
     readonly display: AssertionDisplay;
-    readonly criterion: WritableCriterionEnvelope;
-    readonly subject: AssertionMaterial<BlobRef>;
-    readonly evidence: readonly AssertionMaterial<BlobRef>[];
-    readonly coverage: AssertionCoverage;
-    readonly limitations: readonly AssertionLimitation[];
-    readonly result: SealedAssertionResult;
+    readonly criterion: AssertionCriterionRecord;
+    readonly materials: AssertionMaterials<BlobRef>;
+    readonly evaluation: AssertionEvaluation;
+    readonly decision: AssertionDecision;
+    readonly policy: AssertionDecisionPolicy;
+    readonly contribution: ScoreContribution;
+    readonly explanationRetention: ExplanationRetention;
 }
 export interface AssertionsEntryIdSource {
     /** Must return a fresh `ae_[a-z0-9]{20}` candidate for this Attachment. */

package/dist/assertions/record/producer.d.mts

@@ -1,13 +1,14 @@
 import { Either, Schema } from "effect";
-import type { AssertionDisplay, AssertionEntryId, AssertionLimitation, AssertionMaterial, AssertionCoverage, AssertionsDocument, SealedAssertionResult, WritableCriterionEnvelope } from "./model.mjs";
+import type { AssertionDisplay, AssertionEntryId, AssertionCriterionRecord, AssertionMaterials, AssertionEvaluation, AssertionDecision, AssertionDecisionPolicy, ScoreContribution, ExplanationRetention, AssertionsDocument } from "./model.mjs";
 export interface AssertionEntryInput<BlobRef> {
     readonly display: AssertionDisplay;
-    readonly criterion: WritableCriterionEnvelope;
-    readonly subject: AssertionMaterial<BlobRef>;
-    readonly evidence: readonly AssertionMaterial<BlobRef>[];
-    readonly coverage: AssertionCoverage;
-    readonly limitations: readonly AssertionLimitation[];
-    readonly result: SealedAssertionResult;
+    readonly criterion: AssertionCriterionRecord;
+    readonly materials: AssertionMaterials<BlobRef>;
+    readonly evaluation: AssertionEvaluation;
+    readonly decision: AssertionDecision;
+    readonly policy: AssertionDecisionPolicy;
+    readonly contribution: ScoreContribution;
+    readonly explanationRetention: ExplanationRetention;
 }
 export interface AssertionsEntryIdSource {
     /** Must return a fresh `ae_[a-z0-9]{20}` candidate for this Attachment. */

package/dist/assertions/record/producer.d.ts

@@ -1,13 +1,14 @@
 import { Either, Schema } from "effect";
-import type { AssertionDisplay, AssertionEntryId, AssertionLimitation, AssertionMaterial, AssertionCoverage, AssertionsDocument, SealedAssertionResult, WritableCriterionEnvelope } from "./model.js";
+import type { AssertionDisplay, AssertionEntryId, AssertionCriterionRecord, AssertionMaterials, AssertionEvaluation, AssertionDecision, AssertionDecisionPolicy, ScoreContribution, ExplanationRetention, AssertionsDocument } from "./model.js";
 export interface AssertionEntryInput<BlobRef> {
     readonly display: AssertionDisplay;
-    readonly criterion: WritableCriterionEnvelope;
-    readonly subject: AssertionMaterial<BlobRef>;
-    readonly evidence: readonly AssertionMaterial<BlobRef>[];
-    readonly coverage: AssertionCoverage;
-    readonly limitations: readonly AssertionLimitation[];
-    readonly result: SealedAssertionResult;
+    readonly criterion: AssertionCriterionRecord;
+    readonly materials: AssertionMaterials<BlobRef>;
+    readonly evaluation: AssertionEvaluation;
+    readonly decision: AssertionDecision;
+    readonly policy: AssertionDecisionPolicy;
+    readonly contribution: ScoreContribution;
+    readonly explanationRetention: ExplanationRetention;
 }
 export interface AssertionsEntryIdSource {
     /** Must return a fresh `ae_[a-z0-9]{20}` candidate for this Attachment. */

package/dist/assertions/runtime.cjs

@@ -540,7 +540,7 @@ class AssertionsRuntimeImplementation {
         if (managed.kind === "boolean") {
             const entry = this.createEntry({
                 kind: "boolean",
-                criterion: Object.freeze({ kind: "value-match", subject: "explicit-value" }),
+                criterion: Object.freeze({ kind: "value-match", subject: "explicit-value", matcher: Object.freeze({ state: "declared", name: managed.name }) }),
                 subject: captured.material,
                 evidence: Object.freeze([]),
                 coverage: captured.coverage,
@@ -551,7 +551,7 @@ class AssertionsRuntimeImplementation {
         }
         const entry = this.createEntry({
             kind: "measurement",
-            criterion: Object.freeze({ kind: "value-match", subject: "explicit-value" }),
+            criterion: Object.freeze({ kind: "value-match", subject: "explicit-value", matcher: Object.freeze({ state: "declared", name: managed.name }) }),
             subject: captured.material,
             evidence: Object.freeze([]),
             coverage: captured.coverage,
@@ -879,17 +879,20 @@ class AssertionsRuntimeImplementation {
                     state: "matched",
                     value: evaluation.value,
                     ...(evaluation.diagnostic === undefined ? {} : { diagnostic: evaluation.diagnostic }),
+                    ...(evaluation.receipt === undefined ? {} : { receipt: evaluation.receipt }),
                 });
             case "mismatched":
                 return Object.freeze({
                     state: "mismatched",
                     ...(evaluation.diagnostic === undefined ? {} : { diagnostic: evaluation.diagnostic }),
+                    ...(evaluation.receipt === undefined ? {} : { receipt: evaluation.receipt }),
                 });
             case "unavailable":
                 return Object.freeze({
                     state: "unavailable",
                     reason: evaluation.reason,
                     ...(evaluation.diagnostic === undefined ? {} : { diagnostic: evaluation.diagnostic }),
+                    ...(evaluation.receipt === undefined ? {} : { receipt: evaluation.receipt }),
                 });
             case "not-applicable":
                 return Object.freeze({
@@ -902,13 +905,21 @@ class AssertionsRuntimeImplementation {
         switch (evaluation.state) {
             case "measured":
                 assertUnitInterval(evaluation.value, "measurement Assertion result");
-                return Object.freeze({ state: "measured", value: evaluation.value });
+                return Object.freeze({
+                    state: "measured",
+                    value: evaluation.value,
+                    ...(evaluation.detail === undefined ? {} : { explanation: evaluation.detail }),
+                });
             case "unavailable":
-                return Object.freeze({ state: "unavailable", reason: evaluation.reason });
+                return Object.freeze({
+                    state: "unavailable",
+                    reason: evaluation.reason,
+                    ...(evaluation.detail === undefined ? {} : { explanation: evaluation.detail }),
+                });
             case "not-applicable":
-                return Object.freeze({ state: "not-applicable" });
+                return Object.freeze({ state: "not-applicable", ...(evaluation.detail === undefined ? {} : { explanation: evaluation.detail }) });
             case "errored":
-                return Object.freeze({ state: "errored" });
+                return Object.freeze({ state: "errored", ...(evaluation.detail === undefined ? {} : { explanation: evaluation.detail }) });
         }
     }
     /** Evaluates an entry at most once even when multiple Effect fibers await it. */
@@ -1014,6 +1025,28 @@ class AssertionsRuntimeImplementation {
             coverage: material.coverage,
             limitations: material.limitations,
             result: this.resultFor(entry, settlement),
+            policy: Object.freeze({
+                requirement: entry.optionalConfigured ? "optional" : "required",
+                condition: entry.kind === "measurement" && entry.threshold !== undefined
+                    ? Object.freeze({ kind: "at-least", threshold: entry.threshold })
+                    : entry.kind === "boolean"
+                        ? Object.freeze({ kind: "boolean", expected: true })
+                        : Object.freeze({ kind: "record-only" }),
+            }),
+            observed: entry.kind === "boolean"
+                ? Object.freeze({
+                    kind: "boolean",
+                    outcome: settlement.state === "measured" || settlement.state === "interrupted"
+                        ? "errored"
+                        : settlement.state,
+                })
+                : entry.kind === "measurement"
+                    ? settlement.state === "measured"
+                        ? Object.freeze({ kind: "measurement", state: "available", value: settlement.value })
+                        : Object.freeze({ kind: "measurement", state: "unavailable" })
+                    : settlement.state === "measured"
+                        ? Object.freeze({ kind: "direct-score", state: "available", value: settlement.value })
+                        : Object.freeze({ kind: "direct-score", state: "unavailable" }),
         });
     }
     materialFor(entry, settlement) {
@@ -1035,8 +1068,9 @@ class AssertionsRuntimeImplementation {
         });
     }
     resultFor(entry, settlement) {
-        const capturedDiagnostic = captureMatchDiagnostic(settlement.diagnostic);
+        const capturedDiagnostic = settlement.explanation ?? captureMatchDiagnostic(settlement.diagnostic);
         const diagnostic = capturedDiagnostic === undefined ? {} : { diagnostic: capturedDiagnostic };
+        const receipt = settlement.receipt === undefined ? {} : { receipt: settlement.receipt };
         switch (settlement.state) {
             case "matched":
                 return Object.freeze({
@@ -1044,6 +1078,7 @@ class AssertionsRuntimeImplementation {
                     gate: this.gateForMatched(entry),
                     score: this.availableScoreFor(entry, 1),
                     ...diagnostic,
+                    ...receipt,
                 });
             case "mismatched":
                 return Object.freeze({
@@ -1052,6 +1087,7 @@ class AssertionsRuntimeImplementation {
                     gate: this.gateForMismatched(entry),
                     score: this.availableScoreFor(entry, 0),
                     ...diagnostic,
+                    ...receipt,
                 });
             case "measured": {
                 const matched = entry.threshold === undefined || settlement.value >= entry.threshold;
@@ -1061,6 +1097,7 @@ class AssertionsRuntimeImplementation {
                         gate: this.gateForMatched(entry),
                         score: this.availableScoreFor(entry, settlement.value),
                         ...diagnostic,
+                        ...receipt,
                     })
                     : Object.freeze({
                         state: "mismatched",
@@ -1068,6 +1105,7 @@ class AssertionsRuntimeImplementation {
                         gate: this.gateForMismatched(entry),
                         score: this.availableScoreFor(entry, settlement.value),
                         ...diagnostic,
+                        ...receipt,
                     });
             }
             case "unavailable":
@@ -1077,6 +1115,7 @@ class AssertionsRuntimeImplementation {
                     gate: this.gateForUnavailable(entry),
                     score: this.incompleteScoreFor(entry, "source-unavailable"),
                     ...diagnostic,
+                    ...receipt,
                 });
             case "not-applicable":
                 return Object.freeze({
@@ -1085,6 +1124,7 @@ class AssertionsRuntimeImplementation {
                     gate: this.gateForNotApplicable(entry),
                     score: this.incompleteScoreFor(entry, "not-applicable"),
                     ...diagnostic,
+                    ...receipt,
                 });
             case "errored":
                 return Object.freeze({
@@ -1093,6 +1133,7 @@ class AssertionsRuntimeImplementation {
                     gate: this.gateForUnavailable(entry),
                     score: this.incompleteScoreFor(entry, "evaluation-errored"),
                     ...diagnostic,
+                    ...receipt,
                 });
             case "interrupted":
                 return Object.freeze({
@@ -1101,6 +1142,7 @@ class AssertionsRuntimeImplementation {
                     gate: this.gateForUnavailable(entry),
                     score: this.incompleteScoreFor(entry, "evaluation-errored"),
                     ...diagnostic,
+                    ...receipt,
                 });
         }
     }