niceeval 0.12.2-canary.31 → 0.13.0

package/dist/record/maintenance/types.d.ts

@@ -1,9 +1,9 @@
 import type { Effect } from "effect";
+import type { RecordCoordination, RecordCoordinationError } from "../../coordination/record-leases.js";
 import type { RunId } from "../model/identifiers.js";
 import type { RecordIncompleteRunWarning } from "../model/read-state.js";
-import type { RecordMaintenanceLockError, RecordWriterLockError } from "../platform/errors.js";
 import type { RecordRoot } from "../platform/root.js";
-import type { RecordFileSystem, RecordMaintenanceLock, RecordWriterLock } from "../platform/services.js";
+import type { RecordFileSystem } from "../platform/services.js";
 /**
  * Record v1 is for ordinary bounded projects. This cap keeps maintenance
  * discovery and its user-visible warnings finite before any Run is inspected.
@@ -19,16 +19,15 @@ export interface RecordCleanReceipt {
     readonly skipped: readonly RunId[];
 }
 /** Scan failures come only from the real filesystem or shared maintenance lock. */
-export type RecordIncompleteRunScanError = RecordMaintenanceLockError;
-/** Clean adds the real writer-lock acquisition failure channel. */
-export type RecordCleanError = RecordMaintenanceLockError | RecordWriterLockError;
+export type RecordIncompleteRunScanError = RecordCoordinationError;
+export type RecordCleanError = RecordCoordinationError;
 export type InspectIncompleteRuns = (input: {
     readonly root: RecordRoot;
-}) => Effect.Effect<readonly RecordIncompleteRun[], RecordIncompleteRunScanError, RecordFileSystem | RecordMaintenanceLock>;
+}) => Effect.Effect<readonly RecordIncompleteRun[], RecordIncompleteRunScanError, RecordFileSystem | RecordCoordination>;
 export type InspectIncompleteRunWarnings = (input: {
     readonly root: RecordRoot;
-}) => Effect.Effect<readonly RecordIncompleteRunWarning[], RecordIncompleteRunScanError, RecordFileSystem | RecordMaintenanceLock>;
+}) => Effect.Effect<readonly RecordIncompleteRunWarning[], RecordIncompleteRunScanError, RecordFileSystem | RecordCoordination>;
 export type CleanIncompleteRuns = (input: {
     readonly root: RecordRoot;
     readonly runIds: readonly RunId[];
-}) => Effect.Effect<RecordCleanReceipt, RecordCleanError, RecordFileSystem | RecordMaintenanceLock | RecordWriterLock>;
+}) => Effect.Effect<RecordCleanReceipt, RecordCleanError, RecordFileSystem | RecordCoordination>;

package/dist/record/migration/index.cjs

@@ -1,28 +1,5 @@
 "use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __exportStar = (this && this.__exportStar) || function(m, exports) {
-    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
-};
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.makeRecordCoreMigrationPlan = exports.planRecordMigration = exports.migrateRecord = exports.assertRecordMigrationNotInterrupted = void 0;
-__exportStar(require("./errors.cjs"), exports);
-__exportStar(require("./identity.cjs"), exports);
-__exportStar(require("./registry.cjs"), exports);
-__exportStar(require("./types.cjs"), exports);
-var orchestrate_ts_1 = require("./orchestrate.cjs");
-Object.defineProperty(exports, "assertRecordMigrationNotInterrupted", { enumerable: true, get: function () { return orchestrate_ts_1.assertRecordMigrationNotInterrupted; } });
-Object.defineProperty(exports, "migrateRecord", { enumerable: true, get: function () { return orchestrate_ts_1.migrateRecord; } });
-Object.defineProperty(exports, "planRecordMigration", { enumerable: true, get: function () { return orchestrate_ts_1.planRecordMigration; } });
-var plan_ts_1 = require("./plan.cjs");
-Object.defineProperty(exports, "makeRecordCoreMigrationPlan", { enumerable: true, get: function () { return plan_ts_1.makeRecordCoreMigrationPlan; } });
+exports.currentRecordAdjacentMigrations = void 0;
+exports.currentRecordAdjacentMigrations = Object.freeze([]);
 //# sourceMappingURL=index.cjs.map

