niceeval 0.15.1-canary.76 → 0.16.1

package/dist/eval/record/membership-provenance.d.mts

@@ -180,23 +180,23 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             readonly startedAt: import("../../record/model/identifiers.mjs").UtcMillis;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
     } | {
         readonly action: "accepted";
+        readonly attemptId: import("../../record/model/identifiers.mjs").AttemptId;
+        readonly slotId: SlotId;
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
-        readonly attemptId: import("../../record/model/identifiers.mjs").AttemptId;
-        readonly slotId: SlotId;
         readonly origin: {
             readonly runId: import("../../record/model/identifiers.mjs").RunId;
             readonly slotId: SlotId;
@@ -213,7 +213,7 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
         readonly attemptId: import("../../record/model/identifiers.mjs").AttemptId;
         readonly gap: {
             readonly reason: string;
-            readonly scope: "target" | "experiment" | "slot";
+            readonly scope: "experiment" | "target" | "slot";
             readonly issues: readonly RecordIssue[];
             readonly sourceBarrier?: {
                 readonly runId: import("../../record/model/identifiers.mjs").RunId;
@@ -221,9 +221,9 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             } | undefined;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
@@ -232,7 +232,7 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
         readonly slotId: SlotId;
         readonly gap: {
             readonly reason: string;
-            readonly scope: "target" | "experiment" | "slot";
+            readonly scope: "experiment" | "target" | "slot";
             readonly issues: readonly RecordIssue[];
             readonly sourceBarrier?: {
                 readonly runId: import("../../record/model/identifiers.mjs").RunId;
@@ -240,9 +240,9 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             } | undefined;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
@@ -251,7 +251,7 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
         readonly slotId: SlotId;
         readonly gap: {
             readonly reason: string;
-            readonly scope: "target" | "experiment" | "slot";
+            readonly scope: "experiment" | "target" | "slot";
             readonly issues: readonly RecordIssue[];
             readonly sourceBarrier?: {
                 readonly runId: import("../../record/model/identifiers.mjs").RunId;
@@ -259,9 +259,9 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             } | undefined;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];

package/dist/eval/record/membership-provenance.d.ts

@@ -180,23 +180,23 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             readonly startedAt: import("../../record/model/identifiers.js").UtcMillis;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
     } | {
         readonly action: "accepted";
+        readonly attemptId: import("../../record/model/identifiers.js").AttemptId;
+        readonly slotId: SlotId;
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
-        readonly attemptId: import("../../record/model/identifiers.js").AttemptId;
-        readonly slotId: SlotId;
         readonly origin: {
             readonly runId: import("../../record/model/identifiers.js").RunId;
             readonly slotId: SlotId;
@@ -213,7 +213,7 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
         readonly attemptId: import("../../record/model/identifiers.js").AttemptId;
         readonly gap: {
             readonly reason: string;
-            readonly scope: "target" | "experiment" | "slot";
+            readonly scope: "experiment" | "target" | "slot";
             readonly issues: readonly RecordIssue[];
             readonly sourceBarrier?: {
                 readonly runId: import("../../record/model/identifiers.js").RunId;
@@ -221,9 +221,9 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             } | undefined;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
@@ -232,7 +232,7 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
         readonly slotId: SlotId;
         readonly gap: {
             readonly reason: string;
-            readonly scope: "target" | "experiment" | "slot";
+            readonly scope: "experiment" | "target" | "slot";
             readonly issues: readonly RecordIssue[];
             readonly sourceBarrier?: {
                 readonly runId: import("../../record/model/identifiers.js").RunId;
@@ -240,9 +240,9 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             } | undefined;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];
@@ -251,7 +251,7 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
         readonly slotId: SlotId;
         readonly gap: {
             readonly reason: string;
-            readonly scope: "target" | "experiment" | "slot";
+            readonly scope: "experiment" | "target" | "slot";
             readonly issues: readonly RecordIssue[];
             readonly sourceBarrier?: {
                 readonly runId: import("../../record/model/identifiers.js").RunId;
@@ -259,9 +259,9 @@ export declare const MembershipProvenancePayloadSchema: Schema.refine<{
             } | undefined;
         };
         readonly comparisons: readonly {
-            readonly attachment: "niceeval.runner-activities" | "core" | "niceeval.assertions";
+            readonly attachment: "core" | "niceeval.runner-activities" | "niceeval.assertions";
             readonly recordedClaim: "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
-            readonly sourceState: "available" | "unavailable" | "invalid" | "unsupported";
+            readonly sourceState: "available" | "unavailable" | "unsupported" | "invalid";
             readonly result: "match" | "mismatch" | "ineligible" | "not-comparable";
             readonly reason: string;
         }[];

package/dist/eval/record/score.cjs

@@ -6,6 +6,10 @@ exports.buildScorePayload = buildScorePayload;
 exports.foldRecordedAttemptScore = foldRecordedAttemptScore;
 exports.validateScoreCoherence = validateScoreCoherence;
 exports.projectScorePayload = projectScorePayload;
+// @concord-file ne-eval-record-score
+// @concord-implements docs/feature/assertions/library/score-points.md
+// @concord-implements docs/feature/verdict/README.md
+// @concord-implements docs/feature/eval/use-case/rubric-points.md
 const effect_1 = require("effect");
 const attachment_ts_1 = require("./attachment.cjs");
 const sealed_assertion_ts_1 = require("./sealed-assertion.cjs");
@@ -114,6 +118,9 @@ function buildScorePayload(input) {
         : effect_1.Result.succeed(Object.freeze({ state: "unavailable", reasons: nonEmptyReasons }));
 }
 /** Folds Score from the same immutable Record/Core facts as Verdict. */
+// @concord-code ne-eval-fold-score
+// @concord-implements docs/feature/assertions/library/score-points.md
+// @concord-implements docs/feature/eval/use-case/rubric-points.md
 function foldRecordedAttemptScore(input) {
     return buildScorePayload((0, sealed_assertion_ts_1.recordedAttemptFacts)(input));
 }

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

@@ -1 +1 @@
-{"version":3,"file":"score.js","sourceRoot":"","sources":["score.ts"],"names":[],"mappings":";;;AAwDA,oDAgBC;AAsBD,8CAmCC;AAED,4DAKC;AAmBD,wDAWC;AAsBD,kDAMC;AAlMD,mCAAwC;AACxC,mDAA4H;AAC5H,+DAAyH;AAGzH,+EAA+E;AAClE,QAAA,gBAAgB,GAAG,eAAM,CAAC,QAAQ,CAAC;IAC5C,UAAU;IACV,SAAS;IACT,aAAa;CAChB,CAAC,CAAC;AAEU,QAAA,2BAA2B,GAAG,eAAM,CAAC,QAAQ,CAAC;IACvD,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,gBAAgB;CACnB,CAAC,CAAC;AAEU,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;IAC9C,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,yBAAiB,EAAE,CAAC;IAC/E,eAAM,CAAC,MAAM,CAAC;QACV,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAChC,MAAM,EAAE,yBAAiB;QACzB,OAAO,EAAE,oCAA4B;KACxC,CAAC;IACF,eAAM,CAAC,MAAM,CAAC;QACV,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC;QACpC,OAAO,EAAE,oCAA4B;KACxC,CAAC;CACL,CAAC,CAAC;AAWH,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,EAA6B,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAClK,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,eAAM,CAAC,MAAM,CAAC,4BAAoB,CAAC,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;IACpH,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,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,OAAO,CAAC,UAAU,EAAE,CAAC;QACjD,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,OAAO,CAAC,SAAS,KAAK,SAAS;QACvC,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,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACjF,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,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QAChG,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;AACrG,CAAC;AACD,wEAAwE;AACxE,SAAgB,wBAAwB,CAAC,KAGxC;IACG,OAAO,iBAAiB,CAAC,IAAA,0CAAoB,EAAC,KAAK,CAAC,CAAC,CAAC;AAC1D,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,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,0BAAmC,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;QACpD,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 { Result, Schema } from \"effect\";\nimport { ExactEvaluationParseOptions, FiniteNonNegativeNumberSchema, type FiniteNonNegativeNumber, } from \"./attachment.ts\";\nimport { EvaluationAttemptFactsSchema, recordedAttemptFacts, type EvaluationAttemptFacts, } from \"./sealed-assertion.ts\";\nimport type { AssertionsAttachment } from \"../../record/family/assertions/definition.ts\";\nimport type { AttemptOutcome } from \"../../record/model/core.ts\";\n/** Score is an Analysis calculation, not an independently persisted family. */\nexport const ScoreStateSchema = Schema.Literals([\n    \"complete\",\n    \"partial\",\n    \"unavailable\",\n]);\nexport type ScoreState = Schema.toType<typeof ScoreStateSchema>[\"Type\"];\nexport const ScoreIncompleteReasonSchema = Schema.Literals([\n    \"execution-errored\",\n    \"source-unavailable\",\n    \"evaluation-errored\",\n    \"not-applicable\",\n]);\nexport type ScoreIncompleteReason = Schema.toType<typeof ScoreIncompleteReasonSchema>[\"Type\"];\nexport const ScoreIncompleteReasonsSchema = Schema.NonEmptyArray(ScoreIncompleteReasonSchema);\nexport type ScoreIncompleteReasons = Schema.toType<typeof ScoreIncompleteReasonsSchema>[\"Type\"];\nexport const EarnedScoreSchema = FiniteNonNegativeNumberSchema;\nexport type EarnedScore = FiniteNonNegativeNumber;\nconst ScorePayloadStructuralSchema = Schema.Union([\n    Schema.Struct({ state: Schema.Literal(\"complete\"), earned: EarnedScoreSchema }),\n    Schema.Struct({\n        state: Schema.Literal(\"partial\"),\n        earned: EarnedScoreSchema,\n        reasons: ScoreIncompleteReasonsSchema,\n    }),\n    Schema.Struct({\n        state: Schema.Literal(\"unavailable\"),\n        reasons: ScoreIncompleteReasonsSchema,\n    }),\n]);\nexport type ScorePayload = Schema.toType<typeof ScorePayloadStructuralSchema>[\"Type\"];\nexport type ScorePayloadEncoded = Schema.Codec.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.refine((payload): payload is typeof 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): Result.Result<ScorePayload, ScorePayloadBuildError> {\n    const decoded = Schema.decodeUnknownResult(Schema.toType(ScoreFoldInputSchema), ExactEvaluationParseOptions)(input);\n    if (Result.isFailure(decoded)) {\n        return Result.fail(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.success.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 Result.fail(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.success.execution === \"errored\")\n        incompleteReasons.push(\"execution-errored\");\n    const reasons = canonicalIncompleteReasons(incompleteReasons);\n    if (reasons.length === 0)\n        return Result.succeed(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        ? Result.succeed(Object.freeze({ state: \"partial\" as const, earned, reasons: nonEmptyReasons }))\n        : Result.succeed(Object.freeze({ state: \"unavailable\" as const, reasons: nonEmptyReasons }));\n}\n/** Folds Score from the same immutable Record/Core facts as Verdict. */\nexport function foldRecordedAttemptScore(input: {\n    readonly outcome: AttemptOutcome;\n    readonly assertions: AssertionsAttachment;\n}): Result.Result<ScorePayload, ScorePayloadBuildError> {\n    return buildScorePayload(recordedAttemptFacts(input));\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 (Result.isFailure(expected)) {\n        return Object.freeze([Object.freeze({ code: \"score-fold-input-invalid\" as const, reason: expected.failure.code })]);\n    }\n    return sameScorePayload(input.payload, expected.success)\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"]}
+{"version":3,"file":"score.js","sourceRoot":"","sources":["score.ts"],"names":[],"mappings":";;;AA4DA,oDAgBC;AAsBD,8CAmCC;AAKD,4DAKC;AAmBD,wDAWC;AAsBD,kDAMC;AAzMD,qCAAqC;AACrC,sEAAsE;AACtE,qDAAqD;AACrD,kEAAkE;AAClE,mCAAwC;AACxC,mDAA4H;AAC5H,+DAAyH;AAGzH,+EAA+E;AAClE,QAAA,gBAAgB,GAAG,eAAM,CAAC,QAAQ,CAAC;IAC5C,UAAU;IACV,SAAS;IACT,aAAa;CAChB,CAAC,CAAC;AAEU,QAAA,2BAA2B,GAAG,eAAM,CAAC,QAAQ,CAAC;IACvD,mBAAmB;IACnB,oBAAoB;IACpB,oBAAoB;IACpB,gBAAgB;CACnB,CAAC,CAAC;AAEU,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;IAC9C,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,yBAAiB,EAAE,CAAC;IAC/E,eAAM,CAAC,MAAM,CAAC;QACV,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAChC,MAAM,EAAE,yBAAiB;QACzB,OAAO,EAAE,oCAA4B;KACxC,CAAC;IACF,eAAM,CAAC,MAAM,CAAC;QACV,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC;QACpC,OAAO,EAAE,oCAA4B;KACxC,CAAC;CACL,CAAC,CAAC;AAWH,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,EAA6B,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAClK,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,eAAM,CAAC,MAAM,CAAC,4BAAoB,CAAC,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;IACpH,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,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,OAAO,CAAC,UAAU,EAAE,CAAC;QACjD,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,OAAO,CAAC,SAAS,KAAK,SAAS;QACvC,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,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACjF,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,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QAChG,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,aAAsB,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;AACrG,CAAC;AACD,wEAAwE;AACxE,mCAAmC;AACnC,sEAAsE;AACtE,kEAAkE;AAClE,SAAgB,wBAAwB,CAAC,KAGxC;IACG,OAAO,iBAAiB,CAAC,IAAA,0CAAoB,EAAC,KAAK,CAAC,CAAC,CAAC;AAC1D,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,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,0BAAmC,EAAE,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,CAAC;IACD,OAAO,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC;QACpD,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":["// @concord-file ne-eval-record-score\n// @concord-implements docs/feature/assertions/library/score-points.md\n// @concord-implements docs/feature/verdict/README.md\n// @concord-implements docs/feature/eval/use-case/rubric-points.md\nimport { Result, Schema } from \"effect\";\nimport { ExactEvaluationParseOptions, FiniteNonNegativeNumberSchema, type FiniteNonNegativeNumber, } from \"./attachment.ts\";\nimport { EvaluationAttemptFactsSchema, recordedAttemptFacts, type EvaluationAttemptFacts, } from \"./sealed-assertion.ts\";\nimport type { AssertionsAttachment } from \"../../record/family/assertions/definition.ts\";\nimport type { AttemptOutcome } from \"../../record/model/core.ts\";\n/** Score is an Analysis calculation, not an independently persisted family. */\nexport const ScoreStateSchema = Schema.Literals([\n    \"complete\",\n    \"partial\",\n    \"unavailable\",\n]);\nexport type ScoreState = Schema.toType<typeof ScoreStateSchema>[\"Type\"];\nexport const ScoreIncompleteReasonSchema = Schema.Literals([\n    \"execution-errored\",\n    \"source-unavailable\",\n    \"evaluation-errored\",\n    \"not-applicable\",\n]);\nexport type ScoreIncompleteReason = Schema.toType<typeof ScoreIncompleteReasonSchema>[\"Type\"];\nexport const ScoreIncompleteReasonsSchema = Schema.NonEmptyArray(ScoreIncompleteReasonSchema);\nexport type ScoreIncompleteReasons = Schema.toType<typeof ScoreIncompleteReasonsSchema>[\"Type\"];\nexport const EarnedScoreSchema = FiniteNonNegativeNumberSchema;\nexport type EarnedScore = FiniteNonNegativeNumber;\nconst ScorePayloadStructuralSchema = Schema.Union([\n    Schema.Struct({ state: Schema.Literal(\"complete\"), earned: EarnedScoreSchema }),\n    Schema.Struct({\n        state: Schema.Literal(\"partial\"),\n        earned: EarnedScoreSchema,\n        reasons: ScoreIncompleteReasonsSchema,\n    }),\n    Schema.Struct({\n        state: Schema.Literal(\"unavailable\"),\n        reasons: ScoreIncompleteReasonsSchema,\n    }),\n]);\nexport type ScorePayload = Schema.toType<typeof ScorePayloadStructuralSchema>[\"Type\"];\nexport type ScorePayloadEncoded = Schema.Codec.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.refine((payload): payload is typeof 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): Result.Result<ScorePayload, ScorePayloadBuildError> {\n    const decoded = Schema.decodeUnknownResult(Schema.toType(ScoreFoldInputSchema), ExactEvaluationParseOptions)(input);\n    if (Result.isFailure(decoded)) {\n        return Result.fail(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.success.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 Result.fail(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.success.execution === \"errored\")\n        incompleteReasons.push(\"execution-errored\");\n    const reasons = canonicalIncompleteReasons(incompleteReasons);\n    if (reasons.length === 0)\n        return Result.succeed(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        ? Result.succeed(Object.freeze({ state: \"partial\" as const, earned, reasons: nonEmptyReasons }))\n        : Result.succeed(Object.freeze({ state: \"unavailable\" as const, reasons: nonEmptyReasons }));\n}\n/** Folds Score from the same immutable Record/Core facts as Verdict. */\n// @concord-code ne-eval-fold-score\n// @concord-implements docs/feature/assertions/library/score-points.md\n// @concord-implements docs/feature/eval/use-case/rubric-points.md\nexport function foldRecordedAttemptScore(input: {\n    readonly outcome: AttemptOutcome;\n    readonly assertions: AssertionsAttachment;\n}): Result.Result<ScorePayload, ScorePayloadBuildError> {\n    return buildScorePayload(recordedAttemptFacts(input));\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 (Result.isFailure(expected)) {\n        return Object.freeze([Object.freeze({ code: \"score-fold-input-invalid\" as const, reason: expected.failure.code })]);\n    }\n    return sameScorePayload(input.payload, expected.success)\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"]}

package/dist/eval/record/sealed-assertion.cjs

@@ -4,6 +4,9 @@ exports.EvaluationAttemptFactsSchema = exports.SealedAssertionForEvaluationSchem
 exports.recordedAttemptFacts = recordedAttemptFacts;
 exports.isRequiredAssertionUnavailableOrErrored = isRequiredAssertionUnavailableOrErrored;
 exports.isGateFailed = isGateFailed;
+// @concord-file ne-eval-sealed-assertion-facts
+// @concord-implements docs/feature/assertions/README.md
+// @concord-implements docs/feature/verdict/README.md
 const effect_1 = require("effect");
 const codec_ts_1 = require("../../assertions/record/codec.cjs");
 Object.defineProperty(exports, "SealedAssertionResultSchema", { enumerable: true, get: function () { return codec_ts_1.SealedAssertionResultSchema; } });

package/dist/eval/record/sealed-assertion.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"sealed-assertion.js","sourceRoot":"","sources":["sealed-assertion.ts"],"names":[],"mappings":";;;AA+BA,oDAcC;AACD,0FAGC;AACD,oCAEC;AApDD,mCAAgC;AAChC,+DAAwH;AAUtE,4GAVV,sCAAqC,OAUA;AAR7E,+DAAyE;AAUzE;;;;GAIG;AACU,QAAA,kCAAkC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC5D,QAAQ,EAAE,eAAM,CAAC,OAAO;IACxB,MAAM,EAAE,sCAAqC;CAChD,CAAC,CAAC;AAEH,4EAA4E;AAC/D,QAAA,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IACtD,SAAS,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACpD,iBAAiB,EAAE,eAAM,CAAC,OAAO;IACjC,UAAU,EAAE,eAAM,CAAC,KAAK,CAAC,0CAAkC,CAAC;CAC/D,CAAC,CAAC;AAEH,oFAAoF;AACpF,SAAgB,oBAAoB,CAAC,KAGpC;IACG,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa;YACrE,CAAC,CAAC,SAAkB;YACpB,CAAC,CAAC,WAAoB;QAC1B,iBAAiB,EAAE,KAAK,CAAC,OAAO,KAAK,WAAW;QAChD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YAC5E,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,KAAK,UAAU;YACzG,MAAM,EAAE,IAAA,gCAAqB,EAAC,KAAK,CAAC;SACvC,CAAC,CAAC,CAAC;KACP,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,uCAAuC,CAAC,SAAuC;IAC3F,OAAO,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,aAAa;WAC/D,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AACjD,CAAC;AACD,SAAgB,YAAY,CAAC,SAAuC;IAChE,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AAC9C,CAAC","sourcesContent":["import { Schema } from \"effect\";\nimport { SealedAssertionResultSchema as AssertionsSealedAssertionResultSchema } from \"../../assertions/record/codec.ts\";\nimport type { EarnedScoreContribution, GateDisposition, NoScoreContribution, ScoreContribution, SealedAssertionResult, UnavailableScoreContribution, } from \"../../assertions/record/model.ts\";\nimport { sealedAssertionResult } from \"../../assertions/record/model.ts\";\nimport type { AssertionsAttachment } from \"../../record/family/assertions/definition.ts\";\nimport type { AttemptOutcome } from \"../../record/model/core.ts\";\n/**\n * Eval folds consume the Assertions owner's sealed-result contract directly.\n * They deliberately do not re-own the Assertions Attachment or its blob\n * closure; `required` below is Eval producer policy only.\n */\nexport { AssertionsSealedAssertionResultSchema as SealedAssertionResultSchema, };\nexport type { EarnedScoreContribution, GateDisposition, NoScoreContribution, ScoreContribution, SealedAssertionResult, UnavailableScoreContribution, };\n/**\n * `required` is producer policy, not a field added to the Assertions\n * Attachment. It determines whether an otherwise-local unavailable result\n * raises the Attempt Verdict to errored.\n */\nexport const SealedAssertionForEvaluationSchema = Schema.Struct({\n    required: Schema.Boolean,\n    result: AssertionsSealedAssertionResultSchema,\n});\nexport type SealedAssertionForEvaluation = Schema.toType<typeof SealedAssertionForEvaluationSchema>[\"Type\"];\n/** All producer facts shared by the independent Verdict and Score folds. */\nexport const EvaluationAttemptFactsSchema = Schema.Struct({\n    execution: Schema.Literals([\"completed\", \"errored\"]),\n    explicitlySkipped: Schema.Boolean,\n    assertions: Schema.Array(SealedAssertionForEvaluationSchema),\n});\nexport type EvaluationAttemptFacts = Schema.toType<typeof EvaluationAttemptFactsSchema>[\"Type\"];\n/** The sole Record/Core adapter shared by the canonical Verdict and Score folds. */\nexport function recordedAttemptFacts(input: {\n    readonly outcome: AttemptOutcome;\n    readonly assertions: AssertionsAttachment;\n}): EvaluationAttemptFacts {\n    return Object.freeze({\n        execution: input.outcome === \"errored\" || input.outcome === \"interrupted\"\n            ? \"errored\" as const\n            : \"completed\" as const,\n        explicitlySkipped: input.outcome === \"cancelled\",\n        assertions: Object.freeze(input.assertions.entries.map((entry) => Object.freeze({\n            required: entry.policy.requirement.state === \"available\" && entry.policy.requirement.value === \"required\",\n            result: sealedAssertionResult(entry),\n        }))),\n    });\n}\nexport function isRequiredAssertionUnavailableOrErrored(assertion: SealedAssertionForEvaluation): boolean {\n    return assertion.required && (assertion.result.state === \"unavailable\"\n        || assertion.result.state === \"errored\");\n}\nexport function isGateFailed(assertion: SealedAssertionForEvaluation): boolean {\n    return assertion.result.gate === \"failed\";\n}\n"]}
+{"version":3,"file":"sealed-assertion.js","sourceRoot":"","sources":["sealed-assertion.ts"],"names":[],"mappings":";;;AAkCA,oDAcC;AACD,0FAGC;AACD,oCAEC;AAvDD,+CAA+C;AAC/C,wDAAwD;AACxD,qDAAqD;AACrD,mCAAgC;AAChC,+DAAwH;AAUtE,4GAVV,sCAAqC,OAUA;AAR7E,+DAAyE;AAUzE;;;;GAIG;AACU,QAAA,kCAAkC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC5D,QAAQ,EAAE,eAAM,CAAC,OAAO;IACxB,MAAM,EAAE,sCAAqC;CAChD,CAAC,CAAC;AAEH,4EAA4E;AAC/D,QAAA,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IACtD,SAAS,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACpD,iBAAiB,EAAE,eAAM,CAAC,OAAO;IACjC,UAAU,EAAE,eAAM,CAAC,KAAK,CAAC,0CAAkC,CAAC;CAC/D,CAAC,CAAC;AAEH,oFAAoF;AACpF,SAAgB,oBAAoB,CAAC,KAGpC;IACG,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,SAAS,EAAE,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa;YACrE,CAAC,CAAC,SAAkB;YACpB,CAAC,CAAC,WAAoB;QAC1B,iBAAiB,EAAE,KAAK,CAAC,OAAO,KAAK,WAAW;QAChD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YAC5E,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,KAAK,UAAU;YACzG,MAAM,EAAE,IAAA,gCAAqB,EAAC,KAAK,CAAC;SACvC,CAAC,CAAC,CAAC;KACP,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,uCAAuC,CAAC,SAAuC;IAC3F,OAAO,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,aAAa;WAC/D,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AACjD,CAAC;AACD,SAAgB,YAAY,CAAC,SAAuC;IAChE,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AAC9C,CAAC","sourcesContent":["// @concord-file ne-eval-sealed-assertion-facts\n// @concord-implements docs/feature/assertions/README.md\n// @concord-implements docs/feature/verdict/README.md\nimport { Schema } from \"effect\";\nimport { SealedAssertionResultSchema as AssertionsSealedAssertionResultSchema } from \"../../assertions/record/codec.ts\";\nimport type { EarnedScoreContribution, GateDisposition, NoScoreContribution, ScoreContribution, SealedAssertionResult, UnavailableScoreContribution, } from \"../../assertions/record/model.ts\";\nimport { sealedAssertionResult } from \"../../assertions/record/model.ts\";\nimport type { AssertionsAttachment } from \"../../record/family/assertions/definition.ts\";\nimport type { AttemptOutcome } from \"../../record/model/core.ts\";\n/**\n * Eval folds consume the Assertions owner's sealed-result contract directly.\n * They deliberately do not re-own the Assertions Attachment or its blob\n * closure; `required` below is Eval producer policy only.\n */\nexport { AssertionsSealedAssertionResultSchema as SealedAssertionResultSchema, };\nexport type { EarnedScoreContribution, GateDisposition, NoScoreContribution, ScoreContribution, SealedAssertionResult, UnavailableScoreContribution, };\n/**\n * `required` is producer policy, not a field added to the Assertions\n * Attachment. It determines whether an otherwise-local unavailable result\n * raises the Attempt Verdict to errored.\n */\nexport const SealedAssertionForEvaluationSchema = Schema.Struct({\n    required: Schema.Boolean,\n    result: AssertionsSealedAssertionResultSchema,\n});\nexport type SealedAssertionForEvaluation = Schema.toType<typeof SealedAssertionForEvaluationSchema>[\"Type\"];\n/** All producer facts shared by the independent Verdict and Score folds. */\nexport const EvaluationAttemptFactsSchema = Schema.Struct({\n    execution: Schema.Literals([\"completed\", \"errored\"]),\n    explicitlySkipped: Schema.Boolean,\n    assertions: Schema.Array(SealedAssertionForEvaluationSchema),\n});\nexport type EvaluationAttemptFacts = Schema.toType<typeof EvaluationAttemptFactsSchema>[\"Type\"];\n/** The sole Record/Core adapter shared by the canonical Verdict and Score folds. */\nexport function recordedAttemptFacts(input: {\n    readonly outcome: AttemptOutcome;\n    readonly assertions: AssertionsAttachment;\n}): EvaluationAttemptFacts {\n    return Object.freeze({\n        execution: input.outcome === \"errored\" || input.outcome === \"interrupted\"\n            ? \"errored\" as const\n            : \"completed\" as const,\n        explicitlySkipped: input.outcome === \"cancelled\",\n        assertions: Object.freeze(input.assertions.entries.map((entry) => Object.freeze({\n            required: entry.policy.requirement.state === \"available\" && entry.policy.requirement.value === \"required\",\n            result: sealedAssertionResult(entry),\n        }))),\n    });\n}\nexport function isRequiredAssertionUnavailableOrErrored(assertion: SealedAssertionForEvaluation): boolean {\n    return assertion.required && (assertion.result.state === \"unavailable\"\n        || assertion.result.state === \"errored\");\n}\nexport function isGateFailed(assertion: SealedAssertionForEvaluation): boolean {\n    return assertion.result.gate === \"failed\";\n}\n"]}

package/dist/eval/record/verdict.cjs

@@ -6,6 +6,10 @@ exports.foldRecordedAttemptVerdict = foldRecordedAttemptVerdict;
 exports.buildVerdictPayload = buildVerdictPayload;
 exports.validateVerdictCoherence = validateVerdictCoherence;
 exports.projectVerdictPayload = projectVerdictPayload;
+// @concord-file ne-eval-record-verdict
+// @concord-implements docs/feature/verdict/README.md
+// @concord-implements docs/feature/verdict/architecture.md
+// @concord-implements docs/feature/verdict/use-case/strict-quality-gate.md
 const effect_1 = require("effect");
 const types_ts_1 = require("../../shared/types.cjs");
 const sealed_assertion_ts_1 = require("./sealed-assertion.cjs");
@@ -18,6 +22,9 @@ exports.VerdictPayloadSchema = effect_1.Schema.Struct({
     state: exports.VerdictStateSchema,
 });
 exports.VerdictFoldInputSchema = sealed_assertion_ts_1.EvaluationAttemptFactsSchema;
+// @concord-code ne-eval-fold-verdict
+// @concord-implements docs/feature/verdict/architecture.md
+// @concord-implements docs/feature/verdict/use-case/strict-quality-gate.md
 function foldVerdict(input) {
     if (input.execution === "errored"
         || input.assertions.some(sealed_assertion_ts_1.isRequiredAssertionUnavailableOrErrored)) {

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

@@ -1 +1 @@
-{"version":3,"file":"verdict.js","sourceRoot":"","sources":["verdict.ts"],"names":[],"mappings":";;;AAkBA,kCAQC;AAMD,gEAKC;AACD,kDAEC;AAMD,4DAcC;AAED,sDAEC;AAhED,mCAAgC;AAGhC,oDAA+D;AAC/D,+DAAgL;AAChL;;;GAGG;AACU,QAAA,kBAAkB,GAAG,eAAM,CAAC,QAAQ,CAAC,mBAAQ,CAAC,CAAC;AAE/C,QAAA,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,0BAAkB;CAC5B,CAAC,CAAC;AAIU,QAAA,sBAAsB,GAAG,kDAA4B,CAAC;AACnE,SAAgB,WAAW,CAAC,KAAuB;IAC/C,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;WAC1B,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,6DAAuC,CAAC,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,kCAAY,CAAC;QACnC,OAAO,QAAQ,CAAC;IACpB,OAAO,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1D,CAAC;AACD;;;;GAIG;AACH,SAAgB,0BAA0B,CAAC,KAG1C;IACG,OAAO,WAAW,CAAC,IAAA,0CAAoB,EAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AACD,SAAgB,mBAAmB,CAAC,KAAuB;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACxD,CAAC;AAMD,SAAgB,wBAAwB,CAAC,KAGxC;IACG,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ;QACnC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,MAAM,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,uBAAgC;gBACtC,QAAQ;gBACR,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK;aAC9B,CAAC;SACL,CAAC,CAAC;AACX,CAAC;AACD,+EAA+E;AAC/E,SAAgB,qBAAqB,CAAC,OAAuB;IACzD,OAAO,OAAO,CAAC,KAAK,CAAC;AACzB,CAAC","sourcesContent":["import { Schema } from \"effect\";\nimport type { AssertionsAttachment } from \"../../record/family/assertions/definition.ts\";\nimport type { AttemptOutcome } from \"../../record/model/core.ts\";\nimport { VERDICTS, type Verdict } from \"../../shared/types.ts\";\nimport { EvaluationAttemptFactsSchema, isGateFailed, isRequiredAssertionUnavailableOrErrored, recordedAttemptFacts, type EvaluationAttemptFacts, } from \"./sealed-assertion.ts\";\n/**\n * A transient fold result. Verdict is derived from sealed Assertion facts and\n * Attempt outcome; it is deliberately not a Record Attachment family.\n */\nexport const VerdictStateSchema = Schema.Literals(VERDICTS);\nexport type VerdictState = Schema.toType<typeof VerdictStateSchema>[\"Type\"];\nexport const VerdictPayloadSchema = Schema.Struct({\n    state: VerdictStateSchema,\n});\nexport type VerdictPayload = Schema.toType<typeof VerdictPayloadSchema>[\"Type\"];\nexport type VerdictPayloadEncoded = Schema.Codec.Encoded<typeof VerdictPayloadSchema>;\nexport type VerdictFoldInput = EvaluationAttemptFacts;\nexport const VerdictFoldInputSchema = EvaluationAttemptFactsSchema;\nexport function foldVerdict(input: VerdictFoldInput): VerdictState {\n    if (input.execution === \"errored\"\n        || input.assertions.some(isRequiredAssertionUnavailableOrErrored)) {\n        return \"errored\";\n    }\n    if (input.assertions.some(isGateFailed))\n        return \"failed\";\n    return input.explicitlySkipped ? \"skipped\" : \"passed\";\n}\n/**\n * Folds the public Verdict from the immutable Attempt outcome and verified\n * Assertions payload.  This is the one adapter from Record's terminal Core\n * state into the verdict fold; consumers must not reproduce these rules.\n */\nexport function foldRecordedAttemptVerdict(input: {\n    readonly outcome: AttemptOutcome;\n    readonly assertions: AssertionsAttachment;\n}): VerdictState {\n    return foldVerdict(recordedAttemptFacts(input));\n}\nexport function buildVerdictPayload(input: VerdictFoldInput): VerdictPayload {\n    return Object.freeze({ state: foldVerdict(input) });\n}\nexport type VerdictCoherenceIssue = {\n    readonly code: \"verdict-fold-mismatch\";\n    readonly expected: VerdictState;\n    readonly actual: VerdictState;\n};\nexport function validateVerdictCoherence(input: {\n    readonly payload: VerdictPayload;\n    readonly fold: VerdictFoldInput;\n}): readonly VerdictCoherenceIssue[] {\n    const expected = foldVerdict(input.fold);\n    return input.payload.state === expected\n        ? Object.freeze([])\n        : Object.freeze([\n            Object.freeze({\n                code: \"verdict-fold-mismatch\" as const,\n                expected,\n                actual: input.payload.state,\n            }),\n        ]);\n}\n/** Plain domain projection for callers that need NiceEval's public verdict. */\nexport function projectVerdictPayload(payload: VerdictPayload): Verdict {\n    return payload.state;\n}\n"]}
+{"version":3,"file":"verdict.js","sourceRoot":"","sources":["verdict.ts"],"names":[],"mappings":";;;AAyBA,kCAQC;AAMD,gEAKC;AACD,kDAEC;AAMD,4DAcC;AAED,sDAEC;AAvED,uCAAuC;AACvC,qDAAqD;AACrD,2DAA2D;AAC3D,2EAA2E;AAC3E,mCAAgC;AAGhC,oDAA+D;AAC/D,+DAAgL;AAChL;;;GAGG;AACU,QAAA,kBAAkB,GAAG,eAAM,CAAC,QAAQ,CAAC,mBAAQ,CAAC,CAAC;AAE/C,QAAA,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,0BAAkB;CAC5B,CAAC,CAAC;AAIU,QAAA,sBAAsB,GAAG,kDAA4B,CAAC;AACnE,qCAAqC;AACrC,2DAA2D;AAC3D,2EAA2E;AAC3E,SAAgB,WAAW,CAAC,KAAuB;IAC/C,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;WAC1B,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,6DAAuC,CAAC,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,kCAAY,CAAC;QACnC,OAAO,QAAQ,CAAC;IACpB,OAAO,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1D,CAAC;AACD;;;;GAIG;AACH,SAAgB,0BAA0B,CAAC,KAG1C;IACG,OAAO,WAAW,CAAC,IAAA,0CAAoB,EAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AACD,SAAgB,mBAAmB,CAAC,KAAuB;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACxD,CAAC;AAMD,SAAgB,wBAAwB,CAAC,KAGxC;IACG,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ;QACnC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,MAAM,CAAC,MAAM,CAAC;gBACV,IAAI,EAAE,uBAAgC;gBACtC,QAAQ;gBACR,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK;aAC9B,CAAC;SACL,CAAC,CAAC;AACX,CAAC;AACD,+EAA+E;AAC/E,SAAgB,qBAAqB,CAAC,OAAuB;IACzD,OAAO,OAAO,CAAC,KAAK,CAAC;AACzB,CAAC","sourcesContent":["// @concord-file ne-eval-record-verdict\n// @concord-implements docs/feature/verdict/README.md\n// @concord-implements docs/feature/verdict/architecture.md\n// @concord-implements docs/feature/verdict/use-case/strict-quality-gate.md\nimport { Schema } from \"effect\";\nimport type { AssertionsAttachment } from \"../../record/family/assertions/definition.ts\";\nimport type { AttemptOutcome } from \"../../record/model/core.ts\";\nimport { VERDICTS, type Verdict } from \"../../shared/types.ts\";\nimport { EvaluationAttemptFactsSchema, isGateFailed, isRequiredAssertionUnavailableOrErrored, recordedAttemptFacts, type EvaluationAttemptFacts, } from \"./sealed-assertion.ts\";\n/**\n * A transient fold result. Verdict is derived from sealed Assertion facts and\n * Attempt outcome; it is deliberately not a Record Attachment family.\n */\nexport const VerdictStateSchema = Schema.Literals(VERDICTS);\nexport type VerdictState = Schema.toType<typeof VerdictStateSchema>[\"Type\"];\nexport const VerdictPayloadSchema = Schema.Struct({\n    state: VerdictStateSchema,\n});\nexport type VerdictPayload = Schema.toType<typeof VerdictPayloadSchema>[\"Type\"];\nexport type VerdictPayloadEncoded = Schema.Codec.Encoded<typeof VerdictPayloadSchema>;\nexport type VerdictFoldInput = EvaluationAttemptFacts;\nexport const VerdictFoldInputSchema = EvaluationAttemptFactsSchema;\n// @concord-code ne-eval-fold-verdict\n// @concord-implements docs/feature/verdict/architecture.md\n// @concord-implements docs/feature/verdict/use-case/strict-quality-gate.md\nexport function foldVerdict(input: VerdictFoldInput): VerdictState {\n    if (input.execution === \"errored\"\n        || input.assertions.some(isRequiredAssertionUnavailableOrErrored)) {\n        return \"errored\";\n    }\n    if (input.assertions.some(isGateFailed))\n        return \"failed\";\n    return input.explicitlySkipped ? \"skipped\" : \"passed\";\n}\n/**\n * Folds the public Verdict from the immutable Attempt outcome and verified\n * Assertions payload.  This is the one adapter from Record's terminal Core\n * state into the verdict fold; consumers must not reproduce these rules.\n */\nexport function foldRecordedAttemptVerdict(input: {\n    readonly outcome: AttemptOutcome;\n    readonly assertions: AssertionsAttachment;\n}): VerdictState {\n    return foldVerdict(recordedAttemptFacts(input));\n}\nexport function buildVerdictPayload(input: VerdictFoldInput): VerdictPayload {\n    return Object.freeze({ state: foldVerdict(input) });\n}\nexport type VerdictCoherenceIssue = {\n    readonly code: \"verdict-fold-mismatch\";\n    readonly expected: VerdictState;\n    readonly actual: VerdictState;\n};\nexport function validateVerdictCoherence(input: {\n    readonly payload: VerdictPayload;\n    readonly fold: VerdictFoldInput;\n}): readonly VerdictCoherenceIssue[] {\n    const expected = foldVerdict(input.fold);\n    return input.payload.state === expected\n        ? Object.freeze([])\n        : Object.freeze([\n            Object.freeze({\n                code: \"verdict-fold-mismatch\" as const,\n                expected,\n                actual: input.payload.state,\n            }),\n        ]);\n}\n/** Plain domain projection for callers that need NiceEval's public verdict. */\nexport function projectVerdictPayload(payload: VerdictPayload): Verdict {\n    return payload.state;\n}\n"]}

package/dist/expect/index.cjs

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.pairwisePreference = exports.instructionFollowing = exports.faithfulness = exports.factuality = exports.closeQA = exports.toolMatch = exports.similarity = exports.satisfies = exports.referencesAnyPath = exports.pattern = exports.or = exports.not = exports.matches = exports.lessThan = exports.hasSections = exports.jsonMatch = exports.isTrue = exports.isFalse = exports.isDefined = exports.inOrder = exports.includesUrl = exports.includes = exports.greaterThan = exports.excludes = exports.eventMatch = exports.equals = exports.defineValueMatch = exports.defineScoreMatch = exports.commandSucceeded = exports.commandMatch = exports.atMost = exports.atLeast = exports.and = exports.defineJudge = void 0;
+exports.defineContextMatch = exports.defineMaterialMatch = exports.pairwisePreference = exports.instructionFollowing = exports.faithfulness = exports.factuality = exports.toolMatch = exports.similarity = exports.satisfies = exports.referencesAnyPath = exports.pattern = exports.or = exports.not = exports.mapValue = exports.mapEach = exports.matches = exports.lessThan = exports.hasSections = exports.jsonMatch = exports.isTrue = exports.isFalse = exports.isDefined = exports.inOrder = exports.includesUrl = exports.includes = exports.greaterThan = exports.filterWhere = exports.excludes = exports.eventMatch = exports.equals = exports.defineValueMatch = exports.defineScoreMatch = exports.countWhere = exports.commandSucceeded = exports.commandMatch = exports.atMost = exports.atLeast = exports.and = exports.defineJudge = void 0;
 // niceeval/expect：只导出纯 Match factories。Fact、verdict 与 score use 由 context 负责。
 var judge_ts_1 = require("../assertions/judge.cjs");
 Object.defineProperty(exports, "defineJudge", { enumerable: true, get: function () { return judge_ts_1.defineJudge; } });
@@ -10,11 +10,13 @@ Object.defineProperty(exports, "atLeast", { enumerable: true, get: function () {
 Object.defineProperty(exports, "atMost", { enumerable: true, get: function () { return match_ts_1.atMost; } });
 Object.defineProperty(exports, "commandMatch", { enumerable: true, get: function () { return match_ts_1.commandMatch; } });
 Object.defineProperty(exports, "commandSucceeded", { enumerable: true, get: function () { return match_ts_1.commandSucceeded; } });
+Object.defineProperty(exports, "countWhere", { enumerable: true, get: function () { return match_ts_1.countWhere; } });
 Object.defineProperty(exports, "defineScoreMatch", { enumerable: true, get: function () { return match_ts_1.defineScoreMatch; } });
 Object.defineProperty(exports, "defineValueMatch", { enumerable: true, get: function () { return match_ts_1.defineValueMatch; } });
 Object.defineProperty(exports, "equals", { enumerable: true, get: function () { return match_ts_1.equals; } });
 Object.defineProperty(exports, "eventMatch", { enumerable: true, get: function () { return match_ts_1.eventMatch; } });
 Object.defineProperty(exports, "excludes", { enumerable: true, get: function () { return match_ts_1.excludes; } });
+Object.defineProperty(exports, "filterWhere", { enumerable: true, get: function () { return match_ts_1.filterWhere; } });
 Object.defineProperty(exports, "greaterThan", { enumerable: true, get: function () { return match_ts_1.greaterThan; } });
 Object.defineProperty(exports, "includes", { enumerable: true, get: function () { return match_ts_1.includes; } });
 Object.defineProperty(exports, "includesUrl", { enumerable: true, get: function () { return match_ts_1.includesUrl; } });
@@ -26,6 +28,8 @@ Object.defineProperty(exports, "jsonMatch", { enumerable: true, get: function ()
 Object.defineProperty(exports, "hasSections", { enumerable: true, get: function () { return match_ts_1.hasSections; } });
 Object.defineProperty(exports, "lessThan", { enumerable: true, get: function () { return match_ts_1.lessThan; } });
 Object.defineProperty(exports, "matches", { enumerable: true, get: function () { return match_ts_1.matches; } });
+Object.defineProperty(exports, "mapEach", { enumerable: true, get: function () { return match_ts_1.mapEach; } });
+Object.defineProperty(exports, "mapValue", { enumerable: true, get: function () { return match_ts_1.mapValue; } });
 Object.defineProperty(exports, "not", { enumerable: true, get: function () { return match_ts_1.not; } });
 Object.defineProperty(exports, "or", { enumerable: true, get: function () { return match_ts_1.or; } });
 Object.defineProperty(exports, "pattern", { enumerable: true, get: function () { return match_ts_1.pattern; } });
@@ -34,9 +38,11 @@ Object.defineProperty(exports, "satisfies", { enumerable: true, get: function ()
 Object.defineProperty(exports, "similarity", { enumerable: true, get: function () { return match_ts_1.similarity; } });
 Object.defineProperty(exports, "toolMatch", { enumerable: true, get: function () { return match_ts_1.toolMatch; } });
 var judge_presets_ts_1 = require("../assertions/judge-presets.cjs");
-Object.defineProperty(exports, "closeQA", { enumerable: true, get: function () { return judge_presets_ts_1.closeQA; } });
 Object.defineProperty(exports, "factuality", { enumerable: true, get: function () { return judge_presets_ts_1.factuality; } });
 Object.defineProperty(exports, "faithfulness", { enumerable: true, get: function () { return judge_presets_ts_1.faithfulness; } });
 Object.defineProperty(exports, "instructionFollowing", { enumerable: true, get: function () { return judge_presets_ts_1.instructionFollowing; } });
 Object.defineProperty(exports, "pairwisePreference", { enumerable: true, get: function () { return judge_presets_ts_1.pairwisePreference; } });
+var context_match_ts_1 = require("../assertions/context-match.cjs");
+Object.defineProperty(exports, "defineMaterialMatch", { enumerable: true, get: function () { return context_match_ts_1.defineMaterialMatch; } });
+Object.defineProperty(exports, "defineContextMatch", { enumerable: true, get: function () { return context_match_ts_1.defineContextMatch; } });
 //# sourceMappingURL=index.cjs.map

package/dist/expect/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;AAAA,8EAA8E;AAC9E,mDAAqD;AAA5C,uGAAA,WAAW,OAAA;AAEpB,mDAA4V;AAAnV,+FAAA,GAAG,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,kGAAA,MAAM,OAAA;AAAE,wGAAA,YAAY,OAAA;AAAE,4GAAA,gBAAgB,OAAA;AAAE,4GAAA,gBAAgB,OAAA;AAAE,4GAAA,gBAAgB,OAAA;AAAE,kGAAA,MAAM,OAAA;AAAE,sGAAA,UAAU,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,kGAAA,MAAM,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,+FAAA,GAAG,OAAA;AAAE,8FAAA,EAAE,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,6GAAA,iBAAiB,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,sGAAA,UAAU,OAAA;AAAE,qGAAA,SAAS,OAAA;AAE1T,mEAA6H;AAApH,2GAAA,OAAO,OAAA;AAAE,8GAAA,UAAU,OAAA;AAAE,gHAAA,YAAY,OAAA;AAAE,wHAAA,oBAAoB,OAAA;AAAE,sHAAA,kBAAkB,OAAA","sourcesContent":["// niceeval/expect：只导出纯 Match factories。Fact、verdict 与 score use 由 context 负责。\nexport { defineJudge } from \"../assertions/judge.ts\";\nexport type { JudgeAnchor, JudgeDefinition, JudgeOptions } from \"../assertions/judge.ts\";\nexport { and, atLeast, atMost, commandMatch, commandSucceeded, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from \"../assertions/match.ts\";\nexport type { BooleanMatch, CollectionMatch, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from \"../assertions/match.ts\";\nexport { closeQA, factuality, faithfulness, instructionFollowing, pairwisePreference } from \"../assertions/judge-presets.ts\";\nexport type { CloseQAMaterial, JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from \"../assertions/judge-presets.ts\";\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;AAAA,8EAA8E;AAC9E,mDAAqD;AAA5C,uGAAA,WAAW,OAAA;AAEpB,mDAAwY;AAA/X,+FAAA,GAAG,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,kGAAA,MAAM,OAAA;AAAE,wGAAA,YAAY,OAAA;AAAE,4GAAA,gBAAgB,OAAA;AAAE,sGAAA,UAAU,OAAA;AAAE,4GAAA,gBAAgB,OAAA;AAAE,4GAAA,gBAAgB,OAAA;AAAE,kGAAA,MAAM,OAAA;AAAE,sGAAA,UAAU,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,kGAAA,MAAM,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,oGAAA,QAAQ,OAAA;AAAE,+FAAA,GAAG,OAAA;AAAE,8FAAA,EAAE,OAAA;AAAE,mGAAA,OAAO,OAAA;AAAE,6GAAA,iBAAiB,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,sGAAA,UAAU,OAAA;AAAE,qGAAA,SAAS,OAAA;AAEtW,mEAAoH;AAA3G,8GAAA,UAAU,OAAA;AAAE,gHAAA,YAAY,OAAA;AAAE,wHAAA,oBAAoB,OAAA;AAAE,sHAAA,kBAAkB,OAAA;AAE3E,mEAAyF;AAAhF,uHAAA,mBAAmB,OAAA;AAAE,sHAAA,kBAAkB,OAAA","sourcesContent":["// niceeval/expect：只导出纯 Match factories。Fact、verdict 与 score use 由 context 负责。\nexport { defineJudge } from \"../assertions/judge.ts\";\nexport type { JudgeAnchor, JudgeDefinition, JudgeOptions } from \"../assertions/judge.ts\";\nexport { and, atLeast, atMost, commandMatch, commandSucceeded, countWhere, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, filterWhere, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, mapEach, mapValue, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from \"../assertions/match.ts\";\nexport type { BooleanMatch, CollectionMatch, CollectionValue, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from \"../assertions/match.ts\";\nexport { factuality, faithfulness, instructionFollowing, pairwisePreference } from \"../assertions/judge-presets.ts\";\nexport type { JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from \"../assertions/judge-presets.ts\";\nexport { defineMaterialMatch, defineContextMatch } from \"../assertions/context-match.ts\";\nexport type { MaterialMatch, ContextBooleanMatch, ContextScoreMatch, MatchContext, ReadonlyMaterial, MatchFact, MaterialCollection, MaterialItem, MaterialCaptureBudget, FactCaptureBudget } from \"../assertions/context-match.ts\";\nexport type { NumericMaterial } from \"../assertions/match.ts\";\nexport type { EvalUsage } from \"../o11y/eval-usage.ts\";\nexport type { AgentMatchContext } from \"../context/assert-first.ts\";\n"]}

package/dist/expect/index.d.cts

@@ -1,6 +1,11 @@
 export { defineJudge } from "../assertions/judge.cjs";
 export type { JudgeAnchor, JudgeDefinition, JudgeOptions } from "../assertions/judge.cjs";
-export { and, atLeast, atMost, commandMatch, commandSucceeded, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from "../assertions/match.cjs";
-export type { BooleanMatch, CollectionMatch, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from "../assertions/match.cjs";
-export { closeQA, factuality, faithfulness, instructionFollowing, pairwisePreference } from "../assertions/judge-presets.cjs";
-export type { CloseQAMaterial, JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from "../assertions/judge-presets.cjs";
+export { and, atLeast, atMost, commandMatch, commandSucceeded, countWhere, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, filterWhere, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, mapEach, mapValue, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from "../assertions/match.cjs";
+export type { BooleanMatch, CollectionMatch, CollectionValue, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from "../assertions/match.cjs";
+export { factuality, faithfulness, instructionFollowing, pairwisePreference } from "../assertions/judge-presets.cjs";
+export type { JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from "../assertions/judge-presets.cjs";
+export { defineMaterialMatch, defineContextMatch } from "../assertions/context-match.cjs";
+export type { MaterialMatch, ContextBooleanMatch, ContextScoreMatch, MatchContext, ReadonlyMaterial, MatchFact, MaterialCollection, MaterialItem, MaterialCaptureBudget, FactCaptureBudget } from "../assertions/context-match.cjs";
+export type { NumericMaterial } from "../assertions/match.cjs";
+export type { EvalUsage } from "../o11y/eval-usage.cjs";
+export type { AgentMatchContext } from "../context/assert-first.cjs";

package/dist/expect/index.d.mts

@@ -1,6 +1,11 @@
 export { defineJudge } from "../assertions/judge.mjs";
 export type { JudgeAnchor, JudgeDefinition, JudgeOptions } from "../assertions/judge.mjs";
-export { and, atLeast, atMost, commandMatch, commandSucceeded, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from "../assertions/match.mjs";
-export type { BooleanMatch, CollectionMatch, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from "../assertions/match.mjs";
-export { closeQA, factuality, faithfulness, instructionFollowing, pairwisePreference } from "../assertions/judge-presets.mjs";
-export type { CloseQAMaterial, JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from "../assertions/judge-presets.mjs";
+export { and, atLeast, atMost, commandMatch, commandSucceeded, countWhere, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, filterWhere, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, mapEach, mapValue, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from "../assertions/match.mjs";
+export type { BooleanMatch, CollectionMatch, CollectionValue, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from "../assertions/match.mjs";
+export { factuality, faithfulness, instructionFollowing, pairwisePreference } from "../assertions/judge-presets.mjs";
+export type { JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from "../assertions/judge-presets.mjs";
+export { defineMaterialMatch, defineContextMatch } from "../assertions/context-match.mjs";
+export type { MaterialMatch, ContextBooleanMatch, ContextScoreMatch, MatchContext, ReadonlyMaterial, MatchFact, MaterialCollection, MaterialItem, MaterialCaptureBudget, FactCaptureBudget } from "../assertions/context-match.mjs";
+export type { NumericMaterial } from "../assertions/match.mjs";
+export type { EvalUsage } from "../o11y/eval-usage.mjs";
+export type { AgentMatchContext } from "../context/assert-first.mjs";

package/dist/expect/index.d.ts

@@ -1,6 +1,11 @@
 export { defineJudge } from "../assertions/judge.js";
 export type { JudgeAnchor, JudgeDefinition, JudgeOptions } from "../assertions/judge.js";
-export { and, atLeast, atMost, commandMatch, commandSucceeded, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from "../assertions/match.js";
-export type { BooleanMatch, CollectionMatch, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from "../assertions/match.js";
-export { closeQA, factuality, faithfulness, instructionFollowing, pairwisePreference } from "../assertions/judge-presets.js";
-export type { CloseQAMaterial, JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from "../assertions/judge-presets.js";
+export { and, atLeast, atMost, commandMatch, commandSucceeded, countWhere, defineScoreMatch, defineValueMatch, equals, eventMatch, excludes, filterWhere, greaterThan, includes, includesUrl, inOrder, isDefined, isFalse, isTrue, jsonMatch, hasSections, lessThan, matches, mapEach, mapValue, not, or, pattern, referencesAnyPath, satisfies, similarity, toolMatch, } from "../assertions/match.js";
+export type { BooleanMatch, CollectionMatch, CollectionValue, CommandMatchOptions, EventMatch, EventOccurrenceMatch, EventOccurrenceQuantifiers, EventOccurrenceView, EventSequenceMatch, EventUpperBoundOccurrenceMatch, EventOptionsByType, LogicalCommandOccurrence, ManagedToolCalls, ManagedEventOccurrences, Match, MatchDomain, NumericComparisonMatch, TextMatchOptions, ToolMatch, ToolOccurrenceMatch, ToolSequenceMatch, ToolUpperBoundOccurrenceMatch, ToolMatchOptions, ToolOccurrenceQuantifiers, ToolOccurrenceView, ToolStatus, ValueMatch, ManagedScoreMatchOptions, ScoreMatch, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult, ScoreMatchAnchor, } from "../assertions/match.js";
+export { factuality, faithfulness, instructionFollowing, pairwisePreference } from "../assertions/judge-presets.js";
+export type { JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from "../assertions/judge-presets.js";
+export { defineMaterialMatch, defineContextMatch } from "../assertions/context-match.js";
+export type { MaterialMatch, ContextBooleanMatch, ContextScoreMatch, MatchContext, ReadonlyMaterial, MatchFact, MaterialCollection, MaterialItem, MaterialCaptureBudget, FactCaptureBudget } from "../assertions/context-match.js";
+export type { NumericMaterial } from "../assertions/match.js";
+export type { EvalUsage } from "../o11y/eval-usage.js";
+export type { AgentMatchContext } from "../context/assert-first.js";