niceeval 0.12.2-canary.31 → 0.13.0

package/dist/eval/record/evaluation.cjs

@@ -1,100 +1,62 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.evaluationsProjector = exports.evaluationsAttachmentFamilyV1 = exports.evaluationsAttachmentDefinitionV1 = exports.EvaluationsPayloadV1Schema = exports.EvaluationDefinitionV1Schema = exports.EvaluationSlotV1Schema = exports.EvaluationAttemptOrdinalV1Schema = exports.EvaluationKindV1Schema = exports.EVALUATIONS_ATTACHMENT_SCHEMA_ID_V1 = exports.EVALUATIONS_ATTACHMENT_NAME_V1 = void 0;
-exports.validateEvaluationsPayloadV1 = validateEvaluationsPayloadV1;
-exports.decodeEvaluationsPayloadV1 = decodeEvaluationsPayloadV1;
-exports.buildEvaluationsPayloadV1 = buildEvaluationsPayloadV1;
-exports.buildEvaluationsAttachmentWriteV1 = buildEvaluationsAttachmentWriteV1;
-exports.projectEvaluationsPayloadV1 = projectEvaluationsPayloadV1;
-exports.projectEvaluationsAttachmentV1 = projectEvaluationsAttachmentV1;
+exports.EvaluationsPayloadSchema = exports.EvaluationDefinitionSchema = exports.EvaluationSlotSchema = exports.EvaluationAttemptOrdinalSchema = exports.EvaluationKindSchema = void 0;
+exports.validateEvaluationsPayload = validateEvaluationsPayload;
+exports.decodeEvaluationsPayload = decodeEvaluationsPayload;
+exports.buildEvaluationsPayload = buildEvaluationsPayload;
+exports.projectEvaluationsPayload = projectEvaluationsPayload;
+exports.projectEvaluations = projectEvaluations;
 const effect_1 = require("effect");
-const index_ts_1 = require("../../record/attachment/index.cjs");
-const internal_ts_1 = require("../../record/attachment/internal.cjs");
 const identifiers_ts_1 = require("../../record/codec/identifiers.cjs");
 const identifiers_ts_2 = require("../../record/model/identifiers.cjs");
-const projector_ts_1 = require("../../projection/projector.cjs");
 const attachment_ts_1 = require("./attachment.cjs");