package/dist/record/migration/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,8CAA4B;AAC5B,gDAA8B;AAC9B,gDAA8B;AAC9B,6CAA2B;AAC3B,mDAA4G;AAAnG,qIAAA,mCAAmC,OAAA;AAAE,+GAAA,aAAa,OAAA;AAAE,qHAAA,mBAAmB,OAAA;AAEhF,qCAAwD;AAA/C,sHAAA,2BAA2B,OAAA","sourcesContent":["export * from \"./errors.ts\";\nexport * from \"./identity.ts\";\nexport * from \"./registry.ts\";\nexport * from \"./types.ts\";\nexport { assertRecordMigrationNotInterrupted, migrateRecord, planRecordMigration, } from \"./orchestrate.ts\";\nexport type { RecordMigrationAttachmentPlanState, RecordMigrationAttachmentPlanSummary, RecordMigrationAuthorization, RecordMigrationError, RecordMigrationPlan, RecordMigrationPlanError, RecordMigrationPlanSummary, RecordMigrationReceipt, } from \"./orchestrate.ts\";\nexport { makeRecordCoreMigrationPlan } from \"./plan.ts\";\nexport type { RecordCoreMigrationPlan, RecordCoreMigrationPlanStep, RecordCoreMigrationPlanSummary, } from \"./plan.ts\";\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;AAUa,QAAA,+BAA+B,GAAG,MAAM,CAAC,MAAM,CAAC,EAAwD,CAAC,CAAC","sourcesContent":["/**\n * The initial public Record release has no predecessor to migrate. Keep the\n * package-owned adjacent-step shape here so a later released schema can add a\n * fixed `n -> n + 1` entry without reviving registries or third-party hooks.\n * This module is intentionally outside the ordinary reader import graph.\n */\nexport interface RecordAdjacentMigration {\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n}\nexport const currentRecordAdjacentMigrations = Object.freeze([] as const satisfies readonly RecordAdjacentMigration[]);\n"]}

package/dist/record/migration/index.d.cts

@@ -1,8 +1,11 @@
-export * from "./errors.cjs";
-export * from "./identity.cjs";
-export * from "./registry.cjs";
-export * from "./types.cjs";
-export { assertRecordMigrationNotInterrupted, migrateRecord, planRecordMigration, } from "./orchestrate.cjs";
-export type { RecordMigrationAttachmentPlanState, RecordMigrationAttachmentPlanSummary, RecordMigrationAuthorization, RecordMigrationError, RecordMigrationPlan, RecordMigrationPlanError, RecordMigrationPlanSummary, RecordMigrationReceipt, } from "./orchestrate.cjs";
-export { makeRecordCoreMigrationPlan } from "./plan.cjs";
-export type { RecordCoreMigrationPlan, RecordCoreMigrationPlanStep, RecordCoreMigrationPlanSummary, } from "./plan.cjs";
+/**
+ * The initial public Record release has no predecessor to migrate. Keep the
+ * package-owned adjacent-step shape here so a later released schema can add a
+ * fixed `n -> n + 1` entry without reviving registries or third-party hooks.
+ * This module is intentionally outside the ordinary reader import graph.
+ */
+export interface RecordAdjacentMigration {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+}
+export declare const currentRecordAdjacentMigrations: readonly [];

package/dist/record/migration/index.d.mts

@@ -1,8 +1,11 @@
-export * from "./errors.mjs";
-export * from "./identity.mjs";
-export * from "./registry.mjs";
-export * from "./types.mjs";
-export { assertRecordMigrationNotInterrupted, migrateRecord, planRecordMigration, } from "./orchestrate.mjs";
-export type { RecordMigrationAttachmentPlanState, RecordMigrationAttachmentPlanSummary, RecordMigrationAuthorization, RecordMigrationError, RecordMigrationPlan, RecordMigrationPlanError, RecordMigrationPlanSummary, RecordMigrationReceipt, } from "./orchestrate.mjs";
-export { makeRecordCoreMigrationPlan } from "./plan.mjs";
-export type { RecordCoreMigrationPlan, RecordCoreMigrationPlanStep, RecordCoreMigrationPlanSummary, } from "./plan.mjs";
+/**
+ * The initial public Record release has no predecessor to migrate. Keep the
+ * package-owned adjacent-step shape here so a later released schema can add a
+ * fixed `n -> n + 1` entry without reviving registries or third-party hooks.
+ * This module is intentionally outside the ordinary reader import graph.
+ */
+export interface RecordAdjacentMigration {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+}
+export declare const currentRecordAdjacentMigrations: readonly [];

package/dist/record/migration/index.d.ts

