niceeval 0.12.2-canary.31 → 0.13.0

package/dist/coordination/record-leases.cjs

@@ -0,0 +1,22 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RecordCoordination = void 0;
+exports.issueRecordLease = issueRecordLease;
+exports.recordCoordinationIdentityMismatch = recordCoordinationIdentityMismatch;
+const effect_1 = require("effect");
+const recordLeaseTypeId = Symbol("@niceeval/coordination/RecordLease");
+class RecordCoordination extends effect_1.Context.Tag("@niceeval/coordination/RecordCoordination")() {
+}
+exports.RecordCoordination = RecordCoordination;
+/** @internal The Node platform is the only issuer of concrete lease handles. */
+function issueRecordLease(kind) {
+    const lease = {
+        kind,
+        [recordLeaseTypeId]: recordLeaseTypeId,
+    };
+    return Object.freeze(lease);
+}
+function recordCoordinationIdentityMismatch() {
+    return Object.freeze({ code: "record-coordination-identity-mismatch" });
+}
+//# sourceMappingURL=record-leases.cjs.map

package/dist/coordination/record-leases.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-leases.js","sourceRoot":"","sources":["record-leases.ts"],"names":[],"mappings":";;;AAmCA,4CAMC;AACD,gFAEC;AA5CD,mCAAyC;AAKzC,MAAM,iBAAiB,GAAkB,MAAM,CAAC,oCAAoC,CAAC,CAAC;AA2BtF,MAAa,kBAAmB,SAAQ,gBAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,EAAiD;CAChJ;AADD,gDACC;AACD,gFAAgF;AAChF,SAAgB,gBAAgB,CAAC,IAAqB;IAClD,MAAM,KAAK,GAAgB;QACvB,IAAI;QACJ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB;KACzC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AACD,SAAgB,kCAAkC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,uCAAuC,EAAE,CAAC,CAAC;AAC5E,CAAC","sourcesContent":["import { Context, Effect } from \"effect\";\nimport type { RecordId } from \"../record/model/identifiers.ts\";\nimport type { RecordFileSystemError, RecordMaintenanceBusy, } from \"../record/platform/errors.ts\";\nimport type { RecordRoot } from \"../record/platform/root.ts\";\nexport type RecordLeaseKind = \"read\" | \"append\" | \"maintenance\";\nconst recordLeaseTypeId: unique symbol = Symbol(\"@niceeval/coordination/RecordLease\");\n/** A local, Scope-owned proof that one named Record operation remains active. */\nexport interface RecordLease {\n    readonly kind: RecordLeaseKind;\n    readonly [recordLeaseTypeId]: typeof recordLeaseTypeId;\n}\n/**\n * A stale or copied local state directory must not coordinate a different\n * portable Record that happens to use the same host root.\n */\nexport interface RecordCoordinationIdentityMismatch {\n    readonly code: \"record-coordination-identity-mismatch\";\n}\nexport type RecordCoordinationError = RecordFileSystemError | RecordMaintenanceBusy | RecordCoordinationIdentityMismatch;\nexport interface RecordCoordinationService {\n    /** Shared lease; readers coexist with append writers. */\n    readonly enterRecordRead: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import(\"effect\").Scope.Scope>;\n    /** Shared lease; append writers never serialize with one another. */\n    readonly enterRecordAppend: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import(\"effect\").Scope.Scope>;\n    /** Exclusive lease for clean and migration. It never waits while half-open. */\n    readonly enterRecordMaintenance: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import(\"effect\").Scope.Scope>;\n    /** Rechecks the portable immutable identity against the local sidecar. */\n    readonly verifyRecordIdentity: (input: {\n        readonly root: RecordRoot;\n        readonly recordId: RecordId;\n    }) => Effect.Effect<void, RecordCoordinationError>;\n}\nexport class RecordCoordination extends Context.Tag(\"@niceeval/coordination/RecordCoordination\")<RecordCoordination, RecordCoordinationService>() {\n}\n/** @internal The Node platform is the only issuer of concrete lease handles. */\nexport function issueRecordLease(kind: RecordLeaseKind): RecordLease {\n    const lease: RecordLease = {\n        kind,\n        [recordLeaseTypeId]: recordLeaseTypeId,\n    };\n    return Object.freeze(lease);\n}\nexport function recordCoordinationIdentityMismatch(): RecordCoordinationIdentityMismatch {\n    return Object.freeze({ code: \"record-coordination-identity-mismatch\" });\n}\n"]}

package/dist/coordination/record-leases.d.cts

@@ -0,0 +1,39 @@
+import { Context, Effect } from "effect";
+import type { RecordId } from "../record/model/identifiers.cjs";
+import type { RecordFileSystemError, RecordMaintenanceBusy } from "../record/platform/errors.cjs";
+import type { RecordRoot } from "../record/platform/root.cjs";
+export type RecordLeaseKind = "read" | "append" | "maintenance";
+declare const recordLeaseTypeId: unique symbol;
+/** A local, Scope-owned proof that one named Record operation remains active. */
+export interface RecordLease {
+    readonly kind: RecordLeaseKind;
+    readonly [recordLeaseTypeId]: typeof recordLeaseTypeId;
+}
+/**
+ * A stale or copied local state directory must not coordinate a different
+ * portable Record that happens to use the same host root.
+ */
+export interface RecordCoordinationIdentityMismatch {
+    readonly code: "record-coordination-identity-mismatch";
+}
+export type RecordCoordinationError = RecordFileSystemError | RecordMaintenanceBusy | RecordCoordinationIdentityMismatch;
+export interface RecordCoordinationService {
+    /** Shared lease; readers coexist with append writers. */
+    readonly enterRecordRead: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Shared lease; append writers never serialize with one another. */
+    readonly enterRecordAppend: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Exclusive lease for clean and migration. It never waits while half-open. */
+    readonly enterRecordMaintenance: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Rechecks the portable immutable identity against the local sidecar. */
+    readonly verifyRecordIdentity: (input: {
+        readonly root: RecordRoot;
+        readonly recordId: RecordId;
+    }) => Effect.Effect<void, RecordCoordinationError>;
+}
+declare const RecordCoordination_base: Context.TagClass<RecordCoordination, "@niceeval/coordination/RecordCoordination", RecordCoordinationService>;
+export declare class RecordCoordination extends RecordCoordination_base {
+}
+/** @internal The Node platform is the only issuer of concrete lease handles. */
+export declare function issueRecordLease(kind: RecordLeaseKind): RecordLease;
+export declare function recordCoordinationIdentityMismatch(): RecordCoordinationIdentityMismatch;
+export {};

package/dist/coordination/record-leases.d.mts

