niceeval 0.12.2-canary.31 → 0.13.0

package/dist/record/platform/services.cjs

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.RecordGit = exports.RecordEntropy = exports.RecordWriterLock = exports.RecordMaintenanceLock = exports.RecordFileSystem = void 0;
+exports.RecordGit = exports.RecordEntropy = exports.RecordFileSystem = void 0;
 exports.recordPortablePath = recordPortablePath;
 const effect_1 = require("effect");
 function recordPortablePath(root, ...segments) {
@@ -9,12 +9,6 @@ function recordPortablePath(root, ...segments) {
 class RecordFileSystem extends effect_1.Context.Tag("@niceeval/record/RecordFileSystem")() {
 }
 exports.RecordFileSystem = RecordFileSystem;
-class RecordMaintenanceLock extends effect_1.Context.Tag("@niceeval/record/RecordMaintenanceLock")() {
-}
-exports.RecordMaintenanceLock = RecordMaintenanceLock;
-class RecordWriterLock extends effect_1.Context.Tag("@niceeval/record/RecordWriterLock")() {
-}
-exports.RecordWriterLock = RecordWriterLock;
 class RecordEntropy extends effect_1.Context.Tag("@niceeval/record/RecordEntropy")() {
 }
 exports.RecordEntropy = RecordEntropy;

package/dist/record/platform/services.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"services.js","sourceRoot":"","sources":["services.ts"],"names":[],"mappings":";;;AAWA,gDAEC;AAbD,mCAAiD;AAWjD,SAAgB,kBAAkB,CAAC,IAAgB,EAAE,GAAG,QAA2B;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAyED,MAAa,gBAAiB,SAAQ,gBAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,EAA6C;CAClI;AADD,4CACC;AAWD,MAAa,qBAAsB,SAAQ,gBAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,EAAuD;CACtJ;AADD,sDACC;AAQD,MAAa,gBAAiB,SAAQ,gBAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,EAA6C;CAClI;AADD,4CACC;AAKD,MAAa,aAAc,SAAQ,gBAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,EAAuC;CACtH;AADD,sCACC;AAmBD,MAAa,SAAU,SAAQ,gBAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,EAA+B;CACtG;AADD,8BACC","sourcesContent":["import { Context, Effect, Stream } from \"effect\";\nimport type { RecordFileSystemError, RecordGitError, RecordMaintenanceLockError, RecordPathKind, RecordWriterLockError, } from \"./errors.ts\";\nimport type { RecordRoot } from \"./root.ts\";\n/**\n * A portable root-relative path request. It is not a capability: every live\n * platform operation validates these data again, including forged JS objects.\n */\nexport interface RecordPortablePath {\n    readonly root: RecordRoot;\n    readonly segments: readonly string[];\n}\nexport function recordPortablePath(root: RecordRoot, ...segments: readonly string[]): RecordPortablePath {\n    return Object.freeze({ root, segments: Object.freeze([...segments]) });\n}\nexport interface RecordDirectoryEntry {\n    readonly name: string;\n    readonly kind: Exclude<RecordPathKind, \"missing\">;\n}\nexport interface RecordListDirectoryInput {\n    readonly directory: RecordPortablePath;\n    readonly maximumEntries: number;\n}\nexport interface RecordReadFileInput {\n    readonly file: RecordPortablePath;\n    readonly maximumBytes: number;\n}\nexport interface RecordReadFileStreamInput extends RecordReadFileInput {\n    readonly chunkBytes?: number;\n}\nexport type RecordFileWriteMode = \"exclusive\" | \"replace\";\nexport interface RecordWriteFileInput {\n    readonly file: RecordPortablePath;\n    readonly bytes: Uint8Array;\n    readonly maximumBytes: number;\n    readonly mode: RecordFileWriteMode;\n}\nexport interface RecordWriteFileStreamInput<E, R> {\n    readonly file: RecordPortablePath;\n    readonly stream: Stream.Stream<Uint8Array, E, R>;\n    readonly maximumBytes: number;\n    readonly mode: RecordFileWriteMode;\n}\nexport type RecordIncompleteRunDelete = {\n    readonly state: \"deleted\";\n} | {\n    readonly state: \"missing\";\n} | {\n    readonly state: \"skipped-complete\";\n};\n/**\n * Portable Record file operations only. Lock files and other live operation\n * state are intentionally owned by the separate lease services below.\n */\nexport interface RecordFileSystemService {\n    readonly pathKind: (path: RecordPortablePath) => Effect.Effect<RecordPathKind, RecordFileSystemError>;\n    readonly ensureDirectory: (directory: RecordPortablePath) => Effect.Effect<void, RecordFileSystemError>;\n    readonly createDirectory: (directory: RecordPortablePath) => Effect.Effect<void, RecordFileSystemError>;\n    readonly listDirectory: (input: RecordListDirectoryInput) => Effect.Effect<readonly RecordDirectoryEntry[], RecordFileSystemError>;\n    readonly readFile: (input: RecordReadFileInput) => Effect.Effect<Uint8Array | undefined, RecordFileSystemError>;\n    readonly readFileStream: (input: RecordReadFileStreamInput) => Stream.Stream<Uint8Array, RecordFileSystemError>;\n    readonly writeFile: (input: RecordWriteFileInput) => Effect.Effect<void, RecordFileSystemError>;\n    readonly writeFileStream: <E, R>(input: RecordWriteFileStreamInput<E, R>) => Effect.Effect<void, RecordFileSystemError | E, R>;\n    readonly syncDirectory: (directory: RecordPortablePath) => Effect.Effect<void, RecordFileSystemError>;\n    /** Creates `runs/<RunId>` without publishing it. */\n    readonly createRunDirectory: (input: {\n        readonly root: RecordRoot;\n        readonly runId: string;\n    }) => Effect.Effect<void, RecordFileSystemError>;\n    /** The only platform operation that creates `runs/<RunId>/complete`. */\n    readonly createCompleteMarker: (input: {\n        readonly root: RecordRoot;\n        readonly runId: string;\n    }) => Effect.Effect<void, RecordFileSystemError>;\n    readonly migrationSentinelPresent: (root: RecordRoot) => Effect.Effect<boolean, RecordFileSystemError>;\n    readonly createMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;\n    readonly removeMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;\n    /**\n     * Clean calls this while it owns RecordWriterLock. The final marker check is\n     * deliberately adjacent to removal so a completed Run is never selected as\n     * incomplete by stale discovery output.\n     */\n    readonly deleteIncompleteRun: (input: {\n        readonly root: RecordRoot;\n        readonly runId: string;\n    }) => Effect.Effect<RecordIncompleteRunDelete, RecordFileSystemError>;\n}\nexport class RecordFileSystem extends Context.Tag(\"@niceeval/record/RecordFileSystem\")<RecordFileSystem, RecordFileSystemService>() {\n}\nexport type RecordMaintenanceLockMode = \"shared\" | \"exclusive\";\n/** Opaque, Scope-owned proof that the maintenance lock remains held. */\nexport interface RecordMaintenanceLockHandle {\n    readonly mode: RecordMaintenanceLockMode;\n}\n/** Shared readers/writers versus exclusive migration coordination. */\nexport interface RecordMaintenanceLockService {\n    readonly acquireShared: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import(\"effect\").Scope.Scope>;\n    readonly acquireExclusive: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import(\"effect\").Scope.Scope>;\n}\nexport class RecordMaintenanceLock extends Context.Tag(\"@niceeval/record/RecordMaintenanceLock\")<RecordMaintenanceLock, RecordMaintenanceLockService>() {\n}\n/** Opaque, Scope-owned proof that this process is the sole Run publisher/cleaner. */\nexport interface RecordWriterLease {\n    readonly _tag: \"RecordWriterLease\";\n}\nexport interface RecordWriterLockService {\n    readonly acquire: (root: RecordRoot) => Effect.Effect<RecordWriterLease, RecordWriterLockError, import(\"effect\").Scope.Scope>;\n}\nexport class RecordWriterLock extends Context.Tag(\"@niceeval/record/RecordWriterLock\")<RecordWriterLock, RecordWriterLockService>() {\n}\n/** Entropy is a writer-only capability, not a reader requirement. */\nexport interface RecordEntropyService {\n    readonly uuid: Effect.Effect<string>;\n}\nexport class RecordEntropy extends Context.Tag(\"@niceeval/record/RecordEntropy\")<RecordEntropy, RecordEntropyService>() {\n}\n/**\n * A migration asks whether local Git can restore the current portable root;\n * absence of proof is data for the CLI confirmation flow, not an implicit OK.\n */\nexport type RecordBackupState = {\n    readonly state: \"git-restore-point\";\n    readonly commit: string;\n} | {\n    readonly state: \"not-git-worktree\";\n} | {\n    readonly state: \"root-outside-worktree\";\n} | {\n    readonly state: \"portable-root-dirty\";\n    readonly entries: readonly string[];\n};\nexport interface RecordGitService {\n    readonly inspectBackupState: (root: RecordRoot) => Effect.Effect<RecordBackupState, RecordGitError>;\n}\nexport class RecordGit extends Context.Tag(\"@niceeval/record/RecordGit\")<RecordGit, RecordGitService>() {\n}\n"]}
+{"version":3,"file":"services.js","sourceRoot":"","sources":["services.ts"],"names":[],"mappings":";;;AAWA,gDAEC;AAbD,mCAAiD;AAWjD,SAAgB,kBAAkB,CAAC,IAAgB,EAAE,GAAG,QAA2B;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAqED,MAAa,gBAAiB,SAAQ,gBAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,EAA6C;CAClI;AADD,4CACC;AAKD,MAAa,aAAc,SAAQ,gBAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,EAAuC;CACtH;AADD,sCACC;AAmBD,MAAa,SAAU,SAAQ,gBAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,EAA+B;CACtG;AADD,8BACC","sourcesContent":["import { Context, Effect, Stream } from \"effect\";\nimport type { RecordFileSystemError, RecordGitError, RecordPathKind, } from \"./errors.ts\";\nimport type { RecordRoot } from \"./root.ts\";\n/**\n * A portable root-relative path request. It is not a capability: every live\n * platform operation validates these data again, including forged JS objects.\n */\nexport interface RecordPortablePath {\n    readonly root: RecordRoot;\n    readonly segments: readonly string[];\n}\nexport function recordPortablePath(root: RecordRoot, ...segments: readonly string[]): RecordPortablePath {\n    return Object.freeze({ root, segments: Object.freeze([...segments]) });\n}\nexport interface RecordDirectoryEntry {\n    readonly name: string;\n    readonly kind: Exclude<RecordPathKind, \"missing\">;\n}\nexport interface RecordListDirectoryInput {\n    readonly directory: RecordPortablePath;\n    readonly maximumEntries: number;\n}\nexport interface RecordReadFileInput {\n    readonly file: RecordPortablePath;\n    readonly maximumBytes: number;\n}\nexport interface RecordReadFileStreamInput extends RecordReadFileInput {\n    readonly chunkBytes?: number;\n}\nexport type RecordFileWriteMode = \"exclusive\" | \"replace\";\nexport interface RecordWriteFileInput {\n    readonly file: RecordPortablePath;\n    readonly bytes: Uint8Array;\n    readonly maximumBytes: number;\n    readonly mode: RecordFileWriteMode;\n}\nexport interface RecordWriteFileStreamInput<E, R> {\n    readonly file: RecordPortablePath;\n    readonly stream: Stream.Stream<Uint8Array, E, R>;\n    readonly maximumBytes: number;\n    readonly mode: RecordFileWriteMode;\n}\nexport type RecordIncompleteRunDelete = {\n    readonly state: \"deleted\";\n} | {\n    readonly state: \"missing\";\n} | {\n    readonly state: \"skipped-complete\";\n};\n/**\n * Portable Record file operations only. Lock files and other live operation\n * state are intentionally owned by the separate lease services below.\n */\nexport interface RecordFileSystemService {\n    readonly pathKind: (path: RecordPortablePath) => Effect.Effect<RecordPathKind, RecordFileSystemError>;\n    readonly ensureDirectory: (directory: RecordPortablePath) => Effect.Effect<void, RecordFileSystemError>;\n    readonly createDirectory: (directory: RecordPortablePath) => Effect.Effect<void, RecordFileSystemError>;\n    readonly listDirectory: (input: RecordListDirectoryInput) => Effect.Effect<readonly RecordDirectoryEntry[], RecordFileSystemError>;\n    readonly readFile: (input: RecordReadFileInput) => Effect.Effect<Uint8Array | undefined, RecordFileSystemError>;\n    readonly readFileStream: (input: RecordReadFileStreamInput) => Stream.Stream<Uint8Array, RecordFileSystemError>;\n    readonly writeFile: (input: RecordWriteFileInput) => Effect.Effect<void, RecordFileSystemError>;\n    readonly writeFileStream: <E, R>(input: RecordWriteFileStreamInput<E, R>) => Effect.Effect<void, RecordFileSystemError | E, R>;\n    readonly syncDirectory: (directory: RecordPortablePath) => Effect.Effect<void, RecordFileSystemError>;\n    /** Creates `runs/<RunId>` without publishing it. */\n    readonly createRunDirectory: (input: {\n        readonly root: RecordRoot;\n        readonly runId: string;\n    }) => Effect.Effect<void, RecordFileSystemError>;\n    /** The only platform operation that creates `runs/<RunId>/complete`. */\n    readonly createCompleteMarker: (input: {\n        readonly root: RecordRoot;\n        readonly runId: string;\n    }) => Effect.Effect<void, RecordFileSystemError>;\n    readonly migrationSentinelPresent: (root: RecordRoot) => Effect.Effect<boolean, RecordFileSystemError>;\n    readonly createMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;\n    readonly removeMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;\n    /** The caller already owns the exclusive maintenance lease before deletion. */\n    readonly deleteIncompleteRun: (input: {\n        readonly root: RecordRoot;\n        readonly runId: string;\n    }) => Effect.Effect<RecordIncompleteRunDelete, RecordFileSystemError>;\n}\nexport class RecordFileSystem extends Context.Tag(\"@niceeval/record/RecordFileSystem\")<RecordFileSystem, RecordFileSystemService>() {\n}\n/** Entropy is a writer-only capability, not a reader requirement. */\nexport interface RecordEntropyService {\n    readonly uuid: Effect.Effect<string>;\n}\nexport class RecordEntropy extends Context.Tag(\"@niceeval/record/RecordEntropy\")<RecordEntropy, RecordEntropyService>() {\n}\n/**\n * A migration asks whether local Git can restore the current portable root;\n * absence of proof is data for the CLI confirmation flow, not an implicit OK.\n */\nexport type RecordBackupState = {\n    readonly state: \"git-restore-point\";\n    readonly commit: string;\n} | {\n    readonly state: \"not-git-worktree\";\n} | {\n    readonly state: \"root-outside-worktree\";\n} | {\n    readonly state: \"portable-root-dirty\";\n    readonly entries: readonly string[];\n};\nexport interface RecordGitService {\n    readonly inspectBackupState: (root: RecordRoot) => Effect.Effect<RecordBackupState, RecordGitError>;\n}\nexport class RecordGit extends Context.Tag(\"@niceeval/record/RecordGit\")<RecordGit, RecordGitService>() {\n}\n"]}

package/dist/record/platform/services.d.cts

@@ -1,5 +1,5 @@
 import { Context, Effect, Stream } from "effect";
-import type { RecordFileSystemError, RecordGitError, RecordMaintenanceLockError, RecordPathKind, RecordWriterLockError } from "./errors.cjs";
+import type { RecordFileSystemError, RecordGitError, RecordPathKind } from "./errors.cjs";
 import type { RecordRoot } from "./root.cjs";
 /**
  * A portable root-relative path request. It is not a capability: every live
@@ -72,11 +72,7 @@ export interface RecordFileSystemService {
     readonly migrationSentinelPresent: (root: RecordRoot) => Effect.Effect<boolean, RecordFileSystemError>;
     readonly createMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;
     readonly removeMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;
-    /**
-     * Clean calls this while it owns RecordWriterLock. The final marker check is
-     * deliberately adjacent to removal so a completed Run is never selected as
-     * incomplete by stale discovery output.
-     */
+    /** The caller already owns the exclusive maintenance lease before deletion. */
     readonly deleteIncompleteRun: (input: {
         readonly root: RecordRoot;
         readonly runId: string;
@@ -85,29 +81,6 @@ export interface RecordFileSystemService {
 declare const RecordFileSystem_base: Context.TagClass<RecordFileSystem, "@niceeval/record/RecordFileSystem", RecordFileSystemService>;
 export declare class RecordFileSystem extends RecordFileSystem_base {
 }
-export type RecordMaintenanceLockMode = "shared" | "exclusive";
-/** Opaque, Scope-owned proof that the maintenance lock remains held. */
-export interface RecordMaintenanceLockHandle {
-    readonly mode: RecordMaintenanceLockMode;
-}
-/** Shared readers/writers versus exclusive migration coordination. */
-export interface RecordMaintenanceLockService {
-    readonly acquireShared: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import("effect").Scope.Scope>;
-    readonly acquireExclusive: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import("effect").Scope.Scope>;
-}
-declare const RecordMaintenanceLock_base: Context.TagClass<RecordMaintenanceLock, "@niceeval/record/RecordMaintenanceLock", RecordMaintenanceLockService>;
-export declare class RecordMaintenanceLock extends RecordMaintenanceLock_base {
-}
-/** Opaque, Scope-owned proof that this process is the sole Run publisher/cleaner. */
-export interface RecordWriterLease {
-    readonly _tag: "RecordWriterLease";
-}
-export interface RecordWriterLockService {
-    readonly acquire: (root: RecordRoot) => Effect.Effect<RecordWriterLease, RecordWriterLockError, import("effect").Scope.Scope>;
-}
-declare const RecordWriterLock_base: Context.TagClass<RecordWriterLock, "@niceeval/record/RecordWriterLock", RecordWriterLockService>;
-export declare class RecordWriterLock extends RecordWriterLock_base {
-}
 /** Entropy is a writer-only capability, not a reader requirement. */
 export interface RecordEntropyService {
     readonly uuid: Effect.Effect<string>;

package/dist/record/platform/services.d.mts

@@ -1,5 +1,5 @@
 import { Context, Effect, Stream } from "effect";
-import type { RecordFileSystemError, RecordGitError, RecordMaintenanceLockError, RecordPathKind, RecordWriterLockError } from "./errors.mjs";
+import type { RecordFileSystemError, RecordGitError, RecordPathKind } from "./errors.mjs";
 import type { RecordRoot } from "./root.mjs";
 /**
  * A portable root-relative path request. It is not a capability: every live
@@ -72,11 +72,7 @@ export interface RecordFileSystemService {
     readonly migrationSentinelPresent: (root: RecordRoot) => Effect.Effect<boolean, RecordFileSystemError>;
     readonly createMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;
     readonly removeMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;
-    /**
-     * Clean calls this while it owns RecordWriterLock. The final marker check is
-     * deliberately adjacent to removal so a completed Run is never selected as
-     * incomplete by stale discovery output.
-     */
+    /** The caller already owns the exclusive maintenance lease before deletion. */
     readonly deleteIncompleteRun: (input: {
         readonly root: RecordRoot;
         readonly runId: string;
@@ -85,29 +81,6 @@ export interface RecordFileSystemService {
 declare const RecordFileSystem_base: Context.TagClass<RecordFileSystem, "@niceeval/record/RecordFileSystem", RecordFileSystemService>;
 export declare class RecordFileSystem extends RecordFileSystem_base {
 }
-export type RecordMaintenanceLockMode = "shared" | "exclusive";
-/** Opaque, Scope-owned proof that the maintenance lock remains held. */
-export interface RecordMaintenanceLockHandle {
-    readonly mode: RecordMaintenanceLockMode;
-}
-/** Shared readers/writers versus exclusive migration coordination. */
-export interface RecordMaintenanceLockService {
-    readonly acquireShared: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import("effect").Scope.Scope>;
-    readonly acquireExclusive: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import("effect").Scope.Scope>;
-}
-declare const RecordMaintenanceLock_base: Context.TagClass<RecordMaintenanceLock, "@niceeval/record/RecordMaintenanceLock", RecordMaintenanceLockService>;
-export declare class RecordMaintenanceLock extends RecordMaintenanceLock_base {
-}
-/** Opaque, Scope-owned proof that this process is the sole Run publisher/cleaner. */
-export interface RecordWriterLease {
-    readonly _tag: "RecordWriterLease";
-}
-export interface RecordWriterLockService {
-    readonly acquire: (root: RecordRoot) => Effect.Effect<RecordWriterLease, RecordWriterLockError, import("effect").Scope.Scope>;
-}
-declare const RecordWriterLock_base: Context.TagClass<RecordWriterLock, "@niceeval/record/RecordWriterLock", RecordWriterLockService>;
-export declare class RecordWriterLock extends RecordWriterLock_base {
-}
 /** Entropy is a writer-only capability, not a reader requirement. */
 export interface RecordEntropyService {
     readonly uuid: Effect.Effect<string>;

package/dist/record/platform/services.d.ts

@@ -1,5 +1,5 @@
 import { Context, Effect, Stream } from "effect";
-import type { RecordFileSystemError, RecordGitError, RecordMaintenanceLockError, RecordPathKind, RecordWriterLockError } from "./errors.js";
+import type { RecordFileSystemError, RecordGitError, RecordPathKind } from "./errors.js";
 import type { RecordRoot } from "./root.js";
 /**
  * A portable root-relative path request. It is not a capability: every live
@@ -72,11 +72,7 @@ export interface RecordFileSystemService {
     readonly migrationSentinelPresent: (root: RecordRoot) => Effect.Effect<boolean, RecordFileSystemError>;
     readonly createMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;
     readonly removeMigrationSentinel: (root: RecordRoot) => Effect.Effect<void, RecordFileSystemError>;
-    /**
-     * Clean calls this while it owns RecordWriterLock. The final marker check is
-     * deliberately adjacent to removal so a completed Run is never selected as
-     * incomplete by stale discovery output.
-     */
+    /** The caller already owns the exclusive maintenance lease before deletion. */
     readonly deleteIncompleteRun: (input: {
         readonly root: RecordRoot;
         readonly runId: string;
@@ -85,29 +81,6 @@ export interface RecordFileSystemService {
 declare const RecordFileSystem_base: Context.TagClass<RecordFileSystem, "@niceeval/record/RecordFileSystem", RecordFileSystemService>;
 export declare class RecordFileSystem extends RecordFileSystem_base {
 }
-export type RecordMaintenanceLockMode = "shared" | "exclusive";
-/** Opaque, Scope-owned proof that the maintenance lock remains held. */
-export interface RecordMaintenanceLockHandle {
-    readonly mode: RecordMaintenanceLockMode;
-}
-/** Shared readers/writers versus exclusive migration coordination. */
-export interface RecordMaintenanceLockService {
-    readonly acquireShared: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import("effect").Scope.Scope>;
-    readonly acquireExclusive: (root: RecordRoot) => Effect.Effect<RecordMaintenanceLockHandle, RecordMaintenanceLockError, import("effect").Scope.Scope>;
-}
-declare const RecordMaintenanceLock_base: Context.TagClass<RecordMaintenanceLock, "@niceeval/record/RecordMaintenanceLock", RecordMaintenanceLockService>;
-export declare class RecordMaintenanceLock extends RecordMaintenanceLock_base {
-}
-/** Opaque, Scope-owned proof that this process is the sole Run publisher/cleaner. */
-export interface RecordWriterLease {
-    readonly _tag: "RecordWriterLease";
-}
-export interface RecordWriterLockService {
-    readonly acquire: (root: RecordRoot) => Effect.Effect<RecordWriterLease, RecordWriterLockError, import("effect").Scope.Scope>;
-}
-declare const RecordWriterLock_base: Context.TagClass<RecordWriterLock, "@niceeval/record/RecordWriterLock", RecordWriterLockService>;
-export declare class RecordWriterLock extends RecordWriterLock_base {
-}
 /** Entropy is a writer-only capability, not a reader requirement. */
 export interface RecordEntropyService {
     readonly uuid: Effect.Effect<string>;

package/dist/record/platform/services.js

@@ -7,10 +7,6 @@ const __niceevalExport1 = __niceevalCanonical["RecordFileSystem"];
 export { __niceevalExport1 as RecordFileSystem };
 const __niceevalExport2 = __niceevalCanonical["RecordGit"];
 export { __niceevalExport2 as RecordGit };
-const __niceevalExport3 = __niceevalCanonical["RecordMaintenanceLock"];
-export { __niceevalExport3 as RecordMaintenanceLock };
-const __niceevalExport4 = __niceevalCanonical["RecordWriterLock"];
-export { __niceevalExport4 as RecordWriterLock };
-const __niceevalExport5 = __niceevalCanonical["recordPortablePath"];
-export { __niceevalExport5 as recordPortablePath };
+const __niceevalExport3 = __niceevalCanonical["recordPortablePath"];
+export { __niceevalExport3 as recordPortablePath };
 //# sourceMappingURL=services.js.map

package/dist/record/reader/errors.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["errors.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAEhC,4EAA4E;AAC5E,MAAa,sBAAuB,SAAQ,eAAM,CAAC,WAAW,CAAyB,yCAAyC,CAAC,CAAC,wBAAwB,EAAE;IACxJ,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAChD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,yBAAyB,EAAE,uCAAuC,CAAC;CAC7F,CAAC;CACD;AAJD,wDAIC;AACD,2EAA2E;AAC3E,MAAa,uBAAwB,SAAQ,eAAM,CAAC,WAAW,CAA0B,0CAA0C,CAAC,CAAC,yBAAyB,EAAE;IAC5J,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACjD,MAAM,EAAE,eAAM,CAAC,MAAM;IACrB,MAAM,EAAE,eAAM,CAAC,MAAM;IACrB,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;CAC9C,CAAC;CACD;AAND,0DAMC;AACD,gFAAgF;AAChF,MAAa,uBAAwB,SAAQ,eAAM,CAAC,WAAW,CAA0B,0CAA0C,CAAC,CAAC,yBAAyB,EAAE;IAC5J,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACjD,MAAM,EAAE,eAAM,CAAC,MAAM;CACxB,CAAC;CACD;AAJD,0DAIC;AACD,2FAA2F;AAC3F,MAAa,+BAAgC,SAAQ,eAAM,CAAC,WAAW,CAAkC,kDAAkD,CAAC,CAAC,iCAAiC,EAAE;IAC5L,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC;CACvD,CAAC;CACD;AAHD,0EAGC;AACD,yDAAyD;AACzD,MAAa,kBAAmB,SAAQ,eAAM,CAAC,WAAW,CAAqB,qCAAqC,CAAC,CAAC,oBAAoB,EAAE;IACxI,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;CAC/C,CAAC;CACD;AAHD,gDAGC;AACD,sFAAsF;AACtF,MAAa,mBAAoB,SAAQ,eAAM,CAAC,WAAW,CAAsB,sCAAsC,CAAC,CAAC,qBAAqB,EAAE;IAC5I,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;CAChD,CAAC;CACD;AAHD,kDAGC","sourcesContent":["import { Schema } from \"effect\";\nimport type { RecordFileSystemError, RecordMaintenanceLockError, } from \"../platform/errors.ts\";\n/** `record.json` could not be safely recognized as a usable Record root. */\nexport class RecordBootstrapInvalid extends Schema.TaggedError<RecordBootstrapInvalid>(\"@niceeval/record/RecordBootstrapInvalid\")(\"RecordBootstrapInvalid\", {\n    code: Schema.Literal(\"record-bootstrap-invalid\"),\n    reason: Schema.Literal(\"record-document-invalid\", \"record-format-document-limit-exceeded\"),\n}) {\n}\n/** A known, older major is never opened through a compatibility reader. */\nexport class RecordMigrationRequired extends Schema.TaggedError<RecordMigrationRequired>(\"@niceeval/record/RecordMigrationRequired\")(\"RecordMigrationRequired\", {\n    code: Schema.Literal(\"record-migration-required\"),\n    source: Schema.String,\n    target: Schema.String,\n    command: Schema.Literal(\"niceeval migrate\"),\n}) {\n}\n/** Future, foreign, or malformed format identities are not migration inputs. */\nexport class RecordFormatUnsupported extends Schema.TaggedError<RecordFormatUnsupported>(\"@niceeval/record/RecordFormatUnsupported\")(\"RecordFormatUnsupported\", {\n    code: Schema.Literal(\"record-format-unsupported\"),\n    format: Schema.String,\n}) {\n}\n/** An existing sentinel means a migration was interrupted or cannot be proven complete. */\nexport class RecordMigrationInterruptedState extends Schema.TaggedError<RecordMigrationInterruptedState>(\"@niceeval/record/RecordMigrationInterruptedState\")(\"RecordMigrationInterruptedState\", {\n    code: Schema.Literal(\"record-migration-interrupted\"),\n}) {\n}\n/** A live frozen capability escaped its Effect Scope. */\nexport class RecordReaderClosed extends Schema.TaggedError<RecordReaderClosed>(\"@niceeval/record/RecordReaderClosed\")(\"RecordReaderClosed\", {\n    code: Schema.Literal(\"record-reader-closed\"),\n}) {\n}\n/** A forged, copied, cross-snapshot, or wrong-kind frozen capability was supplied. */\nexport class RecordHandleInvalid extends Schema.TaggedError<RecordHandleInvalid>(\"@niceeval/record/RecordHandleInvalid\")(\"RecordHandleInvalid\", {\n    code: Schema.Literal(\"record-handle-invalid\"),\n}) {\n}\nexport type RecordReaderOpenError = RecordMaintenanceLockError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;\nexport type RecordReaderReadError = RecordFileSystemError | RecordReaderClosed | RecordHandleInvalid;\n"]}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["errors.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAGhC,4EAA4E;AAC5E,MAAa,sBAAuB,SAAQ,eAAM,CAAC,WAAW,CAAyB,yCAAyC,CAAC,CAAC,wBAAwB,EAAE;IACxJ,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAChD,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,yBAAyB,EAAE,uCAAuC,CAAC;CAC7F,CAAC;CACD;AAJD,wDAIC;AACD,2EAA2E;AAC3E,MAAa,uBAAwB,SAAQ,eAAM,CAAC,WAAW,CAA0B,0CAA0C,CAAC,CAAC,yBAAyB,EAAE;IAC5J,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACjD,MAAM,EAAE,eAAM,CAAC,MAAM;IACrB,MAAM,EAAE,eAAM,CAAC,MAAM;IACrB,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;CAC9C,CAAC;CACD;AAND,0DAMC;AACD,gFAAgF;AAChF,MAAa,uBAAwB,SAAQ,eAAM,CAAC,WAAW,CAA0B,0CAA0C,CAAC,CAAC,yBAAyB,EAAE;IAC5J,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACjD,MAAM,EAAE,eAAM,CAAC,MAAM;CACxB,CAAC;CACD;AAJD,0DAIC;AACD,2FAA2F;AAC3F,MAAa,+BAAgC,SAAQ,eAAM,CAAC,WAAW,CAAkC,kDAAkD,CAAC,CAAC,iCAAiC,EAAE;IAC5L,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC;CACvD,CAAC;CACD;AAHD,0EAGC;AACD,yDAAyD;AACzD,MAAa,kBAAmB,SAAQ,eAAM,CAAC,WAAW,CAAqB,qCAAqC,CAAC,CAAC,oBAAoB,EAAE;IACxI,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC;CAC/C,CAAC;CACD;AAHD,gDAGC;AACD,sFAAsF;AACtF,MAAa,mBAAoB,SAAQ,eAAM,CAAC,WAAW,CAAsB,sCAAsC,CAAC,CAAC,qBAAqB,EAAE;IAC5I,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC;CAChD,CAAC;CACD;AAHD,kDAGC","sourcesContent":["import { Schema } from \"effect\";\nimport type { RecordCoordinationError } from \"../../coordination/record-leases.ts\";\nimport type { RecordFileSystemError, } from \"../platform/errors.ts\";\n/** `record.json` could not be safely recognized as a usable Record root. */\nexport class RecordBootstrapInvalid extends Schema.TaggedError<RecordBootstrapInvalid>(\"@niceeval/record/RecordBootstrapInvalid\")(\"RecordBootstrapInvalid\", {\n    code: Schema.Literal(\"record-bootstrap-invalid\"),\n    reason: Schema.Literal(\"record-document-invalid\", \"record-format-document-limit-exceeded\"),\n}) {\n}\n/** A known, older major is never opened through a compatibility reader. */\nexport class RecordMigrationRequired extends Schema.TaggedError<RecordMigrationRequired>(\"@niceeval/record/RecordMigrationRequired\")(\"RecordMigrationRequired\", {\n    code: Schema.Literal(\"record-migration-required\"),\n    source: Schema.String,\n    target: Schema.String,\n    command: Schema.Literal(\"niceeval migrate\"),\n}) {\n}\n/** Future, foreign, or malformed format identities are not migration inputs. */\nexport class RecordFormatUnsupported extends Schema.TaggedError<RecordFormatUnsupported>(\"@niceeval/record/RecordFormatUnsupported\")(\"RecordFormatUnsupported\", {\n    code: Schema.Literal(\"record-format-unsupported\"),\n    format: Schema.String,\n}) {\n}\n/** An existing sentinel means a migration was interrupted or cannot be proven complete. */\nexport class RecordMigrationInterruptedState extends Schema.TaggedError<RecordMigrationInterruptedState>(\"@niceeval/record/RecordMigrationInterruptedState\")(\"RecordMigrationInterruptedState\", {\n    code: Schema.Literal(\"record-migration-interrupted\"),\n}) {\n}\n/** A live frozen capability escaped its Effect Scope. */\nexport class RecordReaderClosed extends Schema.TaggedError<RecordReaderClosed>(\"@niceeval/record/RecordReaderClosed\")(\"RecordReaderClosed\", {\n    code: Schema.Literal(\"record-reader-closed\"),\n}) {\n}\n/** A forged, copied, cross-snapshot, or wrong-kind frozen capability was supplied. */\nexport class RecordHandleInvalid extends Schema.TaggedError<RecordHandleInvalid>(\"@niceeval/record/RecordHandleInvalid\")(\"RecordHandleInvalid\", {\n    code: Schema.Literal(\"record-handle-invalid\"),\n}) {\n}\nexport type RecordReaderOpenError = RecordCoordinationError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;\nexport type RecordReaderReadError = RecordFileSystemError | RecordReaderClosed | RecordHandleInvalid;\n"]}

package/dist/record/reader/errors.d.cts

@@ -1,5 +1,6 @@
 import { Schema } from "effect";
-import type { RecordFileSystemError, RecordMaintenanceLockError } from "../platform/errors.cjs";
+import type { RecordCoordinationError } from "../../coordination/record-leases.cjs";
+import type { RecordFileSystemError } from "../platform/errors.cjs";
 declare const RecordBootstrapInvalid_base: Schema.TaggedErrorClass<RecordBootstrapInvalid, "RecordBootstrapInvalid", {
     readonly _tag: Schema.tag<"RecordBootstrapInvalid">;
 } & {
@@ -53,6 +54,6 @@ declare const RecordHandleInvalid_base: Schema.TaggedErrorClass<RecordHandleInva
 /** A forged, copied, cross-snapshot, or wrong-kind frozen capability was supplied. */
 export declare class RecordHandleInvalid extends RecordHandleInvalid_base {
 }
-export type RecordReaderOpenError = RecordMaintenanceLockError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;
+export type RecordReaderOpenError = RecordCoordinationError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;
 export type RecordReaderReadError = RecordFileSystemError | RecordReaderClosed | RecordHandleInvalid;
 export {};

package/dist/record/reader/errors.d.mts

@@ -1,5 +1,6 @@
 import { Schema } from "effect";
-import type { RecordFileSystemError, RecordMaintenanceLockError } from "../platform/errors.mjs";
+import type { RecordCoordinationError } from "../../coordination/record-leases.mjs";
+import type { RecordFileSystemError } from "../platform/errors.mjs";
 declare const RecordBootstrapInvalid_base: Schema.TaggedErrorClass<RecordBootstrapInvalid, "RecordBootstrapInvalid", {
     readonly _tag: Schema.tag<"RecordBootstrapInvalid">;
 } & {
@@ -53,6 +54,6 @@ declare const RecordHandleInvalid_base: Schema.TaggedErrorClass<RecordHandleInva
 /** A forged, copied, cross-snapshot, or wrong-kind frozen capability was supplied. */
 export declare class RecordHandleInvalid extends RecordHandleInvalid_base {
 }
-export type RecordReaderOpenError = RecordMaintenanceLockError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;
+export type RecordReaderOpenError = RecordCoordinationError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;
 export type RecordReaderReadError = RecordFileSystemError | RecordReaderClosed | RecordHandleInvalid;
 export {};

package/dist/record/reader/errors.d.ts

@@ -1,5 +1,6 @@
 import { Schema } from "effect";
-import type { RecordFileSystemError, RecordMaintenanceLockError } from "../platform/errors.js";
+import type { RecordCoordinationError } from "../../coordination/record-leases.js";
+import type { RecordFileSystemError } from "../platform/errors.js";
 declare const RecordBootstrapInvalid_base: Schema.TaggedErrorClass<RecordBootstrapInvalid, "RecordBootstrapInvalid", {
     readonly _tag: Schema.tag<"RecordBootstrapInvalid">;
 } & {
@@ -53,6 +54,6 @@ declare const RecordHandleInvalid_base: Schema.TaggedErrorClass<RecordHandleInva
 /** A forged, copied, cross-snapshot, or wrong-kind frozen capability was supplied. */
 export declare class RecordHandleInvalid extends RecordHandleInvalid_base {
 }
-export type RecordReaderOpenError = RecordMaintenanceLockError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;
+export type RecordReaderOpenError = RecordCoordinationError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported | RecordMigrationInterruptedState;
 export type RecordReaderReadError = RecordFileSystemError | RecordReaderClosed | RecordHandleInvalid;
 export {};

package/dist/record/reader/format.cjs

@@ -9,7 +9,6 @@ const services_ts_1 = require("../platform/services.cjs");
 const errors_ts_1 = require("./errors.cjs");
 /** `record.json` contains only root identity, so its read has a hard small cap. */
 exports.RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES = 64 * 1024;
-const RECORD_FORMAT_MAJOR_PATTERN = /^niceeval\.record\/v([1-9][0-9]*)$/;
 function bootstrapInvalid(reason) {
     return new errors_ts_1.RecordBootstrapInvalid({ code: "record-bootstrap-invalid", reason });
 }
@@ -31,47 +30,38 @@ function formatOf(value) {
         ? descriptor.value
         : undefined;
 }
-function formatMajor(format) {
-    if (!(0, identifiers_ts_1.isRecordFormatId)(format)) {
+function schemaVersionOf(value) {
+    if (typeof value !== "object" || value === null || Array.isArray(value))
         return undefined;
-    }
-    const match = RECORD_FORMAT_MAJOR_PATTERN.exec(format);
-    const major = match === null ? undefined : Number(match[1]);
-    return major !== undefined && Number.isSafeInteger(major) ? major : undefined;
+    const descriptor = Object.getOwnPropertyDescriptor(value, "schemaVersion");
+    return descriptor !== undefined && "value" in descriptor &&
+        Number.isSafeInteger(descriptor.value) && descriptor.value > 0
+        ? descriptor.value
+        : undefined;
 }
-const CURRENT_RECORD_MAJOR = (() => {
-    const major = formatMajor(identifiers_ts_1.RECORD_FORMAT_V1);
-    if (major === undefined) {
-        throw new Error("The current Record format must have a positive safe major");
-    }
-    return major;
-})();
 function classifyRecordDocument(value) {
     const format = formatOf(value);
-    if (format === undefined) {
+    if (format === undefined)
         return effect_1.Either.left(bootstrapInvalid("record-document-invalid"));
+    if (format !== identifiers_ts_1.RECORD_FORMAT) {
+        return effect_1.Either.left(new errors_ts_1.RecordFormatUnsupported({ code: "record-format-unsupported", format }));
     }
-    if (format === identifiers_ts_1.RECORD_FORMAT_V1) {
-        const decoded = (0, core_ts_1.decodeRecordDocumentV1)(value);
-        return effect_1.Either.isLeft(decoded)
-            ? effect_1.Either.left(bootstrapInvalid("record-document-invalid"))
-            : effect_1.Either.right(Object.freeze({ document: decoded.right }));
-    }
-    const major = formatMajor(format);
-    if (major !== undefined && major < CURRENT_RECORD_MAJOR) {
-        return effect_1.Either.left(new errors_ts_1.RecordMigrationRequired({
-            code: "record-migration-required",
-            source: format,
-            target: identifiers_ts_1.RECORD_FORMAT_V1,
-            command: "niceeval migrate",
-        }));
+    // A same-format numeric header is not automatically a reverse migration.
+    // This package currently declares no adjacent root chain, so both a future
+    // root and a hypothetical older root are unsupported rather than a fake
+    // `N -> current` migration-required result.
+    const schemaVersion = schemaVersionOf(value);
+    if (schemaVersion !== undefined && schemaVersion !== identifiers_ts_1.RECORD_SCHEMA_VERSION) {
+        return effect_1.Either.left(new errors_ts_1.RecordFormatUnsupported({ code: "record-format-unsupported", format }));
     }
-    return effect_1.Either.left(new errors_ts_1.RecordFormatUnsupported({ code: "record-format-unsupported", format }));
+    const decoded = (0, core_ts_1.decodeRecordDocument)(value);
+    return effect_1.Either.isLeft(decoded)
+        ? effect_1.Either.left(bootstrapInvalid("record-document-invalid"))
+        : effect_1.Either.right(Object.freeze({ document: decoded.right }));
 }
 /**
- * Reads only the bounded root document and accepts exactly the current major.
- * Older known majors take the explicit migration path; a corrupt current root
- * is never treated as a foreign format or as an empty Record.
+ * Reads only the bounded current root header. Migration-required is emitted
+ * only by an actually declared adjacent chain; this current root has none.
  */
 function readCurrentRecordFormat(fileSystem, root) {
     const readDocument = fileSystem.readFile({
@@ -79,17 +69,13 @@ function readCurrentRecordFormat(fileSystem, root) {
         maximumBytes: exports.RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES,
     }).pipe(effect_1.Effect.catchTag("RecordResourceLimitExceeded", () => effect_1.Effect.fail(bootstrapInvalid("record-format-document-limit-exceeded"))));
     return effect_1.Effect.flatMap(readDocument, (bytes) => {
-        if (bytes === undefined) {
+        if (bytes === undefined)
             return effect_1.Effect.fail(bootstrapInvalid("record-document-invalid"));
-        }
         const parsed = parseRecordJson(bytes);
-        if (effect_1.Either.isLeft(parsed)) {
+        if (effect_1.Either.isLeft(parsed))
             return effect_1.Effect.fail(parsed.left);
-        }
         const classified = classifyRecordDocument(parsed.right);
-        return effect_1.Either.isLeft(classified)
-            ? effect_1.Effect.fail(classified.left)
-            : effect_1.Effect.succeed(classified.right);
+        return effect_1.Either.isLeft(classified) ? effect_1.Effect.fail(classified.left) : effect_1.Effect.succeed(classified.right);
     });
 }
 //# sourceMappingURL=format.cjs.map

package/dist/record/reader/format.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"format.js","sourceRoot":"","sources":["format.ts"],"names":[],"mappings":";;;AA6EA,0DAkBC;AA/FD,mCAAwC;AACxC,8CAA0D;AAE1D,4DAA8E;AAE9E,yDAA4F;AAE5F,2CAAwG;AACxG,mFAAmF;AACtE,QAAA,oCAAoC,GAAG,EAAE,GAAG,IAAI,CAAC;AAC9D,MAAM,2BAA2B,GAAG,oCAAoC,CAAC;AAIzE,SAAS,gBAAgB,CAAC,MAA2E;IACjG,OAAO,IAAI,kCAAsB,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,CAAC,CAAC;AACpF,CAAC;AACD,SAAS,eAAe,CAAC,KAAiB;IACtC,IAAI,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,OAAO,eAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,CAAC;QACH,OAAO,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACpE,CAAC;AACL,CAAC;AACD,SAAS,QAAQ,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpE,OAAO,UAAU,KAAK,SAAS,IAAI,OAAO,IAAI,UAAU,IAAI,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ;QAC5F,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,WAAW,CAAC,MAAc;IAC/B,IAAI,CAAC,IAAA,iCAAgB,EAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAClF,CAAC;AACD,MAAM,oBAAoB,GAAG,CAAC,GAAG,EAAE;IAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,iCAAgB,CAAC,CAAC;IAC5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC,EAAE,CAAC;AACL,SAAS,sBAAsB,CAAC,KAAc;IAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,MAAM,KAAK,iCAAgB,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAA,gCAAsB,EAAC,KAAK,CAAC,CAAC;QAC9C,OAAO,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YACzB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC;YAC1D,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,oBAAoB,EAAE,CAAC;QACtD,OAAO,eAAM,CAAC,IAAI,CAAC,IAAI,mCAAuB,CAAC;YAC3C,IAAI,EAAE,2BAA2B;YACjC,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,iCAAgB;YACxB,OAAO,EAAE,kBAAkB;SAC9B,CAAC,CAAC,CAAC;IACR,CAAC;IACD,OAAO,eAAM,CAAC,IAAI,CAAC,IAAI,mCAAuB,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACnG,CAAC;AACD;;;;GAIG;AACH,SAAgB,uBAAuB,CAAC,UAAmC,EAAE,IAAgB;IACzF,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC;QACrC,IAAI,EAAE,IAAA,gCAAkB,EAAC,IAAI,EAAE,aAAa,CAAC;QAC7C,YAAY,EAAE,4CAAoC;KACrD,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,uCAAuC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtI,OAAO,eAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE;QAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACtB,OAAO,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;QACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxD,OAAO,eAAM,CAAC,MAAM,CAAC,UAAU,CAAC;YAC5B,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Effect, Either } from \"effect\";\nimport { decodeRecordDocumentV1 } from \"../codec/core.ts\";\nimport type { RecordDocumentV1 } from \"../model/core.ts\";\nimport { isRecordFormatId, RECORD_FORMAT_V1, } from \"../model/identifiers.ts\";\nimport type { RecordFileSystemError } from \"../platform/errors.ts\";\nimport { recordPortablePath, type RecordFileSystemService, } from \"../platform/services.ts\";\nimport type { RecordRoot } from \"../platform/root.ts\";\nimport { RecordBootstrapInvalid, RecordFormatUnsupported, RecordMigrationRequired, } from \"./errors.ts\";\n/** `record.json` contains only root identity, so its read has a hard small cap. */\nexport const RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES = 64 * 1024;\nconst RECORD_FORMAT_MAJOR_PATTERN = /^niceeval\\.record\\/v([1-9][0-9]*)$/;\nexport interface CurrentRecordFormatRead {\n    readonly document: RecordDocumentV1;\n}\nfunction bootstrapInvalid(reason: \"record-document-invalid\" | \"record-format-document-limit-exceeded\"): RecordBootstrapInvalid {\n    return new RecordBootstrapInvalid({ code: \"record-bootstrap-invalid\", reason });\n}\nfunction parseRecordJson(bytes: Uint8Array): Either.Either<unknown, RecordBootstrapInvalid> {\n    try {\n        const text = new TextDecoder(\"utf-8\", { fatal: true }).decode(bytes);\n        return Either.right(JSON.parse(text) as unknown);\n    }\n    catch {\n        return Either.left(bootstrapInvalid(\"record-document-invalid\"));\n    }\n}\nfunction formatOf(value: unknown): string | undefined {\n    if (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n        return undefined;\n    }\n    const descriptor = Object.getOwnPropertyDescriptor(value, \"format\");\n    return descriptor !== undefined && \"value\" in descriptor && typeof descriptor.value === \"string\"\n        ? descriptor.value\n        : undefined;\n}\nfunction formatMajor(format: string): number | undefined {\n    if (!isRecordFormatId(format)) {\n        return undefined;\n    }\n    const match = RECORD_FORMAT_MAJOR_PATTERN.exec(format);\n    const major = match === null ? undefined : Number(match[1]);\n    return major !== undefined && Number.isSafeInteger(major) ? major : undefined;\n}\nconst CURRENT_RECORD_MAJOR = (() => {\n    const major = formatMajor(RECORD_FORMAT_V1);\n    if (major === undefined) {\n        throw new Error(\"The current Record format must have a positive safe major\");\n    }\n    return major;\n})();\nfunction classifyRecordDocument(value: unknown): Either.Either<CurrentRecordFormatRead, RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported> {\n    const format = formatOf(value);\n    if (format === undefined) {\n        return Either.left(bootstrapInvalid(\"record-document-invalid\"));\n    }\n    if (format === RECORD_FORMAT_V1) {\n        const decoded = decodeRecordDocumentV1(value);\n        return Either.isLeft(decoded)\n            ? Either.left(bootstrapInvalid(\"record-document-invalid\"))\n            : Either.right(Object.freeze({ document: decoded.right }));\n    }\n    const major = formatMajor(format);\n    if (major !== undefined && major < CURRENT_RECORD_MAJOR) {\n        return Either.left(new RecordMigrationRequired({\n            code: \"record-migration-required\",\n            source: format,\n            target: RECORD_FORMAT_V1,\n            command: \"niceeval migrate\",\n        }));\n    }\n    return Either.left(new RecordFormatUnsupported({ code: \"record-format-unsupported\", format }));\n}\n/**\n * Reads only the bounded root document and accepts exactly the current major.\n * Older known majors take the explicit migration path; a corrupt current root\n * is never treated as a foreign format or as an empty Record.\n */\nexport function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported> {\n    const readDocument = fileSystem.readFile({\n        file: recordPortablePath(root, \"record.json\"),\n        maximumBytes: RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES,\n    }).pipe(Effect.catchTag(\"RecordResourceLimitExceeded\", () => Effect.fail(bootstrapInvalid(\"record-format-document-limit-exceeded\"))));\n    return Effect.flatMap(readDocument, (bytes) => {\n        if (bytes === undefined) {\n            return Effect.fail(bootstrapInvalid(\"record-document-invalid\"));\n        }\n        const parsed = parseRecordJson(bytes);\n        if (Either.isLeft(parsed)) {\n            return Effect.fail(parsed.left);\n        }\n        const classified = classifyRecordDocument(parsed.right);\n        return Either.isLeft(classified)\n            ? Effect.fail(classified.left)\n            : Effect.succeed(classified.right);\n    });\n}\n"]}
+{"version":3,"file":"format.js","sourceRoot":"","sources":["format.ts"],"names":[],"mappings":";;;AAmEA,0DAcC;AAjFD,mCAAwC;AACxC,8CAAwD;AAExD,4DAA+E;AAE/E,yDAA4F;AAE5F,2CAA+E;AAC/E,mFAAmF;AACtE,QAAA,oCAAoC,GAAG,EAAE,GAAG,IAAI,CAAC;AAI9D,SAAS,gBAAgB,CAAC,MAA2E;IACjG,OAAO,IAAI,kCAAsB,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,CAAC,CAAC;AACpF,CAAC;AACD,SAAS,eAAe,CAAC,KAAiB;IACtC,IAAI,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrE,OAAO,eAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,CAAC;QACH,OAAO,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACpE,CAAC;AACL,CAAC;AACD,SAAS,QAAQ,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpE,OAAO,UAAU,KAAK,SAAS,IAAI,OAAO,IAAI,UAAU,IAAI,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ;QAC5F,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,eAAe,CAAC,KAAc;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACnE,OAAO,SAAS,CAAC;IACrB,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAC3E,OAAO,UAAU,KAAK,SAAS,IAAI,OAAO,IAAI,UAAU;QACpD,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,KAAK,GAAG,CAAC;QAC9D,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,sBAAsB,CAAC,KAAc;IAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,SAAS;QACpB,OAAO,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,KAAK,8BAAa,EAAE,CAAC;QAC3B,OAAO,eAAM,CAAC,IAAI,CAAC,IAAI,mCAAuB,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IACxE,4CAA4C;IAC5C,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,sCAAqB,EAAE,CAAC;QACzE,OAAO,eAAM,CAAC,IAAI,CAAC,IAAI,mCAAuB,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,8BAAoB,EAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,eAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACzB,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC;QAC1D,CAAC,CAAC,eAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AACD;;;GAGG;AACH,SAAgB,uBAAuB,CAAC,UAAmC,EAAE,IAAgB;IACzF,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC;QACrC,IAAI,EAAE,IAAA,gCAAkB,EAAC,IAAI,EAAE,aAAa,CAAC;QAC7C,YAAY,EAAE,4CAAoC;KACrD,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE,CAAC,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,uCAAuC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtI,OAAO,eAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,EAAE;QAC1C,IAAI,KAAK,KAAK,SAAS;YACnB,OAAO,eAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,eAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YACrB,OAAO,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxD,OAAO,eAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["import { Effect, Either } from \"effect\";\nimport { decodeRecordDocument } from \"../codec/core.ts\";\nimport type { RecordDocument } from \"../model/core.ts\";\nimport { RECORD_FORMAT, RECORD_SCHEMA_VERSION } from \"../model/identifiers.ts\";\nimport type { RecordFileSystemError } from \"../platform/errors.ts\";\nimport { recordPortablePath, type RecordFileSystemService, } from \"../platform/services.ts\";\nimport type { RecordRoot } from \"../platform/root.ts\";\nimport { RecordBootstrapInvalid, RecordFormatUnsupported, } from \"./errors.ts\";\n/** `record.json` contains only root identity, so its read has a hard small cap. */\nexport const RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES = 64 * 1024;\nexport interface CurrentRecordFormatRead {\n    readonly document: RecordDocument;\n}\nfunction bootstrapInvalid(reason: \"record-document-invalid\" | \"record-format-document-limit-exceeded\"): RecordBootstrapInvalid {\n    return new RecordBootstrapInvalid({ code: \"record-bootstrap-invalid\", reason });\n}\nfunction parseRecordJson(bytes: Uint8Array): Either.Either<unknown, RecordBootstrapInvalid> {\n    try {\n        const text = new TextDecoder(\"utf-8\", { fatal: true }).decode(bytes);\n        return Either.right(JSON.parse(text) as unknown);\n    }\n    catch {\n        return Either.left(bootstrapInvalid(\"record-document-invalid\"));\n    }\n}\nfunction formatOf(value: unknown): string | undefined {\n    if (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n        return undefined;\n    }\n    const descriptor = Object.getOwnPropertyDescriptor(value, \"format\");\n    return descriptor !== undefined && \"value\" in descriptor && typeof descriptor.value === \"string\"\n        ? descriptor.value\n        : undefined;\n}\nfunction schemaVersionOf(value: unknown): number | undefined {\n    if (typeof value !== \"object\" || value === null || Array.isArray(value))\n        return undefined;\n    const descriptor = Object.getOwnPropertyDescriptor(value, \"schemaVersion\");\n    return descriptor !== undefined && \"value\" in descriptor &&\n        Number.isSafeInteger(descriptor.value) && descriptor.value > 0\n        ? descriptor.value\n        : undefined;\n}\nfunction classifyRecordDocument(value: unknown): Either.Either<CurrentRecordFormatRead, RecordBootstrapInvalid | RecordFormatUnsupported> {\n    const format = formatOf(value);\n    if (format === undefined)\n        return Either.left(bootstrapInvalid(\"record-document-invalid\"));\n    if (format !== RECORD_FORMAT) {\n        return Either.left(new RecordFormatUnsupported({ code: \"record-format-unsupported\", format }));\n    }\n    // A same-format numeric header is not automatically a reverse migration.\n    // This package currently declares no adjacent root chain, so both a future\n    // root and a hypothetical older root are unsupported rather than a fake\n    // `N -> current` migration-required result.\n    const schemaVersion = schemaVersionOf(value);\n    if (schemaVersion !== undefined && schemaVersion !== RECORD_SCHEMA_VERSION) {\n        return Either.left(new RecordFormatUnsupported({ code: \"record-format-unsupported\", format }));\n    }\n    const decoded = decodeRecordDocument(value);\n    return Either.isLeft(decoded)\n        ? Either.left(bootstrapInvalid(\"record-document-invalid\"))\n        : Either.right(Object.freeze({ document: decoded.right }));\n}\n/**\n * Reads only the bounded current root header. Migration-required is emitted\n * only by an actually declared adjacent chain; this current root has none.\n */\nexport function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordFormatUnsupported> {\n    const readDocument = fileSystem.readFile({\n        file: recordPortablePath(root, \"record.json\"),\n        maximumBytes: RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES,\n    }).pipe(Effect.catchTag(\"RecordResourceLimitExceeded\", () => Effect.fail(bootstrapInvalid(\"record-format-document-limit-exceeded\"))));\n    return Effect.flatMap(readDocument, (bytes) => {\n        if (bytes === undefined)\n            return Effect.fail(bootstrapInvalid(\"record-document-invalid\"));\n        const parsed = parseRecordJson(bytes);\n        if (Either.isLeft(parsed))\n            return Effect.fail(parsed.left);\n        const classified = classifyRecordDocument(parsed.right);\n        return Either.isLeft(classified) ? Effect.fail(classified.left) : Effect.succeed(classified.right);\n    });\n}\n"]}

package/dist/record/reader/format.d.cts

@@ -1,17 +1,16 @@
 import { Effect } from "effect";
-import type { RecordDocumentV1 } from "../model/core.cjs";
+import type { RecordDocument } from "../model/core.cjs";
 import type { RecordFileSystemError } from "../platform/errors.cjs";
 import { type RecordFileSystemService } from "../platform/services.cjs";
 import type { RecordRoot } from "../platform/root.cjs";
-import { RecordBootstrapInvalid, RecordFormatUnsupported, RecordMigrationRequired } from "./errors.cjs";
+import { RecordBootstrapInvalid, RecordFormatUnsupported } from "./errors.cjs";
 /** `record.json` contains only root identity, so its read has a hard small cap. */
 export declare const RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES: number;
 export interface CurrentRecordFormatRead {
-    readonly document: RecordDocumentV1;
+    readonly document: RecordDocument;
 }
 /**
- * Reads only the bounded root document and accepts exactly the current major.
- * Older known majors take the explicit migration path; a corrupt current root
- * is never treated as a foreign format or as an empty Record.
+ * Reads only the bounded current root header. Migration-required is emitted
+ * only by an actually declared adjacent chain; this current root has none.
  */
-export declare function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported>;
+export declare function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordFormatUnsupported>;

package/dist/record/reader/format.d.mts

@@ -1,17 +1,16 @@
 import { Effect } from "effect";
-import type { RecordDocumentV1 } from "../model/core.mjs";
+import type { RecordDocument } from "../model/core.mjs";
 import type { RecordFileSystemError } from "../platform/errors.mjs";
 import { type RecordFileSystemService } from "../platform/services.mjs";
 import type { RecordRoot } from "../platform/root.mjs";
-import { RecordBootstrapInvalid, RecordFormatUnsupported, RecordMigrationRequired } from "./errors.mjs";
+import { RecordBootstrapInvalid, RecordFormatUnsupported } from "./errors.mjs";
 /** `record.json` contains only root identity, so its read has a hard small cap. */
 export declare const RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES: number;
 export interface CurrentRecordFormatRead {
-    readonly document: RecordDocumentV1;
+    readonly document: RecordDocument;
 }
 /**
- * Reads only the bounded root document and accepts exactly the current major.
- * Older known majors take the explicit migration path; a corrupt current root
- * is never treated as a foreign format or as an empty Record.
+ * Reads only the bounded current root header. Migration-required is emitted
+ * only by an actually declared adjacent chain; this current root has none.
  */
-export declare function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported>;
+export declare function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordFormatUnsupported>;

package/dist/record/reader/format.d.ts

@@ -1,17 +1,16 @@
 import { Effect } from "effect";
-import type { RecordDocumentV1 } from "../model/core.js";
+import type { RecordDocument } from "../model/core.js";
 import type { RecordFileSystemError } from "../platform/errors.js";
 import { type RecordFileSystemService } from "../platform/services.js";
 import type { RecordRoot } from "../platform/root.js";
-import { RecordBootstrapInvalid, RecordFormatUnsupported, RecordMigrationRequired } from "./errors.js";
+import { RecordBootstrapInvalid, RecordFormatUnsupported } from "./errors.js";
 /** `record.json` contains only root identity, so its read has a hard small cap. */
 export declare const RECORD_FORMAT_DOCUMENT_MAXIMUM_BYTES: number;
 export interface CurrentRecordFormatRead {
-    readonly document: RecordDocumentV1;
+    readonly document: RecordDocument;
 }
 /**
- * Reads only the bounded root document and accepts exactly the current major.
- * Older known majors take the explicit migration path; a corrupt current root
- * is never treated as a foreign format or as an empty Record.
+ * Reads only the bounded current root header. Migration-required is emitted
+ * only by an actually declared adjacent chain; this current root has none.
  */
-export declare function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordMigrationRequired | RecordFormatUnsupported>;
+export declare function readCurrentRecordFormat(fileSystem: RecordFileSystemService, root: RecordRoot): Effect.Effect<CurrentRecordFormatRead, RecordFileSystemError | RecordBootstrapInvalid | RecordFormatUnsupported>;

package/dist/record/reader/index.js

@@ -9,34 +9,26 @@ const __niceevalExport2 = __niceevalCanonical["RECORD_READER_MAXIMUM_ATTACHMENT_
 export { __niceevalExport2 as RECORD_READER_MAXIMUM_ATTACHMENT_BLOB_BYTES };
 const __niceevalExport3 = __niceevalCanonical["RECORD_READER_MAXIMUM_ATTACHMENT_BLOB_ENTRIES"];
 export { __niceevalExport3 as RECORD_READER_MAXIMUM_ATTACHMENT_BLOB_ENTRIES };
-const __niceevalExport4 = __niceevalCanonical["RECORD_READER_MAXIMUM_ATTACHMENT_TOTAL_BYTES"];
-export { __niceevalExport4 as RECORD_READER_MAXIMUM_ATTACHMENT_TOTAL_BYTES };
-const __niceevalExport5 = __niceevalCanonical["RECORD_READER_MAXIMUM_CORE_DIRECTORY_ENTRIES"];
-export { __niceevalExport5 as RECORD_READER_MAXIMUM_CORE_DIRECTORY_ENTRIES };
-const __niceevalExport6 = __niceevalCanonical["RECORD_READER_MAXIMUM_CORE_DOCUMENT_BYTES"];
-export { __niceevalExport6 as RECORD_READER_MAXIMUM_CORE_DOCUMENT_BYTES };
-const __niceevalExport7 = __niceevalCanonical["RECORD_READER_MAXIMUM_RUN_ENTRIES"];
-export { __niceevalExport7 as RECORD_READER_MAXIMUM_RUN_ENTRIES };
-const __niceevalExport8 = __niceevalCanonical["RecordBootstrapInvalid"];
-export { __niceevalExport8 as RecordBootstrapInvalid };
-const __niceevalExport9 = __niceevalCanonical["RecordFormatUnsupported"];
-export { __niceevalExport9 as RecordFormatUnsupported };
-const __niceevalExport10 = __niceevalCanonical["RecordHandleInvalid"];
-export { __niceevalExport10 as RecordHandleInvalid };
-const __niceevalExport11 = __niceevalCanonical["RecordMigrationInterruptedState"];
-export { __niceevalExport11 as RecordMigrationInterruptedState };
-const __niceevalExport12 = __niceevalCanonical["RecordMigrationRequired"];
-export { __niceevalExport12 as RecordMigrationRequired };
-const __niceevalExport13 = __niceevalCanonical["RecordReaderClosed"];
-export { __niceevalExport13 as RecordReaderClosed };
-const __niceevalExport14 = __niceevalCanonical["frozenRecordAttemptBrand"];
-export { __niceevalExport14 as frozenRecordAttemptBrand };
-const __niceevalExport15 = __niceevalCanonical["frozenRecordRunBrand"];
-export { __niceevalExport15 as frozenRecordRunBrand };
-const __niceevalExport16 = __niceevalCanonical["frozenRecordViewBrand"];
-export { __niceevalExport16 as frozenRecordViewBrand };
-const __niceevalExport17 = __niceevalCanonical["openRecordReader"];
-export { __niceevalExport17 as openRecordReader };
-const __niceevalExport18 = __niceevalCanonical["readCurrentRecordFormat"];
-export { __niceevalExport18 as readCurrentRecordFormat };
+const __niceevalExport4 = __niceevalCanonical["RECORD_READER_MAXIMUM_ATTACHMENT_DOCUMENT_BYTES"];
+export { __niceevalExport4 as RECORD_READER_MAXIMUM_ATTACHMENT_DOCUMENT_BYTES };
+const __niceevalExport5 = __niceevalCanonical["RECORD_READER_MAXIMUM_ATTACHMENT_TOTAL_BYTES"];
+export { __niceevalExport5 as RECORD_READER_MAXIMUM_ATTACHMENT_TOTAL_BYTES };
+const __niceevalExport6 = __niceevalCanonical["RecordBootstrapInvalid"];
+export { __niceevalExport6 as RecordBootstrapInvalid };
+const __niceevalExport7 = __niceevalCanonical["RecordFormatUnsupported"];
+export { __niceevalExport7 as RecordFormatUnsupported };
+const __niceevalExport8 = __niceevalCanonical["RecordHandleInvalid"];
+export { __niceevalExport8 as RecordHandleInvalid };
+const __niceevalExport9 = __niceevalCanonical["RecordMigrationInterruptedState"];
+export { __niceevalExport9 as RecordMigrationInterruptedState };
+const __niceevalExport10 = __niceevalCanonical["RecordMigrationRequired"];
+export { __niceevalExport10 as RecordMigrationRequired };
+const __niceevalExport11 = __niceevalCanonical["RecordReaderClosed"];
+export { __niceevalExport11 as RecordReaderClosed };
+const __niceevalExport12 = __niceevalCanonical["frozenRecordAttemptBrand"];
+export { __niceevalExport12 as frozenRecordAttemptBrand };
+const __niceevalExport13 = __niceevalCanonical["readCurrentRecordFormat"];
+export { __niceevalExport13 as readCurrentRecordFormat };
+const __niceevalExport14 = __niceevalCanonical["readFixedRecordAttachment"];
+export { __niceevalExport14 as readFixedRecordAttachment };
 //# sourceMappingURL=index.js.map