@@ -1,8 +1,11 @@
-export * from "./errors.js";
-export * from "./identity.js";
-export * from "./registry.js";
-export * from "./types.js";
-export { assertRecordMigrationNotInterrupted, migrateRecord, planRecordMigration, } from "./orchestrate.js";
-export type { RecordMigrationAttachmentPlanState, RecordMigrationAttachmentPlanSummary, RecordMigrationAuthorization, RecordMigrationError, RecordMigrationPlan, RecordMigrationPlanError, RecordMigrationPlanSummary, RecordMigrationReceipt, } from "./orchestrate.js";
-export { makeRecordCoreMigrationPlan } from "./plan.js";
-export type { RecordCoreMigrationPlan, RecordCoreMigrationPlanStep, RecordCoreMigrationPlanSummary, } from "./plan.js";
+/**
+ * The initial public Record release has no predecessor to migrate. Keep the
+ * package-owned adjacent-step shape here so a later released schema can add a
+ * fixed `n -> n + 1` entry without reviving registries or third-party hooks.
+ * This module is intentionally outside the ordinary reader import graph.
+ */
+export interface RecordAdjacentMigration {
+    readonly fromSchemaVersion: number;
+    readonly toSchemaVersion: number;
+}
+export declare const currentRecordAdjacentMigrations: readonly [];

package/dist/record/migration/index.js

@@ -1,48 +1,6 @@
 import { createRequire as __niceevalCreateRequire } from "node:module";
 const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
 const __niceevalCanonical = __niceevalRequire("./index.cjs");
-const __niceevalExport0 = __niceevalCanonical["CurrentRecordCoreMigrationRegistry"];
-export { __niceevalExport0 as CurrentRecordCoreMigrationRegistry };
-const __niceevalExport1 = __niceevalCanonical["RecordCoreMigrationPlan"];
-export { __niceevalExport1 as RecordCoreMigrationPlan };
-const __niceevalExport2 = __niceevalCanonical["RecordCoreMigrationRegistry"];
-export { __niceevalExport2 as RecordCoreMigrationRegistry };
-const __niceevalExport3 = __niceevalCanonical["RecordMigrationInterruptedState"];
-export { __niceevalExport3 as RecordMigrationInterruptedState };
-const __niceevalExport4 = __niceevalCanonical["RecordMigrationPlan"];
-export { __niceevalExport4 as RecordMigrationPlan };
-const __niceevalExport5 = __niceevalCanonical["RecordMigrationRegistry"];
-export { __niceevalExport5 as RecordMigrationRegistry };
-const __niceevalExport6 = __niceevalCanonical["areAdjacentRecordFormats"];
-export { __niceevalExport6 as areAdjacentRecordFormats };
-const __niceevalExport7 = __niceevalCanonical["assertRecordMigrationNotInterrupted"];
-export { __niceevalExport7 as assertRecordMigrationNotInterrupted };
-const __niceevalExport8 = __niceevalCanonical["makeCurrentRecordMigrationRegistry"];
-export { __niceevalExport8 as makeCurrentRecordMigrationRegistry };
-const __niceevalExport9 = __niceevalCanonical["makeRecordCoreMigrationPlan"];
-export { __niceevalExport9 as makeRecordCoreMigrationPlan };
-const __niceevalExport10 = __niceevalCanonical["makeRecordCoreMigrationRegistry"];
-export { __niceevalExport10 as makeRecordCoreMigrationRegistry };
-const __niceevalExport11 = __niceevalCanonical["migrateRecord"];
-export { __niceevalExport11 as migrateRecord };
-const __niceevalExport12 = __niceevalCanonical["planRecordMigration"];
-export { __niceevalExport12 as planRecordMigration };
-const __niceevalExport13 = __niceevalCanonical["recordAttachmentMigrationStepFailed"];
-export { __niceevalExport13 as recordAttachmentMigrationStepFailed };
-const __niceevalExport14 = __niceevalCanonical["recordCoreMigrationPlanInvalid"];
-export { __niceevalExport14 as recordCoreMigrationPlanInvalid };
-const __niceevalExport15 = __niceevalCanonical["recordCoreMigrationRegistryInvalid"];
-export { __niceevalExport15 as recordCoreMigrationRegistryInvalid };
-const __niceevalExport16 = __niceevalCanonical["recordCoreMigrationRegistryIssue"];
-export { __niceevalExport16 as recordCoreMigrationRegistryIssue };
-const __niceevalExport17 = __niceevalCanonical["recordCoreMigrationStepFailed"];
-export { __niceevalExport17 as recordCoreMigrationStepFailed };
-const __niceevalExport18 = __niceevalCanonical["recordFormatMajor"];
-export { __niceevalExport18 as recordFormatMajor };
-const __niceevalExport19 = __niceevalCanonical["recordMigrationAuthorizationInvalid"];
-export { __niceevalExport19 as recordMigrationAuthorizationInvalid };
-const __niceevalExport20 = __niceevalCanonical["recordMigrationConfirmationRequired"];
-export { __niceevalExport20 as recordMigrationConfirmationRequired };
-const __niceevalExport21 = __niceevalCanonical["recordMigrationPlanStale"];
-export { __niceevalExport21 as recordMigrationPlanStale };
+const __niceevalExport0 = __niceevalCanonical["currentRecordAdjacentMigrations"];
+export { __niceevalExport0 as currentRecordAdjacentMigrations };
 //# sourceMappingURL=index.js.map