@@ -0,0 +1,39 @@
+import { Context, Effect } from "effect";
+import type { RecordId } from "../record/model/identifiers.mjs";
+import type { RecordFileSystemError, RecordMaintenanceBusy } from "../record/platform/errors.mjs";
+import type { RecordRoot } from "../record/platform/root.mjs";
+export type RecordLeaseKind = "read" | "append" | "maintenance";
+declare const recordLeaseTypeId: unique symbol;
+/** A local, Scope-owned proof that one named Record operation remains active. */
+export interface RecordLease {
+    readonly kind: RecordLeaseKind;
+    readonly [recordLeaseTypeId]: typeof recordLeaseTypeId;
+}
+/**
+ * A stale or copied local state directory must not coordinate a different
+ * portable Record that happens to use the same host root.
+ */
+export interface RecordCoordinationIdentityMismatch {
+    readonly code: "record-coordination-identity-mismatch";
+}
+export type RecordCoordinationError = RecordFileSystemError | RecordMaintenanceBusy | RecordCoordinationIdentityMismatch;
+export interface RecordCoordinationService {
+    /** Shared lease; readers coexist with append writers. */
+    readonly enterRecordRead: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Shared lease; append writers never serialize with one another. */
+    readonly enterRecordAppend: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Exclusive lease for clean and migration. It never waits while half-open. */
+    readonly enterRecordMaintenance: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Rechecks the portable immutable identity against the local sidecar. */
+    readonly verifyRecordIdentity: (input: {
+        readonly root: RecordRoot;
+        readonly recordId: RecordId;
+    }) => Effect.Effect<void, RecordCoordinationError>;
+}
+declare const RecordCoordination_base: Context.TagClass<RecordCoordination, "@niceeval/coordination/RecordCoordination", RecordCoordinationService>;
+export declare class RecordCoordination extends RecordCoordination_base {
+}
+/** @internal The Node platform is the only issuer of concrete lease handles. */
+export declare function issueRecordLease(kind: RecordLeaseKind): RecordLease;
+export declare function recordCoordinationIdentityMismatch(): RecordCoordinationIdentityMismatch;
+export {};

package/dist/coordination/record-leases.d.ts

@@ -0,0 +1,39 @@
+import { Context, Effect } from "effect";
+import type { RecordId } from "../record/model/identifiers.js";
+import type { RecordFileSystemError, RecordMaintenanceBusy } from "../record/platform/errors.js";
+import type { RecordRoot } from "../record/platform/root.js";
+export type RecordLeaseKind = "read" | "append" | "maintenance";
+declare const recordLeaseTypeId: unique symbol;
+/** A local, Scope-owned proof that one named Record operation remains active. */
+export interface RecordLease {
+    readonly kind: RecordLeaseKind;
+    readonly [recordLeaseTypeId]: typeof recordLeaseTypeId;
+}
+/**
+ * A stale or copied local state directory must not coordinate a different
+ * portable Record that happens to use the same host root.
+ */
+export interface RecordCoordinationIdentityMismatch {
+    readonly code: "record-coordination-identity-mismatch";
+}
+export type RecordCoordinationError = RecordFileSystemError | RecordMaintenanceBusy | RecordCoordinationIdentityMismatch;
+export interface RecordCoordinationService {
+    /** Shared lease; readers coexist with append writers. */
+    readonly enterRecordRead: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Shared lease; append writers never serialize with one another. */
+    readonly enterRecordAppend: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Exclusive lease for clean and migration. It never waits while half-open. */
+    readonly enterRecordMaintenance: (root: RecordRoot) => Effect.Effect<RecordLease, RecordCoordinationError, import("effect").Scope.Scope>;
+    /** Rechecks the portable immutable identity against the local sidecar. */
+    readonly verifyRecordIdentity: (input: {
+        readonly root: RecordRoot;
+        readonly recordId: RecordId;
+    }) => Effect.Effect<void, RecordCoordinationError>;
+}
+declare const RecordCoordination_base: Context.TagClass<RecordCoordination, "@niceeval/coordination/RecordCoordination", RecordCoordinationService>;
+export declare class RecordCoordination extends RecordCoordination_base {
+}
+/** @internal The Node platform is the only issuer of concrete lease handles. */
+export declare function issueRecordLease(kind: RecordLeaseKind): RecordLease;
+export declare function recordCoordinationIdentityMismatch(): RecordCoordinationIdentityMismatch;
+export {};

package/dist/coordination/record-leases.js

@@ -0,0 +1,10 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./record-leases.cjs");
+const __niceevalExport0 = __niceevalCanonical["RecordCoordination"];
+export { __niceevalExport0 as RecordCoordination };
+const __niceevalExport1 = __niceevalCanonical["issueRecordLease"];
+export { __niceevalExport1 as issueRecordLease };
+const __niceevalExport2 = __niceevalCanonical["recordCoordinationIdentityMismatch"];
+export { __niceevalExport2 as recordCoordinationIdentityMismatch };
+//# sourceMappingURL=record-leases.js.map

package/dist/coordination/record-leases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-leases.js","sources":[],"names":[],"mappings":""}

package/dist/eval/experiment-id.cjs

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.evaluationsAttachmentFamily = exports.evaluationsAttachmentName = exports.ExperimentIdSchema = void 0;
+exports.ExperimentIdSchema = void 0;
 const effect_1 = require("effect");
 /**
  * A current Experiment identity used by Analysis selection. Its text is
@@ -11,8 +11,4 @@ exports.ExperimentIdSchema = effect_1.Schema.String.pipe(effect_1.Schema.filter(
     identifier: "ExperimentId",
     description: "a non-empty Experiment identity string without NUL",
 }));
-/** @internal Current Evaluation producer bridge for Analysis selection. */
-var evaluation_ts_1 = require("./record/evaluation.cjs");
-Object.defineProperty(exports, "evaluationsAttachmentName", { enumerable: true, get: function () { return evaluation_ts_1.EVALUATIONS_ATTACHMENT_NAME_V1; } });
-Object.defineProperty(exports, "evaluationsAttachmentFamily", { enumerable: true, get: function () { return evaluation_ts_1.evaluationsAttachmentFamilyV1; } });
 //# sourceMappingURL=experiment-id.cjs.map

