niceeval 0.12.2-canary.31 → 0.13.0

package/dist/eval/record/membership-provenance.js

@@ -1,58 +1,38 @@
 import { createRequire as __niceevalCreateRequire } from "node:module";
 const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./membership-provenance.cjs");
-const __niceevalExport0 = __niceevalCanonical["ComparisonAttachmentV1Schema"];
-export { __niceevalExport0 as ComparisonAttachmentV1Schema };
-const __niceevalExport1 = __niceevalCanonical["ComparisonProvenanceV1Schema"];
-export { __niceevalExport1 as ComparisonProvenanceV1Schema };
-const __niceevalExport2 = __niceevalCanonical["ComparisonResultV1Schema"];
-export { __niceevalExport2 as ComparisonResultV1Schema };
-const __niceevalExport3 = __niceevalCanonical["ComparisonSourceStateV1Schema"];
-export { __niceevalExport3 as ComparisonSourceStateV1Schema };
-const __niceevalExport4 = __niceevalCanonical["ExecutionGapReasonV1Schema"];
-export { __niceevalExport4 as ExecutionGapReasonV1Schema };
-const __niceevalExport5 = __niceevalCanonical["ExecutionGapScopeV1Schema"];
-export { __niceevalExport5 as ExecutionGapScopeV1Schema };
-const __niceevalExport6 = __niceevalCanonical["MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1"];
-export { __niceevalExport6 as MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH_V1 };
-const __niceevalExport7 = __niceevalCanonical["MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1"];
-export { __niceevalExport7 as MEMBERSHIP_PROVENANCE_ATTACHMENT_NAME_V1 };
-const __niceevalExport8 = __niceevalCanonical["MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1"];
-export { __niceevalExport8 as MEMBERSHIP_PROVENANCE_ATTACHMENT_SCHEMA_ID_V1 };
-const __niceevalExport9 = __niceevalCanonical["MembershipActionV1Schema"];
-export { __niceevalExport9 as MembershipActionV1Schema };
-const __niceevalExport10 = __niceevalCanonical["MembershipAttemptOriginV1Schema"];
-export { __niceevalExport10 as MembershipAttemptOriginV1Schema };
-const __niceevalExport11 = __niceevalCanonical["MembershipEffectiveOptionsV1Schema"];
-export { __niceevalExport11 as MembershipEffectiveOptionsV1Schema };
-const __niceevalExport12 = __niceevalCanonical["MembershipGapV1Schema"];
-export { __niceevalExport12 as MembershipGapV1Schema };
-const __niceevalExport13 = __niceevalCanonical["MembershipPolicyIdentityV1Schema"];
-export { __niceevalExport13 as MembershipPolicyIdentityV1Schema };
-const __niceevalExport14 = __niceevalCanonical["MembershipProvenancePayloadV1Schema"];
-export { __niceevalExport14 as MembershipProvenancePayloadV1Schema };
-const __niceevalExport15 = __niceevalCanonical["MembershipSourceBarrierV1Schema"];
-export { __niceevalExport15 as MembershipSourceBarrierV1Schema };
-const __niceevalExport16 = __niceevalCanonical["RecordedAttemptClaimV1Schema"];
-export { __niceevalExport16 as RecordedAttemptClaimV1Schema };
-const __niceevalExport17 = __niceevalCanonical["buildMembershipProvenanceAttachmentWriteV1"];
-export { __niceevalExport17 as buildMembershipProvenanceAttachmentWriteV1 };
-const __niceevalExport18 = __niceevalCanonical["buildMembershipProvenancePayloadV1"];
-export { __niceevalExport18 as buildMembershipProvenancePayloadV1 };
-const __niceevalExport19 = __niceevalCanonical["decodeMembershipProvenancePayloadV1"];
-export { __niceevalExport19 as decodeMembershipProvenancePayloadV1 };
-const __niceevalExport20 = __niceevalCanonical["membershipProvenanceAttachmentDefinitionV1"];
-export { __niceevalExport20 as membershipProvenanceAttachmentDefinitionV1 };
-const __niceevalExport21 = __niceevalCanonical["membershipProvenanceAttachmentFamilyV1"];
-export { __niceevalExport21 as membershipProvenanceAttachmentFamilyV1 };
-const __niceevalExport22 = __niceevalCanonical["membershipProvenanceProjector"];
-export { __niceevalExport22 as membershipProvenanceProjector };
-const __niceevalExport23 = __niceevalCanonical["projectMembershipProvenanceAttachmentV1"];
-export { __niceevalExport23 as projectMembershipProvenanceAttachmentV1 };
-const __niceevalExport24 = __niceevalCanonical["projectMembershipProvenancePayloadV1"];
-export { __niceevalExport24 as projectMembershipProvenancePayloadV1 };
-const __niceevalExport25 = __niceevalCanonical["readMembershipProvenanceAttachmentV1"];
-export { __niceevalExport25 as readMembershipProvenanceAttachmentV1 };
-const __niceevalExport26 = __niceevalCanonical["validateMembershipProvenancePayloadV1"];
-export { __niceevalExport26 as validateMembershipProvenancePayloadV1 };
+const __niceevalExport0 = __niceevalCanonical["ComparisonAttachmentSchema"];
+export { __niceevalExport0 as ComparisonAttachmentSchema };
+const __niceevalExport1 = __niceevalCanonical["ComparisonProvenanceSchema"];
+export { __niceevalExport1 as ComparisonProvenanceSchema };
+const __niceevalExport2 = __niceevalCanonical["ComparisonResultSchema"];
+export { __niceevalExport2 as ComparisonResultSchema };
+const __niceevalExport3 = __niceevalCanonical["ComparisonSourceStateSchema"];
+export { __niceevalExport3 as ComparisonSourceStateSchema };
+const __niceevalExport4 = __niceevalCanonical["ExecutionGapReasonSchema"];
+export { __niceevalExport4 as ExecutionGapReasonSchema };
+const __niceevalExport5 = __niceevalCanonical["ExecutionGapScopeSchema"];
+export { __niceevalExport5 as ExecutionGapScopeSchema };
+const __niceevalExport6 = __niceevalCanonical["MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH"];
+export { __niceevalExport6 as MEMBERSHIP_POLICY_NAME_MAXIMUM_LENGTH };
+const __niceevalExport7 = __niceevalCanonical["MembershipActionSchema"];
+export { __niceevalExport7 as MembershipActionSchema };
+const __niceevalExport8 = __niceevalCanonical["MembershipAttemptOriginSchema"];
+export { __niceevalExport8 as MembershipAttemptOriginSchema };
+const __niceevalExport9 = __niceevalCanonical["MembershipEffectiveOptionsSchema"];
+export { __niceevalExport9 as MembershipEffectiveOptionsSchema };
+const __niceevalExport10 = __niceevalCanonical["MembershipGapSchema"];
+export { __niceevalExport10 as MembershipGapSchema };
+const __niceevalExport11 = __niceevalCanonical["MembershipPolicyIdentitySchema"];
+export { __niceevalExport11 as MembershipPolicyIdentitySchema };
+const __niceevalExport12 = __niceevalCanonical["MembershipProvenancePayloadSchema"];
+export { __niceevalExport12 as MembershipProvenancePayloadSchema };
+const __niceevalExport13 = __niceevalCanonical["MembershipSourceBarrierSchema"];
+export { __niceevalExport13 as MembershipSourceBarrierSchema };
+const __niceevalExport14 = __niceevalCanonical["RecordedAttemptClaimSchema"];
+export { __niceevalExport14 as RecordedAttemptClaimSchema };
+const __niceevalExport15 = __niceevalCanonical["buildMembershipProvenancePayload"];
+export { __niceevalExport15 as buildMembershipProvenancePayload };
+const __niceevalExport16 = __niceevalCanonical["validateMembershipProvenancePayload"];
+export { __niceevalExport16 as validateMembershipProvenancePayload };
 //# sourceMappingURL=membership-provenance.js.map