package/dist/record/model/core.cjs

@@ -1,10 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.recordAttemptReferenceKey = recordAttemptReferenceKey;
-/**
- * NUL cannot occur in a portable ID segment, so this is an unambiguous private
- * map key for exact Run/Attempt references.
- */
+/** NUL cannot appear in a portable segment, so this map key is collision-free. */
 function recordAttemptReferenceKey(ref) {
     return `${ref.originRunId}\u0000${ref.attemptId}`;
 }

package/dist/record/model/core.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["core.ts"],"names":[],"mappings":";;AAoDA,8DAEC;AAND;;;GAGG;AACH,SAAgB,yBAAyB,CAAC,GAAqB;IAC3D,OAAO,GAAG,GAAG,CAAC,WAAW,SAAS,GAAG,CAAC,SAAS,EAAE,CAAC;AACtD,CAAC","sourcesContent":["import type { AttemptId, RecordAttachmentName, RecordAttachmentSchemaId, RecordFormatV1, RecordId, RunId, SlotId, UtcMillis, } from \"./identifiers.ts\";\n/** The exact contents of `record.json` for the current Record major. */\nexport interface RecordDocumentV1 {\n    readonly format: RecordFormatV1;\n    readonly recordId: RecordId;\n}\n/** The exact contents of one published Run's `run.json`. */\nexport interface RunDocumentV1 {\n    readonly runId: RunId;\n    readonly startedAt: UtcMillis;\n    readonly completedAt: UtcMillis;\n    readonly expectedSlots: readonly SlotId[];\n}\n/** An exact reference to an Attempt at its immutable origin. */\nexport interface RecordAttemptRef {\n    readonly originRunId: RunId;\n    readonly attemptId: AttemptId;\n}\n/** The exact contents of `members/<SlotId>.json`. */\nexport interface MemberDocumentV1 {\n    readonly slotId: SlotId;\n    readonly attempt: RecordAttemptRef;\n}\n/** The exact contents of `attempts/<AttemptId>/attempt.json`. */\nexport interface AttemptDocumentV1 {\n    readonly attemptId: AttemptId;\n    readonly originRunId: RunId;\n}\n/** The exact contents of one Attachment's `attachment.json`. */\nexport interface RecordAttachmentEnvelopeV1 {\n    readonly name: RecordAttachmentName;\n    readonly schemaId: RecordAttachmentSchemaId;\n}\nexport type RecordAttachmentOwner = \"run\" | \"attempt\";\n/**\n * Pure aggregate used to validate cross-document Core invariants. It is not a\n * second durable document; filesystem code supplies it from one frozen view.\n */\nexport interface RunCoreV1 {\n    readonly run: RunDocumentV1;\n    readonly members: readonly MemberDocumentV1[];\n    readonly attempts: readonly AttemptDocumentV1[];\n}\n/** A complete, already-published Record Core snapshot. */\nexport interface RecordCoreV1 {\n    readonly record: RecordDocumentV1;\n    readonly runs: readonly RunCoreV1[];\n}\n/**\n * NUL cannot occur in a portable ID segment, so this is an unambiguous private\n * map key for exact Run/Attempt references.\n */\nexport function recordAttemptReferenceKey(ref: RecordAttemptRef): string {\n    return `${ref.originRunId}\\u0000${ref.attemptId}`;\n}\n"]}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["core.ts"],"names":[],"mappings":";;AAwEA,8DAEC;AAHD,kFAAkF;AAClF,SAAgB,yBAAyB,CAAC,GAAqB;IAC3D,OAAO,GAAG,GAAG,CAAC,WAAW,SAAS,GAAG,CAAC,SAAS,EAAE,CAAC;AACtD,CAAC","sourcesContent":["import type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RecordFormat, RecordId, RunId, SlotId, UtcMillis, } from \"./identifiers.ts\";\nimport type { RunContext } from \"./run-context.ts\";\n/** The current root header keeps stable identity separate from schema version. */\nexport interface RecordDocument {\n    readonly format: RecordFormat;\n    readonly schemaVersion: 1;\n    readonly recordId: RecordId;\n}\n/** An exact reference to an immutable origin Attempt. */\nexport interface RecordAttemptRef {\n    readonly originRunId: RunId;\n    readonly attemptId: AttemptId;\n}\n/** The terminal execution fact required to interpret an origin Attempt. */\nexport type AttemptOutcome = \"completed\" | \"errored\" | \"cancelled\" | \"interrupted\";\n/** The immutable final action for one planned denominator Slot. */\nexport type MembershipAction = \"executed\" | \"carried\" | \"accepted\" | \"not-dispatched\" | \"interrupted\";\n/** Exact planned identity; its existing digest remains the only execution identity. */\nexport interface RecordSlotIdentity {\n    readonly slotId: SlotId;\n    readonly evalId: EvalId;\n    /** Zero-based planned attempt identity; never inferred from array position. */\n    readonly attemptOrdinal: number;\n    readonly executionIdentityDigest: ExecutionIdentityDigest;\n}\n/** The exact durable contents of one sealed `run.json`. */\nexport interface RunDocument {\n    readonly runId: RunId;\n    readonly experimentId: ExperimentId;\n    /** Mandatory historical Core, sealed once with the Run. */\n    readonly context: RunContext;\n    readonly startedAt: UtcMillis;\n    readonly completedAt: UtcMillis;\n    readonly expectedSlots: readonly RecordSlotIdentity[];\n}\n/** The exact durable contents of `members/<SlotId>.json`. */\nexport type MemberDocument = {\n    readonly slotId: SlotId;\n    readonly action: \"executed\" | \"carried\" | \"accepted\";\n    readonly attempt: RecordAttemptRef;\n} | {\n    readonly slotId: SlotId;\n    readonly action: \"not-dispatched\" | \"interrupted\";\n    readonly attempt: null;\n};\n/** The exact durable contents of `attempts/<AttemptId>/attempt.json`. */\nexport interface AttemptDocument {\n    readonly attemptId: AttemptId;\n    readonly originRunId: RunId;\n    readonly slotId: SlotId;\n    readonly evalId: EvalId;\n    readonly executionIdentityDigest: ExecutionIdentityDigest;\n    readonly outcome: AttemptOutcome;\n}\n/** Stable fixed-family identity plus the numeric shape version. */\nexport interface RecordAttachmentEnvelope<Family extends string = string> {\n    readonly family: Family;\n    readonly schemaVersion: number;\n}\nexport type RecordAttachmentOwner = \"run\" | \"attempt\";\n/** In-memory aggregate for cross-document Core refine; never a second disk document. */\nexport interface RunCore {\n    readonly run: RunDocument;\n    readonly members: readonly MemberDocument[];\n    readonly attempts: readonly AttemptDocument[];\n}\n/** A complete already-published Record Core snapshot. */\nexport interface RecordCore {\n    readonly record: RecordDocument;\n    readonly runs: readonly RunCore[];\n}\n/** NUL cannot appear in a portable segment, so this map key is collision-free. */\nexport function recordAttemptReferenceKey(ref: RecordAttemptRef): string {\n    return `${ref.originRunId}\\u0000${ref.attemptId}`;\n}\n"]}