package/dist/eval/experiment-id.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"experiment-id.js","sourceRoot":"","sources":["experiment-id.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC;;;;GAIG;AACU,QAAA,kBAAkB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;IACzH,UAAU,EAAE,cAAc;IAC1B,WAAW,EAAE,oDAAoD;CACpE,CAAC,CAAC,CAAC;AAEJ,2EAA2E;AAC3E,wDAAoK;AAA3J,0HAAA,8BAA8B,OAA6B;AAAE,4HAAA,6BAA6B,OAA+B","sourcesContent":["import { Schema } from \"effect\";\n/**\n * A current Experiment identity used by Analysis selection. Its text is\n * portable across Record snapshots, while the Record Attachment that carries\n * it remains an implementation detail of the Evaluation producer.\n */\nexport const ExperimentIdSchema = Schema.String.pipe(Schema.filter((value) => value.length > 0 && !value.includes(\"\\u0000\"), {\n    identifier: \"ExperimentId\",\n    description: \"a non-empty Experiment identity string without NUL\",\n}));\nexport type ExperimentId = Schema.Schema.Type<typeof ExperimentIdSchema>;\n/** @internal Current Evaluation producer bridge for Analysis selection. */\nexport { EVALUATIONS_ATTACHMENT_NAME_V1 as evaluationsAttachmentName, evaluationsAttachmentFamilyV1 as evaluationsAttachmentFamily, } from \"./record/evaluation.ts\";\n"]}
+{"version":3,"file":"experiment-id.js","sourceRoot":"","sources":["experiment-id.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC;;;;GAIG;AACU,QAAA,kBAAkB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;IACzH,UAAU,EAAE,cAAc;IAC1B,WAAW,EAAE,oDAAoD;CACpE,CAAC,CAAC,CAAC","sourcesContent":["import { Schema } from \"effect\";\n/**\n * A current Experiment identity used by Analysis selection. Its text is\n * portable across Record snapshots, while the Record Attachment that carries\n * it remains an implementation detail of the Evaluation producer.\n */\nexport const ExperimentIdSchema = Schema.String.pipe(Schema.filter((value) => value.length > 0 && !value.includes(\"\\u0000\"), {\n    identifier: \"ExperimentId\",\n    description: \"a non-empty Experiment identity string without NUL\",\n}));\nexport type ExperimentId = Schema.Schema.Type<typeof ExperimentIdSchema>;\n"]}

package/dist/eval/experiment-id.d.cts

@@ -6,5 +6,3 @@ import { Schema } from "effect";
  */
 export declare const ExperimentIdSchema: Schema.filter<typeof Schema.String>;
 export type ExperimentId = Schema.Schema.Type<typeof ExperimentIdSchema>;
-/** @internal Current Evaluation producer bridge for Analysis selection. */
-export { EVALUATIONS_ATTACHMENT_NAME_V1 as evaluationsAttachmentName, evaluationsAttachmentFamilyV1 as evaluationsAttachmentFamily, } from "./record/evaluation.cjs";

package/dist/eval/experiment-id.d.mts

@@ -6,5 +6,3 @@ import { Schema } from "effect";
  */
 export declare const ExperimentIdSchema: Schema.filter<typeof Schema.String>;
 export type ExperimentId = Schema.Schema.Type<typeof ExperimentIdSchema>;
-/** @internal Current Evaluation producer bridge for Analysis selection. */
-export { EVALUATIONS_ATTACHMENT_NAME_V1 as evaluationsAttachmentName, evaluationsAttachmentFamilyV1 as evaluationsAttachmentFamily, } from "./record/evaluation.mjs";

package/dist/eval/experiment-id.d.ts

@@ -6,5 +6,3 @@ import { Schema } from "effect";
  */
 export declare const ExperimentIdSchema: Schema.filter<typeof Schema.String>;
 export type ExperimentId = Schema.Schema.Type<typeof ExperimentIdSchema>;
-/** @internal Current Evaluation producer bridge for Analysis selection. */
-export { EVALUATIONS_ATTACHMENT_NAME_V1 as evaluationsAttachmentName, evaluationsAttachmentFamilyV1 as evaluationsAttachmentFamily, } from "./record/evaluation.js";

package/dist/eval/experiment-id.js

@@ -3,8 +3,4 @@ const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./experiment-id.cjs");
 const __niceevalExport0 = __niceevalCanonical["ExperimentIdSchema"];
 export { __niceevalExport0 as ExperimentIdSchema };
-const __niceevalExport1 = __niceevalCanonical["evaluationsAttachmentFamily"];
-export { __niceevalExport1 as evaluationsAttachmentFamily };
-const __niceevalExport2 = __niceevalCanonical["evaluationsAttachmentName"];
-export { __niceevalExport2 as evaluationsAttachmentName };
 //# sourceMappingURL=experiment-id.js.map

package/dist/eval/record/attachment.cjs

@@ -1,60 +1,20 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.FiniteNonNegativeNumberV1Schema = exports.EvaluationRecordIdentitySchema = exports.ExactRecordAttachmentParseOptions = void 0;
-exports.noRecordAttachmentBlobs = noRecordAttachmentBlobs;
-exports.requireRecordAttachmentCapabilityV1 = requireRecordAttachmentCapabilityV1;
-exports.makeNoBlobRecordAttachmentWriteV1 = makeNoBlobRecordAttachmentWriteV1;
+exports.FiniteNonNegativeNumberSchema = exports.EvaluationRecordIdentitySchema = exports.ExactEvaluationParseOptions = void 0;
 const effect_1 = require("effect");
-const index_ts_1 = require("../../record/attachment/index.cjs");
 /**
- * Every RecordAttachment payload is decoded as an exact JSON object. Keep this
- * option next to the producer-owned payload schemas so their direct checks use
- * the same boundary as the future RecordAttachment definition.
+ * Eval-only exact decoding options. Eval plans and calculations are transient:
+ * Record v1 does not give them their own Attachment family.
  */
-exports.ExactRecordAttachmentParseOptions = Object.freeze({
+exports.ExactEvaluationParseOptions = Object.freeze({
     errors: "all",
     onExcessProperty: "error",
 });
-/** A path-derived Eval or Experiment identity kept in an Attachment payload. */
+/** A path-derived Eval or Experiment identity used only by planning code. */
 exports.EvaluationRecordIdentitySchema = effect_1.Schema.String.pipe(effect_1.Schema.filter((value) => value.length > 0 && !value.includes("\u0000"), {
     identifier: "EvaluationRecordIdentity",
     description: "a non-empty identity string without NUL",
 }));
-/** Shared numeric boundary for sealed points and durable earned-score values. */
-exports.FiniteNonNegativeNumberV1Schema = effect_1.Schema.Number.pipe(effect_1.Schema.finite(), effect_1.Schema.nonNegative());
-/**
- * Built-in Attachment payloads in this directory never own blobs. This is an
- * input fragment for the Record Attachment API, not an Attachment runtime.
- */
-function noRecordAttachmentBlobs() {
-    return [];
-}
-/**
- * The empty builder collection carries `never` in its element type so
- * RecordAttachment's generic write derives no blob errors or requirements.
- */
-const noRecordAttachmentBlobDraftsV1 = Object.freeze([]);
-/** A built-in definition/family failure is a package construction defect. */
-function requireRecordAttachmentCapabilityV1(result, message) {
-    if (effect_1.Either.isLeft(result)) {
-        throw new Error(message);
-    }
-    return result.right;
-}
-/**
- * Connects an already-built payload to Record's real opaque write capability.
- * These three business Attachments never project blob refs, so closure
- * validation is still executed through Record rather than reimplemented here.
- */
-function makeNoBlobRecordAttachmentWriteV1(family, payload) {
-    const write = (0, index_ts_1.makeRecordAttachmentWrite)(family, () => ({
-        payload,
-        blobs: noRecordAttachmentBlobDraftsV1,
-    }));
-    const closure = (0, index_ts_1.validateRecordAttachmentWrite)(write);
-    if (effect_1.Either.isLeft(closure)) {
-        throw new Error("A no-blob Evaluation RecordAttachment write was invalid");
-    }
-    return write;
-}
+/** Shared numeric boundary for transient score calculations. */
+exports.FiniteNonNegativeNumberSchema = effect_1.Schema.Number.pipe(effect_1.Schema.finite(), effect_1.Schema.nonNegative());
 //# sourceMappingURL=attachment.cjs.map

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

@@ -1 +1 @@
-{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;;AAwBA,0DAGC;AAOD,kFAKC;AAMD,8EAUC;AAvDD,mCAAwC;AACxC,+DAAsM;AAEtM;;;;GAIG;AACU,QAAA,iCAAiC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3D,MAAM,EAAE,KAAc;IACtB,gBAAgB,EAAE,OAAgB;CACrC,CAAC,CAAC;AACH,gFAAgF;AACnE,QAAA,8BAA8B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;IACrI,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,yCAAyC;CACzD,CAAC,CAAC,CAAC;AACJ,iFAAiF;AACpE,QAAA,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,EAAE,EAAE,eAAM,CAAC,WAAW,EAAE,CAAC,CAAC;AAEzG;;;GAGG;AACH,SAAgB,uBAAuB;IAEnC,OAAO,EAAE,CAAC;AACd,CAAC;AACD;;;GAGG;AACH,MAAM,8BAA8B,GAAuD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC7G,6EAA6E;AAC7E,SAAgB,mCAAmC,CAAkB,MAAsC,EAAE,OAAe;IACxH,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC;AACxB,CAAC;AACD;;;;GAIG;AACH,SAAgB,iCAAiC,CAA+C,MAA8C,EAAE,OAAgB;IAC5J,MAAM,KAAK,GAAG,IAAA,oCAAyB,EAAwD,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1G,OAAO;QACP,KAAK,EAAE,8BAA8B;KACxC,CAAC,CAAC,CAAC;IACJ,MAAM,OAAO,GAAG,IAAA,wCAA6B,EAAC,KAAK,CAAC,CAAC;IACrD,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { makeRecordAttachmentWrite, validateRecordAttachmentWrite, type RecordAttachmentBlobDraft, type RecordAttachmentFamily, type RecordAttachmentWrite, } from \"../../record/attachment/index.ts\";\nimport type { RecordAttachmentOwner } from \"../../record/model/core.ts\";\n/**\n * Every RecordAttachment payload is decoded as an exact JSON object. Keep this\n * option next to the producer-owned payload schemas so their direct checks use\n * the same boundary as the future RecordAttachment definition.\n */\nexport const ExactRecordAttachmentParseOptions = Object.freeze({\n    errors: \"all\" as const,\n    onExcessProperty: \"error\" as const,\n});\n/** A path-derived Eval or Experiment identity kept in an Attachment payload. */\nexport const EvaluationRecordIdentitySchema = Schema.String.pipe(Schema.filter((value) => value.length > 0 && !value.includes(\"\\u0000\"), {\n    identifier: \"EvaluationRecordIdentity\",\n    description: \"a non-empty identity string without NUL\",\n}));\n/** Shared numeric boundary for sealed points and durable earned-score values. */\nexport const FiniteNonNegativeNumberV1Schema = Schema.Number.pipe(Schema.finite(), Schema.nonNegative());\nexport type FiniteNonNegativeNumberV1 = Schema.Schema.Type<typeof FiniteNonNegativeNumberV1Schema>;\n/**\n * Built-in Attachment payloads in this directory never own blobs. This is an\n * input fragment for the Record Attachment API, not an Attachment runtime.\n */\nexport function noRecordAttachmentBlobs(): readonly [\n] {\n    return [];\n}\n/**\n * The empty builder collection carries `never` in its element type so\n * RecordAttachment's generic write derives no blob errors or requirements.\n */\nconst noRecordAttachmentBlobDraftsV1: readonly RecordAttachmentBlobDraft<never, never>[] = Object.freeze([]);\n/** A built-in definition/family failure is a package construction defect. */\nexport function requireRecordAttachmentCapabilityV1<Result, Failure>(result: Either.Either<Result, Failure>, message: string): Result {\n    if (Either.isLeft(result)) {\n        throw new Error(message);\n    }\n    return result.right;\n}\n/**\n * Connects an already-built payload to Record's real opaque write capability.\n * These three business Attachments never project blob refs, so closure\n * validation is still executed through Record rather than reimplemented here.\n */\nexport function makeNoBlobRecordAttachmentWriteV1<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>, payload: Payload): RecordAttachmentWrite<Owner, never, never> {\n    const write = makeRecordAttachmentWrite<Owner, Payload, typeof noRecordAttachmentBlobDraftsV1>(family, () => ({\n        payload,\n        blobs: noRecordAttachmentBlobDraftsV1,\n    }));\n    const closure = validateRecordAttachmentWrite(write);\n    if (Either.isLeft(closure)) {\n        throw new Error(\"A no-blob Evaluation RecordAttachment write was invalid\");\n    }\n    return write;\n}\n"]}
+{"version":3,"file":"attachment.js","sourceRoot":"","sources":["attachment.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC;;;GAGG;AACU,QAAA,2BAA2B,GAAG,MAAM,CAAC,MAAM,CAAC;IACrD,MAAM,EAAE,KAAc;IACtB,gBAAgB,EAAE,OAAgB;CACrC,CAAC,CAAC;AACH,6EAA6E;AAChE,QAAA,8BAA8B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;IACrI,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,yCAAyC;CACzD,CAAC,CAAC,CAAC;AACJ,gEAAgE;AACnD,QAAA,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,EAAE,EAAE,eAAM,CAAC,WAAW,EAAE,CAAC,CAAC","sourcesContent":["import { Schema } from \"effect\";\n/**\n * Eval-only exact decoding options. Eval plans and calculations are transient:\n * Record v1 does not give them their own Attachment family.\n */\nexport const ExactEvaluationParseOptions = Object.freeze({\n    errors: \"all\" as const,\n    onExcessProperty: \"error\" as const,\n});\n/** A path-derived Eval or Experiment identity used only by planning code. */\nexport const EvaluationRecordIdentitySchema = Schema.String.pipe(Schema.filter((value) => value.length > 0 && !value.includes(\"\\u0000\"), {\n    identifier: \"EvaluationRecordIdentity\",\n    description: \"a non-empty identity string without NUL\",\n}));\n/** Shared numeric boundary for transient score calculations. */\nexport const FiniteNonNegativeNumberSchema = Schema.Number.pipe(Schema.finite(), Schema.nonNegative());\nexport type FiniteNonNegativeNumber = Schema.Schema.Type<typeof FiniteNonNegativeNumberSchema>;\n"]}

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

@@ -1,30 +1,14 @@
-import { Either, Schema } from "effect";
-import { type RecordAttachmentFamily, type RecordAttachmentWrite } from "../../record/attachment/index.cjs";
-import type { RecordAttachmentOwner } from "../../record/model/core.cjs";
+import { Schema } from "effect";
 /**
- * Every RecordAttachment payload is decoded as an exact JSON object. Keep this
- * option next to the producer-owned payload schemas so their direct checks use
- * the same boundary as the future RecordAttachment definition.
+ * Eval-only exact decoding options. Eval plans and calculations are transient:
+ * Record v1 does not give them their own Attachment family.
  */
-export declare const ExactRecordAttachmentParseOptions: Readonly<{
+export declare const ExactEvaluationParseOptions: Readonly<{
     errors: "all";
     onExcessProperty: "error";
 }>;
-/** A path-derived Eval or Experiment identity kept in an Attachment payload. */
+/** A path-derived Eval or Experiment identity used only by planning code. */
 export declare const EvaluationRecordIdentitySchema: Schema.filter<typeof Schema.String>;
-/** Shared numeric boundary for sealed points and durable earned-score values. */
-export declare const FiniteNonNegativeNumberV1Schema: Schema.filter<Schema.filter<typeof Schema.Number>>;
-export type FiniteNonNegativeNumberV1 = Schema.Schema.Type<typeof FiniteNonNegativeNumberV1Schema>;
-/**
- * Built-in Attachment payloads in this directory never own blobs. This is an
- * input fragment for the Record Attachment API, not an Attachment runtime.
- */
-export declare function noRecordAttachmentBlobs(): readonly [];
-/** A built-in definition/family failure is a package construction defect. */
-export declare function requireRecordAttachmentCapabilityV1<Result, Failure>(result: Either.Either<Result, Failure>, message: string): Result;
-/**
- * Connects an already-built payload to Record's real opaque write capability.
- * These three business Attachments never project blob refs, so closure
- * validation is still executed through Record rather than reimplemented here.
- */
-export declare function makeNoBlobRecordAttachmentWriteV1<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>, payload: Payload): RecordAttachmentWrite<Owner, never, never>;
+/** Shared numeric boundary for transient score calculations. */
+export declare const FiniteNonNegativeNumberSchema: Schema.filter<Schema.filter<typeof Schema.Number>>;
+export type FiniteNonNegativeNumber = Schema.Schema.Type<typeof FiniteNonNegativeNumberSchema>;

package/dist/eval/record/attachment.d.mts

@@ -1,30 +1,14 @@
-import { Either, Schema } from "effect";
-import { type RecordAttachmentFamily, type RecordAttachmentWrite } from "../../record/attachment/index.mjs";
-import type { RecordAttachmentOwner } from "../../record/model/core.mjs";
+import { Schema } from "effect";
 /**
- * Every RecordAttachment payload is decoded as an exact JSON object. Keep this
- * option next to the producer-owned payload schemas so their direct checks use
- * the same boundary as the future RecordAttachment definition.
+ * Eval-only exact decoding options. Eval plans and calculations are transient:
+ * Record v1 does not give them their own Attachment family.
  */
-export declare const ExactRecordAttachmentParseOptions: Readonly<{
+export declare const ExactEvaluationParseOptions: Readonly<{
     errors: "all";
     onExcessProperty: "error";
 }>;
-/** A path-derived Eval or Experiment identity kept in an Attachment payload. */
+/** A path-derived Eval or Experiment identity used only by planning code. */
 export declare const EvaluationRecordIdentitySchema: Schema.filter<typeof Schema.String>;
-/** Shared numeric boundary for sealed points and durable earned-score values. */
-export declare const FiniteNonNegativeNumberV1Schema: Schema.filter<Schema.filter<typeof Schema.Number>>;
-export type FiniteNonNegativeNumberV1 = Schema.Schema.Type<typeof FiniteNonNegativeNumberV1Schema>;
-/**
- * Built-in Attachment payloads in this directory never own blobs. This is an
- * input fragment for the Record Attachment API, not an Attachment runtime.
- */
-export declare function noRecordAttachmentBlobs(): readonly [];
-/** A built-in definition/family failure is a package construction defect. */
-export declare function requireRecordAttachmentCapabilityV1<Result, Failure>(result: Either.Either<Result, Failure>, message: string): Result;
-/**
- * Connects an already-built payload to Record's real opaque write capability.
- * These three business Attachments never project blob refs, so closure
- * validation is still executed through Record rather than reimplemented here.
- */
-export declare function makeNoBlobRecordAttachmentWriteV1<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>, payload: Payload): RecordAttachmentWrite<Owner, never, never>;
+/** Shared numeric boundary for transient score calculations. */
+export declare const FiniteNonNegativeNumberSchema: Schema.filter<Schema.filter<typeof Schema.Number>>;
+export type FiniteNonNegativeNumber = Schema.Schema.Type<typeof FiniteNonNegativeNumberSchema>;

package/dist/eval/record/attachment.d.ts

@@ -1,30 +1,14 @@
-import { Either, Schema } from "effect";
-import { type RecordAttachmentFamily, type RecordAttachmentWrite } from "../../record/attachment/index.js";
-import type { RecordAttachmentOwner } from "../../record/model/core.js";
+import { Schema } from "effect";
 /**
- * Every RecordAttachment payload is decoded as an exact JSON object. Keep this
- * option next to the producer-owned payload schemas so their direct checks use
- * the same boundary as the future RecordAttachment definition.
+ * Eval-only exact decoding options. Eval plans and calculations are transient:
+ * Record v1 does not give them their own Attachment family.
  */
-export declare const ExactRecordAttachmentParseOptions: Readonly<{
+export declare const ExactEvaluationParseOptions: Readonly<{
     errors: "all";
     onExcessProperty: "error";
 }>;
-/** A path-derived Eval or Experiment identity kept in an Attachment payload. */
+/** A path-derived Eval or Experiment identity used only by planning code. */
 export declare const EvaluationRecordIdentitySchema: Schema.filter<typeof Schema.String>;
-/** Shared numeric boundary for sealed points and durable earned-score values. */
-export declare const FiniteNonNegativeNumberV1Schema: Schema.filter<Schema.filter<typeof Schema.Number>>;
-export type FiniteNonNegativeNumberV1 = Schema.Schema.Type<typeof FiniteNonNegativeNumberV1Schema>;
-/**
- * Built-in Attachment payloads in this directory never own blobs. This is an
- * input fragment for the Record Attachment API, not an Attachment runtime.
- */
-export declare function noRecordAttachmentBlobs(): readonly [];
-/** A built-in definition/family failure is a package construction defect. */
-export declare function requireRecordAttachmentCapabilityV1<Result, Failure>(result: Either.Either<Result, Failure>, message: string): Result;
-/**
- * Connects an already-built payload to Record's real opaque write capability.
- * These three business Attachments never project blob refs, so closure
- * validation is still executed through Record rather than reimplemented here.
- */
-export declare function makeNoBlobRecordAttachmentWriteV1<Owner extends RecordAttachmentOwner, Payload>(family: RecordAttachmentFamily<Owner, Payload>, payload: Payload): RecordAttachmentWrite<Owner, never, never>;
+/** Shared numeric boundary for transient score calculations. */
+export declare const FiniteNonNegativeNumberSchema: Schema.filter<Schema.filter<typeof Schema.Number>>;
+export type FiniteNonNegativeNumber = Schema.Schema.Type<typeof FiniteNonNegativeNumberSchema>;

package/dist/eval/record/attachment.js

@@ -3,14 +3,8 @@ const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./attachment.cjs");
 const __niceevalExport0 = __niceevalCanonical["EvaluationRecordIdentitySchema"];
 export { __niceevalExport0 as EvaluationRecordIdentitySchema };
-const __niceevalExport1 = __niceevalCanonical["ExactRecordAttachmentParseOptions"];
-export { __niceevalExport1 as ExactRecordAttachmentParseOptions };
-const __niceevalExport2 = __niceevalCanonical["FiniteNonNegativeNumberV1Schema"];
-export { __niceevalExport2 as FiniteNonNegativeNumberV1Schema };
-const __niceevalExport3 = __niceevalCanonical["makeNoBlobRecordAttachmentWriteV1"];
-export { __niceevalExport3 as makeNoBlobRecordAttachmentWriteV1 };
-const __niceevalExport4 = __niceevalCanonical["noRecordAttachmentBlobs"];
-export { __niceevalExport4 as noRecordAttachmentBlobs };
-const __niceevalExport5 = __niceevalCanonical["requireRecordAttachmentCapabilityV1"];
-export { __niceevalExport5 as requireRecordAttachmentCapabilityV1 };
+const __niceevalExport1 = __niceevalCanonical["ExactEvaluationParseOptions"];
+export { __niceevalExport1 as ExactEvaluationParseOptions };
+const __niceevalExport2 = __niceevalCanonical["FiniteNonNegativeNumberSchema"];
+export { __niceevalExport2 as FiniteNonNegativeNumberSchema };
 //# sourceMappingURL=attachment.js.map

package/dist/eval/record/coherence.cjs

@@ -1,11 +1,11 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.validateEvaluationRecordCoherenceV1 = validateEvaluationRecordCoherenceV1;
+exports.validateEvaluationRecordCoherence = validateEvaluationRecordCoherence;
 const evaluation_ts_1 = require("./evaluation.cjs");
 const score_ts_1 = require("./score.cjs");
 const verdict_ts_1 = require("./verdict.cjs");
 function evaluationBySlot(evaluations) {
-    const projection = (0, evaluation_ts_1.projectEvaluationsPayloadV1)(evaluations);
+    const projection = (0, evaluation_ts_1.projectEvaluationsPayload)(evaluations);
     const bySlot = new Map();
     for (const definition of evaluations.evaluations) {
         for (const slot of definition.slots) {
@@ -22,7 +22,7 @@ function evaluationBySlot(evaluations) {
  * same sealed Assertion facts. Missing outcomes remain legal—those Slots have
  * no Member in the published Run.
  */
-function validateEvaluationRecordCoherenceV1(input) {
+function validateEvaluationRecordCoherence(input) {
     const issues = [];
     const expectedSlots = new Set();
     for (const slotId of input.expectedSlots) {
@@ -34,7 +34,7 @@ function validateEvaluationRecordCoherenceV1(input) {
         }
         expectedSlots.add(slotId);
     }
-    for (const issue of (0, evaluation_ts_1.validateEvaluationsPayloadV1)(input.evaluations)) {
+    for (const issue of (0, evaluation_ts_1.validateEvaluationsPayload)(input.evaluations)) {
         issues.push(Object.freeze({
             code: "evaluation-record-evaluations-invalid",
             issue,
@@ -76,7 +76,7 @@ function validateEvaluationRecordCoherenceV1(input) {
             }));
             continue;
         }
-        for (const issue of (0, verdict_ts_1.validateVerdictCoherenceV1)({
+        for (const issue of (0, verdict_ts_1.validateVerdictCoherence)({
             payload: attempt.verdict,
             fold: attempt.facts,
         })) {
@@ -102,7 +102,7 @@ function validateEvaluationRecordCoherenceV1(input) {
             }));
             continue;
         }
-        for (const issue of (0, score_ts_1.validateScoreCoherenceV1)({
+        for (const issue of (0, score_ts_1.validateScoreCoherence)({
             payload: attempt.score,
             fold: attempt.facts,
         })) {

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

@@ -1 +1 @@
-{"version":3,"file":"coherence.js","sourceRoot":"","sources":["coherence.ts"],"names":[],"mappings":";;AAwEA,kFA4FC;AAnKD,mDAAyL;AACzL,yCAAwG;AAExG,6CAAgH;AAkDhH,SAAS,gBAAgB,CAAC,WAAiC;IACvD,MAAM,UAAU,GAAG,IAAA,2CAA2B,EAAC,WAAW,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC7D,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,UAAU,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,KAAK,KAAK,SAAS;gBACnB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD;;;;;GAKG;AACH,SAAgB,mCAAmC,CAAC,KAAuC;IACvF,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,2CAAoD;gBAC1D,MAAM;aACT,CAAC,CAAC,CAAC;QACR,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAA,4CAA4B,EAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACtB,IAAI,EAAE,uCAAgD;YACtD,KAAK;SACR,CAAC,CAAC,CAAC;IACR,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,2CAAoD;gBAC1D,MAAM;aACT,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACrD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,8CAAuD;oBAC7D,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,0CAAmD;gBACzD,MAAM,EAAE,OAAO,CAAC,MAAM;aACzB,CAAC,CAAC,CAAC;QACR,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,2CAAoD;gBAC1D,MAAM,EAAE,OAAO,CAAC,MAAM;aACzB,CAAC,CAAC,CAAC;YACJ,SAAS;QACb,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAA,uCAA0B,EAAC;YAC3C,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,CAAC,KAAK;SACtB,CAAC,EAAE,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,mCAA4C;gBAClD,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK;aACR,CAAC,CAAC,CAAC;QACR,CAAC;QACD,IAAI,UAAU,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,oCAA6C;oBACnD,MAAM,EAAE,OAAO,CAAC,MAAM;iBACzB,CAAC,CAAC,CAAC;YACR,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,iCAA0C;gBAChD,MAAM,EAAE,OAAO,CAAC,MAAM;aACzB,CAAC,CAAC,CAAC;YACJ,SAAS;QACb,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAA,mCAAwB,EAAC;YACzC,OAAO,EAAE,OAAO,CAAC,KAAK;YACtB,IAAI,EAAE,OAAO,CAAC,KAAK;SACtB,CAAC,EAAE,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,iCAA0C;gBAChD,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK;aACR,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC","sourcesContent":["import type { SlotId } from \"../../record/model/identifiers.ts\";\nimport { projectEvaluationsPayloadV1, type EvaluationSlotProjectionV1, type EvaluationsPayloadIssueV1, type EvaluationsPayloadV1, validateEvaluationsPayloadV1, } from \"./evaluation.ts\";\nimport { type ScoreCoherenceIssueV1, type ScorePayloadV1, validateScoreCoherenceV1, } from \"./score.ts\";\nimport type { EvaluationAttemptFactsV1 } from \"./sealed-assertion.ts\";\nimport { type VerdictCoherenceIssueV1, type VerdictPayloadV1, validateVerdictCoherenceV1, } from \"./verdict.ts\";\n/** One origin Attempt's facts before Record's generic writer owns the writes. */\nexport interface EvaluationRecordAttemptV1 {\n    readonly slotId: SlotId;\n    readonly facts: EvaluationAttemptFactsV1;\n    readonly verdict: VerdictPayloadV1;\n    readonly score?: ScorePayloadV1;\n}\n/**\n * The domain aggregate validated before the generic Record writer checks only\n * owner, exact schemas, references, and owner-local blob closure.\n */\nexport interface EvaluationRecordCoherenceInputV1 {\n    readonly expectedSlots: readonly SlotId[];\n    readonly evaluations: EvaluationsPayloadV1;\n    readonly attempts: readonly EvaluationRecordAttemptV1[];\n}\nexport type EvaluationRecordCoherenceIssueV1 = {\n    readonly code: \"evaluation-record-expected-slot-duplicate\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-evaluation-slot-missing\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-evaluation-slot-unexpected\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-attempt-slot-duplicate\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-attempt-slot-unexpected\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-score-missing\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-score-unexpected\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-evaluations-invalid\";\n    readonly issue: EvaluationsPayloadIssueV1;\n} | {\n    readonly code: \"evaluation-record-verdict-invalid\";\n    readonly slotId: SlotId;\n    readonly issue: VerdictCoherenceIssueV1;\n} | {\n    readonly code: \"evaluation-record-score-invalid\";\n    readonly slotId: SlotId;\n    readonly issue: ScoreCoherenceIssueV1;\n};\nfunction evaluationBySlot(evaluations: EvaluationsPayloadV1): ReadonlyMap<string, EvaluationSlotProjectionV1> {\n    const projection = projectEvaluationsPayloadV1(evaluations);\n    const bySlot = new Map<string, EvaluationSlotProjectionV1>();\n    for (const definition of evaluations.evaluations) {\n        for (const slot of definition.slots) {\n            const entry = projection.evaluationForSlot(slot.slotId);\n            if (entry !== undefined)\n                bySlot.set(slot.slotId, entry);\n        }\n    }\n    return bySlot;\n}\n/**\n * Verifies cross-Attachment facts owned by the Evaluation producer: denominator\n * coverage, type-specific Score presence, and two independent folds from the\n * same sealed Assertion facts. Missing outcomes remain legal—those Slots have\n * no Member in the published Run.\n */\nexport function validateEvaluationRecordCoherenceV1(input: EvaluationRecordCoherenceInputV1): readonly EvaluationRecordCoherenceIssueV1[] {\n    const issues: EvaluationRecordCoherenceIssueV1[] = [];\n    const expectedSlots = new Set<string>();\n    for (const slotId of input.expectedSlots) {\n        if (expectedSlots.has(slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-expected-slot-duplicate\" as const,\n                slotId,\n            }));\n        }\n        expectedSlots.add(slotId);\n    }\n    for (const issue of validateEvaluationsPayloadV1(input.evaluations)) {\n        issues.push(Object.freeze({\n            code: \"evaluation-record-evaluations-invalid\" as const,\n            issue,\n        }));\n    }\n    const bySlot = evaluationBySlot(input.evaluations);\n    for (const slotId of input.expectedSlots) {\n        if (!bySlot.has(slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-evaluation-slot-missing\" as const,\n                slotId,\n            }));\n        }\n    }\n    for (const definition of input.evaluations.evaluations) {\n        for (const slot of definition.slots) {\n            if (!expectedSlots.has(slot.slotId)) {\n                issues.push(Object.freeze({\n                    code: \"evaluation-record-evaluation-slot-unexpected\" as const,\n                    slotId: slot.slotId,\n                }));\n            }\n        }\n    }\n    const attemptedSlots = new Set<string>();\n    for (const attempt of input.attempts) {\n        if (attemptedSlots.has(attempt.slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-attempt-slot-duplicate\" as const,\n                slotId: attempt.slotId,\n            }));\n        }\n        attemptedSlots.add(attempt.slotId);\n        const evaluation = bySlot.get(attempt.slotId);\n        if (evaluation === undefined || !expectedSlots.has(attempt.slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-attempt-slot-unexpected\" as const,\n                slotId: attempt.slotId,\n            }));\n            continue;\n        }\n        for (const issue of validateVerdictCoherenceV1({\n            payload: attempt.verdict,\n            fold: attempt.facts,\n        })) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-verdict-invalid\" as const,\n                slotId: attempt.slotId,\n                issue,\n            }));\n        }\n        if (evaluation.evaluationKind === \"pass\") {\n            if (attempt.score !== undefined) {\n                issues.push(Object.freeze({\n                    code: \"evaluation-record-score-unexpected\" as const,\n                    slotId: attempt.slotId,\n                }));\n            }\n            continue;\n        }\n        if (attempt.score === undefined) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-score-missing\" as const,\n                slotId: attempt.slotId,\n            }));\n            continue;\n        }\n        for (const issue of validateScoreCoherenceV1({\n            payload: attempt.score,\n            fold: attempt.facts,\n        })) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-score-invalid\" as const,\n                slotId: attempt.slotId,\n                issue,\n            }));\n        }\n    }\n    return Object.freeze(issues);\n}\n"]}
+{"version":3,"file":"coherence.js","sourceRoot":"","sources":["coherence.ts"],"names":[],"mappings":";;AAwEA,8EA4FC;AAnKD,mDAA+K;AAC/K,yCAAkG;AAElG,6CAA0G;AAkD1G,SAAS,gBAAgB,CAAC,WAA+B;IACrD,MAAM,UAAU,GAAG,IAAA,yCAAyB,EAAC,WAAW,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoC,CAAC;IAC3D,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC/C,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,UAAU,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxD,IAAI,KAAK,KAAK,SAAS;gBACnB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD;;;;;GAKG;AACH,SAAgB,iCAAiC,CAAC,KAAqC;IACnF,MAAM,MAAM,GAAqC,EAAE,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,2CAAoD;gBAC1D,MAAM;aACT,CAAC,CAAC,CAAC;QACR,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAA,0CAA0B,EAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACtB,IAAI,EAAE,uCAAgD;YACtD,KAAK;SACR,CAAC,CAAC,CAAC;IACR,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,2CAAoD;gBAC1D,MAAM;aACT,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACrD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,8CAAuD;oBAC7D,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAC,CAAC;YACR,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,0CAAmD;gBACzD,MAAM,EAAE,OAAO,CAAC,MAAM;aACzB,CAAC,CAAC,CAAC;QACR,CAAC;QACD,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,2CAAoD;gBAC1D,MAAM,EAAE,OAAO,CAAC,MAAM;aACzB,CAAC,CAAC,CAAC;YACJ,SAAS;QACb,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAA,qCAAwB,EAAC;YACzC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,CAAC,KAAK;SACtB,CAAC,EAAE,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,mCAA4C;gBAClD,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK;aACR,CAAC,CAAC,CAAC;QACR,CAAC;QACD,IAAI,UAAU,CAAC,cAAc,KAAK,MAAM,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBACtB,IAAI,EAAE,oCAA6C;oBACnD,MAAM,EAAE,OAAO,CAAC,MAAM;iBACzB,CAAC,CAAC,CAAC;YACR,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,iCAA0C;gBAChD,MAAM,EAAE,OAAO,CAAC,MAAM;aACzB,CAAC,CAAC,CAAC;YACJ,SAAS;QACb,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAA,iCAAsB,EAAC;YACvC,OAAO,EAAE,OAAO,CAAC,KAAK;YACtB,IAAI,EAAE,OAAO,CAAC,KAAK;SACtB,CAAC,EAAE,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtB,IAAI,EAAE,iCAA0C;gBAChD,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK;aACR,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC","sourcesContent":["import type { SlotId } from \"../../record/model/identifiers.ts\";\nimport { projectEvaluationsPayload, type EvaluationSlotProjection, type EvaluationsPayloadIssue, type EvaluationsPayload, validateEvaluationsPayload, } from \"./evaluation.ts\";\nimport { type ScoreCoherenceIssue, type ScorePayload, validateScoreCoherence, } from \"./score.ts\";\nimport type { EvaluationAttemptFacts } from \"./sealed-assertion.ts\";\nimport { type VerdictCoherenceIssue, type VerdictPayload, validateVerdictCoherence, } from \"./verdict.ts\";\n/** One origin Attempt's facts before Record's generic writer owns the writes. */\nexport interface EvaluationRecordAttempt {\n    readonly slotId: SlotId;\n    readonly facts: EvaluationAttemptFacts;\n    readonly verdict: VerdictPayload;\n    readonly score?: ScorePayload;\n}\n/**\n * The domain aggregate validated before the generic Record writer checks only\n * owner, exact schemas, references, and owner-local blob closure.\n */\nexport interface EvaluationRecordCoherenceInput {\n    readonly expectedSlots: readonly SlotId[];\n    readonly evaluations: EvaluationsPayload;\n    readonly attempts: readonly EvaluationRecordAttempt[];\n}\nexport type EvaluationRecordCoherenceIssue = {\n    readonly code: \"evaluation-record-expected-slot-duplicate\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-evaluation-slot-missing\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-evaluation-slot-unexpected\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-attempt-slot-duplicate\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-attempt-slot-unexpected\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-score-missing\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-score-unexpected\";\n    readonly slotId: SlotId;\n} | {\n    readonly code: \"evaluation-record-evaluations-invalid\";\n    readonly issue: EvaluationsPayloadIssue;\n} | {\n    readonly code: \"evaluation-record-verdict-invalid\";\n    readonly slotId: SlotId;\n    readonly issue: VerdictCoherenceIssue;\n} | {\n    readonly code: \"evaluation-record-score-invalid\";\n    readonly slotId: SlotId;\n    readonly issue: ScoreCoherenceIssue;\n};\nfunction evaluationBySlot(evaluations: EvaluationsPayload): ReadonlyMap<string, EvaluationSlotProjection> {\n    const projection = projectEvaluationsPayload(evaluations);\n    const bySlot = new Map<string, EvaluationSlotProjection>();\n    for (const definition of evaluations.evaluations) {\n        for (const slot of definition.slots) {\n            const entry = projection.evaluationForSlot(slot.slotId);\n            if (entry !== undefined)\n                bySlot.set(slot.slotId, entry);\n        }\n    }\n    return bySlot;\n}\n/**\n * Verifies cross-Attachment facts owned by the Evaluation producer: denominator\n * coverage, type-specific Score presence, and two independent folds from the\n * same sealed Assertion facts. Missing outcomes remain legal—those Slots have\n * no Member in the published Run.\n */\nexport function validateEvaluationRecordCoherence(input: EvaluationRecordCoherenceInput): readonly EvaluationRecordCoherenceIssue[] {\n    const issues: EvaluationRecordCoherenceIssue[] = [];\n    const expectedSlots = new Set<string>();\n    for (const slotId of input.expectedSlots) {\n        if (expectedSlots.has(slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-expected-slot-duplicate\" as const,\n                slotId,\n            }));\n        }\n        expectedSlots.add(slotId);\n    }\n    for (const issue of validateEvaluationsPayload(input.evaluations)) {\n        issues.push(Object.freeze({\n            code: \"evaluation-record-evaluations-invalid\" as const,\n            issue,\n        }));\n    }\n    const bySlot = evaluationBySlot(input.evaluations);\n    for (const slotId of input.expectedSlots) {\n        if (!bySlot.has(slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-evaluation-slot-missing\" as const,\n                slotId,\n            }));\n        }\n    }\n    for (const definition of input.evaluations.evaluations) {\n        for (const slot of definition.slots) {\n            if (!expectedSlots.has(slot.slotId)) {\n                issues.push(Object.freeze({\n                    code: \"evaluation-record-evaluation-slot-unexpected\" as const,\n                    slotId: slot.slotId,\n                }));\n            }\n        }\n    }\n    const attemptedSlots = new Set<string>();\n    for (const attempt of input.attempts) {\n        if (attemptedSlots.has(attempt.slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-attempt-slot-duplicate\" as const,\n                slotId: attempt.slotId,\n            }));\n        }\n        attemptedSlots.add(attempt.slotId);\n        const evaluation = bySlot.get(attempt.slotId);\n        if (evaluation === undefined || !expectedSlots.has(attempt.slotId)) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-attempt-slot-unexpected\" as const,\n                slotId: attempt.slotId,\n            }));\n            continue;\n        }\n        for (const issue of validateVerdictCoherence({\n            payload: attempt.verdict,\n            fold: attempt.facts,\n        })) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-verdict-invalid\" as const,\n                slotId: attempt.slotId,\n                issue,\n            }));\n        }\n        if (evaluation.evaluationKind === \"pass\") {\n            if (attempt.score !== undefined) {\n                issues.push(Object.freeze({\n                    code: \"evaluation-record-score-unexpected\" as const,\n                    slotId: attempt.slotId,\n                }));\n            }\n            continue;\n        }\n        if (attempt.score === undefined) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-score-missing\" as const,\n                slotId: attempt.slotId,\n            }));\n            continue;\n        }\n        for (const issue of validateScoreCoherence({\n            payload: attempt.score,\n            fold: attempt.facts,\n        })) {\n            issues.push(Object.freeze({\n                code: \"evaluation-record-score-invalid\" as const,\n                slotId: attempt.slotId,\n                issue,\n            }));\n        }\n    }\n    return Object.freeze(issues);\n}\n"]}