-exports.EVALUATIONS_ATTACHMENT_NAME_V1 = "niceeval.evaluations";
-exports.EVALUATIONS_ATTACHMENT_SCHEMA_ID_V1 = "niceeval.evaluations/v1";
-/** The first Evaluation Attachment deliberately has only two kinds. */
-exports.EvaluationKindV1Schema = effect_1.Schema.Literal("pass", "score");
-/** The ordinal is part of the Slot-to-Eval plan; SlotId itself is opaque. */
-exports.EvaluationAttemptOrdinalV1Schema = effect_1.Schema.Number.pipe(effect_1.Schema.int(), effect_1.Schema.nonNegative());
-/** One Run denominator Slot's position within an Eval. */
-exports.EvaluationSlotV1Schema = effect_1.Schema.Struct({
+/**
+ * Eval-to-slot planning is transient. Core carries the immutable Slot identity
+ * once a Run is created; no evaluations Attachment exists in Record v1.
+ */
+exports.EvaluationKindSchema = effect_1.Schema.Literal("pass", "score");
+exports.EvaluationAttemptOrdinalSchema = effect_1.Schema.Number.pipe(effect_1.Schema.int(), effect_1.Schema.nonNegative());
+exports.EvaluationSlotSchema = effect_1.Schema.Struct({
     slotId: identifiers_ts_1.SlotIdSchema,
-    attempt: exports.EvaluationAttemptOrdinalV1Schema,
+    attempt: exports.EvaluationAttemptOrdinalSchema,
 });
-/** A distinct path-derived Eval and every Slot that invokes it in this Run. */
-exports.EvaluationDefinitionV1Schema = effect_1.Schema.Struct({
+exports.EvaluationDefinitionSchema = effect_1.Schema.Struct({
     evalId: attachment_ts_1.EvaluationRecordIdentitySchema,
-    evaluationKind: exports.EvaluationKindV1Schema,
-    slots: effect_1.Schema.NonEmptyArray(exports.EvaluationSlotV1Schema),
+    evaluationKind: exports.EvaluationKindSchema,
+    slots: effect_1.Schema.NonEmptyArray(exports.EvaluationSlotSchema),
 });
-/**
- * Run-owned facts for offline Experiment selection and Slot classification.
- * Each Eval occurs once; every expected Slot belongs to exactly one Eval entry.
- */
-const EvaluationsPayloadV1StructuralSchema = effect_1.Schema.Struct({
+const EvaluationsPayloadStructuralSchema = effect_1.Schema.Struct({
     experimentId: attachment_ts_1.EvaluationRecordIdentitySchema,
-    evaluations: effect_1.Schema.Array(exports.EvaluationDefinitionV1Schema),
+    evaluations: effect_1.Schema.Array(exports.EvaluationDefinitionSchema),
 });
 function compareEvaluationSlots(left, right) {
-    if (left.attempt !== right.attempt) {
-        return left.attempt < right.attempt ? -1 : 1;
-    }
-    return (0, identifiers_ts_2.compareCanonicalIdentity)(left.slotId, right.slotId);
+    return left.attempt === right.attempt
+        ? (0, identifiers_ts_2.compareCanonicalIdentity)(left.slotId, right.slotId)
+        : left.attempt < right.attempt ? -1 : 1;
 }
-/**
- * Checks the semantic invariants outside a Struct: canonical identity order,
- * one Eval definition per EvalId, one Slot globally, and one Slot per Eval
- * ordinal. The latter lets reuse planning match `(evalId, attempt)` without
- * deriving identity from a filesystem name.
- */
-function validateEvaluationsPayloadV1(payload) {
+function validateEvaluationsPayload(payload) {
     const issues = [];
-    const slotIds = new Set();
+    const slots = new Set();
     let previousEvalId;
     for (const [definitionIndex, definition] of payload.evaluations.entries()) {
-        if (previousEvalId !== undefined
-            && (0, identifiers_ts_2.compareCanonicalIdentity)(previousEvalId, definition.evalId) >= 0) {
-            issues.push(previousEvalId === definition.evalId
-                ? Object.freeze({
-                    code: "evaluations-eval-duplicate",
-                    evalId: definition.evalId,
-                })
-                : Object.freeze({
-                    code: "evaluations-eval-order-invalid",
-                    index: definitionIndex,
-                    evalId: definition.evalId,
-                }));
+        if (previousEvalId !== undefined && (0, identifiers_ts_2.compareCanonicalIdentity)(previousEvalId, definition.evalId) >= 0) {
+            issues.push(Object.freeze(previousEvalId === definition.evalId
+                ? { code: "evaluations-eval-duplicate", evalId: definition.evalId }
+                : { code: "evaluations-eval-order-invalid", index: definitionIndex, evalId: definition.evalId }));
         }
         const attempts = new Set();
         let previousSlot;
         for (const [slotIndex, slot] of definition.slots.entries()) {
-            if (previousSlot !== undefined
-                && compareEvaluationSlots(previousSlot, slot) >= 0) {
-                issues.push(Object.freeze({
-                    code: "evaluations-slot-order-invalid",
-                    evalId: definition.evalId,
-                    index: slotIndex,
-                    slotId: slot.slotId,
-                }));
+            if (previousSlot !== undefined && compareEvaluationSlots(previousSlot, slot) >= 0) {
+                issues.push(Object.freeze({ code: "evaluations-slot-order-invalid", evalId: definition.evalId, index: slotIndex, slotId: slot.slotId }));
             }
-            if (slotIds.has(slot.slotId)) {
-                issues.push(Object.freeze({
-                    code: "evaluations-slot-duplicate",
-                    slotId: slot.slotId,
-                }));
+            if (slots.has(slot.slotId)) {
+                issues.push(Object.freeze({ code: "evaluations-slot-duplicate", slotId: slot.slotId }));
             }
             if (attempts.has(slot.attempt)) {
-                issues.push(Object.freeze({
-                    code: "evaluations-attempt-duplicate",
-                    evalId: definition.evalId,
-                    attempt: slot.attempt,
-                }));
+                issues.push(Object.freeze({ code: "evaluations-attempt-duplicate", evalId: definition.evalId, attempt: slot.attempt }));
             }
-            slotIds.add(slot.slotId);
+            slots.add(slot.slotId);
             attempts.add(slot.attempt);
             previousSlot = slot;
         }
@@ -102,119 +64,42 @@ function validateEvaluationsPayloadV1(payload) {
     }
     return Object.freeze(issues);
 }
-/** Exact JSON schema for `niceeval.evaluations/v1`. */
-exports.EvaluationsPayloadV1Schema = EvaluationsPayloadV1StructuralSchema.pipe(effect_1.Schema.filter((payload) => validateEvaluationsPayloadV1(payload).length === 0, {
-    identifier: "EvaluationsPayloadV1",
-    description: "canonical distinct Eval definitions and a one-to-one Slot mapping",
+exports.EvaluationsPayloadSchema = EvaluationsPayloadStructuralSchema.pipe(effect_1.Schema.filter((payload) => validateEvaluationsPayload(payload).length === 0, {
+    identifier: "EvaluationPlan",
+    description: "canonical transient Eval definitions and Slot mapping",
 }));
-/** The built-in Run Attachment definition owns exact decode and blob closure. */
-exports.evaluationsAttachmentDefinitionV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, internal_ts_1.defineBuiltinJsonRecordAttachment)({
-    owner: "run",
-    name: exports.EVALUATIONS_ATTACHMENT_NAME_V1,
-    schemaId: exports.EVALUATIONS_ATTACHMENT_SCHEMA_ID_V1,
-    schema: exports.EvaluationsPayloadV1Schema,
-    blobRefs: attachment_ts_1.noRecordAttachmentBlobs,
-}), "Evaluations v1 RecordAttachment definition must be valid");
-exports.evaluationsAttachmentFamilyV1 = (0, attachment_ts_1.requireRecordAttachmentCapabilityV1)((0, index_ts_1.defineRecordAttachmentFamily)({
-    current: exports.evaluationsAttachmentDefinitionV1,
-    migrations: [],
-}), "Evaluations v1 RecordAttachment family must be valid");
-function decodeEvaluationsPayloadV1(input) {
-    return (0, index_ts_1.decodeJsonRecordAttachmentPayload)(exports.evaluationsAttachmentDefinitionV1, input);
+function decodeEvaluationsPayload(input) {
+    const decoded = effect_1.Schema.decodeUnknownEither(exports.EvaluationsPayloadSchema, attachment_ts_1.ExactEvaluationParseOptions)(input);
+    return effect_1.Either.isLeft(decoded)
+        ? effect_1.Either.left(Object.freeze({ code: "evaluations-payload-schema-invalid" }))
+        : effect_1.Either.right(decoded.right);
 }
-function asNonEmptySlots(slots) {
-    const [first, ...rest] = slots;
-    if (first === undefined) {
-        throw new Error("Evaluation definitions must retain at least one Slot");
-    }
-    return Object.freeze([first, ...rest]);
-}
-/**
- * Producer-side constructor. It canonicalizes evaluation and Slot ordering,
- * while rejecting duplicate Slot/ordinal identities instead of guessing a
- * mapping from the current worktree.
- */
-function buildEvaluationsPayloadV1(input) {
-    const decoded = effect_1.Schema.decodeUnknownEither(EvaluationsPayloadV1StructuralSchema, attachment_ts_1.ExactRecordAttachmentParseOptions)(input);
-    if (effect_1.Either.isLeft(decoded)) {
+function buildEvaluationsPayload(input) {
+    const decoded = effect_1.Schema.decodeUnknownEither(EvaluationsPayloadStructuralSchema, attachment_ts_1.ExactEvaluationParseOptions)(input);
+    if (effect_1.Either.isLeft(decoded))
         return effect_1.Either.left(Object.freeze({ code: "evaluations-payload-schema-invalid" }));
-    }
-    const evaluations = decoded.right.evaluations
-        .map((definition) => Object.freeze({
-        evalId: definition.evalId,
-        evaluationKind: definition.evaluationKind,
-        slots: asNonEmptySlots(definition.slots
-            .map((slot) => Object.freeze({ ...slot }))
-            .sort(compareEvaluationSlots)),
-    }))
-        .sort((left, right) => (0, identifiers_ts_2.compareCanonicalIdentity)(left.evalId, right.evalId));
-    const payload = Object.freeze({
-        experimentId: decoded.right.experimentId,
-        evaluations: Object.freeze(evaluations),
-    });
-    const issues = validateEvaluationsPayloadV1(payload);
-    return issues.length === 0
-        ? effect_1.Either.right(payload)
-        : effect_1.Either.left(Object.freeze({
-            code: "evaluations-payload-coherence-invalid",
-            issues,
-        }));
+    const issues = validateEvaluationsPayload(decoded.right);
+    if (issues.length > 0)
+        return effect_1.Either.left(Object.freeze({ code: "evaluations-payload-coherence-invalid", issues }));
+    return effect_1.Either.right(decoded.right);
 }
-/** Builds the real Run-owned opaque write after canonicalizing producer facts. */
-function buildEvaluationsAttachmentWriteV1(input) {
-    const payload = buildEvaluationsPayloadV1(input);
-    if (effect_1.Either.isLeft(payload)) {
-        return effect_1.Either.left(payload.left);
-    }
-    return effect_1.Either.right((0, attachment_ts_1.makeNoBlobRecordAttachmentWriteV1)(exports.evaluationsAttachmentFamilyV1, payload.right));
-}
-function projectEvaluationsPayloadV1(payload) {
-    const bySlotId = new Map();
+function projectEvaluationsPayload(payload) {
+    const slots = new Map();
     for (const evaluation of payload.evaluations) {
         for (const slot of evaluation.slots) {
-            bySlotId.set(slot.slotId, Object.freeze({
-                slotId: slot.slotId,
-                attempt: slot.attempt,
-                evalId: evaluation.evalId,
-                evaluationKind: evaluation.evaluationKind,
-            }));
+            slots.set(slot.slotId, Object.freeze({ ...slot, evalId: evaluation.evalId, evaluationKind: evaluation.evaluationKind }));
         }
     }
+    return Object.freeze({ evaluationForSlot: (slotId) => slots.get(slotId) });
+}
+function projectEvaluations(payload) {
     return Object.freeze({
         experimentId: payload.experimentId,
-        evaluations: payload.evaluations,
-        evaluationForSlot: (slotId) => bySlotId.get(slotId),
-    });
-}
-/** A typed, synchronous projection over one available Record Attachment value. */
-function projectEvaluationsAttachmentV1(value) {
-    // Record has already exact-decoded and frozen every available payload. The
-    // snapshot type erases non-empty tuple evidence, so rebuild only that static
-    // witness before handing the producer's current view to legacy planner code.
-    const payload = Object.freeze({
-        experimentId: value.payload.experimentId,
-        evaluations: Object.freeze(value.payload.evaluations.map((evaluation) => Object.freeze({
-            evalId: evaluation.evalId,
-            evaluationKind: evaluation.evaluationKind,
-            slots: asNonEmptySlots(evaluation.slots.map((slot) => Object.freeze({ slotId: slot.slotId, attempt: slot.attempt }))),
+        evaluations: Object.freeze(payload.evaluations.map((evaluation) => Object.freeze({
+            id: evaluation.evalId,
+            kind: evaluation.evaluationKind,
+            slots: Object.freeze([...evaluation.slots]),
         }))),
     });
-    return projectEvaluationsPayloadV1(payload);
-}
-function projectEvaluations(value) {
-    const bySlotId = new Map();
-    for (const evaluation of value.payload.evaluations) {
-        for (const slot of evaluation.slots) {
-            bySlotId.set(slot.slotId, Object.freeze({ kind: evaluation.evaluationKind }));
-        }
-    }
-    return Object.freeze({
-        evaluationForSlot: (slotId) => bySlotId.get(slotId),
-    });
 }
-/** The public Evaluation lookup for a Run-owned Attachment. */
-exports.evaluationsProjector = (0, projector_ts_1.defineRecordAttachmentProjector)({
-    attachment: exports.evaluationsAttachmentFamilyV1,
-    project: projectEvaluations,
-});
 //# sourceMappingURL=evaluation.cjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["evaluation.ts"],"names":[],"mappings":";;;AA0EA,oEAkDC;AAkBD,gEAEC;AAsBD,8DAyBC;AAED,8EAMC;AAYD,kEAiBC;AAED,wEAaC;AAnPD,mCAAwC;AACxC,+DAA4K;AAC5K,qEAAwF;AACxF,sEAAiE;AACjE,sEAA2F;AAC3F,gEAAiH;AACjH,mDAAsM;AACzL,QAAA,8BAA8B,GAAG,sBAA+B,CAAC;AACjE,QAAA,mCAAmC,GAAG,yBAAkC,CAAC;AACtF,uEAAuE;AAC1D,QAAA,sBAAsB,GAAG,eAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAItE,6EAA6E;AAChE,QAAA,gCAAgC,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,GAAG,EAAE,EAAE,eAAM,CAAC,WAAW,EAAE,CAAC,CAAC;AAEvG,0DAA0D;AAC7C,QAAA,sBAAsB,GAAG,eAAM,CAAC,MAAM,CAAC;IAChD,MAAM,EAAE,6BAAY;IACpB,OAAO,EAAE,wCAAgC;CAC5C,CAAC,CAAC;AAGH,+EAA+E;AAClE,QAAA,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IACtD,MAAM,EAAE,8CAA8B;IACtC,cAAc,EAAE,8BAAsB;IACtC,KAAK,EAAE,eAAM,CAAC,aAAa,CAAC,8BAAsB,CAAC;CACtD,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,oCAAoC,GAAG,eAAM,CAAC,MAAM,CAAC;IACvD,YAAY,EAAE,8CAA8B;IAC5C,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,oCAA4B,CAAC;CAC1D,CAAC,CAAC;AAuBH,SAAS,sBAAsB,CAAC,IAAsB,EAAE,KAAuB;IAC3E,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,IAAA,yCAAwB,EAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;AAC/D,CAAC;AACD;;;;;GAKG;AACH,SAAgB,4BAA4B,CAAC,OAA6B;IACtE,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,cAA0C,CAAC;IAC/C,KAAK,MAAM,CAAC,eAAe,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACxE,IAAI,cAAc,KAAK,SAAS;eACzB,IAAA,yCAAwB,EAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACtE,MAAM,CAAC,IAAI,CAAC,cAAc,KAAK,UAAU,CAAC,MAAM;gBAC5C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;oBACZ,IAAI,EAAE,4BAAqC;oBAC3C,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC5B,CAAC;gBACF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;oBACZ,IAAI,EAAE,gCAAyC;oBAC/C,KAAK,EAAE,eAAe;oBACtB,MAAM,EAAE,UAAU,CAAC,MAAM;iBAC5B,CAAC,CAAC,CAAC;QACZ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,IAAI,YAA0C,CAAC;QAC/C,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,IAAI,YAAY,KAAK,SAAS;mBACvB,sBAAsB,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,gCAAyC;oBAC/C,MAAM,EAAE,UAAU,CAAC,MAAM;oBACzB,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAC,CAAC;YACR,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,4BAAqC;oBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAC,CAAC;YACR,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,+BAAwC;oBAC9C,MAAM,EAAE,UAAU,CAAC,MAAM;oBACzB,OAAO,EAAE,IAAI,CAAC,OAAO;iBACxB,CAAC,CAAC,CAAC;YACR,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACzB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3B,YAAY,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,uDAAuD;AAC1C,QAAA,0BAA0B,GAAG,oCAAoC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAC/J,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,mEAAmE;CACnF,CAAC,CAAC,CAAC;AACJ,iFAAiF;AACpE,QAAA,iCAAiC,GAAG,IAAA,mDAAmC,EAAC,IAAA,+CAAiC,EAAC;IACnH,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,sCAA8B;IACpC,QAAQ,EAAE,2CAAmC;IAC7C,MAAM,EAAE,kCAA0B;IAClC,QAAQ,EAAE,uCAAuB;CACpC,CAAC,EAAE,0DAA0D,CAAC,CAAC;AACnD,QAAA,6BAA6B,GAAG,IAAA,mDAAmC,EAAC,IAAA,uCAA4B,EAAC;IAC1G,OAAO,EAAE,yCAAiC;IAC1C,UAAU,EAAE,EAAE;CACjB,CAAC,EAAE,sDAAsD,CAAC,CAAC;AAC5D,SAAgB,0BAA0B,CAAC,KAAc;IACrD,OAAO,IAAA,4CAAiC,EAAC,yCAAiC,EAAE,KAAK,CAAC,CAAC;AACvF,CAAC;AAOD,SAAS,eAAe,CAAC,KAAkC;IAIvD,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC3C,CAAC;AACD;;;;GAIG;AACH,SAAgB,yBAAyB,CAAC,KAA2B;IACjE,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,oCAAoC,EAAE,iDAAiC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3H,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oCAA6C,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW;SACxC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;QACnC,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,cAAc,EAAE,UAAU,CAAC,cAAc;QACzC,KAAK,EAAE,eAAe,CAAC,UAAU,CAAC,KAAK;aAClC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;aACzC,IAAI,CAAC,sBAAsB,CAAC,CAAC;KACrC,CAAC,CAAC;SACE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAA,yCAAwB,EAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;QAC1B,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,YAAY;QACxC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KAC1C,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QACvB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACxB,IAAI,EAAE,uCAAgD;YACtD,MAAM;SACT,CAAC,CAAC,CAAC;AACZ,CAAC;AACD,kFAAkF;AAClF,SAAgB,iCAAiC,CAAC,KAA2B;IACzE,MAAM,OAAO,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACjD,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,IAAA,iDAAiC,EAAC,qCAA6B,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACzG,CAAC;AAYD,SAAgB,2BAA2B,CAAC,OAA6B;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC/D,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpC,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,MAAM,EAAE,UAAU,CAAC,MAAM;gBACzB,cAAc,EAAE,UAAU,CAAC,cAAc;aAC5C,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,iBAAiB,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;KAC9D,CAAC,CAAC;AACP,CAAC;AACD,kFAAkF;AAClF,SAAgB,8BAA8B,CAAC,KAAkD;IAC7F,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,OAAO,GAAyB,MAAM,CAAC,MAAM,CAAC;QAChD,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,YAAY;QACxC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YACnF,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,cAAc,EAAE,UAAU,CAAC,cAAc;YACzC,KAAK,EAAE,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;SACxH,CAAC,CAAC,CAAC;KACP,CAAC,CAAC;IACH,OAAO,2BAA2B,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAaD,SAAS,kBAAkB,CAAC,KAAkD;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,iBAAiB,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;KAC9D,CAAC,CAAC;AACP,CAAC;AACD,+DAA+D;AAClD,QAAA,oBAAoB,GAAkD,IAAA,8CAA+B,EAAC;IAC/G,UAAU,EAAE,qCAA6B;IACzC,OAAO,EAAE,kBAAkB;CAC9B,CAAC,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { decodeJsonRecordAttachmentPayload, defineRecordAttachmentFamily, type RecordAttachmentValue, type RecordAttachmentWrite, } from \"../../record/attachment/index.ts\";\nimport { defineBuiltinJsonRecordAttachment } from \"../../record/attachment/internal.ts\";\nimport { SlotIdSchema } from \"../../record/codec/identifiers.ts\";\nimport { compareCanonicalIdentity, type SlotId, } from \"../../record/model/identifiers.ts\";\nimport { defineRecordAttachmentProjector, type RecordAttachmentProjector, } from \"../../projection/projector.ts\";\nimport { EvaluationRecordIdentitySchema, ExactRecordAttachmentParseOptions, makeNoBlobRecordAttachmentWriteV1, noRecordAttachmentBlobs, requireRecordAttachmentCapabilityV1, } from \"./attachment.ts\";\nexport const EVALUATIONS_ATTACHMENT_NAME_V1 = \"niceeval.evaluations\" as const;\nexport const EVALUATIONS_ATTACHMENT_SCHEMA_ID_V1 = \"niceeval.evaluations/v1\" as const;\n/** The first Evaluation Attachment deliberately has only two kinds. */\nexport const EvaluationKindV1Schema = Schema.Literal(\"pass\", \"score\");\nexport type EvaluationKindV1 = Schema.Schema.Type<typeof EvaluationKindV1Schema>;\nexport type EvaluationIdV1 = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;\nexport type ExperimentIdV1 = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;\n/** The ordinal is part of the Slot-to-Eval plan; SlotId itself is opaque. */\nexport const EvaluationAttemptOrdinalV1Schema = Schema.Number.pipe(Schema.int(), Schema.nonNegative());\nexport type EvaluationAttemptOrdinalV1 = Schema.Schema.Type<typeof EvaluationAttemptOrdinalV1Schema>;\n/** One Run denominator Slot's position within an Eval. */\nexport const EvaluationSlotV1Schema = Schema.Struct({\n    slotId: SlotIdSchema,\n    attempt: EvaluationAttemptOrdinalV1Schema,\n});\nexport type EvaluationSlotV1 = Schema.Schema.Type<typeof EvaluationSlotV1Schema>;\nexport type EvaluationSlotV1Encoded = Schema.Schema.Encoded<typeof EvaluationSlotV1Schema>;\n/** A distinct path-derived Eval and every Slot that invokes it in this Run. */\nexport const EvaluationDefinitionV1Schema = Schema.Struct({\n    evalId: EvaluationRecordIdentitySchema,\n    evaluationKind: EvaluationKindV1Schema,\n    slots: Schema.NonEmptyArray(EvaluationSlotV1Schema),\n});\nexport type EvaluationDefinitionV1 = Schema.Schema.Type<typeof EvaluationDefinitionV1Schema>;\nexport type EvaluationDefinitionV1Encoded = Schema.Schema.Encoded<typeof EvaluationDefinitionV1Schema>;\n/**\n * Run-owned facts for offline Experiment selection and Slot classification.\n * Each Eval occurs once; every expected Slot belongs to exactly one Eval entry.\n */\nconst EvaluationsPayloadV1StructuralSchema = Schema.Struct({\n    experimentId: EvaluationRecordIdentitySchema,\n    evaluations: Schema.Array(EvaluationDefinitionV1Schema),\n});\nexport type EvaluationsPayloadV1 = Schema.Schema.Type<typeof EvaluationsPayloadV1StructuralSchema>;\nexport type EvaluationsPayloadV1Encoded = Schema.Schema.Encoded<typeof EvaluationsPayloadV1StructuralSchema>;\nexport type EvaluationsPayloadIssueV1 = {\n    readonly code: \"evaluations-eval-order-invalid\";\n    readonly index: number;\n    readonly evalId: EvaluationIdV1;\n} | {\n    readonly code: \"evaluations-eval-duplicate\";\n    readonly evalId: EvaluationIdV1;\n} | {\n    readonly code: \"evaluations-slot-order-invalid\";\n    readonly evalId: EvaluationIdV1;\n    readonly index: number;\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluations-slot-duplicate\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluations-attempt-duplicate\";\n    readonly evalId: EvaluationIdV1;\n    readonly attempt: EvaluationAttemptOrdinalV1;\n};\nfunction compareEvaluationSlots(left: EvaluationSlotV1, right: EvaluationSlotV1): number {\n    if (left.attempt !== right.attempt) {\n        return left.attempt < right.attempt ? -1 : 1;\n    }\n    return compareCanonicalIdentity(left.slotId, right.slotId);\n}\n/**\n * Checks the semantic invariants outside a Struct: canonical identity order,\n * one Eval definition per EvalId, one Slot globally, and one Slot per Eval\n * ordinal. The latter lets reuse planning match `(evalId, attempt)` without\n * deriving identity from a filesystem name.\n */\nexport function validateEvaluationsPayloadV1(payload: EvaluationsPayloadV1): readonly EvaluationsPayloadIssueV1[] {\n    const issues: EvaluationsPayloadIssueV1[] = [];\n    const slotIds = new Set<string>();\n    let previousEvalId: EvaluationIdV1 | undefined;\n    for (const [definitionIndex, definition] of payload.evaluations.entries()) {\n        if (previousEvalId !== undefined\n            && compareCanonicalIdentity(previousEvalId, definition.evalId) >= 0) {\n            issues.push(previousEvalId === definition.evalId\n                ? Object.freeze({\n                    code: \"evaluations-eval-duplicate\" as const,\n                    evalId: definition.evalId,\n                })\n                : Object.freeze({\n                    code: \"evaluations-eval-order-invalid\" as const,\n                    index: definitionIndex,\n                    evalId: definition.evalId,\n                }));\n        }\n        const attempts = new Set<number>();\n        let previousSlot: EvaluationSlotV1 | undefined;\n        for (const [slotIndex, slot] of definition.slots.entries()) {\n            if (previousSlot !== undefined\n                && compareEvaluationSlots(previousSlot, slot) >= 0) {\n                issues.push(Object.freeze({\n                    code: \"evaluations-slot-order-invalid\" as const,\n                    evalId: definition.evalId,\n                    index: slotIndex,\n                    slotId: slot.slotId,\n                }));\n            }\n            if (slotIds.has(slot.slotId)) {\n                issues.push(Object.freeze({\n                    code: \"evaluations-slot-duplicate\" as const,\n                    slotId: slot.slotId,\n                }));\n            }\n            if (attempts.has(slot.attempt)) {\n                issues.push(Object.freeze({\n                    code: \"evaluations-attempt-duplicate\" as const,\n                    evalId: definition.evalId,\n                    attempt: slot.attempt,\n                }));\n            }\n            slotIds.add(slot.slotId);\n            attempts.add(slot.attempt);\n            previousSlot = slot;\n        }\n        previousEvalId = definition.evalId;\n    }\n    return Object.freeze(issues);\n}\n/** Exact JSON schema for `niceeval.evaluations/v1`. */\nexport const EvaluationsPayloadV1Schema = EvaluationsPayloadV1StructuralSchema.pipe(Schema.filter((payload) => validateEvaluationsPayloadV1(payload).length === 0, {\n    identifier: \"EvaluationsPayloadV1\",\n    description: \"canonical distinct Eval definitions and a one-to-one Slot mapping\",\n}));\n/** The built-in Run Attachment definition owns exact decode and blob closure. */\nexport const evaluationsAttachmentDefinitionV1 = requireRecordAttachmentCapabilityV1(defineBuiltinJsonRecordAttachment({\n    owner: \"run\",\n    name: EVALUATIONS_ATTACHMENT_NAME_V1,\n    schemaId: EVALUATIONS_ATTACHMENT_SCHEMA_ID_V1,\n    schema: EvaluationsPayloadV1Schema,\n    blobRefs: noRecordAttachmentBlobs,\n}), \"Evaluations v1 RecordAttachment definition must be valid\");\nexport const evaluationsAttachmentFamilyV1 = requireRecordAttachmentCapabilityV1(defineRecordAttachmentFamily({\n    current: evaluationsAttachmentDefinitionV1,\n    migrations: [],\n}), \"Evaluations v1 RecordAttachment family must be valid\");\nexport function decodeEvaluationsPayloadV1(input: unknown) {\n    return decodeJsonRecordAttachmentPayload(evaluationsAttachmentDefinitionV1, input);\n}\nexport type EvaluationsPayloadBuildErrorV1 = {\n    readonly code: \"evaluations-payload-schema-invalid\";\n} | {\n    readonly code: \"evaluations-payload-coherence-invalid\";\n    readonly issues: readonly EvaluationsPayloadIssueV1[];\n};\nfunction asNonEmptySlots(slots: readonly EvaluationSlotV1[]): readonly [\n    EvaluationSlotV1,\n    ...EvaluationSlotV1[]\n] {\n    const [first, ...rest] = slots;\n    if (first === undefined) {\n        throw new Error(\"Evaluation definitions must retain at least one Slot\");\n    }\n    return Object.freeze([first, ...rest]);\n}\n/**\n * Producer-side constructor. It canonicalizes evaluation and Slot ordering,\n * while rejecting duplicate Slot/ordinal identities instead of guessing a\n * mapping from the current worktree.\n */\nexport function buildEvaluationsPayloadV1(input: EvaluationsPayloadV1): Either.Either<EvaluationsPayloadV1, EvaluationsPayloadBuildErrorV1> {\n    const decoded = Schema.decodeUnknownEither(EvaluationsPayloadV1StructuralSchema, ExactRecordAttachmentParseOptions)(input);\n    if (Either.isLeft(decoded)) {\n        return Either.left(Object.freeze({ code: \"evaluations-payload-schema-invalid\" as const }));\n    }\n    const evaluations = decoded.right.evaluations\n        .map((definition) => Object.freeze({\n        evalId: definition.evalId,\n        evaluationKind: definition.evaluationKind,\n        slots: asNonEmptySlots(definition.slots\n            .map((slot) => Object.freeze({ ...slot }))\n            .sort(compareEvaluationSlots)),\n    }))\n        .sort((left, right) => compareCanonicalIdentity(left.evalId, right.evalId));\n    const payload = Object.freeze({\n        experimentId: decoded.right.experimentId,\n        evaluations: Object.freeze(evaluations),\n    });\n    const issues = validateEvaluationsPayloadV1(payload);\n    return issues.length === 0\n        ? Either.right(payload)\n        : Either.left(Object.freeze({\n            code: \"evaluations-payload-coherence-invalid\" as const,\n            issues,\n        }));\n}\n/** Builds the real Run-owned opaque write after canonicalizing producer facts. */\nexport function buildEvaluationsAttachmentWriteV1(input: EvaluationsPayloadV1): Either.Either<RecordAttachmentWrite<\"run\", never, never>, EvaluationsPayloadBuildErrorV1> {\n    const payload = buildEvaluationsPayloadV1(input);\n    if (Either.isLeft(payload)) {\n        return Either.left(payload.left);\n    }\n    return Either.right(makeNoBlobRecordAttachmentWriteV1(evaluationsAttachmentFamilyV1, payload.right));\n}\n/** The flattened lookup value reports need for each denominator Slot. */\nexport interface EvaluationSlotProjectionV1 extends EvaluationSlotV1 {\n    readonly evalId: EvaluationIdV1;\n    readonly evaluationKind: EvaluationKindV1;\n}\n/** A pure lookup projection; RecordAttachment reads supply the frozen payload. */\nexport interface EvaluationsProjectionV1 {\n    readonly experimentId: ExperimentIdV1;\n    readonly evaluations: readonly EvaluationDefinitionV1[];\n    readonly evaluationForSlot: (slotId: SlotId) => EvaluationSlotProjectionV1 | undefined;\n}\nexport function projectEvaluationsPayloadV1(payload: EvaluationsPayloadV1): EvaluationsProjectionV1 {\n    const bySlotId = new Map<string, EvaluationSlotProjectionV1>();\n    for (const evaluation of payload.evaluations) {\n        for (const slot of evaluation.slots) {\n            bySlotId.set(slot.slotId, Object.freeze({\n                slotId: slot.slotId,\n                attempt: slot.attempt,\n                evalId: evaluation.evalId,\n                evaluationKind: evaluation.evaluationKind,\n            }));\n        }\n    }\n    return Object.freeze({\n        experimentId: payload.experimentId,\n        evaluations: payload.evaluations,\n        evaluationForSlot: (slotId: SlotId) => bySlotId.get(slotId),\n    });\n}\n/** A typed, synchronous projection over one available Record Attachment value. */\nexport function projectEvaluationsAttachmentV1(value: RecordAttachmentValue<EvaluationsPayloadV1>): EvaluationsProjectionV1 {\n    // Record has already exact-decoded and frozen every available payload. The\n    // snapshot type erases non-empty tuple evidence, so rebuild only that static\n    // witness before handing the producer's current view to legacy planner code.\n    const payload: EvaluationsPayloadV1 = Object.freeze({\n        experimentId: value.payload.experimentId,\n        evaluations: Object.freeze(value.payload.evaluations.map((evaluation) => Object.freeze({\n            evalId: evaluation.evalId,\n            evaluationKind: evaluation.evaluationKind,\n            slots: asNonEmptySlots(evaluation.slots.map((slot) => Object.freeze({ slotId: slot.slotId, attempt: slot.attempt }))),\n        }))),\n    });\n    return projectEvaluationsPayloadV1(payload);\n}\n/** The report-facing type of one Slot's Evaluation. */\nexport type EvaluationKind = \"pass\" | \"score\";\nexport interface Evaluation {\n    readonly kind: EvaluationKind;\n}\n/**\n * Run-level Evaluation lookup. It intentionally exposes only the question a\n * consumer can answer for a Sample slot, rather than the durable plan shape.\n */\nexport interface Evaluations {\n    readonly evaluationForSlot: (slotId: SlotId) => Evaluation | undefined;\n}\nfunction projectEvaluations(value: RecordAttachmentValue<EvaluationsPayloadV1>): Evaluations {\n    const bySlotId = new Map<string, Evaluation>();\n    for (const evaluation of value.payload.evaluations) {\n        for (const slot of evaluation.slots) {\n            bySlotId.set(slot.slotId, Object.freeze({ kind: evaluation.evaluationKind }));\n        }\n    }\n    return Object.freeze({\n        evaluationForSlot: (slotId: SlotId) => bySlotId.get(slotId),\n    });\n}\n/** The public Evaluation lookup for a Run-owned Attachment. */\nexport const evaluationsProjector: RecordAttachmentProjector<\"run\", Evaluations> = defineRecordAttachmentProjector({\n    attachment: evaluationsAttachmentFamilyV1,\n    project: projectEvaluations,\n});\n"]}
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["evaluation.ts"],"names":[],"mappings":";;;AA0DA,gEA6BC;AASD,4DAKC;AACD,0DAQC;AAQD,8DAQC;AAUD,gDASC;AAjJD,mCAAwC;AACxC,sEAAiE;AACjE,sEAA0F;AAC1F,mDAA+F;AAC/F;;;GAGG;AACU,QAAA,oBAAoB,GAAG,eAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAIvD,QAAA,8BAA8B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,GAAG,EAAE,EAAE,eAAM,CAAC,WAAW,EAAE,CAAC,CAAC;AAExF,QAAA,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,EAAE,6BAAY;IACpB,OAAO,EAAE,sCAA8B;CAC1C,CAAC,CAAC;AAGU,QAAA,0BAA0B,GAAG,eAAM,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,8CAA8B;IACtC,cAAc,EAAE,4BAAoB;IACpC,KAAK,EAAE,eAAM,CAAC,aAAa,CAAC,4BAAoB,CAAC;CACpD,CAAC,CAAC;AAGH,MAAM,kCAAkC,GAAG,eAAM,CAAC,MAAM,CAAC;IACrD,YAAY,EAAE,8CAA8B;IAC5C,WAAW,EAAE,eAAM,CAAC,KAAK,CAAC,kCAA0B,CAAC;CACxD,CAAC,CAAC;AAuBH,SAAS,sBAAsB,CAAC,IAAoB,EAAE,KAAqB;IACvE,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;QACjC,CAAC,CAAC,IAAA,yCAAwB,EAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChD,CAAC;AACD,SAAgB,0BAA0B,CAAC,OAA2B;IAClE,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,cAAwC,CAAC;IAC7C,KAAK,MAAM,CAAC,eAAe,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QACxE,IAAI,cAAc,KAAK,SAAS,IAAI,IAAA,yCAAwB,EAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACnG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,KAAK,UAAU,CAAC,MAAM;gBAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,4BAAqC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE;gBAC5E,CAAC,CAAC,EAAE,IAAI,EAAE,gCAAyC,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACnH,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,IAAI,YAAwC,CAAC;QAC7C,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,IAAI,YAAY,KAAK,SAAS,IAAI,sBAAsB,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,gCAAyC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACtJ,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,4BAAqC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrG,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,+BAAwC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACrI,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3B,YAAY,GAAG,IAAI,CAAC;QACxB,CAAC;QACD,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACY,QAAA,wBAAwB,GAAG,kCAAkC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IACzJ,UAAU,EAAE,gBAAgB;IAC5B,WAAW,EAAE,uDAAuD;CACvE,CAAC,CAAC,CAAC;AAKJ,SAAgB,wBAAwB,CAAC,KAAc;IACnD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,gCAAwB,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;IACzG,OAAO,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oCAA6C,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC;AACD,SAAgB,uBAAuB,CAAC,KAAyB;IAC7D,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,kCAAkC,EAAE,2CAA2B,CAAC,CAAC,KAAK,CAAC,CAAC;IACnH,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACtB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,oCAA6C,EAAE,CAAC,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uCAAgD,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC1G,OAAO,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC;AAQD,SAAgB,yBAAyB,CAAC,OAA2B;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC1D,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,cAAc,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;QAC7H,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC;AAUD,SAAgB,kBAAkB,CAAC,OAA2B;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7E,EAAE,EAAE,UAAU,CAAC,MAAM;YACrB,IAAI,EAAE,UAAU,CAAC,cAAc;YAC/B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;SAC9C,CAAC,CAAC,CAAC;KACP,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { SlotIdSchema } from \"../../record/codec/identifiers.ts\";\nimport { compareCanonicalIdentity, type SlotId } from \"../../record/model/identifiers.ts\";\nimport { EvaluationRecordIdentitySchema, ExactEvaluationParseOptions, } from \"./attachment.ts\";\n/**\n * Eval-to-slot planning is transient. Core carries the immutable Slot identity\n * once a Run is created; no evaluations Attachment exists in Record v1.\n */\nexport const EvaluationKindSchema = Schema.Literal(\"pass\", \"score\");\nexport type EvaluationKind = Schema.Schema.Type<typeof EvaluationKindSchema>;\nexport type EvaluationId = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;\nexport type ExperimentId = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;\nexport const EvaluationAttemptOrdinalSchema = Schema.Number.pipe(Schema.int(), Schema.nonNegative());\nexport type EvaluationAttemptOrdinal = Schema.Schema.Type<typeof EvaluationAttemptOrdinalSchema>;\nexport const EvaluationSlotSchema = Schema.Struct({\n    slotId: SlotIdSchema,\n    attempt: EvaluationAttemptOrdinalSchema,\n});\nexport type EvaluationSlot = Schema.Schema.Type<typeof EvaluationSlotSchema>;\nexport type EvaluationSlotEncoded = Schema.Schema.Encoded<typeof EvaluationSlotSchema>;\nexport const EvaluationDefinitionSchema = Schema.Struct({\n    evalId: EvaluationRecordIdentitySchema,\n    evaluationKind: EvaluationKindSchema,\n    slots: Schema.NonEmptyArray(EvaluationSlotSchema),\n});\nexport type EvaluationDefinition = Schema.Schema.Type<typeof EvaluationDefinitionSchema>;\nexport type EvaluationDefinitionEncoded = Schema.Schema.Encoded<typeof EvaluationDefinitionSchema>;\nconst EvaluationsPayloadStructuralSchema = Schema.Struct({\n    experimentId: EvaluationRecordIdentitySchema,\n    evaluations: Schema.Array(EvaluationDefinitionSchema),\n});\nexport type EvaluationsPayload = Schema.Schema.Type<typeof EvaluationsPayloadStructuralSchema>;\nexport type EvaluationsPayloadEncoded = Schema.Schema.Encoded<typeof EvaluationsPayloadStructuralSchema>;\nexport type EvaluationsPayloadIssue = {\n    readonly code: \"evaluations-eval-order-invalid\";\n    readonly index: number;\n    readonly evalId: EvaluationId;\n} | {\n    readonly code: \"evaluations-eval-duplicate\";\n    readonly evalId: EvaluationId;\n} | {\n    readonly code: \"evaluations-slot-order-invalid\";\n    readonly evalId: EvaluationId;\n    readonly index: number;\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluations-slot-duplicate\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluations-attempt-duplicate\";\n    readonly evalId: EvaluationId;\n    readonly attempt: EvaluationAttemptOrdinal;\n};\nfunction compareEvaluationSlots(left: EvaluationSlot, right: EvaluationSlot): number {\n    return left.attempt === right.attempt\n        ? compareCanonicalIdentity(left.slotId, right.slotId)\n        : left.attempt < right.attempt ? -1 : 1;\n}\nexport function validateEvaluationsPayload(payload: EvaluationsPayload): readonly EvaluationsPayloadIssue[] {\n    const issues: EvaluationsPayloadIssue[] = [];\n    const slots = new Set<string>();\n    let previousEvalId: EvaluationId | undefined;\n    for (const [definitionIndex, definition] of payload.evaluations.entries()) {\n        if (previousEvalId !== undefined && compareCanonicalIdentity(previousEvalId, definition.evalId) >= 0) {\n            issues.push(Object.freeze(previousEvalId === definition.evalId\n                ? { code: \"evaluations-eval-duplicate\" as const, evalId: definition.evalId }\n                : { code: \"evaluations-eval-order-invalid\" as const, index: definitionIndex, evalId: definition.evalId }));\n        }\n        const attempts = new Set<number>();\n        let previousSlot: EvaluationSlot | undefined;\n        for (const [slotIndex, slot] of definition.slots.entries()) {\n            if (previousSlot !== undefined && compareEvaluationSlots(previousSlot, slot) >= 0) {\n                issues.push(Object.freeze({ code: \"evaluations-slot-order-invalid\" as const, evalId: definition.evalId, index: slotIndex, slotId: slot.slotId }));\n            }\n            if (slots.has(slot.slotId)) {\n                issues.push(Object.freeze({ code: \"evaluations-slot-duplicate\" as const, slotId: slot.slotId }));\n            }\n            if (attempts.has(slot.attempt)) {\n                issues.push(Object.freeze({ code: \"evaluations-attempt-duplicate\" as const, evalId: definition.evalId, attempt: slot.attempt }));\n            }\n            slots.add(slot.slotId);\n            attempts.add(slot.attempt);\n            previousSlot = slot;\n        }\n        previousEvalId = definition.evalId;\n    }\n    return Object.freeze(issues);\n}\nexport const EvaluationsPayloadSchema = EvaluationsPayloadStructuralSchema.pipe(Schema.filter((payload) => validateEvaluationsPayload(payload).length === 0, {\n    identifier: \"EvaluationPlan\",\n    description: \"canonical transient Eval definitions and Slot mapping\",\n}));\nexport type EvaluationsPayloadBuildError = {\n    readonly code: \"evaluations-payload-schema-invalid\" | \"evaluations-payload-coherence-invalid\";\n    readonly issues?: readonly EvaluationsPayloadIssue[];\n};\nexport function decodeEvaluationsPayload(input: unknown): Either.Either<EvaluationsPayload, EvaluationsPayloadBuildError> {\n    const decoded = Schema.decodeUnknownEither(EvaluationsPayloadSchema, ExactEvaluationParseOptions)(input);\n    return Either.isLeft(decoded)\n        ? Either.left(Object.freeze({ code: \"evaluations-payload-schema-invalid\" as const }))\n        : Either.right(decoded.right);\n}\nexport function buildEvaluationsPayload(input: EvaluationsPayload): Either.Either<EvaluationsPayload, EvaluationsPayloadBuildError> {\n    const decoded = Schema.decodeUnknownEither(EvaluationsPayloadStructuralSchema, ExactEvaluationParseOptions)(input);\n    if (Either.isLeft(decoded))\n        return Either.left(Object.freeze({ code: \"evaluations-payload-schema-invalid\" as const }));\n    const issues = validateEvaluationsPayload(decoded.right);\n    if (issues.length > 0)\n        return Either.left(Object.freeze({ code: \"evaluations-payload-coherence-invalid\" as const, issues }));\n    return Either.right(decoded.right);\n}\nexport interface EvaluationSlotProjection extends EvaluationSlot {\n    readonly evalId: EvaluationId;\n    readonly evaluationKind: EvaluationKind;\n}\nexport interface EvaluationsProjection {\n    readonly evaluationForSlot: (slotId: SlotId) => EvaluationSlotProjection | undefined;\n}\nexport function projectEvaluationsPayload(payload: EvaluationsPayload): EvaluationsProjection {\n    const slots = new Map<string, EvaluationSlotProjection>();\n    for (const evaluation of payload.evaluations) {\n        for (const slot of evaluation.slots) {\n            slots.set(slot.slotId, Object.freeze({ ...slot, evalId: evaluation.evalId, evaluationKind: evaluation.evaluationKind }));\n        }\n    }\n    return Object.freeze({ evaluationForSlot: (slotId: SlotId) => slots.get(slotId) });\n}\nexport interface Evaluation {\n    readonly id: EvaluationId;\n    readonly kind: EvaluationKind;\n    readonly slots: readonly EvaluationSlot[];\n}\nexport interface Evaluations {\n    readonly experimentId: ExperimentId;\n    readonly evaluations: readonly Evaluation[];\n}\nexport function projectEvaluations(payload: EvaluationsPayload): Evaluations {\n    return Object.freeze({\n        experimentId: payload.experimentId,\n        evaluations: Object.freeze(payload.evaluations.map((evaluation) => Object.freeze({\n            id: evaluation.evalId,\n            kind: evaluation.evaluationKind,\n            slots: Object.freeze([...evaluation.slots]),\n        }))),\n    });\n}\n"]}

package/dist/eval/record/evaluation.d.cts

@@ -1,27 +1,23 @@
 import { Either, Schema } from "effect";
-import { type RecordAttachmentValue, type RecordAttachmentWrite } from "../../record/attachment/index.cjs";
 import { type SlotId } from "../../record/model/identifiers.cjs";
-import { type RecordAttachmentProjector } from "../../projection/projector.cjs";
 import { EvaluationRecordIdentitySchema } from "./attachment.cjs";
-export declare const EVALUATIONS_ATTACHMENT_NAME_V1: "niceeval.evaluations";
-export declare const EVALUATIONS_ATTACHMENT_SCHEMA_ID_V1: "niceeval.evaluations/v1";
-/** The first Evaluation Attachment deliberately has only two kinds. */
-export declare const EvaluationKindV1Schema: Schema.Literal<["pass", "score"]>;
-export type EvaluationKindV1 = Schema.Schema.Type<typeof EvaluationKindV1Schema>;
-export type EvaluationIdV1 = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;
-export type ExperimentIdV1 = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;
-/** The ordinal is part of the Slot-to-Eval plan; SlotId itself is opaque. */
-export declare const EvaluationAttemptOrdinalV1Schema: Schema.filter<Schema.filter<typeof Schema.Number>>;
-export type EvaluationAttemptOrdinalV1 = Schema.Schema.Type<typeof EvaluationAttemptOrdinalV1Schema>;
-/** One Run denominator Slot's position within an Eval. */
-export declare const EvaluationSlotV1Schema: Schema.Struct<{
+/**
+ * Eval-to-slot planning is transient. Core carries the immutable Slot identity
+ * once a Run is created; no evaluations Attachment exists in Record v1.
+ */
+export declare const EvaluationKindSchema: Schema.Literal<["pass", "score"]>;
+export type EvaluationKind = Schema.Schema.Type<typeof EvaluationKindSchema>;
+export type EvaluationId = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;
+export type ExperimentId = Schema.Schema.Type<typeof EvaluationRecordIdentitySchema>;
+export declare const EvaluationAttemptOrdinalSchema: Schema.filter<Schema.filter<typeof Schema.Number>>;
+export type EvaluationAttemptOrdinal = Schema.Schema.Type<typeof EvaluationAttemptOrdinalSchema>;
+export declare const EvaluationSlotSchema: Schema.Struct<{
     slotId: Schema.Schema<SlotId, string, never>;
     attempt: Schema.filter<Schema.filter<typeof Schema.Number>>;
 }>;
-export type EvaluationSlotV1 = Schema.Schema.Type<typeof EvaluationSlotV1Schema>;
-export type EvaluationSlotV1Encoded = Schema.Schema.Encoded<typeof EvaluationSlotV1Schema>;
-/** A distinct path-derived Eval and every Slot that invokes it in this Run. */
-export declare const EvaluationDefinitionV1Schema: Schema.Struct<{
+export type EvaluationSlot = Schema.Schema.Type<typeof EvaluationSlotSchema>;
+export type EvaluationSlotEncoded = Schema.Schema.Encoded<typeof EvaluationSlotSchema>;
+export declare const EvaluationDefinitionSchema: Schema.Struct<{
     evalId: Schema.filter<typeof Schema.String>;
     evaluationKind: Schema.Literal<["pass", "score"]>;
     slots: Schema.NonEmptyArray<Schema.Struct<{
@@ -29,13 +25,9 @@ export declare const EvaluationDefinitionV1Schema: Schema.Struct<{
         attempt: Schema.filter<Schema.filter<typeof Schema.Number>>;
     }>>;
 }>;
-export type EvaluationDefinitionV1 = Schema.Schema.Type<typeof EvaluationDefinitionV1Schema>;
-export type EvaluationDefinitionV1Encoded = Schema.Schema.Encoded<typeof EvaluationDefinitionV1Schema>;
-/**
- * Run-owned facts for offline Experiment selection and Slot classification.
- * Each Eval occurs once; every expected Slot belongs to exactly one Eval entry.
- */
-declare const EvaluationsPayloadV1StructuralSchema: Schema.Struct<{
+export type EvaluationDefinition = Schema.Schema.Type<typeof EvaluationDefinitionSchema>;
+export type EvaluationDefinitionEncoded = Schema.Schema.Encoded<typeof EvaluationDefinitionSchema>;
+declare const EvaluationsPayloadStructuralSchema: Schema.Struct<{
     experimentId: Schema.filter<typeof Schema.String>;
     evaluations: Schema.Array$<Schema.Struct<{
         evalId: Schema.filter<typeof Schema.String>;
@@ -46,18 +38,18 @@ declare const EvaluationsPayloadV1StructuralSchema: Schema.Struct<{
         }>>;
     }>>;
 }>;
-export type EvaluationsPayloadV1 = Schema.Schema.Type<typeof EvaluationsPayloadV1StructuralSchema>;
-export type EvaluationsPayloadV1Encoded = Schema.Schema.Encoded<typeof EvaluationsPayloadV1StructuralSchema>;
-export type EvaluationsPayloadIssueV1 = {
+export type EvaluationsPayload = Schema.Schema.Type<typeof EvaluationsPayloadStructuralSchema>;
+export type EvaluationsPayloadEncoded = Schema.Schema.Encoded<typeof EvaluationsPayloadStructuralSchema>;
+export type EvaluationsPayloadIssue = {
     readonly code: "evaluations-eval-order-invalid";
     readonly index: number;
-    readonly evalId: EvaluationIdV1;
+    readonly evalId: EvaluationId;
 } | {
     readonly code: "evaluations-eval-duplicate";
-    readonly evalId: EvaluationIdV1;
+    readonly evalId: EvaluationId;
 } | {
     readonly code: "evaluations-slot-order-invalid";
-    readonly evalId: EvaluationIdV1;
+    readonly evalId: EvaluationId;
     readonly index: number;
     readonly slotId: SlotId;
 } | {
@@ -65,18 +57,11 @@ export type EvaluationsPayloadIssueV1 = {
     readonly slotId: SlotId;
 } | {
     readonly code: "evaluations-attempt-duplicate";
-    readonly evalId: EvaluationIdV1;
-    readonly attempt: EvaluationAttemptOrdinalV1;
+    readonly evalId: EvaluationId;
+    readonly attempt: EvaluationAttemptOrdinal;
 };
-/**
- * Checks the semantic invariants outside a Struct: canonical identity order,
- * one Eval definition per EvalId, one Slot globally, and one Slot per Eval
- * ordinal. The latter lets reuse planning match `(evalId, attempt)` without
- * deriving identity from a filesystem name.
- */
-export declare function validateEvaluationsPayloadV1(payload: EvaluationsPayloadV1): readonly EvaluationsPayloadIssueV1[];
-/** Exact JSON schema for `niceeval.evaluations/v1`. */
-export declare const EvaluationsPayloadV1Schema: Schema.filter<Schema.Struct<{
+export declare function validateEvaluationsPayload(payload: EvaluationsPayload): readonly EvaluationsPayloadIssue[];
+export declare const EvaluationsPayloadSchema: Schema.filter<Schema.Struct<{
     experimentId: Schema.filter<typeof Schema.String>;
     evaluations: Schema.Array$<Schema.Struct<{
         evalId: Schema.filter<typeof Schema.String>;
@@ -87,89 +72,28 @@ export declare const EvaluationsPayloadV1Schema: Schema.filter<Schema.Struct<{
         }>>;
     }>>;
 }>>;
-/** The built-in Run Attachment definition owns exact decode and blob closure. */
-export declare const evaluationsAttachmentDefinitionV1: import("../../record/attachment/types.cjs").JsonRecordAttachmentDefinition<"run", {
-    readonly experimentId: string;
-    readonly evaluations: readonly {
-        readonly evaluationKind: "score" | "pass";
-        readonly evalId: string;
-        readonly slots: readonly [{
-            readonly attempt: number;
-            readonly slotId: SlotId;
-        }, ...{
-            readonly attempt: number;
-            readonly slotId: SlotId;
-        }[]];
-    }[];
-}>;
-export declare const evaluationsAttachmentFamilyV1: import("../../record/attachment/types.cjs").RecordAttachmentFamily<"run", {
-    readonly experimentId: string;
-    readonly evaluations: readonly {
-        readonly evaluationKind: "score" | "pass";
-        readonly evalId: string;
-        readonly slots: readonly [{
-            readonly attempt: number;
-            readonly slotId: SlotId;
-        }, ...{
-            readonly attempt: number;
-            readonly slotId: SlotId;
-        }[]];
-    }[];
-}>;
-export declare function decodeEvaluationsPayloadV1(input: unknown): Either.Either<{
-    readonly experimentId: string;
-    readonly evaluations: readonly {
-        readonly evaluationKind: "score" | "pass";
-        readonly evalId: string;
-        readonly slots: readonly [{
-            readonly attempt: number;
-            readonly slotId: SlotId;
-        }, ...{
-            readonly attempt: number;
-            readonly slotId: SlotId;
-        }[]];
-    }[];
-}, import("../../record/attachment/errors.cjs").RecordAttachmentPayloadInvalid>;
-export type EvaluationsPayloadBuildErrorV1 = {
-    readonly code: "evaluations-payload-schema-invalid";
-} | {
-    readonly code: "evaluations-payload-coherence-invalid";
-    readonly issues: readonly EvaluationsPayloadIssueV1[];
+export type EvaluationsPayloadBuildError = {
+    readonly code: "evaluations-payload-schema-invalid" | "evaluations-payload-coherence-invalid";
+    readonly issues?: readonly EvaluationsPayloadIssue[];
 };
-/**
- * Producer-side constructor. It canonicalizes evaluation and Slot ordering,
- * while rejecting duplicate Slot/ordinal identities instead of guessing a
- * mapping from the current worktree.
- */
-export declare function buildEvaluationsPayloadV1(input: EvaluationsPayloadV1): Either.Either<EvaluationsPayloadV1, EvaluationsPayloadBuildErrorV1>;
-/** Builds the real Run-owned opaque write after canonicalizing producer facts. */
-export declare function buildEvaluationsAttachmentWriteV1(input: EvaluationsPayloadV1): Either.Either<RecordAttachmentWrite<"run", never, never>, EvaluationsPayloadBuildErrorV1>;
-/** The flattened lookup value reports need for each denominator Slot. */
-export interface EvaluationSlotProjectionV1 extends EvaluationSlotV1 {
-    readonly evalId: EvaluationIdV1;
-    readonly evaluationKind: EvaluationKindV1;
+export declare function decodeEvaluationsPayload(input: unknown): Either.Either<EvaluationsPayload, EvaluationsPayloadBuildError>;
+export declare function buildEvaluationsPayload(input: EvaluationsPayload): Either.Either<EvaluationsPayload, EvaluationsPayloadBuildError>;
+export interface EvaluationSlotProjection extends EvaluationSlot {
+    readonly evalId: EvaluationId;
+    readonly evaluationKind: EvaluationKind;
 }
-/** A pure lookup projection; RecordAttachment reads supply the frozen payload. */
-export interface EvaluationsProjectionV1 {
-    readonly experimentId: ExperimentIdV1;
-    readonly evaluations: readonly EvaluationDefinitionV1[];
-    readonly evaluationForSlot: (slotId: SlotId) => EvaluationSlotProjectionV1 | undefined;
+export interface EvaluationsProjection {
+    readonly evaluationForSlot: (slotId: SlotId) => EvaluationSlotProjection | undefined;
 }
-export declare function projectEvaluationsPayloadV1(payload: EvaluationsPayloadV1): EvaluationsProjectionV1;
-/** A typed, synchronous projection over one available Record Attachment value. */
-export declare function projectEvaluationsAttachmentV1(value: RecordAttachmentValue<EvaluationsPayloadV1>): EvaluationsProjectionV1;
-/** The report-facing type of one Slot's Evaluation. */
-export type EvaluationKind = "pass" | "score";
+export declare function projectEvaluationsPayload(payload: EvaluationsPayload): EvaluationsProjection;
 export interface Evaluation {
+    readonly id: EvaluationId;
     readonly kind: EvaluationKind;
+    readonly slots: readonly EvaluationSlot[];
 }
-/**
- * Run-level Evaluation lookup. It intentionally exposes only the question a
- * consumer can answer for a Sample slot, rather than the durable plan shape.
- */
 export interface Evaluations {
-    readonly evaluationForSlot: (slotId: SlotId) => Evaluation | undefined;
+    readonly experimentId: ExperimentId;
+    readonly evaluations: readonly Evaluation[];
 }
-/** The public Evaluation lookup for a Run-owned Attachment. */
-export declare const evaluationsProjector: RecordAttachmentProjector<"run", Evaluations>;
+export declare function projectEvaluations(payload: EvaluationsPayload): Evaluations;
 export {};