niceeval 0.13.3-canary.37 → 0.13.3

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

@@ -1,5 +1,5 @@
 import { Either, Schema } from "effect";
-import { type AssertionCoverage, type AssertionDisplay, type AssertionEntryId, type AssertionLimitation, type AssertionsDocumentOuter, type AssertionsDocument, type AssertionsProjection, type BoundedJsonObject, type BoundedJsonValue, type BuiltInCriterionEnvelope, type BuiltInCriterion, type CriterionOuterEnvelope, type SealedAssertionResult, type ThirdPartyCriterion, type WritableCriterionEnvelope } from "./model.mjs";
+import { type AssertionCoverage, type AssertionDisplay, type AssertionFactValue, type AssertionEntryId, type AssertionLimitation, type AssertionsDocumentOuter, type AssertionsDocument, type AssertionsProjection, type BoundedJsonObject, type BoundedJsonValue, type BuiltInCriterionEnvelope, type BuiltInCriterion, type CriterionOuterEnvelope, type EarnedScoreContribution, type NoScoreContribution, type SealedAssertionResult, type ThirdPartyCriterion, type UnavailableScoreContribution, type WritableCriterionEnvelope } from "./model.mjs";
 /** Durable document-size limit; unlike runtime capture limits it belongs to this codec. */
 export declare const MAX_ASSERTION_DOCUMENT_BYTES: number;
 /** All contract-owned objects use aggregate failures and exact object fields. */