package/dist/eval/record/score.cjs

@@ -1,104 +1,60 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.scoreProjector = exports.ScoreBuildInputV1Schema = exports.ScoreFoldInputV1Schema = exports.scoreAttachmentFamilyV1 = exports.scoreAttachmentDefinitionV1 = exports.ScorePayloadV1Schema = exports.EarnedScoreV1Schema = exports.ScoreIncompleteReasonsV1Schema = exports.ScoreIncompleteReasonV1Schema = exports.ScoreStateV1Schema = exports.SCORE_ATTACHMENT_SCHEMA_ID_V1 = exports.SCORE_ATTACHMENT_NAME_V1 = void 0;
-exports.validateScorePayloadV1 = validateScorePayloadV1;
-exports.decodeScorePayloadV1 = decodeScorePayloadV1;
-exports.buildScorePayloadV1 = buildScorePayloadV1;
-exports.createScoreAttachmentWriteV1 = createScoreAttachmentWriteV1;
-exports.buildScoreAttachmentWriteV1 = buildScoreAttachmentWriteV1;
-exports.validateScoreCoherenceV1 = validateScoreCoherenceV1;
-exports.projectScorePayloadV1 = projectScorePayloadV1;
-exports.projectScoreAttachmentV1 = projectScoreAttachmentV1;
+exports.ScoreBuildInputSchema = exports.ScoreFoldInputSchema = exports.ScorePayloadSchema = exports.EarnedScoreSchema = exports.ScoreIncompleteReasonsSchema = exports.ScoreIncompleteReasonSchema = exports.ScoreStateSchema = void 0;
+exports.validateScorePayload = validateScorePayload;
+exports.buildScorePayload = buildScorePayload;
+exports.validateScoreCoherence = validateScoreCoherence;
+exports.projectScorePayload = projectScorePayload;
 const effect_1 = require("effect");
-const index_ts_1 = require("../../record/attachment/index.cjs");
-const internal_ts_1 = require("../../record/attachment/internal.cjs");
-const projector_ts_1 = require("../../projection/projector.cjs");
 const attachment_ts_1 = require("./attachment.cjs");
 const sealed_assertion_ts_1 = require("./sealed-assertion.cjs");
-exports.SCORE_ATTACHMENT_NAME_V1 = "niceeval.score";
-exports.SCORE_ATTACHMENT_SCHEMA_ID_V1 = "niceeval.score/v1";
-exports.ScoreStateV1Schema = effect_1.Schema.Literal("complete", "partial", "unavailable");
-/** These are the only reasons that can make a sealed score source incomplete. */
-exports.ScoreIncompleteReasonV1Schema = effect_1.Schema.Literal("execution-errored", "source-unavailable", "evaluation-errored", "not-applicable");
-exports.ScoreIncompleteReasonsV1Schema = effect_1.Schema.NonEmptyArray(exports.ScoreIncompleteReasonV1Schema);
-/** A formal earned score: finite, non-negative, and never a percentage/max. */
-exports.EarnedScoreV1Schema = attachment_ts_1.FiniteNonNegativeNumberV1Schema;
-const ScoreCompletePayloadV1Schema = effect_1.Schema.Struct({
-    state: effect_1.Schema.Literal("complete"),
-    earned: exports.EarnedScoreV1Schema,
-});
-const ScorePartialPayloadV1Schema = effect_1.Schema.Struct({
+/** Score is an Analysis calculation, not an independently persisted family. */
+exports.ScoreStateSchema = effect_1.Schema.Literal("complete", "partial", "unavailable");
+exports.ScoreIncompleteReasonSchema = effect_1.Schema.Literal("execution-errored", "source-unavailable", "evaluation-errored", "not-applicable");
+exports.ScoreIncompleteReasonsSchema = effect_1.Schema.NonEmptyArray(exports.ScoreIncompleteReasonSchema);
+exports.EarnedScoreSchema = attachment_ts_1.FiniteNonNegativeNumberSchema;
+const ScorePayloadStructuralSchema = effect_1.Schema.Union(effect_1.Schema.Struct({ state: effect_1.Schema.Literal("complete"), earned: exports.EarnedScoreSchema }), effect_1.Schema.Struct({
     state: effect_1.Schema.Literal("partial"),
-    earned: exports.EarnedScoreV1Schema,
-    reasons: exports.ScoreIncompleteReasonsV1Schema,
-});
-const ScoreUnavailablePayloadV1Schema = effect_1.Schema.Struct({
+    earned: exports.EarnedScoreSchema,
+    reasons: exports.ScoreIncompleteReasonsSchema,
+}), effect_1.Schema.Struct({
     state: effect_1.Schema.Literal("unavailable"),
-    reasons: exports.ScoreIncompleteReasonsV1Schema,
-});
-const ScorePayloadV1StructuralSchema = effect_1.Schema.Union(ScoreCompletePayloadV1Schema, ScorePartialPayloadV1Schema, ScoreUnavailablePayloadV1Schema);
+    reasons: exports.ScoreIncompleteReasonsSchema,
+}));
 function scoreIncompleteReasonRank(reason) {
     switch (reason) {
-        case "execution-errored":
-            return 0;
-        case "source-unavailable":
-            return 1;
-        case "evaluation-errored":
-            return 2;
-        case "not-applicable":
-            return 3;
+        case "execution-errored": return 0;
+        case "source-unavailable": return 1;
+        case "evaluation-errored": return 2;
+        case "not-applicable": return 3;
     }
 }
 function incompleteReasonsOf(payload) {
     return payload.state === "complete" ? [] : payload.reasons;
 }
-/** Ensures reason arrays preserve all causes exactly once in a stable order. */
-function validateScorePayloadV1(payload) {
+function validateScorePayload(payload) {
     const issues = [];
     const seen = new Set();
     let previousRank;
     for (const [index, reason] of incompleteReasonsOf(payload).entries()) {
         const rank = scoreIncompleteReasonRank(reason);
         if (seen.has(reason)) {
-            issues.push(Object.freeze({
-                code: "score-incomplete-reason-duplicate",
-                reason,
-            }));
+            issues.push(Object.freeze({ code: "score-incomplete-reason-duplicate", reason }));
         }
         else if (previousRank !== undefined && previousRank >= rank) {
-            issues.push(Object.freeze({
-                code: "score-incomplete-reason-order-invalid",
-                index,
-                reason,
-            }));
+            issues.push(Object.freeze({ code: "score-incomplete-reason-order-invalid", index, reason }));
         }
         seen.add(reason);
         previousRank = rank;
     }
     return Object.freeze(issues);
 }
-/** Exact JSON schema for `niceeval.score/v1`. */
-exports.ScorePayloadV1Schema = ScorePayloadV1StructuralSchema.pipe(effect_1.Schema.filter((payload) => validateScorePayloadV1(payload).length === 0, {
-    identifier: "ScorePayloadV1",
-    description: "a complete, partial, or unavailable score with canonical incomplete reasons",
+exports.ScorePayloadSchema = ScorePayloadStructuralSchema.pipe(effect_1.Schema.filter((payload) => validateScorePayload(payload).length === 0, {
+    identifier: "ScoreCalculation",
+    description: "a canonical transient score calculation",
 }));
-/** The built-in Attempt Attachment definition owns exact decode and closure. */
-exports.scoreAttachmentDefinitionV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, internal_ts_1.defineBuiltinJsonRecordAttachment)({
-    owner: "attempt",
-    name: exports.SCORE_ATTACHMENT_NAME_V1,
-    schemaId: exports.SCORE_ATTACHMENT_SCHEMA_ID_V1,
-    schema: exports.ScorePayloadV1Schema,
-    blobRefs: attachment_ts_1.noRecordAttachmentBlobs,
-}), "Score v1 RecordAttachment definition must be valid");
-exports.scoreAttachmentFamilyV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, index_ts_1.defineRecordAttachmentFamily)({
-    current: exports.scoreAttachmentDefinitionV1,
-    migrations: [],
-}), "Score v1 RecordAttachment family must be valid");
-function decodeScorePayloadV1(input) {
-    return (0, index_ts_1.decodeJsonRecordAttachmentPayload)(exports.scoreAttachmentDefinitionV1, input);
-}
-exports.ScoreFoldInputV1Schema = sealed_assertion_ts_1.EvaluationAttemptFactsV1Schema;
-exports.ScoreBuildInputV1Schema = exports.ScoreFoldInputV1Schema;
+exports.ScoreFoldInputSchema = sealed_assertion_ts_1.EvaluationAttemptFactsSchema;
+exports.ScoreBuildInputSchema = exports.ScoreFoldInputSchema;
 function canonicalIncompleteReasons(reasons) {
     return Object.freeze([...new Set(reasons)].sort((left, right) => scoreIncompleteReasonRank(left) - scoreIncompleteReasonRank(right)));
 }