package/dist/record/model/core.d.cts

@@ -1,53 +1,73 @@
-import type { AttemptId, RecordAttachmentName, RecordAttachmentSchemaId, RecordFormatV1, RecordId, RunId, SlotId, UtcMillis } from "./identifiers.cjs";
-/** The exact contents of `record.json` for the current Record major. */
-export interface RecordDocumentV1 {
-    readonly format: RecordFormatV1;
+import type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RecordFormat, RecordId, RunId, SlotId, UtcMillis } from "./identifiers.cjs";
+import type { RunContext } from "./run-context.cjs";
+/** The current root header keeps stable identity separate from schema version. */
+export interface RecordDocument {
+    readonly format: RecordFormat;
+    readonly schemaVersion: 1;
     readonly recordId: RecordId;
 }
-/** The exact contents of one published Run's `run.json`. */
-export interface RunDocumentV1 {
-    readonly runId: RunId;
-    readonly startedAt: UtcMillis;
-    readonly completedAt: UtcMillis;
-    readonly expectedSlots: readonly SlotId[];
-}
-/** An exact reference to an Attempt at its immutable origin. */
+/** An exact reference to an immutable origin Attempt. */
 export interface RecordAttemptRef {
     readonly originRunId: RunId;
     readonly attemptId: AttemptId;
 }
