niceeval 0.12.2-canary.31 → 0.13.0

package/dist/record/model/read-state.d.mts

@@ -1,4 +1,4 @@
-import type { RecordAttachmentSchemaId, RunId } from "./identifiers.mjs";
+import type { RunId } from "./identifiers.mjs";
 import type { NonEmptyRecordIssues } from "../errors/record-errors.mjs";
 /** Core corruption is represented as readable state, not an Effect failure. */
 export type RecordCoreRead<Value> = {
@@ -22,17 +22,14 @@ export type RecordAttachmentRead<Value> = {
     readonly state: "unavailable";
 } | {
     readonly state: "migration-required";
-    readonly from: RecordAttachmentSchemaId;
-    readonly to: RecordAttachmentSchemaId;
+    readonly family: string;
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
     readonly command: "niceeval migrate";
-} | {
-    readonly state: "migration-unavailable";
-    readonly from: RecordAttachmentSchemaId;
-    readonly to: RecordAttachmentSchemaId;
-    readonly reason: string;
 } | {
     readonly state: "unsupported";
-    readonly schemaId: RecordAttachmentSchemaId;
+    readonly family: string;
+    readonly schemaVersion: number;
 } | {
     readonly state: "invalid";
     readonly issues: NonEmptyRecordIssues;

package/dist/record/model/read-state.d.ts

@@ -1,4 +1,4 @@
-import type { RecordAttachmentSchemaId, RunId } from "./identifiers.js";
+import type { RunId } from "./identifiers.js";
 import type { NonEmptyRecordIssues } from "../errors/record-errors.js";
 /** Core corruption is represented as readable state, not an Effect failure. */
 export type RecordCoreRead<Value> = {
@@ -22,17 +22,14 @@ export type RecordAttachmentRead<Value> = {
     readonly state: "unavailable";
 } | {
     readonly state: "migration-required";
-    readonly from: RecordAttachmentSchemaId;
-    readonly to: RecordAttachmentSchemaId;
+    readonly family: string;
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
     readonly command: "niceeval migrate";
-} | {
-    readonly state: "migration-unavailable";
-    readonly from: RecordAttachmentSchemaId;
-    readonly to: RecordAttachmentSchemaId;
-    readonly reason: string;
 } | {
     readonly state: "unsupported";
-    readonly schemaId: RecordAttachmentSchemaId;
+    readonly family: string;
+    readonly schemaVersion: number;
 } | {
     readonly state: "invalid";
     readonly issues: NonEmptyRecordIssues;

package/dist/record/model/run-context.cjs

@@ -0,0 +1,80 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RunContextSchema = exports.RunContextLimits = void 0;
+exports.canonicalizeRunContext = canonicalizeRunContext;
+exports.validateRunContext = validateRunContext;
+exports.runContextCanonicalJson = runContextCanonicalJson;
+const effect_1 = require("effect");
+const index_ts_1 = require("../definition/index.cjs");
+const identifiers_ts_1 = require("../codec/identifiers.cjs");
+const record_errors_ts_1 = require("../errors/record-errors.cjs");
+/** The complete budget for one immutable, self-explaining Run context. */
+exports.RunContextLimits = Object.freeze({
+    maximumJsonBytes: 256 * 1024,
+    maximumDepth: 8,
+    maximumNodes: 4096,
+    maximumObjectKeys: 64,
+    maximumArrayItems: 256,
+    maximumKeyUtf8Bytes: 256,
+    maximumStringUtf8Bytes: 8 * 1024,
+});
+/**
+ * `flags` is intentionally an open v1 JSON object. Keep its recursive exact
+ * JSON shape in Schema rather than reducing it to an opaque runtime guard.
+ */
+const RunContextJsonValueSchema = effect_1.Schema.suspend(() => effect_1.Schema.Union(effect_1.Schema.Null, effect_1.Schema.Boolean, effect_1.Schema.JsonNumber, effect_1.Schema.String, effect_1.Schema.Array(RunContextJsonValueSchema), effect_1.Schema.Record({ key: effect_1.Schema.String, value: RunContextJsonValueSchema })));
+const RunContextJsonObjectSchema = effect_1.Schema.Record({
+    key: effect_1.Schema.String,
+    value: RunContextJsonValueSchema,
+});
+const RunExecutionContextSchema = effect_1.Schema.Struct({
+    agentId: effect_1.Schema.String.pipe(effect_1.Schema.minLength(1)),
+    model: effect_1.Schema.NullOr(effect_1.Schema.String),
+    reasoningEffort: effect_1.Schema.NullOr(effect_1.Schema.String),
+    flags: RunContextJsonObjectSchema,
+});
+const RunLabelsSchema = effect_1.Schema.Record({
+    key: effect_1.Schema.String,
+    value: effect_1.Schema.String,
+});
+const RunContextCurrentSchema = effect_1.Schema.Struct({
+    experimentId: identifiers_ts_1.ExperimentIdSchema,
+    execution: RunExecutionContextSchema,
+    labels: RunLabelsSchema,
+});
+/** Run Context is Core, not an Attachment. */
+const RunContextDefinition = (0, index_ts_1.defineRecordCore)({
+    schema: RunContextCurrentSchema,
+    limits: exports.RunContextLimits,
+});
+exports.RunContextSchema = RunContextDefinition.schema;
+function issuesFromFailure(failure) {
+    const issue = failure.kind === "canonical"
+        ? (0, record_errors_ts_1.recordIssue)(failure.failure.code === "record-json-limit-exceeded"
+            ? "record-run-context-size-exceeded"
+            : "record-run-context-invalid", failure.failure.path)
+        : (0, record_errors_ts_1.recordIssue)("record-run-context-invalid");
+    const issues = (0, record_errors_ts_1.nonEmptyRecordIssues)([issue]);
+    if (issues === undefined)
+        throw new Error("Run context failure must contain one issue");
+    return issues;
+}
+/** Decode, canonicalize, validate exactly, and deep-freeze the current Context. */
+function canonicalizeRunContext(input) {
+    const decoded = RunContextDefinition.decode(input);
+    return effect_1.Either.isLeft(decoded)
+        ? effect_1.Either.left(issuesFromFailure(decoded.left))
+        : effect_1.Either.right(decoded.right);
+}
+function validateRunContext(input) {
+    const decoded = canonicalizeRunContext(input);
+    return effect_1.Either.isLeft(decoded) ? decoded.left : Object.freeze([]);
+}
+function runContextCanonicalJson(context) {
+    const encoded = RunContextDefinition.encode(context);
+    if (effect_1.Either.isLeft(encoded)) {
+        throw new Error("A RunContext value must be valid before serialization");
+    }
+    return (0, index_ts_1.canonicalRecordJsonText)(encoded.right);
+}
+//# sourceMappingURL=run-context.cjs.map

package/dist/record/model/run-context.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-context.js","sourceRoot":"","sources":["run-context.ts"],"names":[],"mappings":";;;AAyEA,wDAKC;AACD,gDAGC;AACD,0DAMC;AAzFD,mCAAwC;AACxC,qDAAqJ;AAErJ,4DAA6D;AAC7D,iEAA6H;AAE7H,0EAA0E;AAC7D,QAAA,gBAAgB,GAAuB,MAAM,CAAC,MAAM,CAAC;IAC9D,gBAAgB,EAAE,GAAG,GAAG,IAAI;IAC5B,YAAY,EAAE,CAAC;IACf,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,EAAE;IACrB,iBAAiB,EAAE,GAAG;IACtB,mBAAmB,EAAE,GAAG;IACxB,sBAAsB,EAAE,CAAC,GAAG,IAAI;CACnC,CAAC,CAAC;AAgBH;;;GAGG;AACH,MAAM,yBAAyB,GAAuC,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,IAAI,EAAE,eAAM,CAAC,OAAO,EAAE,eAAM,CAAC,UAAU,EAAE,eAAM,CAAC,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,yBAAyB,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,eAAM,CAAC,MAAM,EAAE,KAAK,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC,CAAC;AAC1R,MAAM,0BAA0B,GAAwC,eAAM,CAAC,MAAM,CAAC;IAClF,GAAG,EAAE,eAAM,CAAC,MAAM;IAClB,KAAK,EAAE,yBAAyB;CACnC,CAAC,CAAC;AACH,MAAM,yBAAyB,GAAuC,eAAM,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChD,KAAK,EAAE,eAAM,CAAC,MAAM,CAAC,eAAM,CAAC,MAAM,CAAC;IACnC,eAAe,EAAE,eAAM,CAAC,MAAM,CAAC,eAAM,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,0BAA0B;CACpC,CAAC,CAAC;AACH,MAAM,eAAe,GAAoD,eAAM,CAAC,MAAM,CAAC;IACnF,GAAG,EAAE,eAAM,CAAC,MAAM;IAClB,KAAK,EAAE,eAAM,CAAC,MAAM;CACvB,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,YAAY,EAAE,mCAAkB;IAChC,SAAS,EAAE,yBAAyB;IACpC,MAAM,EAAE,eAAe;CAC1B,CAAC,CAAC;AACH,8CAA8C;AAC9C,MAAM,oBAAoB,GAAG,IAAA,2BAAgB,EAAC;IAC1C,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE,wBAAgB;CAC3B,CAAC,CAAC;AACU,QAAA,gBAAgB,GAAG,oBAAoB,CAAC,MAAM,CAAC;AAC5D,SAAS,iBAAiB,CAAC,OAA4B;IACnD,MAAM,KAAK,GAAgB,OAAO,CAAC,IAAI,KAAK,WAAW;QACnD,CAAC,CAAC,IAAA,8BAAW,EAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,4BAA4B;YAC/D,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,4BAA4B,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACzD,CAAC,CAAC,IAAA,8BAAW,EAAC,4BAA4B,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,IAAA,uCAAoB,EAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,SAAS;QACpB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC;AAClB,CAAC;AACD,mFAAmF;AACnF,SAAgB,sBAAsB,CAAC,KAAc;IACjD,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC;AACD,SAAgB,kBAAkB,CAAC,KAAc;IAC7C,MAAM,OAAO,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC9C,OAAO,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACrE,CAAC;AACD,SAAgB,uBAAuB,CAAC,OAAmB;IACvD,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,IAAA,kCAAuB,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC","sourcesContent":["import { Either, Schema } from \"effect\";\nimport { canonicalRecordJsonText, defineRecordCore, type RecordJson, type RecordJsonObject, type RecordSchemaLimits, } from \"../definition/index.ts\";\nimport type { RecordSchemaFailure } from \"../definition/schema-codec.ts\";\nimport { ExperimentIdSchema } from \"../codec/identifiers.ts\";\nimport { nonEmptyRecordIssues, recordIssue, type NonEmptyRecordIssues, type RecordIssue, } from \"../errors/record-errors.ts\";\nimport type { ExperimentId } from \"./identifiers.ts\";\n/** The complete budget for one immutable, self-explaining Run context. */\nexport const RunContextLimits: RecordSchemaLimits = Object.freeze({\n    maximumJsonBytes: 256 * 1024,\n    maximumDepth: 8,\n    maximumNodes: 4096,\n    maximumObjectKeys: 64,\n    maximumArrayItems: 256,\n    maximumKeyUtf8Bytes: 256,\n    maximumStringUtf8Bytes: 8 * 1024,\n});\nexport type RunContextJsonValue = RecordJson;\nexport type RunContextJsonObject = RecordJsonObject;\nexport interface RunExecutionContext {\n    readonly agentId: string;\n    readonly model: string | null;\n    readonly reasoningEffort: string | null;\n    /** Secret-free author-declared JSON. Its meaning is deliberately not inferred. */\n    readonly flags: RunContextJsonObject;\n}\n/** Core history required to interpret the sealed Run without current configuration. */\nexport interface RunContext {\n    readonly experimentId: ExperimentId;\n    readonly execution: RunExecutionContext;\n    readonly labels: Readonly<Record<string, string>>;\n}\n/**\n * `flags` is intentionally an open v1 JSON object. Keep its recursive exact\n * JSON shape in Schema rather than reducing it to an opaque runtime guard.\n */\nconst RunContextJsonValueSchema: Schema.Schema<RunContextJsonValue> = Schema.suspend(() => Schema.Union(Schema.Null, Schema.Boolean, Schema.JsonNumber, Schema.String, Schema.Array(RunContextJsonValueSchema), Schema.Record({ key: Schema.String, value: RunContextJsonValueSchema })));\nconst RunContextJsonObjectSchema: Schema.Schema<RunContextJsonObject> = Schema.Record({\n    key: Schema.String,\n    value: RunContextJsonValueSchema,\n});\nconst RunExecutionContextSchema: Schema.Schema<RunExecutionContext> = Schema.Struct({\n    agentId: Schema.String.pipe(Schema.minLength(1)),\n    model: Schema.NullOr(Schema.String),\n    reasoningEffort: Schema.NullOr(Schema.String),\n    flags: RunContextJsonObjectSchema,\n});\nconst RunLabelsSchema: Schema.Schema<Readonly<Record<string, string>>> = Schema.Record({\n    key: Schema.String,\n    value: Schema.String,\n});\nconst RunContextCurrentSchema = Schema.Struct({\n    experimentId: ExperimentIdSchema,\n    execution: RunExecutionContextSchema,\n    labels: RunLabelsSchema,\n});\n/** Run Context is Core, not an Attachment. */\nconst RunContextDefinition = defineRecordCore({\n    schema: RunContextCurrentSchema,\n    limits: RunContextLimits,\n});\nexport const RunContextSchema = RunContextDefinition.schema;\nfunction issuesFromFailure(failure: RecordSchemaFailure): NonEmptyRecordIssues {\n    const issue: RecordIssue = failure.kind === \"canonical\"\n        ? recordIssue(failure.failure.code === \"record-json-limit-exceeded\"\n            ? \"record-run-context-size-exceeded\"\n            : \"record-run-context-invalid\", failure.failure.path)\n        : recordIssue(\"record-run-context-invalid\");\n    const issues = nonEmptyRecordIssues([issue]);\n    if (issues === undefined)\n        throw new Error(\"Run context failure must contain one issue\");\n    return issues;\n}\n/** Decode, canonicalize, validate exactly, and deep-freeze the current Context. */\nexport function canonicalizeRunContext(input: unknown): Either.Either<RunContext, NonEmptyRecordIssues> {\n    const decoded = RunContextDefinition.decode(input);\n    return Either.isLeft(decoded)\n        ? Either.left(issuesFromFailure(decoded.left))\n        : Either.right(decoded.right);\n}\nexport function validateRunContext(input: unknown): readonly RecordIssue[] {\n    const decoded = canonicalizeRunContext(input);\n    return Either.isLeft(decoded) ? decoded.left : Object.freeze([]);\n}\nexport function runContextCanonicalJson(context: RunContext): string {\n    const encoded = RunContextDefinition.encode(context);\n    if (Either.isLeft(encoded)) {\n        throw new Error(\"A RunContext value must be valid before serialization\");\n    }\n    return canonicalRecordJsonText(encoded.right);\n}\n"]}

package/dist/record/model/run-context.d.cts

@@ -0,0 +1,30 @@
+import { Either, Schema } from "effect";
+import { type RecordJson, type RecordJsonObject, type RecordSchemaLimits } from "../definition/index.cjs";
+import { type NonEmptyRecordIssues, type RecordIssue } from "../errors/record-errors.cjs";
+import type { ExperimentId } from "./identifiers.cjs";
+/** The complete budget for one immutable, self-explaining Run context. */
+export declare const RunContextLimits: RecordSchemaLimits;
+export type RunContextJsonValue = RecordJson;
+export type RunContextJsonObject = RecordJsonObject;
+export interface RunExecutionContext {
+    readonly agentId: string;
+    readonly model: string | null;
+    readonly reasoningEffort: string | null;
+    /** Secret-free author-declared JSON. Its meaning is deliberately not inferred. */
+    readonly flags: RunContextJsonObject;
+}
+/** Core history required to interpret the sealed Run without current configuration. */
+export interface RunContext {
+    readonly experimentId: ExperimentId;
+    readonly execution: RunExecutionContext;
+    readonly labels: Readonly<Record<string, string>>;
+}
+export declare const RunContextSchema: Schema.Struct<{
+    experimentId: Schema.Schema<ExperimentId, string, never>;
+    execution: Schema.Schema<RunExecutionContext, RunExecutionContext, never>;
+    labels: Schema.Schema<Readonly<Record<string, string>>, Readonly<Record<string, string>>, never>;
+}>;
+/** Decode, canonicalize, validate exactly, and deep-freeze the current Context. */
+export declare function canonicalizeRunContext(input: unknown): Either.Either<RunContext, NonEmptyRecordIssues>;
+export declare function validateRunContext(input: unknown): readonly RecordIssue[];
+export declare function runContextCanonicalJson(context: RunContext): string;

package/dist/record/model/run-context.d.mts

@@ -0,0 +1,30 @@
+import { Either, Schema } from "effect";
+import { type RecordJson, type RecordJsonObject, type RecordSchemaLimits } from "../definition/index.mjs";
+import { type NonEmptyRecordIssues, type RecordIssue } from "../errors/record-errors.mjs";
+import type { ExperimentId } from "./identifiers.mjs";
+/** The complete budget for one immutable, self-explaining Run context. */
+export declare const RunContextLimits: RecordSchemaLimits;
+export type RunContextJsonValue = RecordJson;
+export type RunContextJsonObject = RecordJsonObject;
+export interface RunExecutionContext {
+    readonly agentId: string;
+    readonly model: string | null;
+    readonly reasoningEffort: string | null;
+    /** Secret-free author-declared JSON. Its meaning is deliberately not inferred. */
+    readonly flags: RunContextJsonObject;
+}
+/** Core history required to interpret the sealed Run without current configuration. */
+export interface RunContext {
+    readonly experimentId: ExperimentId;
+    readonly execution: RunExecutionContext;
+    readonly labels: Readonly<Record<string, string>>;
+}
+export declare const RunContextSchema: Schema.Struct<{
+    experimentId: Schema.Schema<ExperimentId, string, never>;
+    execution: Schema.Schema<RunExecutionContext, RunExecutionContext, never>;
+    labels: Schema.Schema<Readonly<Record<string, string>>, Readonly<Record<string, string>>, never>;
+}>;
+/** Decode, canonicalize, validate exactly, and deep-freeze the current Context. */
+export declare function canonicalizeRunContext(input: unknown): Either.Either<RunContext, NonEmptyRecordIssues>;
+export declare function validateRunContext(input: unknown): readonly RecordIssue[];
+export declare function runContextCanonicalJson(context: RunContext): string;

package/dist/record/model/run-context.d.ts

@@ -0,0 +1,30 @@
+import { Either, Schema } from "effect";
+import { type RecordJson, type RecordJsonObject, type RecordSchemaLimits } from "../definition/index.js";
+import { type NonEmptyRecordIssues, type RecordIssue } from "../errors/record-errors.js";
+import type { ExperimentId } from "./identifiers.js";
+/** The complete budget for one immutable, self-explaining Run context. */
+export declare const RunContextLimits: RecordSchemaLimits;
+export type RunContextJsonValue = RecordJson;
+export type RunContextJsonObject = RecordJsonObject;
+export interface RunExecutionContext {
+    readonly agentId: string;
+    readonly model: string | null;
+    readonly reasoningEffort: string | null;
+    /** Secret-free author-declared JSON. Its meaning is deliberately not inferred. */
+    readonly flags: RunContextJsonObject;
+}
+/** Core history required to interpret the sealed Run without current configuration. */
+export interface RunContext {
+    readonly experimentId: ExperimentId;
+    readonly execution: RunExecutionContext;
+    readonly labels: Readonly<Record<string, string>>;
+}
+export declare const RunContextSchema: Schema.Struct<{
+    experimentId: Schema.Schema<ExperimentId, string, never>;
+    execution: Schema.Schema<RunExecutionContext, RunExecutionContext, never>;
+    labels: Schema.Schema<Readonly<Record<string, string>>, Readonly<Record<string, string>>, never>;
+}>;
+/** Decode, canonicalize, validate exactly, and deep-freeze the current Context. */
+export declare function canonicalizeRunContext(input: unknown): Either.Either<RunContext, NonEmptyRecordIssues>;
+export declare function validateRunContext(input: unknown): readonly RecordIssue[];
+export declare function runContextCanonicalJson(context: RunContext): string;

package/dist/record/model/run-context.js

@@ -0,0 +1,14 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./run-context.cjs");
+const __niceevalExport0 = __niceevalCanonical["RunContextLimits"];
+export { __niceevalExport0 as RunContextLimits };
+const __niceevalExport1 = __niceevalCanonical["RunContextSchema"];
+export { __niceevalExport1 as RunContextSchema };
+const __niceevalExport2 = __niceevalCanonical["canonicalizeRunContext"];
+export { __niceevalExport2 as canonicalizeRunContext };
+const __niceevalExport3 = __niceevalCanonical["runContextCanonicalJson"];
+export { __niceevalExport3 as runContextCanonicalJson };
+const __niceevalExport4 = __niceevalCanonical["validateRunContext"];
+export { __niceevalExport4 as validateRunContext };
+//# sourceMappingURL=run-context.js.map

package/dist/record/model/run-context.js.map

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

package/dist/record/model/validation.cjs

@@ -2,54 +2,77 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.nonEmptyRecordIssues = void 0;
 exports.validateExpectedSlots = validateExpectedSlots;
-exports.validateRunDocumentV1 = validateRunDocumentV1;
-exports.validateRecordAttachmentEnvelopeV1 = validateRecordAttachmentEnvelopeV1;
-exports.validateRecordCoreV1 = validateRecordCoreV1;
+exports.validateRunDocument = validateRunDocument;
+exports.validateMemberDocument = validateMemberDocument;
+exports.validateAttemptDocument = validateAttemptDocument;
+exports.validateRecordCore = validateRecordCore;
+const effect_1 = require("effect");
 const record_errors_ts_1 = require("../errors/record-errors.cjs");
 Object.defineProperty(exports, "nonEmptyRecordIssues", { enumerable: true, get: function () { return record_errors_ts_1.nonEmptyRecordIssues; } });
 const core_ts_1 = require("./core.cjs");
+const run_context_ts_1 = require("./run-context.cjs");
 const identifiers_ts_1 = require("./identifiers.cjs");
 function appendIssues(destination, prefix, nested) {
     for (const issue of nested) {
         destination.push((0, record_errors_ts_1.recordIssue)(issue.code, [...prefix, ...issue.path]));
     }
 }
-/** Rejects duplicate or non-canonically ordered slot denominators. */
+function isStrictlyAfter(previous, current) {
+    return previous === undefined || (0, identifiers_ts_1.compareCanonicalIdentity)(previous, current) < 0;
+}
+/** Rejects duplicate or non-canonically ordered immutable Slot identities. */
 function validateExpectedSlots(expectedSlots) {
     const issues = [];
-    const seen = new Set();
+    const seenSlotIds = new Set();
+    const seenEvalOrdinals = new Set();
     let previous;
-    for (const [index, slotId] of expectedSlots.entries()) {
-        const path = ["expectedSlots", String(index)];
-        if (previous !== undefined && (0, identifiers_ts_1.compareCanonicalIdentity)(previous, slotId) > 0) {
-            issues.push((0, record_errors_ts_1.recordIssue)("record-expected-slot-order-invalid", path));
+    for (const [index, slot] of expectedSlots.entries()) {
+        const path = ["expectedSlots", String(index), "slotId"];
+        if (!isStrictlyAfter(previous, slot.slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)(previous === slot.slotId
+                ? "record-expected-slot-duplicate"
+                : "record-expected-slot-order-invalid", path));
         }
-        if (seen.has(slotId)) {
+        if (seenSlotIds.has(slot.slotId) && previous !== slot.slotId) {
             issues.push((0, record_errors_ts_1.recordIssue)("record-expected-slot-duplicate", path));
         }
-        seen.add(slotId);
-        previous = slotId;
+        const ordinalKey = `${slot.evalId}\u0000${String(slot.attemptOrdinal)}`;
+        if (seenEvalOrdinals.has(ordinalKey)) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-expected-slot-duplicate", ["expectedSlots", String(index), "attemptOrdinal"]));
+        }
+        seenSlotIds.add(slot.slotId);
+        seenEvalOrdinals.add(ordinalKey);
+        previous = slot.slotId;
     }
     return Object.freeze(issues);
 }
-/** Validates invariants entirely contained by `run.json`. */
-function validateRunDocumentV1(run) {
+/** Validates invariants entirely contained by the durable `run.json`. */
+function validateRunDocument(run) {
     const issues = [];
     if (run.completedAt < run.startedAt) {
         issues.push((0, record_errors_ts_1.recordIssue)("record-run-time-order-invalid", ["completedAt"]));
     }
+    const contextIssues = (0, run_context_ts_1.validateRunContext)(run.context);
+    appendIssues(issues, ["context"], contextIssues);
+    const context = (0, run_context_ts_1.canonicalizeRunContext)(run.context);
+    if (effect_1.Either.isRight(context) && context.right.experimentId !== run.experimentId) {
+        issues.push((0, record_errors_ts_1.recordIssue)("record-run-context-experiment-mismatch", ["context", "experimentId"]));
+    }
     appendIssues(issues, [], validateExpectedSlots(run.expectedSlots));
     return Object.freeze(issues);
 }
-/** Validates the name/schema identity coupling in `attachment.json`. */
-function validateRecordAttachmentEnvelopeV1(envelope) {
-    const schemaName = (0, identifiers_ts_1.recordAttachmentNameTextOfSchemaId)(envelope.schemaId);
-    if (schemaName === envelope.name) {
-        return [];
-    }
-    return Object.freeze([
-        (0, record_errors_ts_1.recordIssue)("record-attachment-schema-id-mismatch", ["schemaId"]),
-    ]);
+/** Validates the action/reference coupling in one durable Member document. */
+function validateMemberDocument(member) {
+    const requiresAttempt = member.action === "executed" ||
+        member.action === "carried" ||
+        member.action === "accepted";
+    return requiresAttempt === (member.attempt !== null)
+        ? Object.freeze([])
+        : Object.freeze([(0, record_errors_ts_1.recordIssue)("record-member-action-invalid", ["attempt"])]);
+}
+/** Attempt-local shape is fully captured by its exact schema. */
+function validateAttemptDocument(_attempt) {
+    return Object.freeze([]);
 }
 function runPrefix(runIndex) {
     return ["runs", String(runIndex)];
@@ -63,55 +86,147 @@ function attemptPrefix(runIndex, attemptIndex) {
 function referenceKey(ref) {
     return (0, core_ts_1.recordAttemptReferenceKey)(ref);
 }
+function expectedSlotsById(run) {
+    return new Map(run.expectedSlots.map((slot) => [slot.slotId, slot]));
+}
+function sameSlotIdentity(left, right) {
+    return left.slotId === right.slotId
+        && left.evalId === right.evalId
+        && left.attemptOrdinal === right.attemptOrdinal
+        && left.executionIdentityDigest === right.executionIdentityDigest;
+}
+function validateRunMembers(runCore, runIndex, issues) {
+    const expectedSlots = expectedSlotsById(runCore.run);
+    const members = new Set();
+    let previous;
+    for (const [memberIndex, member] of runCore.members.entries()) {
+        const path = memberPrefix(runIndex, memberIndex);
+        appendIssues(issues, path, validateMemberDocument(member));
+        if (!isStrictlyAfter(previous, member.slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)(previous === member.slotId
+                ? "record-member-slot-duplicate"
+                : "record-member-slot-order-invalid", [...path, "slotId"]));
+        }
+        if (members.has(member.slotId) && previous !== member.slotId) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-duplicate", [...path, "slotId"]));
+        }
+        if (!expectedSlots.has(member.slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-unexpected", [...path, "slotId"]));
+        }
+        members.add(member.slotId);
+        previous = member.slotId;
+    }
+    // A completed Run owns one terminal Member for every Slot in its frozen
+    // denominator. A partial directory must never look available merely because
+    // the Run document itself decodes successfully.
+    for (const [slotIndex, slot] of runCore.run.expectedSlots.entries()) {
+        if (!members.has(slot.slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-missing", [
+                ...runPrefix(runIndex),
+                "run",
+                "expectedSlots",
+                String(slotIndex),
+                "slotId",
+            ]));
+        }
+    }
+}
 /**
- * Validates the Core facts that need all published documents in one frozen
- * Record snapshot: denominator membership, owner identity, and exact refs.
+ * Validates the non-durable aggregation of exact Core documents. The aggregate
+ * is only a validator input: membership remains one `members/<SlotId>.json`
+ * document per item and never becomes a field in `run.json`.
  */
-function validateRecordCoreV1(core) {
+function validateRecordCore(core) {
     const issues = [];
     const runs = new Map();
     const attempts = new Map();
+    let previousRunId;
     for (const [runIndex, runCore] of core.runs.entries()) {
         const runId = runCore.run.runId;
         const prefix = runPrefix(runIndex);
-        const priorRunIndex = runs.get(runId);
-        if (priorRunIndex !== undefined) {
-            issues.push((0, record_errors_ts_1.recordIssue)("record-run-duplicate", [...prefix, "run", "runId"]));
+        if (!isStrictlyAfter(previousRunId, runId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)(previousRunId === runId ? "record-run-duplicate" : "record-run-order-invalid", [...prefix, "run", "runId"]));
         }
-        else {
-            runs.set(runId, runIndex);
+        if (runs.has(runId) && previousRunId !== runId) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-run-duplicate", [...prefix, "run", "runId"]));
         }
-        appendIssues(issues, [...prefix, "run"], validateRunDocumentV1(runCore.run));
+        runs.set(runId, runIndex);
+        previousRunId = runId;
+        appendIssues(issues, [...prefix, "run"], validateRunDocument(runCore.run));
         validateRunMembers(runCore, runIndex, issues);
+        const expectedSlots = expectedSlotsById(runCore.run);
+        let previousAttemptId;
         for (const [attemptIndex, attempt] of runCore.attempts.entries()) {
             const path = attemptPrefix(runIndex, attemptIndex);
+            appendIssues(issues, path, validateAttemptDocument(attempt));
+            if (!isStrictlyAfter(previousAttemptId, attempt.attemptId)) {
+                issues.push((0, record_errors_ts_1.recordIssue)(previousAttemptId === attempt.attemptId
+                    ? "record-attempt-duplicate"
+                    : "record-attempt-order-invalid", [...path, "attemptId"]));
+            }
+            previousAttemptId = attempt.attemptId;
             if (attempt.originRunId !== runId) {
                 issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-owner-invalid", [...path, "originRunId"]));
                 continue;
             }
+            const slot = expectedSlots.get(attempt.slotId);
+            if (slot === undefined) {
+                issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-slot-unexpected", [...path, "slotId"]));
+            }
+            else {
+                if (slot.evalId !== attempt.evalId) {
+                    issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-eval-mismatch", [...path, "evalId"]));
+                }
+                if (slot.executionIdentityDigest !== attempt.executionIdentityDigest) {
+                    issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-digest-mismatch", [
+                        ...path,
+                        "executionIdentityDigest",
+                    ]));
+                }
+            }
             const key = referenceKey({ originRunId: runId, attemptId: attempt.attemptId });
             if (attempts.has(key)) {
                 issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-duplicate", [...path, "attemptId"]));
             }
             else {
-                attempts.set(key, { runIndex, attemptIndex });
+                attempts.set(key, { runIndex, attemptIndex, attempt });
             }
         }
     }
     const originMemberCounts = new Map();
     for (const [runIndex, runCore] of core.runs.entries()) {
         for (const [memberIndex, member] of runCore.members.entries()) {
-            const key = referenceKey(member.attempt);
-            if (!attempts.has(key)) {
-                issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-reference-missing", [
-                    ...memberPrefix(runIndex, memberIndex),
-                    "attempt",
-                ]));
+            if (member.attempt === null)
+                continue;
+            const path = memberPrefix(runIndex, memberIndex);
+            const target = attempts.get(referenceKey(member.attempt));
+            if (target === undefined) {
+                issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-reference-missing", [...path, "attempt"]));
                 continue;
             }
-            if (member.attempt.originRunId === runCore.run.runId) {
+            // Carried / executed Members occupy the origin Slot identity. Accepted
+            // reference Members may point at an origin Attempt whose Slot identity
+            // differs from the current target Slot (explicit adoption / rename).
+            if (member.action !== "accepted") {
+                const targetExpected = expectedSlotsById(runCore.run).get(member.slotId);
+                const originExpected = expectedSlotsById(core.runs[target.runIndex].run).get(target.attempt.slotId);
+                if (targetExpected === undefined
+                    || originExpected === undefined
+                    || !sameSlotIdentity(targetExpected, originExpected)) {
+                    issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-slot-mismatch", [...path, "attempt"]));
+                }
+            }
+            if (member.action === "executed") {
+                if (member.attempt.originRunId !== runCore.run.runId) {
+                    issues.push((0, record_errors_ts_1.recordIssue)("record-member-action-invalid", [...path, "action"]));
+                    continue;
+                }
+                const key = referenceKey(member.attempt);
                 originMemberCounts.set(key, (originMemberCounts.get(key) ?? 0) + 1);
             }
+            else if (member.attempt.originRunId === runCore.run.runId) {
+                issues.push((0, record_errors_ts_1.recordIssue)("record-member-action-invalid", [...path, "action"]));
+            }
         }
     }
     for (const [key, location] of attempts.entries()) {
@@ -126,18 +241,4 @@ function validateRecordCoreV1(core) {
     }
     return Object.freeze(issues);
 }
-function validateRunMembers(runCore, runIndex, issues) {
-    const expectedSlots = new Set(runCore.run.expectedSlots);
-    const members = new Set();
-    for (const [memberIndex, member] of runCore.members.entries()) {
-        const path = memberPrefix(runIndex, memberIndex);
-        if (!expectedSlots.has(member.slotId)) {
-            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-unexpected", [...path, "slotId"]));
-        }
-        if (members.has(member.slotId)) {
-            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-duplicate", [...path, "slotId"]));
-        }
-        members.add(member.slotId);
-    }
-}
 //# sourceMappingURL=validation.cjs.map