@@ -106,13 +62,9 @@ function asNonEmptyReasons(reasons) {
     const [first, ...rest] = reasons;
     return first === undefined ? undefined : Object.freeze([first, ...rest]);
 }
-/**
- * Produces Score state from sealed Score contributions. A gate failure is
- * absent by design; a non-score required Assertion can therefore make Verdict
- * errored while an already-complete Score stays complete.
- */
-function buildScorePayloadV1(input) {
-    const decoded = effect_1.Schema.decodeUnknownEither(exports.ScoreFoldInputV1Schema, attachment_ts_1.ExactRecordAttachmentParseOptions)(input);
+/** Folds sealed Assertion facts without producing a durable Record write. */
+function buildScorePayload(input) {
+    const decoded = effect_1.Schema.decodeUnknownEither(exports.ScoreFoldInputSchema, attachment_ts_1.ExactEvaluationParseOptions)(input);
     if (effect_1.Either.isLeft(decoded)) {
         return effect_1.Either.left(Object.freeze({ code: "score-fold-input-invalid" }));
     }
@@ -120,129 +72,65 @@ function buildScorePayloadV1(input) {
     let hasAuditableContribution = false;
     const incompleteReasons = [];
     for (const assertion of decoded.right.assertions) {
-        const contribution = assertion.result.score;
-        switch (contribution.state) {
-            case "not-scored":
-                break;
+        switch (assertion.result.score.state) {
+            case "not-scored": break;
             case "earned":
                 hasAuditableContribution = true;
-                earned += contribution.earned;
+                earned += assertion.result.score.earned;
                 if (!Number.isFinite(earned)) {
                     return effect_1.Either.left(Object.freeze({ code: "score-earned-overflow" }));
                 }
                 break;
             case "unavailable":
-                if (assertion.required) {
-                    incompleteReasons.push(contribution.reason);
-                }
+                if (assertion.required)
+                    incompleteReasons.push(assertion.result.score.reason);
                 break;
         }
     }
-    if (decoded.right.execution === "errored") {
+    if (decoded.right.execution === "errored")
         incompleteReasons.push("execution-errored");
-    }
     const reasons = canonicalIncompleteReasons(incompleteReasons);
-    if (reasons.length === 0) {
+    if (reasons.length === 0)
         return effect_1.Either.right(Object.freeze({ state: "complete", earned }));
-    }
     const nonEmptyReasons = asNonEmptyReasons(reasons);
-    if (nonEmptyReasons === undefined) {
-        throw new Error("A non-empty incomplete-reason list became empty");
-    }
+    if (nonEmptyReasons === undefined)
+        throw new Error("Non-empty score reasons became empty");
     return hasAuditableContribution
-        ? effect_1.Either.right(Object.freeze({
-            state: "partial",
-            earned,
-            reasons: nonEmptyReasons,
-        }))
-        : effect_1.Either.right(Object.freeze({
-            state: "unavailable",
-            reasons: nonEmptyReasons,
-        }));
+        ? effect_1.Either.right(Object.freeze({ state: "partial", earned, reasons: nonEmptyReasons }))
+        : effect_1.Either.right(Object.freeze({ state: "unavailable", reasons: nonEmptyReasons }));
 }
-/** Wraps an already validated durable Score payload in its Attempt Attachment. */
-function createScoreAttachmentWriteV1(payload) {
-    return (0, attachment_ts_1.makeNoBlobRecordAttachmentWriteV1)(exports.scoreAttachmentFamilyV1, payload);
-}
-/** Builds the real Attempt-owned Score write from sealed score contributions. */
-function buildScoreAttachmentWriteV1(input) {
-    const payload = buildScorePayloadV1(input);
-    if (effect_1.Either.isLeft(payload)) {
-        return effect_1.Either.left(payload.left);
-    }
-    return effect_1.Either.right(createScoreAttachmentWriteV1(payload.right));
+function sameReasons(left, right) {
+    return left.length === right.length && left.every((reason, index) => reason === right[index]);
 }
 function sameScorePayload(left, right) {
     if (left.state !== right.state)
         return false;
-    if (left.state === "complete") {
+    if (left.state === "complete")
         return right.state === "complete" && left.earned === right.earned;
-    }
-    if (left.state === "partial") {
-        return (right.state === "partial"
-            && left.earned === right.earned
-            && sameReasons(left.reasons, right.reasons));
-    }
+    if (left.state === "partial")
+        return right.state === "partial" && left.earned === right.earned && sameReasons(left.reasons, right.reasons);
     return right.state === "unavailable" && sameReasons(left.reasons, right.reasons);
 }
-function sameReasons(left, right) {
-    return left.length === right.length && left.every((reason, index) => reason === right[index]);
-}
-/** Confirms persisted score is exactly what the shared sealed facts produce. */
-function validateScoreCoherenceV1(input) {
-    const expected = buildScorePayloadV1(input.fold);
+function validateScoreCoherence(input) {
+    const expected = buildScorePayload(input.fold);
     if (effect_1.Either.isLeft(expected)) {
-        return Object.freeze([
-            Object.freeze({
-                code: "score-fold-input-invalid",
-                reason: expected.left.code,
-            }),
-        ]);
+        return Object.freeze([Object.freeze({ code: "score-fold-input-invalid", reason: expected.left.code })]);
     }
     return sameScorePayload(input.payload, expected.right)
-        ? []
-        : Object.freeze([
-            Object.freeze({ code: "score-payload-mismatch" }),
-        ]);
+        ? Object.freeze([])
+        : Object.freeze([Object.freeze({ code: "score-payload-mismatch" })]);
 }
 function scoreIncompleteReasons(reasons) {
     const [first, ...rest] = reasons;
-    if (first === undefined) {
-        throw new Error("A persisted incomplete Score must retain at least one reason");
-    }
+    if (first === undefined)
+        throw new Error("An incomplete score needs a reason");
     return Object.freeze([first, ...rest]);
 }
-function projectScorePayloadV1(payload) {
+function projectScorePayload(payload) {
     switch (payload.state) {
-        case "complete":
-            return Object.freeze({
-                state: "complete",
-                earned: payload.earned,
-                comparable: true,
-            });
-        case "partial":
-            return Object.freeze({
-                state: "partial",
-                earned: payload.earned,
-                reasons: scoreIncompleteReasons(payload.reasons),
-                comparable: false,
-            });
-        case "unavailable":
-            return Object.freeze({
-                state: "unavailable",
-                reasons: scoreIncompleteReasons(payload.reasons),
-                comparable: false,
-            });
+        case "complete": return Object.freeze({ state: "complete", earned: payload.earned, comparable: true });
+        case "partial": return Object.freeze({ state: "partial", earned: payload.earned, reasons: scoreIncompleteReasons(payload.reasons), comparable: false });
+        case "unavailable": return Object.freeze({ state: "unavailable", reasons: scoreIncompleteReasons(payload.reasons), comparable: false });
     }
 }
-/** A typed, synchronous projection over an available Score Attachment. */
-function projectScoreAttachmentV1(value) {
-    // Record has already exact-decoded and frozen every available payload.
-    return projectScorePayloadV1(value.payload);
-}
-/** The public Score view for an Attempt-owned Attachment. */
-exports.scoreProjector = (0, projector_ts_1.defineRecordAttachmentProjector)({
-    attachment: exports.scoreAttachmentFamilyV1,
-    project: projectScoreAttachmentV1,
-});
 //# sourceMappingURL=score.cjs.map

package/dist/eval/record/score.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"score.js","sourceRoot":"","sources":["score.ts"],"names":[],"mappings":";;;AA0DA,wDAuBC;AAkBD,oDAEC;AA4BD,kDAgDC;AAED,oEAEC;AAED,kEAMC;AAwBD,4DAkBC;AA+BD,sDAsBC;AAED,4DAGC;AAjSD,mCAAwC;AACxC,+DAAkN;AAClN,qEAAwF;AACxF,gEAAiH;AACjH,mDAAuO;AACvO,+DAAuG;AAC1F,QAAA,wBAAwB,GAAG,gBAAyB,CAAC;AACrD,QAAA,6BAA6B,GAAG,mBAA4B,CAAC;AAC7D,QAAA,kBAAkB,GAAG,eAAM,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;AAEvF,iFAAiF;AACpE,QAAA,6BAA6B,GAAG,eAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,gBAAgB,CAAC,CAAC;AAElI,QAAA,8BAA8B,GAAG,eAAM,CAAC,aAAa,CAAC,qCAA6B,CAAC,CAAC;AAElG,+EAA+E;AAClE,QAAA,mBAAmB,GAAG,+CAA+B,CAAC;AAEnE,MAAM,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC;IACjC,MAAM,EAAE,2BAAmB;CAC9B,CAAC,CAAC;AACH,MAAM,2BAA2B,GAAG,eAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAChC,MAAM,EAAE,2BAAmB;IAC3B,OAAO,EAAE,sCAA8B;CAC1C,CAAC,CAAC;AACH,MAAM,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IAClD,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACpC,OAAO,EAAE,sCAA8B;CAC1C,CAAC,CAAC;AACH,MAAM,8BAA8B,GAAG,eAAM,CAAC,KAAK,CAAC,4BAA4B,EAAE,2BAA2B,EAAE,+BAA+B,CAAC,CAAC;AAWhJ,SAAS,yBAAyB,CAAC,MAA+B;IAC9D,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,mBAAmB;YACpB,OAAO,CAAC,CAAC;QACb,KAAK,oBAAoB;YACrB,OAAO,CAAC,CAAC;QACb,KAAK,oBAAoB;YACrB,OAAO,CAAC,CAAC;QACb,KAAK,gBAAgB;YACjB,OAAO,CAAC,CAAC;IACjB,CAAC;AACL,CAAC;AACD,SAAS,mBAAmB,CAAC,OAAuB;IAChD,OAAO,OAAO,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;AAC/D,CAAC;AACD,gFAAgF;AAChF,SAAgB,sBAAsB,CAAC,OAAuB;IAC1D,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA2B,CAAC;IAChD,IAAI,YAAgC,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,mCAA4C;gBAClD,MAAM;aACT,CAAC,CAAC,CAAC;QACR,CAAC;aACI,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,uCAAgD;gBACtD,KAAK;gBACL,MAAM;aACT,CAAC,CAAC,CAAC;QACR,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,YAAY,GAAG,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,iDAAiD;AACpC,QAAA,oBAAoB,GAAG,8BAA8B,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAC7I,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,6EAA6E;CAC7F,CAAC,CAAC,CAAC;AACJ,gFAAgF;AACnE,QAAA,2BAA2B,GAAG,IAAA,mDAAmC,EAAC,IAAA,+CAAiC,EAAC;IAC7G,KAAK,EAAE,SAAS;IAChB,IAAI,EAAE,gCAAwB;IAC9B,QAAQ,EAAE,qCAA6B;IACvC,MAAM,EAAE,4BAAoB;IAC5B,QAAQ,EAAE,uCAAuB;CACpC,CAAC,EAAE,oDAAoD,CAAC,CAAC;AAC7C,QAAA,uBAAuB,GAAG,IAAA,mDAAmC,EAAC,IAAA,uCAA4B,EAAC;IACpG,OAAO,EAAE,mCAA2B;IACpC,UAAU,EAAE,EAAE;CACjB,CAAC,EAAE,gDAAgD,CAAC,CAAC;AACtD,SAAgB,oBAAoB,CAAC,KAAc;IAC/C,OAAO,IAAA,4CAAiC,EAAC,mCAA2B,EAAE,KAAK,CAAC,CAAC;AACjF,CAAC;AAOY,QAAA,sBAAsB,GAAG,oDAA8B,CAAC;AAGxD,QAAA,uBAAuB,GAAG,8BAAsB,CAAC;AAM9D,SAAS,0BAA0B,CAAC,OAA2C;IAC3E,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1I,CAAC;AACD,SAAS,iBAAiB,CAAC,OAA2C;IAClE,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;IACjC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC7E,CAAC;AACD;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,KAAuB;IACvD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,8BAAsB,EAAE,iDAAiC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7G,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,0BAAmC,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,wBAAwB,GAAG,KAAK,CAAC;IACrC,MAAM,iBAAiB,GAA8B,EAAE,CAAC;IACxD,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QAC/C,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QAC5C,QAAQ,YAAY,CAAC,KAAK,EAAE,CAAC;YACzB,KAAK,YAAY;gBACb,MAAM;YACV,KAAK,QAAQ;gBACT,wBAAwB,GAAG,IAAI,CAAC;gBAChC,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC3B,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uBAAgC,EAAE,CAAC,CAAC,CAAC;gBAClF,CAAC;gBACD,MAAM;YACV,KAAK,aAAa;gBACd,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;oBACrB,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;gBAChD,CAAC;gBACD,MAAM;QACd,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACxC,iBAAiB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,OAAO,GAAG,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,eAAe,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,wBAAwB;QAC3B,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;YACzB,KAAK,EAAE,SAAkB;YACzB,MAAM;YACN,OAAO,EAAE,eAAe;SAC3B,CAAC,CAAC;QACH,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;YACzB,KAAK,EAAE,aAAsB;YAC7B,OAAO,EAAE,eAAe;SAC3B,CAAC,CAAC,CAAC;AACZ,CAAC;AACD,kFAAkF;AAClF,SAAgB,4BAA4B,CAAC,OAAuB;IAChE,OAAO,IAAA,iDAAiC,EAAC,+BAAuB,EAAE,OAAO,CAAC,CAAC;AAC/E,CAAC;AACD,iFAAiF;AACjF,SAAgB,2BAA2B,CAAC,KAAuB;IAC/D,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,eAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC;AAOD,SAAS,gBAAgB,CAAC,IAAoB,EAAE,KAAqB;IACjE,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QAC1B,OAAO,KAAK,CAAC;IACjB,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;eAC1B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;eAC5B,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,KAAK,aAAa,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;AACrF,CAAC;AACD,SAAS,WAAW,CAAC,IAAwC,EAAE,KAAyC;IACpG,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAClG,CAAC;AACD,gFAAgF;AAChF,SAAgB,wBAAwB,CAAC,KAGxC;IACG,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,eAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,MAAM,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,0BAAmC;gBACzC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI;aAC7B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,wBAAiC,EAAE,CAAC;SAC7D,CAAC,CAAC;AACX,CAAC;AAwBD,SAAS,sBAAsB,CAAC,OAAyC;IACrE,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC3C,CAAC;AACD,SAAgB,qBAAqB,CAAC,OAAwD;IAC1F,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACpB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,UAAmB;gBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,UAAU,EAAE,IAAa;aAC5B,CAAC,CAAC;QACP,KAAK,SAAS;YACV,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,SAAkB;gBACzB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC;gBAChD,UAAU,EAAE,KAAc;aAC7B,CAAC,CAAC;QACP,KAAK,aAAa;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC;gBAChD,UAAU,EAAE,KAAc;aAC7B,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AACD,0EAA0E;AAC1E,SAAgB,wBAAwB,CAAC,KAA4C;IACjF,uEAAuE;IACvE,OAAO,qBAAqB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AACD,6DAA6D;AAChD,QAAA,cAAc,GAAgD,IAAA,8CAA+B,EAAC;IACvG,UAAU,EAAE,+BAAuB;IACnC,OAAO,EAAE,wBAAwB;CACpC,CAAC,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { decodeJsonRecordAttachmentPayload, defineRecordAttachmentFamily, type RecordAttachmentPayloadSnapshot, type RecordAttachmentValue, type RecordAttachmentWrite, } from \"../../record/attachment/index.ts\";\nimport { defineBuiltinJsonRecordAttachment } from \"../../record/attachment/internal.ts\";\nimport { defineRecordAttachmentProjector, type RecordAttachmentProjector, } from \"../../projection/projector.ts\";\nimport { ExactRecordAttachmentParseOptions, FiniteNonNegativeNumberV1Schema, makeNoBlobRecordAttachmentWriteV1, noRecordAttachmentBlobs, requireRecordAttachmentCapabilityV1, type FiniteNonNegativeNumberV1, } from \"./attachment.ts\";\nimport { EvaluationAttemptFactsV1Schema, type EvaluationAttemptFactsV1, } from \"./sealed-assertion.ts\";\nexport const SCORE_ATTACHMENT_NAME_V1 = \"niceeval.score\" as const;\nexport const SCORE_ATTACHMENT_SCHEMA_ID_V1 = \"niceeval.score/v1\" as const;\nexport const ScoreStateV1Schema = Schema.Literal(\"complete\", \"partial\", \"unavailable\");\nexport type ScoreStateV1 = Schema.Schema.Type<typeof ScoreStateV1Schema>;\n/** These are the only reasons that can make a sealed score source incomplete. */\nexport const ScoreIncompleteReasonV1Schema = Schema.Literal(\"execution-errored\", \"source-unavailable\", \"evaluation-errored\", \"not-applicable\");\nexport type ScoreIncompleteReasonV1 = Schema.Schema.Type<typeof ScoreIncompleteReasonV1Schema>;\nexport const ScoreIncompleteReasonsV1Schema = Schema.NonEmptyArray(ScoreIncompleteReasonV1Schema);\nexport type ScoreIncompleteReasonsV1 = Schema.Schema.Type<typeof ScoreIncompleteReasonsV1Schema>;\n/** A formal earned score: finite, non-negative, and never a percentage/max. */\nexport const EarnedScoreV1Schema = FiniteNonNegativeNumberV1Schema;\nexport type EarnedScoreV1 = FiniteNonNegativeNumberV1;\nconst ScoreCompletePayloadV1Schema = Schema.Struct({\n    state: Schema.Literal(\"complete\"),\n    earned: EarnedScoreV1Schema,\n});\nconst ScorePartialPayloadV1Schema = Schema.Struct({\n    state: Schema.Literal(\"partial\"),\n    earned: EarnedScoreV1Schema,\n    reasons: ScoreIncompleteReasonsV1Schema,\n});\nconst ScoreUnavailablePayloadV1Schema = Schema.Struct({\n    state: Schema.Literal(\"unavailable\"),\n    reasons: ScoreIncompleteReasonsV1Schema,\n});\nconst ScorePayloadV1StructuralSchema = Schema.Union(ScoreCompletePayloadV1Schema, ScorePartialPayloadV1Schema, ScoreUnavailablePayloadV1Schema);\nexport type ScorePayloadV1 = Schema.Schema.Type<typeof ScorePayloadV1StructuralSchema>;\nexport type ScorePayloadV1Encoded = Schema.Schema.Encoded<typeof ScorePayloadV1StructuralSchema>;\nexport type ScorePayloadIssueV1 = {\n    readonly code: \"score-incomplete-reason-duplicate\";\n    readonly reason: ScoreIncompleteReasonV1;\n} | {\n    readonly code: \"score-incomplete-reason-order-invalid\";\n    readonly index: number;\n    readonly reason: ScoreIncompleteReasonV1;\n};\nfunction scoreIncompleteReasonRank(reason: ScoreIncompleteReasonV1): number {\n    switch (reason) {\n        case \"execution-errored\":\n            return 0;\n        case \"source-unavailable\":\n            return 1;\n        case \"evaluation-errored\":\n            return 2;\n        case \"not-applicable\":\n            return 3;\n    }\n}\nfunction incompleteReasonsOf(payload: ScorePayloadV1): readonly ScoreIncompleteReasonV1[] {\n    return payload.state === \"complete\" ? [] : payload.reasons;\n}\n/** Ensures reason arrays preserve all causes exactly once in a stable order. */\nexport function validateScorePayloadV1(payload: ScorePayloadV1): readonly ScorePayloadIssueV1[] {\n    const issues: ScorePayloadIssueV1[] = [];\n    const seen = new Set<ScoreIncompleteReasonV1>();\n    let previousRank: number | undefined;\n    for (const [index, reason] of incompleteReasonsOf(payload).entries()) {\n        const rank = scoreIncompleteReasonRank(reason);\n        if (seen.has(reason)) {\n            issues.push(Object.freeze({\n                code: \"score-incomplete-reason-duplicate\" as const,\n                reason,\n            }));\n        }\n        else if (previousRank !== undefined && previousRank >= rank) {\n            issues.push(Object.freeze({\n                code: \"score-incomplete-reason-order-invalid\" as const,\n                index,\n                reason,\n            }));\n        }\n        seen.add(reason);\n        previousRank = rank;\n    }\n    return Object.freeze(issues);\n}\n/** Exact JSON schema for `niceeval.score/v1`. */\nexport const ScorePayloadV1Schema = ScorePayloadV1StructuralSchema.pipe(Schema.filter((payload) => validateScorePayloadV1(payload).length === 0, {\n    identifier: \"ScorePayloadV1\",\n    description: \"a complete, partial, or unavailable score with canonical incomplete reasons\",\n}));\n/** The built-in Attempt Attachment definition owns exact decode and closure. */\nexport const scoreAttachmentDefinitionV1 = requireRecordAttachmentCapabilityV1(defineBuiltinJsonRecordAttachment({\n    owner: \"attempt\",\n    name: SCORE_ATTACHMENT_NAME_V1,\n    schemaId: SCORE_ATTACHMENT_SCHEMA_ID_V1,\n    schema: ScorePayloadV1Schema,\n    blobRefs: noRecordAttachmentBlobs,\n}), \"Score v1 RecordAttachment definition must be valid\");\nexport const scoreAttachmentFamilyV1 = requireRecordAttachmentCapabilityV1(defineRecordAttachmentFamily({\n    current: scoreAttachmentDefinitionV1,\n    migrations: [],\n}), \"Score v1 RecordAttachment family must be valid\");\nexport function decodeScorePayloadV1(input: unknown) {\n    return decodeJsonRecordAttachmentPayload(scoreAttachmentDefinitionV1, input);\n}\n/**\n * Score reads the same sealed producer facts as Verdict but intentionally uses\n * only `result.score` plus execution status. Gate and skip do not rewrite an\n * earned contribution.\n */\nexport type ScoreFoldInputV1 = EvaluationAttemptFactsV1;\nexport const ScoreFoldInputV1Schema = EvaluationAttemptFactsV1Schema;\n/** Backward-neutral name for callers that construct the Attachment before writing. */\nexport type ScoreBuildInputV1 = ScoreFoldInputV1;\nexport const ScoreBuildInputV1Schema = ScoreFoldInputV1Schema;\nexport type ScorePayloadBuildErrorV1 = {\n    readonly code: \"score-fold-input-invalid\";\n} | {\n    readonly code: \"score-earned-overflow\";\n};\nfunction canonicalIncompleteReasons(reasons: readonly ScoreIncompleteReasonV1[]): readonly ScoreIncompleteReasonV1[] {\n    return Object.freeze([...new Set(reasons)].sort((left, right) => scoreIncompleteReasonRank(left) - scoreIncompleteReasonRank(right)));\n}\nfunction asNonEmptyReasons(reasons: readonly ScoreIncompleteReasonV1[]): ScoreIncompleteReasonsV1 | undefined {\n    const [first, ...rest] = reasons;\n    return first === undefined ? undefined : Object.freeze([first, ...rest]);\n}\n/**\n * Produces Score state from sealed Score contributions. A gate failure is\n * absent by design; a non-score required Assertion can therefore make Verdict\n * errored while an already-complete Score stays complete.\n */\nexport function buildScorePayloadV1(input: ScoreFoldInputV1): Either.Either<ScorePayloadV1, ScorePayloadBuildErrorV1> {\n    const decoded = Schema.decodeUnknownEither(ScoreFoldInputV1Schema, ExactRecordAttachmentParseOptions)(input);\n    if (Either.isLeft(decoded)) {\n        return Either.left(Object.freeze({ code: \"score-fold-input-invalid\" as const }));\n    }\n    let earned = 0;\n    let hasAuditableContribution = false;\n    const incompleteReasons: ScoreIncompleteReasonV1[] = [];\n    for (const assertion of decoded.right.assertions) {\n        const contribution = assertion.result.score;\n        switch (contribution.state) {\n            case \"not-scored\":\n                break;\n            case \"earned\":\n                hasAuditableContribution = true;\n                earned += contribution.earned;\n                if (!Number.isFinite(earned)) {\n                    return Either.left(Object.freeze({ code: \"score-earned-overflow\" as const }));\n                }\n                break;\n            case \"unavailable\":\n                if (assertion.required) {\n                    incompleteReasons.push(contribution.reason);\n                }\n                break;\n        }\n    }\n    if (decoded.right.execution === \"errored\") {\n        incompleteReasons.push(\"execution-errored\");\n    }\n    const reasons = canonicalIncompleteReasons(incompleteReasons);\n    if (reasons.length === 0) {\n        return Either.right(Object.freeze({ state: \"complete\" as const, earned }));\n    }\n    const nonEmptyReasons = asNonEmptyReasons(reasons);\n    if (nonEmptyReasons === undefined) {\n        throw new Error(\"A non-empty incomplete-reason list became empty\");\n    }\n    return hasAuditableContribution\n        ? Either.right(Object.freeze({\n            state: \"partial\" as const,\n            earned,\n            reasons: nonEmptyReasons,\n        }))\n        : Either.right(Object.freeze({\n            state: \"unavailable\" as const,\n            reasons: nonEmptyReasons,\n        }));\n}\n/** Wraps an already validated durable Score payload in its Attempt Attachment. */\nexport function createScoreAttachmentWriteV1(payload: ScorePayloadV1): RecordAttachmentWrite<\"attempt\", never, never> {\n    return makeNoBlobRecordAttachmentWriteV1(scoreAttachmentFamilyV1, payload);\n}\n/** Builds the real Attempt-owned Score write from sealed score contributions. */\nexport function buildScoreAttachmentWriteV1(input: ScoreFoldInputV1): Either.Either<RecordAttachmentWrite<\"attempt\", never, never>, ScorePayloadBuildErrorV1> {\n    const payload = buildScorePayloadV1(input);\n    if (Either.isLeft(payload)) {\n        return Either.left(payload.left);\n    }\n    return Either.right(createScoreAttachmentWriteV1(payload.right));\n}\nexport type ScoreCoherenceIssueV1 = {\n    readonly code: \"score-fold-input-invalid\";\n    readonly reason: ScorePayloadBuildErrorV1[\"code\"];\n} | {\n    readonly code: \"score-payload-mismatch\";\n};\nfunction sameScorePayload(left: ScorePayloadV1, right: ScorePayloadV1): boolean {\n    if (left.state !== right.state)\n        return false;\n    if (left.state === \"complete\") {\n        return right.state === \"complete\" && left.earned === right.earned;\n    }\n    if (left.state === \"partial\") {\n        return (right.state === \"partial\"\n            && left.earned === right.earned\n            && sameReasons(left.reasons, right.reasons));\n    }\n    return right.state === \"unavailable\" && sameReasons(left.reasons, right.reasons);\n}\nfunction sameReasons(left: readonly ScoreIncompleteReasonV1[], right: readonly ScoreIncompleteReasonV1[]): boolean {\n    return left.length === right.length && left.every((reason, index) => reason === right[index]);\n}\n/** Confirms persisted score is exactly what the shared sealed facts produce. */\nexport function validateScoreCoherenceV1(input: {\n    readonly payload: ScorePayloadV1;\n    readonly fold: ScoreFoldInputV1;\n}): readonly ScoreCoherenceIssueV1[] {\n    const expected = buildScorePayloadV1(input.fold);\n    if (Either.isLeft(expected)) {\n        return Object.freeze([\n            Object.freeze({\n                code: \"score-fold-input-invalid\" as const,\n                reason: expected.left.code,\n            }),\n        ]);\n    }\n    return sameScorePayload(input.payload, expected.right)\n        ? []\n        : Object.freeze([\n            Object.freeze({ code: \"score-payload-mismatch\" as const }),\n        ]);\n}\n/** A semantic reason why a Score is not a complete ranking value. */\nexport type ScoreIncompleteReason = \"execution-errored\" | \"source-unavailable\" | \"evaluation-errored\" | \"not-applicable\";\nexport type ScoreIncompleteReasons = readonly [\n    ScoreIncompleteReason,\n    ...ScoreIncompleteReason[]\n];\n/** Score keeps partial and unavailable as ordinary, non-ranking values. */\nexport type Score = {\n    readonly state: \"complete\";\n    readonly earned: number;\n    readonly comparable: true;\n} | {\n    readonly state: \"partial\";\n    readonly earned: number;\n    readonly reasons: ScoreIncompleteReasons;\n    readonly comparable: false;\n} | {\n    readonly state: \"unavailable\";\n    readonly reasons: ScoreIncompleteReasons;\n    readonly comparable: false;\n};\n/** @internal The historical name remains for existing producer-only consumers. */\nexport type ScoreProjectionV1 = Score;\nfunction scoreIncompleteReasons(reasons: readonly ScoreIncompleteReason[]): ScoreIncompleteReasons {\n    const [first, ...rest] = reasons;\n    if (first === undefined) {\n        throw new Error(\"A persisted incomplete Score must retain at least one reason\");\n    }\n    return Object.freeze([first, ...rest]);\n}\nexport function projectScorePayloadV1(payload: RecordAttachmentPayloadSnapshot<ScorePayloadV1>): Score {\n    switch (payload.state) {\n        case \"complete\":\n            return Object.freeze({\n                state: \"complete\" as const,\n                earned: payload.earned,\n                comparable: true as const,\n            });\n        case \"partial\":\n            return Object.freeze({\n                state: \"partial\" as const,\n                earned: payload.earned,\n                reasons: scoreIncompleteReasons(payload.reasons),\n                comparable: false as const,\n            });\n        case \"unavailable\":\n            return Object.freeze({\n                state: \"unavailable\" as const,\n                reasons: scoreIncompleteReasons(payload.reasons),\n                comparable: false as const,\n            });\n    }\n}\n/** A typed, synchronous projection over an available Score Attachment. */\nexport function projectScoreAttachmentV1(value: RecordAttachmentValue<ScorePayloadV1>): Score {\n    // Record has already exact-decoded and frozen every available payload.\n    return projectScorePayloadV1(value.payload);\n}\n/** The public Score view for an Attempt-owned Attachment. */\nexport const scoreProjector: RecordAttachmentProjector<\"attempt\", Score> = defineRecordAttachmentProjector({\n    attachment: scoreAttachmentFamilyV1,\n    project: projectScoreAttachmentV1,\n});\n"]}
+{"version":3,"file":"score.js","sourceRoot":"","sources":["score.ts"],"names":[],"mappings":";;;AAyCA,oDAgBC;AAsBD,8CAmCC;AAmBD,wDAWC;AAsBD,kDAMC;AA5KD,mCAAwC;AACxC,mDAA4H;AAC5H,+DAAmG;AACnG,+EAA+E;AAClE,QAAA,gBAAgB,GAAG,eAAM,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;AAExE,QAAA,2BAA2B,GAAG,eAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,gBAAgB,CAAC,CAAC;AAEhI,QAAA,4BAA4B,GAAG,eAAM,CAAC,aAAa,CAAC,mCAA2B,CAAC,CAAC;AAEjF,QAAA,iBAAiB,GAAG,6CAA6B,CAAC;AAE/D,MAAM,4BAA4B,GAAG,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,yBAAiB,EAAE,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IAC7I,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAChC,MAAM,EAAE,yBAAiB;IACzB,OAAO,EAAE,oCAA4B;CACxC,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC;IACpC,OAAO,EAAE,oCAA4B;CACxC,CAAC,CAAC,CAAC;AAWJ,SAAS,yBAAyB,CAAC,MAA6B;IAC5D,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC;QACnC,KAAK,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC;QACpC,KAAK,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC;QACpC,KAAK,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;AACL,CAAC;AACD,SAAS,mBAAmB,CAAC,OAAqB;IAC9C,OAAO,OAAO,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;AAC/D,CAAC;AACD,SAAgB,oBAAoB,CAAC,OAAqB;IACtD,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC9C,IAAI,YAAgC,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,mCAA4C,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/F,CAAC;aACI,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uCAAgD,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC1G,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,YAAY,GAAG,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACY,QAAA,kBAAkB,GAAG,4BAA4B,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IACvI,UAAU,EAAE,kBAAkB;IAC9B,WAAW,EAAE,yCAAyC;CACzD,CAAC,CAAC,CAAC;AAES,QAAA,oBAAoB,GAAG,kDAA4B,CAAC;AAEpD,QAAA,qBAAqB,GAAG,4BAAoB,CAAC;AAM1D,SAAS,0BAA0B,CAAC,OAAyC;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC1I,CAAC;AACD,SAAS,iBAAiB,CAAC,OAAyC;IAChE,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;IACjC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC7E,CAAC;AACD,6EAA6E;AAC7E,SAAgB,iBAAiB,CAAC,KAAqB;IACnD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,4BAAoB,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;IACrG,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,0BAAmC,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,wBAAwB,GAAG,KAAK,CAAC;IACrC,MAAM,iBAAiB,GAA4B,EAAE,CAAC;IACtD,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QAC/C,QAAQ,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YACnC,KAAK,YAAY,CAAC,CAAC,MAAM;YACzB,KAAK,QAAQ;gBACT,wBAAwB,GAAG,IAAI,CAAC;gBAChC,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;gBACxC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC3B,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uBAAgC,EAAE,CAAC,CAAC,CAAC;gBAClF,CAAC;gBACD,MAAM;YACV,KAAK,aAAa;gBACd,IAAI,SAAS,CAAC,QAAQ;oBAClB,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC1D,MAAM;QACd,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS;QACrC,iBAAiB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,0BAA0B,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACpB,OAAO,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,eAAe,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,eAAe,KAAK,SAAS;QAC7B,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IAC5D,OAAO,wBAAwB;QAC3B,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QAC9F,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AAOD,SAAS,WAAW,CAAC,IAAsC,EAAE,KAAuC;IAChG,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAClG,CAAC;AACD,SAAS,gBAAgB,CAAC,IAAkB,EAAE,KAAmB;IAC7D,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QAC1B,OAAO,KAAK,CAAC;IACjB,IAAI,IAAI,CAAC,KAAK,KAAK,UAAU;QACzB,OAAO,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;IACtE,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QACxB,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACjH,OAAO,KAAK,CAAC,KAAK,KAAK,aAAa,IAAI,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;AACrF,CAAC;AACD,SAAgB,sBAAsB,CAAC,KAGtC;IACG,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,eAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,0BAAmC,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC;QAClD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,wBAAiC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAgBD,SAAS,sBAAsB,CAAC,OAAyC;IACrE,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;IACjC,IAAI,KAAK,KAAK,SAAS;QACnB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC3C,CAAC;AACD,SAAgB,mBAAmB,CAAC,OAAqB;IACrD,QAAQ,OAAO,CAAC,KAAK,EAAE,CAAC;QACpB,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,IAAa,EAAE,CAAC,CAAC;QACzH,KAAK,SAAS,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,KAAc,EAAE,CAAC,CAAC;QAC1K,KAAK,aAAa,CAAC,CAAC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,OAAO,EAAE,sBAAsB,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,KAAc,EAAE,CAAC,CAAC;IAC9J,CAAC;AACL,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { ExactEvaluationParseOptions, FiniteNonNegativeNumberSchema, type FiniteNonNegativeNumber, } from \"./attachment.ts\";\nimport { EvaluationAttemptFactsSchema, type EvaluationAttemptFacts, } from \"./sealed-assertion.ts\";\n/** Score is an Analysis calculation, not an independently persisted family. */\nexport const ScoreStateSchema = Schema.Literal(\"complete\", \"partial\", \"unavailable\");\nexport type ScoreState = Schema.Schema.Type<typeof ScoreStateSchema>;\nexport const ScoreIncompleteReasonSchema = Schema.Literal(\"execution-errored\", \"source-unavailable\", \"evaluation-errored\", \"not-applicable\");\nexport type ScoreIncompleteReason = Schema.Schema.Type<typeof ScoreIncompleteReasonSchema>;\nexport const ScoreIncompleteReasonsSchema = Schema.NonEmptyArray(ScoreIncompleteReasonSchema);\nexport type ScoreIncompleteReasons = Schema.Schema.Type<typeof ScoreIncompleteReasonsSchema>;\nexport const EarnedScoreSchema = FiniteNonNegativeNumberSchema;\nexport type EarnedScore = FiniteNonNegativeNumber;\nconst ScorePayloadStructuralSchema = Schema.Union(Schema.Struct({ state: Schema.Literal(\"complete\"), earned: EarnedScoreSchema }), Schema.Struct({\n    state: Schema.Literal(\"partial\"),\n    earned: EarnedScoreSchema,\n    reasons: ScoreIncompleteReasonsSchema,\n}), Schema.Struct({\n    state: Schema.Literal(\"unavailable\"),\n    reasons: ScoreIncompleteReasonsSchema,\n}));\nexport type ScorePayload = Schema.Schema.Type<typeof ScorePayloadStructuralSchema>;\nexport type ScorePayloadEncoded = Schema.Schema.Encoded<typeof ScorePayloadStructuralSchema>;\nexport type ScorePayloadIssue = {\n    readonly code: \"score-incomplete-reason-duplicate\";\n    readonly reason: ScoreIncompleteReason;\n} | {\n    readonly code: \"score-incomplete-reason-order-invalid\";\n    readonly index: number;\n    readonly reason: ScoreIncompleteReason;\n};\nfunction scoreIncompleteReasonRank(reason: ScoreIncompleteReason): number {\n    switch (reason) {\n        case \"execution-errored\": return 0;\n        case \"source-unavailable\": return 1;\n        case \"evaluation-errored\": return 2;\n        case \"not-applicable\": return 3;\n    }\n}\nfunction incompleteReasonsOf(payload: ScorePayload): readonly ScoreIncompleteReason[] {\n    return payload.state === \"complete\" ? [] : payload.reasons;\n}\nexport function validateScorePayload(payload: ScorePayload): readonly ScorePayloadIssue[] {\n    const issues: ScorePayloadIssue[] = [];\n    const seen = new Set<ScoreIncompleteReason>();\n    let previousRank: number | undefined;\n    for (const [index, reason] of incompleteReasonsOf(payload).entries()) {\n        const rank = scoreIncompleteReasonRank(reason);\n        if (seen.has(reason)) {\n            issues.push(Object.freeze({ code: \"score-incomplete-reason-duplicate\" as const, reason }));\n        }\n        else if (previousRank !== undefined && previousRank >= rank) {\n            issues.push(Object.freeze({ code: \"score-incomplete-reason-order-invalid\" as const, index, reason }));\n        }\n        seen.add(reason);\n        previousRank = rank;\n    }\n    return Object.freeze(issues);\n}\nexport const ScorePayloadSchema = ScorePayloadStructuralSchema.pipe(Schema.filter((payload) => validateScorePayload(payload).length === 0, {\n    identifier: \"ScoreCalculation\",\n    description: \"a canonical transient score calculation\",\n}));\nexport type ScoreFoldInput = EvaluationAttemptFacts;\nexport const ScoreFoldInputSchema = EvaluationAttemptFactsSchema;\nexport type ScoreBuildInput = ScoreFoldInput;\nexport const ScoreBuildInputSchema = ScoreFoldInputSchema;\nexport type ScorePayloadBuildError = {\n    readonly code: \"score-fold-input-invalid\";\n} | {\n    readonly code: \"score-earned-overflow\";\n};\nfunction canonicalIncompleteReasons(reasons: readonly ScoreIncompleteReason[]): readonly ScoreIncompleteReason[] {\n    return Object.freeze([...new Set(reasons)].sort((left, right) => scoreIncompleteReasonRank(left) - scoreIncompleteReasonRank(right)));\n}\nfunction asNonEmptyReasons(reasons: readonly ScoreIncompleteReason[]): ScoreIncompleteReasons | undefined {\n    const [first, ...rest] = reasons;\n    return first === undefined ? undefined : Object.freeze([first, ...rest]);\n}\n/** Folds sealed Assertion facts without producing a durable Record write. */\nexport function buildScorePayload(input: ScoreFoldInput): Either.Either<ScorePayload, ScorePayloadBuildError> {\n    const decoded = Schema.decodeUnknownEither(ScoreFoldInputSchema, ExactEvaluationParseOptions)(input);\n    if (Either.isLeft(decoded)) {\n        return Either.left(Object.freeze({ code: \"score-fold-input-invalid\" as const }));\n    }\n    let earned = 0;\n    let hasAuditableContribution = false;\n    const incompleteReasons: ScoreIncompleteReason[] = [];\n    for (const assertion of decoded.right.assertions) {\n        switch (assertion.result.score.state) {\n            case \"not-scored\": break;\n            case \"earned\":\n                hasAuditableContribution = true;\n                earned += assertion.result.score.earned;\n                if (!Number.isFinite(earned)) {\n                    return Either.left(Object.freeze({ code: \"score-earned-overflow\" as const }));\n                }\n                break;\n            case \"unavailable\":\n                if (assertion.required)\n                    incompleteReasons.push(assertion.result.score.reason);\n                break;\n        }\n    }\n    if (decoded.right.execution === \"errored\")\n        incompleteReasons.push(\"execution-errored\");\n    const reasons = canonicalIncompleteReasons(incompleteReasons);\n    if (reasons.length === 0)\n        return Either.right(Object.freeze({ state: \"complete\" as const, earned }));\n    const nonEmptyReasons = asNonEmptyReasons(reasons);\n    if (nonEmptyReasons === undefined)\n        throw new Error(\"Non-empty score reasons became empty\");\n    return hasAuditableContribution\n        ? Either.right(Object.freeze({ state: \"partial\" as const, earned, reasons: nonEmptyReasons }))\n        : Either.right(Object.freeze({ state: \"unavailable\" as const, reasons: nonEmptyReasons }));\n}\nexport type ScoreCoherenceIssue = {\n    readonly code: \"score-fold-input-invalid\";\n    readonly reason: ScorePayloadBuildError[\"code\"];\n} | {\n    readonly code: \"score-payload-mismatch\";\n};\nfunction sameReasons(left: readonly ScoreIncompleteReason[], right: readonly ScoreIncompleteReason[]): boolean {\n    return left.length === right.length && left.every((reason, index) => reason === right[index]);\n}\nfunction sameScorePayload(left: ScorePayload, right: ScorePayload): boolean {\n    if (left.state !== right.state)\n        return false;\n    if (left.state === \"complete\")\n        return right.state === \"complete\" && left.earned === right.earned;\n    if (left.state === \"partial\")\n        return right.state === \"partial\" && left.earned === right.earned && sameReasons(left.reasons, right.reasons);\n    return right.state === \"unavailable\" && sameReasons(left.reasons, right.reasons);\n}\nexport function validateScoreCoherence(input: {\n    readonly payload: ScorePayload;\n    readonly fold: ScoreFoldInput;\n}): readonly ScoreCoherenceIssue[] {\n    const expected = buildScorePayload(input.fold);\n    if (Either.isLeft(expected)) {\n        return Object.freeze([Object.freeze({ code: \"score-fold-input-invalid\" as const, reason: expected.left.code })]);\n    }\n    return sameScorePayload(input.payload, expected.right)\n        ? Object.freeze([])\n        : Object.freeze([Object.freeze({ code: \"score-payload-mismatch\" as const })]);\n}\nexport type Score = {\n    readonly state: \"complete\";\n    readonly earned: number;\n    readonly comparable: true;\n} | {\n    readonly state: \"partial\";\n    readonly earned: number;\n    readonly reasons: ScoreIncompleteReasons;\n    readonly comparable: false;\n} | {\n    readonly state: \"unavailable\";\n    readonly reasons: ScoreIncompleteReasons;\n    readonly comparable: false;\n};\nexport type ScoreProjection = Score;\nfunction scoreIncompleteReasons(reasons: readonly ScoreIncompleteReason[]): ScoreIncompleteReasons {\n    const [first, ...rest] = reasons;\n    if (first === undefined)\n        throw new Error(\"An incomplete score needs a reason\");\n    return Object.freeze([first, ...rest]);\n}\nexport function projectScorePayload(payload: ScorePayload): Score {\n    switch (payload.state) {\n        case \"complete\": return Object.freeze({ state: \"complete\" as const, earned: payload.earned, comparable: true as const });\n        case \"partial\": return Object.freeze({ state: \"partial\" as const, earned: payload.earned, reasons: scoreIncompleteReasons(payload.reasons), comparable: false as const });\n        case \"unavailable\": return Object.freeze({ state: \"unavailable\" as const, reasons: scoreIncompleteReasons(payload.reasons), comparable: false as const });\n    }\n}\n"]}