-/** The exact contents of `members/<SlotId>.json`. */
-export interface MemberDocumentV1 {
+/** The terminal execution fact required to interpret an origin Attempt. */
+export type AttemptOutcome = "completed" | "errored" | "cancelled" | "interrupted";
+/** The immutable final action for one planned denominator Slot. */
+export type MembershipAction = "executed" | "carried" | "accepted" | "not-dispatched" | "interrupted";
+/** Exact planned identity; its existing digest remains the only execution identity. */
+export interface RecordSlotIdentity {
     readonly slotId: SlotId;
-    readonly attempt: RecordAttemptRef;
+    readonly evalId: EvalId;
+    /** Zero-based planned attempt identity; never inferred from array position. */
+    readonly attemptOrdinal: number;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
 }
-/** The exact contents of `attempts/<AttemptId>/attempt.json`. */
-export interface AttemptDocumentV1 {
+/** The exact durable contents of one sealed `run.json`. */
+export interface RunDocument {
+    readonly runId: RunId;
+    readonly experimentId: ExperimentId;
+    /** Mandatory historical Core, sealed once with the Run. */
+    readonly context: RunContext;
+    readonly startedAt: UtcMillis;
+    readonly completedAt: UtcMillis;
+    readonly expectedSlots: readonly RecordSlotIdentity[];
+}
+/** The exact durable contents of `members/<SlotId>.json`. */
+export type MemberDocument = {
+    readonly slotId: SlotId;
+    readonly action: "executed" | "carried" | "accepted";
+    readonly attempt: RecordAttemptRef;
+} | {
+    readonly slotId: SlotId;
+    readonly action: "not-dispatched" | "interrupted";
+    readonly attempt: null;
+};
+/** The exact durable contents of `attempts/<AttemptId>/attempt.json`. */
+export interface AttemptDocument {
     readonly attemptId: AttemptId;
     readonly originRunId: RunId;
+    readonly slotId: SlotId;
+    readonly evalId: EvalId;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
+    readonly outcome: AttemptOutcome;
 }
-/** The exact contents of one Attachment's `attachment.json`. */
-export interface RecordAttachmentEnvelopeV1 {
-    readonly name: RecordAttachmentName;
-    readonly schemaId: RecordAttachmentSchemaId;
+/** Stable fixed-family identity plus the numeric shape version. */
+export interface RecordAttachmentEnvelope<Family extends string = string> {
+    readonly family: Family;
+    readonly schemaVersion: number;
 }
 export type RecordAttachmentOwner = "run" | "attempt";
-/**
- * Pure aggregate used to validate cross-document Core invariants. It is not a
- * second durable document; filesystem code supplies it from one frozen view.
- */
-export interface RunCoreV1 {
-    readonly run: RunDocumentV1;
-    readonly members: readonly MemberDocumentV1[];
-    readonly attempts: readonly AttemptDocumentV1[];
-}
-/** A complete, already-published Record Core snapshot. */
-export interface RecordCoreV1 {
-    readonly record: RecordDocumentV1;
-    readonly runs: readonly RunCoreV1[];
-}
-/**
- * NUL cannot occur in a portable ID segment, so this is an unambiguous private
- * map key for exact Run/Attempt references.
- */
+/** In-memory aggregate for cross-document Core refine; never a second disk document. */
+export interface RunCore {
+    readonly run: RunDocument;
+    readonly members: readonly MemberDocument[];
+    readonly attempts: readonly AttemptDocument[];
+}
+/** A complete already-published Record Core snapshot. */
+export interface RecordCore {
+    readonly record: RecordDocument;
+    readonly runs: readonly RunCore[];
+}
+/** NUL cannot appear in a portable segment, so this map key is collision-free. */
 export declare function recordAttemptReferenceKey(ref: RecordAttemptRef): string;

package/dist/record/model/core.d.mts

@@ -1,53 +1,73 @@
-import type { AttemptId, RecordAttachmentName, RecordAttachmentSchemaId, RecordFormatV1, RecordId, RunId, SlotId, UtcMillis } from "./identifiers.mjs";
-/** The exact contents of `record.json` for the current Record major. */
-export interface RecordDocumentV1 {
-    readonly format: RecordFormatV1;
+import type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RecordFormat, RecordId, RunId, SlotId, UtcMillis } from "./identifiers.mjs";
+import type { RunContext } from "./run-context.mjs";
+/** The current root header keeps stable identity separate from schema version. */
+export interface RecordDocument {
+    readonly format: RecordFormat;
+    readonly schemaVersion: 1;
     readonly recordId: RecordId;
 }
-/** The exact contents of one published Run's `run.json`. */
-export interface RunDocumentV1 {
-    readonly runId: RunId;
-    readonly startedAt: UtcMillis;
-    readonly completedAt: UtcMillis;
-    readonly expectedSlots: readonly SlotId[];
-}
-/** An exact reference to an Attempt at its immutable origin. */
+/** An exact reference to an immutable origin Attempt. */
 export interface RecordAttemptRef {
     readonly originRunId: RunId;
     readonly attemptId: AttemptId;
 }
-/** The exact contents of `members/<SlotId>.json`. */
-export interface MemberDocumentV1 {
+/** The terminal execution fact required to interpret an origin Attempt. */
+export type AttemptOutcome = "completed" | "errored" | "cancelled" | "interrupted";
+/** The immutable final action for one planned denominator Slot. */
+export type MembershipAction = "executed" | "carried" | "accepted" | "not-dispatched" | "interrupted";
+/** Exact planned identity; its existing digest remains the only execution identity. */
+export interface RecordSlotIdentity {
     readonly slotId: SlotId;
-    readonly attempt: RecordAttemptRef;
+    readonly evalId: EvalId;
+    /** Zero-based planned attempt identity; never inferred from array position. */
+    readonly attemptOrdinal: number;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
 }
-/** The exact contents of `attempts/<AttemptId>/attempt.json`. */
-export interface AttemptDocumentV1 {
+/** The exact durable contents of one sealed `run.json`. */
+export interface RunDocument {
+    readonly runId: RunId;
+    readonly experimentId: ExperimentId;
+    /** Mandatory historical Core, sealed once with the Run. */
+    readonly context: RunContext;
+    readonly startedAt: UtcMillis;
+    readonly completedAt: UtcMillis;
+    readonly expectedSlots: readonly RecordSlotIdentity[];
+}
+/** The exact durable contents of `members/<SlotId>.json`. */
+export type MemberDocument = {
+    readonly slotId: SlotId;
+    readonly action: "executed" | "carried" | "accepted";
+    readonly attempt: RecordAttemptRef;
+} | {
+    readonly slotId: SlotId;
+    readonly action: "not-dispatched" | "interrupted";
+    readonly attempt: null;
+};
+/** The exact durable contents of `attempts/<AttemptId>/attempt.json`. */
+export interface AttemptDocument {
     readonly attemptId: AttemptId;
     readonly originRunId: RunId;
+    readonly slotId: SlotId;
+    readonly evalId: EvalId;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
+    readonly outcome: AttemptOutcome;
 }
-/** The exact contents of one Attachment's `attachment.json`. */
-export interface RecordAttachmentEnvelopeV1 {
-    readonly name: RecordAttachmentName;
-    readonly schemaId: RecordAttachmentSchemaId;
+/** Stable fixed-family identity plus the numeric shape version. */
+export interface RecordAttachmentEnvelope<Family extends string = string> {
+    readonly family: Family;
+    readonly schemaVersion: number;
 }
 export type RecordAttachmentOwner = "run" | "attempt";
-/**
- * Pure aggregate used to validate cross-document Core invariants. It is not a
- * second durable document; filesystem code supplies it from one frozen view.
- */
-export interface RunCoreV1 {
-    readonly run: RunDocumentV1;
-    readonly members: readonly MemberDocumentV1[];
-    readonly attempts: readonly AttemptDocumentV1[];
-}
-/** A complete, already-published Record Core snapshot. */
-export interface RecordCoreV1 {
-    readonly record: RecordDocumentV1;
-    readonly runs: readonly RunCoreV1[];
-}
-/**
- * NUL cannot occur in a portable ID segment, so this is an unambiguous private
- * map key for exact Run/Attempt references.
- */
+/** In-memory aggregate for cross-document Core refine; never a second disk document. */
+export interface RunCore {
+    readonly run: RunDocument;
+    readonly members: readonly MemberDocument[];
+    readonly attempts: readonly AttemptDocument[];
+}
+/** A complete already-published Record Core snapshot. */
+export interface RecordCore {
+    readonly record: RecordDocument;
+    readonly runs: readonly RunCore[];
+}
+/** NUL cannot appear in a portable segment, so this map key is collision-free. */
 export declare function recordAttemptReferenceKey(ref: RecordAttemptRef): string;

package/dist/record/model/core.d.ts

@@ -1,53 +1,73 @@
-import type { AttemptId, RecordAttachmentName, RecordAttachmentSchemaId, RecordFormatV1, RecordId, RunId, SlotId, UtcMillis } from "./identifiers.js";
-/** The exact contents of `record.json` for the current Record major. */
-export interface RecordDocumentV1 {
-    readonly format: RecordFormatV1;
+import type { AttemptId, EvalId, ExecutionIdentityDigest, ExperimentId, RecordFormat, RecordId, RunId, SlotId, UtcMillis } from "./identifiers.js";
+import type { RunContext } from "./run-context.js";
+/** The current root header keeps stable identity separate from schema version. */
+export interface RecordDocument {
+    readonly format: RecordFormat;
+    readonly schemaVersion: 1;
     readonly recordId: RecordId;
 }
-/** The exact contents of one published Run's `run.json`. */
-export interface RunDocumentV1 {
-    readonly runId: RunId;
-    readonly startedAt: UtcMillis;
-    readonly completedAt: UtcMillis;
-    readonly expectedSlots: readonly SlotId[];
-}
-/** An exact reference to an Attempt at its immutable origin. */
+/** An exact reference to an immutable origin Attempt. */
 export interface RecordAttemptRef {
     readonly originRunId: RunId;
     readonly attemptId: AttemptId;
 }
-/** The exact contents of `members/<SlotId>.json`. */
-export interface MemberDocumentV1 {
+/** The terminal execution fact required to interpret an origin Attempt. */
+export type AttemptOutcome = "completed" | "errored" | "cancelled" | "interrupted";
+/** The immutable final action for one planned denominator Slot. */
+export type MembershipAction = "executed" | "carried" | "accepted" | "not-dispatched" | "interrupted";
+/** Exact planned identity; its existing digest remains the only execution identity. */
+export interface RecordSlotIdentity {
     readonly slotId: SlotId;
-    readonly attempt: RecordAttemptRef;
+    readonly evalId: EvalId;
+    /** Zero-based planned attempt identity; never inferred from array position. */
+    readonly attemptOrdinal: number;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
 }
-/** The exact contents of `attempts/<AttemptId>/attempt.json`. */
-export interface AttemptDocumentV1 {
+/** The exact durable contents of one sealed `run.json`. */
+export interface RunDocument {
+    readonly runId: RunId;
+    readonly experimentId: ExperimentId;
+    /** Mandatory historical Core, sealed once with the Run. */
+    readonly context: RunContext;
+    readonly startedAt: UtcMillis;
+    readonly completedAt: UtcMillis;
+    readonly expectedSlots: readonly RecordSlotIdentity[];
+}
+/** The exact durable contents of `members/<SlotId>.json`. */
+export type MemberDocument = {
+    readonly slotId: SlotId;
+    readonly action: "executed" | "carried" | "accepted";
+    readonly attempt: RecordAttemptRef;
+} | {
+    readonly slotId: SlotId;
+    readonly action: "not-dispatched" | "interrupted";
+    readonly attempt: null;
+};
+/** The exact durable contents of `attempts/<AttemptId>/attempt.json`. */
+export interface AttemptDocument {
     readonly attemptId: AttemptId;
     readonly originRunId: RunId;
+    readonly slotId: SlotId;
+    readonly evalId: EvalId;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
+    readonly outcome: AttemptOutcome;
 }
-/** The exact contents of one Attachment's `attachment.json`. */
-export interface RecordAttachmentEnvelopeV1 {
-    readonly name: RecordAttachmentName;
-    readonly schemaId: RecordAttachmentSchemaId;
+/** Stable fixed-family identity plus the numeric shape version. */
+export interface RecordAttachmentEnvelope<Family extends string = string> {
+    readonly family: Family;
+    readonly schemaVersion: number;
 }
 export type RecordAttachmentOwner = "run" | "attempt";
-/**
- * Pure aggregate used to validate cross-document Core invariants. It is not a
- * second durable document; filesystem code supplies it from one frozen view.
- */
-export interface RunCoreV1 {
-    readonly run: RunDocumentV1;
-    readonly members: readonly MemberDocumentV1[];
-    readonly attempts: readonly AttemptDocumentV1[];
-}
-/** A complete, already-published Record Core snapshot. */
-export interface RecordCoreV1 {
-    readonly record: RecordDocumentV1;
-    readonly runs: readonly RunCoreV1[];
-}
-/**
- * NUL cannot occur in a portable ID segment, so this is an unambiguous private
- * map key for exact Run/Attempt references.
- */
+/** In-memory aggregate for cross-document Core refine; never a second disk document. */
+export interface RunCore {
+    readonly run: RunDocument;
+    readonly members: readonly MemberDocument[];
+    readonly attempts: readonly AttemptDocument[];
+}
+/** A complete already-published Record Core snapshot. */
+export interface RecordCore {
+    readonly record: RecordDocument;
+    readonly runs: readonly RunCore[];
+}
+/** NUL cannot appear in a portable segment, so this map key is collision-free. */
 export declare function recordAttemptReferenceKey(ref: RecordAttemptRef): string;