@@ -30,6 +30,9 @@ export declare const SealedAssertionResultSchema: Schema.Schema<SealedAssertionR
  */
 export declare function createAssertionsRecordSchemas<BlobRef, BlobRefEncoded>(blobRefSchema: Schema.Schema<BlobRef, BlobRefEncoded>): Readonly<{
     material: Schema.Union<[Schema.Struct<{
+        kind: Schema.Literal<["unavailable"]>;
+        reason: Schema.Literal<["not-recorded"]>;
+    }>, Schema.Struct<{
         kind: Schema.Literal<["snapshot"]>;
         value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
     }>, Schema.Struct<{
@@ -40,11 +43,107 @@ export declare function createAssertionsRecordSchemas<BlobRef, BlobRefEncoded>(b
         sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
         preview: Schema.filter<typeof Schema.String>;
     }>]>;
-    entries: Schema.filter<Schema.Array$<Schema.filter<Schema.Struct<{
+    entries: Schema.filter<Schema.Array$<Schema.Struct<{
+        entryId: Schema.Schema<AssertionEntryId, string, never>;
+        display: Schema.Schema<AssertionDisplay, AssertionDisplay, never>;
+        criterion: Schema.Union<[Schema.Struct<{
+            state: Schema.Literal<["available"]>;
+            value: Schema.Schema<BoundedJsonObject, BoundedJsonObject, never>;
+        }>, Schema.Struct<{
+            state: Schema.Literal<["unavailable"]>;
+            reason: Schema.Literal<["not-recorded"]>;
+        }>]>;
+        materials: Schema.filter<Schema.Struct<{
+            source: Schema.Union<[Schema.Struct<{
+                kind: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
+            }>, Schema.Struct<{
+                kind: Schema.Literal<["snapshot"]>;
+                value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+            }>, Schema.Struct<{
+                kind: Schema.Literal<["blob"]>;
+                ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
+                encoding: Schema.Literal<["utf-8", "binary"]>;
+                byteLength: Schema.filter<typeof Schema.JsonNumber>;
+                sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
+                preview: Schema.filter<typeof Schema.String>;
+            }>]>;
+            evidence: Schema.Array$<Schema.Union<[Schema.Struct<{
+                kind: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
+            }>, Schema.Struct<{
+                kind: Schema.Literal<["snapshot"]>;
+                value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+            }>, Schema.Struct<{
+                kind: Schema.Literal<["blob"]>;
+                ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
+                encoding: Schema.Literal<["utf-8", "binary"]>;
+                byteLength: Schema.filter<typeof Schema.JsonNumber>;
+                sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
+                preview: Schema.filter<typeof Schema.String>;
+            }>]>>;
+            coverage: Schema.Schema<AssertionCoverage, AssertionCoverage, never>;
+            limitations: Schema.Array$<Schema.Schema<AssertionLimitation, AssertionLimitation, never>>;
+        }>>;
+        evaluation: Schema.Struct<{
+            observed: Schema.Schema<AssertionFactValue, AssertionFactValue, never>;
+            receipt: Schema.optional<Schema.Struct<{
+                examined: Schema.filter<typeof Schema.JsonNumber>;
+                matched: Schema.filter<typeof Schema.JsonNumber>;
+                mismatched: Schema.filter<typeof Schema.JsonNumber>;
+                unavailable: Schema.filter<typeof Schema.JsonNumber>;
+                knownTotal: Schema.NullOr<Schema.filter<typeof Schema.JsonNumber>>;
+                complete: typeof Schema.Boolean;
+                exhaustive: typeof Schema.Boolean;
+                decisive: typeof Schema.Boolean;
+            }>>;
+        }>;
+        decision: Schema.Struct<{
+            result: Schema.Literal<["matched", "mismatched", "unavailable", "errored", "not-applicable"]>;
+            reason: Schema.NullOr<Schema.Literal<["condition-not-met", "evidence-unavailable", "source-unavailable", "redacted", "evaluator-failed", "producer-interrupted", "invalid-subject", "coverage-not-applicable"]>>;
+            gate: Schema.Literal<["not-gate", "satisfied", "failed", "unavailable", "not-applicable"]>;
+        }>;
+        policy: Schema.Struct<{
+            requirement: Schema.Union<[Schema.Struct<{
+                state: Schema.Literal<["available"]>;
+                value: Schema.Literal<["required", "optional"]>;
+            }>, Schema.Struct<{
+                state: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
+            }>]>;
+            condition: Schema.Union<[Schema.Struct<{
+                state: Schema.Literal<["available"]>;
+                value: Schema.Union<[Schema.Struct<{
+                    kind: Schema.Literal<["boolean"]>;
+                    expected: Schema.Literal<[true]>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["at-least"]>;
+                    threshold: Schema.filter<typeof Schema.JsonNumber>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["record-only"]>;
+                }>]>;
+            }>, Schema.Struct<{
+                state: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
+            }>]>;
+        }>;
+        contribution: Schema.Union<[Schema.Schema<NoScoreContribution, NoScoreContribution, never>, Schema.Schema<EarnedScoreContribution, EarnedScoreContribution, never>, Schema.Schema<UnavailableScoreContribution, UnavailableScoreContribution, never>]>;
+        explanationRetention: Schema.Union<[Schema.Struct<{
+            state: Schema.Literal<["retained"]>;
+            value: Schema.Schema<AssertionFactValue, AssertionFactValue, never>;
+        }>, Schema.Struct<{
+            state: Schema.Literal<["unavailable"]>;
+            reason: Schema.Literal<["not-recorded"]>;
+        }>]>;
+    }>>>;
+    historicalEntries: Schema.filter<Schema.Array$<Schema.filter<Schema.Struct<{
         entryId: Schema.Schema<AssertionEntryId, string, never>;
         display: Schema.Schema<AssertionDisplay, AssertionDisplay, never>;
         criterion: Schema.Schema<BoundedJsonObject, BoundedJsonObject, never>;
         subject: Schema.Union<[Schema.Struct<{
+            kind: Schema.Literal<["unavailable"]>;
+            reason: Schema.Literal<["not-recorded"]>;
+        }>, Schema.Struct<{
             kind: Schema.Literal<["snapshot"]>;
             value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
         }>, Schema.Struct<{
@@ -56,6 +155,9 @@ export declare function createAssertionsRecordSchemas<BlobRef, BlobRefEncoded>(b
             preview: Schema.filter<typeof Schema.String>;
         }>]>;
         evidence: Schema.Array$<Schema.Union<[Schema.Struct<{
+            kind: Schema.Literal<["unavailable"]>;
+            reason: Schema.Literal<["not-recorded"]>;
+        }>, Schema.Struct<{
             kind: Schema.Literal<["snapshot"]>;
             value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
         }>, Schema.Struct<{
@@ -71,68 +173,194 @@ export declare function createAssertionsRecordSchemas<BlobRef, BlobRefEncoded>(b
         result: Schema.Schema<SealedAssertionResult, SealedAssertionResult, never>;
     }>>>>;
     outerDocument: Schema.filter<Schema.filter<Schema.Struct<{
-        entries: Schema.filter<Schema.Array$<Schema.filter<Schema.Struct<{
+        entries: Schema.filter<Schema.Array$<Schema.Struct<{
             entryId: Schema.Schema<AssertionEntryId, string, never>;
             display: Schema.Schema<AssertionDisplay, AssertionDisplay, never>;
-            criterion: Schema.Schema<BoundedJsonObject, BoundedJsonObject, never>;
-            subject: Schema.Union<[Schema.Struct<{
-                kind: Schema.Literal<["snapshot"]>;
-                value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+            criterion: Schema.Union<[Schema.Struct<{
+                state: Schema.Literal<["available"]>;
+                value: Schema.Schema<BoundedJsonObject, BoundedJsonObject, never>;
             }>, Schema.Struct<{
-                kind: Schema.Literal<["blob"]>;
-                ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
-                encoding: Schema.Literal<["utf-8", "binary"]>;
-                byteLength: Schema.filter<typeof Schema.JsonNumber>;
-                sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
-                preview: Schema.filter<typeof Schema.String>;
+                state: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
             }>]>;
-            evidence: Schema.Array$<Schema.Union<[Schema.Struct<{
-                kind: Schema.Literal<["snapshot"]>;
-                value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+            materials: Schema.filter<Schema.Struct<{
+                source: Schema.Union<[Schema.Struct<{
+                    kind: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["snapshot"]>;
+                    value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["blob"]>;
+                    ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
+                    encoding: Schema.Literal<["utf-8", "binary"]>;
+                    byteLength: Schema.filter<typeof Schema.JsonNumber>;
+                    sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
+                    preview: Schema.filter<typeof Schema.String>;
+                }>]>;
+                evidence: Schema.Array$<Schema.Union<[Schema.Struct<{
+                    kind: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["snapshot"]>;
+                    value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["blob"]>;
+                    ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
+                    encoding: Schema.Literal<["utf-8", "binary"]>;
+                    byteLength: Schema.filter<typeof Schema.JsonNumber>;
+                    sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
+                    preview: Schema.filter<typeof Schema.String>;
+                }>]>>;
+                coverage: Schema.Schema<AssertionCoverage, AssertionCoverage, never>;
+                limitations: Schema.Array$<Schema.Schema<AssertionLimitation, AssertionLimitation, never>>;
+            }>>;
+            evaluation: Schema.Struct<{
+                observed: Schema.Schema<AssertionFactValue, AssertionFactValue, never>;
+                receipt: Schema.optional<Schema.Struct<{
+                    examined: Schema.filter<typeof Schema.JsonNumber>;
+                    matched: Schema.filter<typeof Schema.JsonNumber>;
+                    mismatched: Schema.filter<typeof Schema.JsonNumber>;
+                    unavailable: Schema.filter<typeof Schema.JsonNumber>;
+                    knownTotal: Schema.NullOr<Schema.filter<typeof Schema.JsonNumber>>;
+                    complete: typeof Schema.Boolean;
+                    exhaustive: typeof Schema.Boolean;
+                    decisive: typeof Schema.Boolean;
+                }>>;
+            }>;
+            decision: Schema.Struct<{
+                result: Schema.Literal<["matched", "mismatched", "unavailable", "errored", "not-applicable"]>;
+                reason: Schema.NullOr<Schema.Literal<["condition-not-met", "evidence-unavailable", "source-unavailable", "redacted", "evaluator-failed", "producer-interrupted", "invalid-subject", "coverage-not-applicable"]>>;
+                gate: Schema.Literal<["not-gate", "satisfied", "failed", "unavailable", "not-applicable"]>;
+            }>;
+            policy: Schema.Struct<{
+                requirement: Schema.Union<[Schema.Struct<{
+                    state: Schema.Literal<["available"]>;
+                    value: Schema.Literal<["required", "optional"]>;
+                }>, Schema.Struct<{
+                    state: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>]>;
+                condition: Schema.Union<[Schema.Struct<{
+                    state: Schema.Literal<["available"]>;
+                    value: Schema.Union<[Schema.Struct<{
+                        kind: Schema.Literal<["boolean"]>;
+                        expected: Schema.Literal<[true]>;
+                    }>, Schema.Struct<{
+                        kind: Schema.Literal<["at-least"]>;
+                        threshold: Schema.filter<typeof Schema.JsonNumber>;
+                    }>, Schema.Struct<{
+                        kind: Schema.Literal<["record-only"]>;
+                    }>]>;
+                }>, Schema.Struct<{
+                    state: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>]>;
+            }>;
+            contribution: Schema.Union<[Schema.Schema<NoScoreContribution, NoScoreContribution, never>, Schema.Schema<EarnedScoreContribution, EarnedScoreContribution, never>, Schema.Schema<UnavailableScoreContribution, UnavailableScoreContribution, never>]>;
+            explanationRetention: Schema.Union<[Schema.Struct<{
+                state: Schema.Literal<["retained"]>;
+                value: Schema.Schema<AssertionFactValue, AssertionFactValue, never>;
             }>, Schema.Struct<{
-                kind: Schema.Literal<["blob"]>;
-                ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
-                encoding: Schema.Literal<["utf-8", "binary"]>;
-                byteLength: Schema.filter<typeof Schema.JsonNumber>;
-                sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
-                preview: Schema.filter<typeof Schema.String>;
-            }>]>>;
-            coverage: Schema.Schema<AssertionCoverage, AssertionCoverage, never>;
-            limitations: Schema.Array$<Schema.Schema<AssertionLimitation, AssertionLimitation, never>>;
-            result: Schema.Schema<SealedAssertionResult, SealedAssertionResult, never>;
-        }>>>>;
+                state: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
+            }>]>;
+        }>>>;
     }>>>;
     document: Schema.filter<Schema.filter<Schema.Struct<{
-        entries: Schema.filter<Schema.Array$<Schema.filter<Schema.Struct<{
+        entries: Schema.filter<Schema.Array$<Schema.Struct<{
             entryId: Schema.Schema<AssertionEntryId, string, never>;
             display: Schema.Schema<AssertionDisplay, AssertionDisplay, never>;
-            criterion: Schema.Schema<WritableCriterionEnvelope, WritableCriterionEnvelope, never>;
-            subject: Schema.Union<[Schema.Struct<{
-                kind: Schema.Literal<["snapshot"]>;
-                value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+            criterion: Schema.Union<[Schema.Struct<{
+                state: Schema.Literal<["available"]>;
+                value: Schema.Schema<WritableCriterionEnvelope, WritableCriterionEnvelope, never>;
             }>, Schema.Struct<{
-                kind: Schema.Literal<["blob"]>;
-                ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
-                encoding: Schema.Literal<["utf-8", "binary"]>;
-                byteLength: Schema.filter<typeof Schema.JsonNumber>;
-                sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
-                preview: Schema.filter<typeof Schema.String>;
+                state: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
             }>]>;
-            evidence: Schema.Array$<Schema.Union<[Schema.Struct<{
-                kind: Schema.Literal<["snapshot"]>;
-                value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+            materials: Schema.filter<Schema.Struct<{
+                source: Schema.Union<[Schema.Struct<{
+                    kind: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["snapshot"]>;
+                    value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["blob"]>;
+                    ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
+                    encoding: Schema.Literal<["utf-8", "binary"]>;
+                    byteLength: Schema.filter<typeof Schema.JsonNumber>;
+                    sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
+                    preview: Schema.filter<typeof Schema.String>;
+                }>]>;
+                evidence: Schema.Array$<Schema.Union<[Schema.Struct<{
+                    kind: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["snapshot"]>;
+                    value: Schema.Schema<BoundedJsonValue, BoundedJsonValue, never>;
+                }>, Schema.Struct<{
+                    kind: Schema.Literal<["blob"]>;
+                    ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
+                    encoding: Schema.Literal<["utf-8", "binary"]>;
+                    byteLength: Schema.filter<typeof Schema.JsonNumber>;
+                    sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
+                    preview: Schema.filter<typeof Schema.String>;
+                }>]>>;
+                coverage: Schema.Schema<AssertionCoverage, AssertionCoverage, never>;
+                limitations: Schema.Array$<Schema.Schema<AssertionLimitation, AssertionLimitation, never>>;
+            }>>;
+            evaluation: Schema.Struct<{
+                observed: Schema.Schema<AssertionFactValue, AssertionFactValue, never>;
+                receipt: Schema.optional<Schema.Struct<{
+                    examined: Schema.filter<typeof Schema.JsonNumber>;
+                    matched: Schema.filter<typeof Schema.JsonNumber>;
+                    mismatched: Schema.filter<typeof Schema.JsonNumber>;
+                    unavailable: Schema.filter<typeof Schema.JsonNumber>;
+                    knownTotal: Schema.NullOr<Schema.filter<typeof Schema.JsonNumber>>;
+                    complete: typeof Schema.Boolean;
+                    exhaustive: typeof Schema.Boolean;
+                    decisive: typeof Schema.Boolean;
+                }>>;
+            }>;
+            decision: Schema.Struct<{
+                result: Schema.Literal<["matched", "mismatched", "unavailable", "errored", "not-applicable"]>;
+                reason: Schema.NullOr<Schema.Literal<["condition-not-met", "evidence-unavailable", "source-unavailable", "redacted", "evaluator-failed", "producer-interrupted", "invalid-subject", "coverage-not-applicable"]>>;
+                gate: Schema.Literal<["not-gate", "satisfied", "failed", "unavailable", "not-applicable"]>;
+            }>;
+            policy: Schema.Struct<{
+                requirement: Schema.Union<[Schema.Struct<{
+                    state: Schema.Literal<["available"]>;
+                    value: Schema.Literal<["required", "optional"]>;
+                }>, Schema.Struct<{
+                    state: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>]>;
+                condition: Schema.Union<[Schema.Struct<{
+                    state: Schema.Literal<["available"]>;
+                    value: Schema.Union<[Schema.Struct<{
+                        kind: Schema.Literal<["boolean"]>;
+                        expected: Schema.Literal<[true]>;
+                    }>, Schema.Struct<{
+                        kind: Schema.Literal<["at-least"]>;
+                        threshold: Schema.filter<typeof Schema.JsonNumber>;
+                    }>, Schema.Struct<{
+                        kind: Schema.Literal<["record-only"]>;
+                    }>]>;
+                }>, Schema.Struct<{
+                    state: Schema.Literal<["unavailable"]>;
+                    reason: Schema.Literal<["not-recorded"]>;
+                }>]>;
+            }>;
+            contribution: Schema.Union<[Schema.Schema<NoScoreContribution, NoScoreContribution, never>, Schema.Schema<EarnedScoreContribution, EarnedScoreContribution, never>, Schema.Schema<UnavailableScoreContribution, UnavailableScoreContribution, never>]>;
+            explanationRetention: Schema.Union<[Schema.Struct<{
+                state: Schema.Literal<["retained"]>;
+                value: Schema.Schema<AssertionFactValue, AssertionFactValue, never>;
             }>, Schema.Struct<{
-                kind: Schema.Literal<["blob"]>;
-                ref: Schema.Schema<BlobRef, BlobRefEncoded, never>;
-                encoding: Schema.Literal<["utf-8", "binary"]>;
-                byteLength: Schema.filter<typeof Schema.JsonNumber>;
-                sha256: Schema.Schema<import("../../record/model/identifiers.mjs").Sha256Digest, string, never>;
-                preview: Schema.filter<typeof Schema.String>;
-            }>]>>;
-            coverage: Schema.Schema<AssertionCoverage, AssertionCoverage, never>;
-            limitations: Schema.Array$<Schema.Schema<AssertionLimitation, AssertionLimitation, never>>;
-            result: Schema.Schema<SealedAssertionResult, SealedAssertionResult, never>;
-        }>>>>;
+                state: Schema.Literal<["unavailable"]>;
+                reason: Schema.Literal<["not-recorded"]>;
+            }>]>;
+        }>>>;
     }>>>;
 }>;
 export interface AssertionsRecordCodecError {