niceeval 0.13.2 → 0.13.3

package/dist/record/host/types.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":";;;AAiBa,QAAA,mBAAmB,GAAkB,MAAM,CAAC,iCAAiC,CAAC,CAAC;AAC/E,QAAA,uBAAuB,GAAkB,MAAM,CAAC,qCAAqC,CAAC,CAAC;AACvF,QAAA,qBAAqB,GAAkB,MAAM,CAAC,mCAAmC,CAAC,CAAC;AACnF,QAAA,oBAAoB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAC;AACjF,QAAA,wBAAwB,GAAkB,MAAM,CAAC,sCAAsC,CAAC,CAAC","sourcesContent":["import type { Effect } from \"effect\";\nimport type { RecordAttachmentBlobs, RecordAttachmentPayloadSnapshot, RecordAttachmentWrite, } from \"../attachment/types.ts\";\nimport type { AssertionsAttachment, } from \"../family/assertions.ts\";\nimport type { ArtifactsAttachment, } from \"../family/artifacts.ts\";\nimport type { FileChangesAttachment, } from \"../family/file-changes.ts\";\nimport type { AttemptObservabilityAttachment, RunObservabilityAttachment, } from \"../family/observability.ts\";\nimport type { SourcesAttachment, } from \"../family/sources.ts\";\nimport type { SourceNavigationAttachment, } from \"../family/source-navigation.ts\";\nimport type { AttemptDocument, MemberDocument, RecordSlotIdentity, RunDocument, } from \"../model/core.ts\";\nimport type { RunContext } from \"../model/run-context.ts\";\nimport type { AttemptId, ExperimentId, RunId, SlotId, UtcMillis, } from \"../model/identifiers.ts\";\nimport type { RecordRoot } from \"../platform/root.ts\";\nimport type { RecordBackupState } from \"../platform/services.ts\";\nimport type { RecordCoreRead, RecordWarning } from \"../model/read-state.ts\";\nimport type { NonEmptyRecordIssues } from \"../errors/record-errors.ts\";\nimport type { RecordMaintenanceError, RecordMaintenanceOpenError, RecordReaderOpenError, RecordReaderReadError, } from \"../reader/errors.ts\";\nimport type { RecordWriteError } from \"../writer/types.ts\";\nexport const selectedRunRefBrand: unique symbol = Symbol(\"@niceeval/record/SelectedRunRef\");\nexport const selectedAttemptRefBrand: unique symbol = Symbol(\"@niceeval/record/SelectedAttemptRef\");\nexport const selectedOwnerRefBrand: unique symbol = Symbol(\"@niceeval/record/SelectedOwnerRef\");\nexport const runWriteSessionBrand: unique symbol = Symbol(\"@niceeval/record/RunWriteSession\");\nexport const attemptWriteSessionBrand: unique symbol = Symbol(\"@niceeval/record/AttemptWriteSession\");\n/** Nominal ref issued only by one live RecordReadSession. */\nexport interface SelectedRunRef {\n    readonly runId: RunId;\n    readonly [selectedRunRefBrand]: () => void;\n}\n/** Nominal exact reference to one immutable origin Attempt. */\nexport interface SelectedAttemptRef {\n    readonly originRunId: RunId;\n    readonly attemptId: AttemptId;\n    readonly [selectedAttemptRefBrand]: () => void;\n}\n/** Owner handle for a later lazy fixed-family read. */\nexport interface SelectedOwnerRef {\n    readonly [selectedOwnerRefBrand]: () => void;\n}\n/**\n * The Host exposes the fixed-family states without importing maintenance.\n * A reachable older version is migration-required. Any other well-formed,\n * non-current version remains unsupported data; malformed envelopes and\n * closures are invalid, never a reader-wide failure.\n */\nexport type FixedFamilyRead<Payload> = {\n    readonly state: \"migration-required\";\n    readonly family: string;\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n    readonly command: \"niceeval migrate\";\n} | {\n    readonly state: \"available\";\n    /** Direct business fields from the current owner value definition. */\n    readonly value: RecordAttachmentPayloadSnapshot<Payload>;\n    /** Owner-local blob closure for refs found inside `value`. */\n    readonly blobs: RecordAttachmentBlobs;\n} | {\n    readonly state: \"not-recorded\";\n} | {\n    readonly state: \"unsupported\";\n    readonly family: string;\n    readonly schemaVersion: number;\n} | {\n    readonly state: \"invalid\";\n    readonly issues: NonEmptyRecordIssues;\n};\n/**\n * These aliases are deliberately owner- and method-specific. Runtime checks\n * additionally require the one installed static descriptor for each method,\n * so a caller cannot introduce another family through this boundary.\n */\nexport type SourcesWrite<E = never, R = never> = RecordAttachmentWrite<\"run\", E, R>;\nexport type RunObservabilityWrite<E = never, R = never> = RecordAttachmentWrite<\"run\", E, R>;\nexport type RunArtifactsWrite<E = never, R = never> = RecordAttachmentWrite<\"run\", E, R>;\nexport type AssertionsWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type AttemptObservabilityWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type FileChangesWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type SourceNavigationWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type AttemptArtifactsWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type RecordSelectionProblem = {\n    readonly code: \"incomplete-run\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"record-core-invalid\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"selection-run-missing\";\n    readonly runId: RunId;\n};\nexport interface RecordSelectionRequest {\n    /** Omitted means every Run whose complete marker existed during this scan. */\n    readonly runIds?: readonly RunId[];\n}\n/**\n * Closed Run facts verified by scanSelection. They retain the denominator\n * frame if a later member read becomes unavailable; they are not a durable\n * schema and contain no owner capability.\n */\nexport interface SelectedRunFacts {\n    readonly run: SelectedRunRef;\n    readonly experimentId: ExperimentId;\n    readonly startedAt: UtcMillis;\n    readonly completedAt: UtcMillis;\n    readonly expectedSlots: readonly RecordSlotIdentity[];\n}\n/** A closed candidate set with only selected minimal Core; never Attachment payloads. */\nexport interface RecordSelection {\n    readonly runRefs: readonly SelectedRunRef[];\n    readonly runFacts: readonly SelectedRunFacts[];\n    readonly expectedSlots: readonly {\n        readonly run: SelectedRunRef;\n        /** Closed at scan time from the selected Run, not stored in RecordSlotIdentity. */\n        readonly experimentId: ExperimentId;\n        readonly slot: RecordSlotIdentity;\n    }[];\n    readonly problems: readonly RecordSelectionProblem[];\n    readonly warnings: readonly RecordWarning[];\n}\nexport interface ReadableRun {\n    readonly ref: SelectedRunRef;\n    readonly owner: SelectedOwnerRef;\n    readonly document: RunDocument;\n    readonly members: readonly {\n        readonly document: MemberDocument;\n        readonly attempt: SelectedAttemptRef | null;\n    }[];\n}\nexport interface ReadableAttempt {\n    readonly ref: SelectedAttemptRef;\n    readonly owner: SelectedOwnerRef;\n    readonly document: AttemptDocument;\n    /**\n     * Verified while resolving the exact nominal Attempt reference. It is the\n     * only origin Run Core projection Sample may use. In particular, a carried\n     * or accepted member must retain this origin's execution facts rather than\n     * substituting the selected target Run.\n     */\n    readonly origin: {\n        readonly owner: SelectedOwnerRef;\n        readonly runId: RunId;\n        readonly experimentId: ExperimentId;\n        readonly startedAt: UtcMillis;\n        readonly context: RunContext;\n    };\n}\nexport interface RecordReadSession {\n    readonly selectRuns: (request?: RecordSelectionRequest) => Effect.Effect<RecordSelection, RecordReaderReadError>;\n    readonly readRun: (ref: SelectedRunRef) => Effect.Effect<RecordCoreRead<ReadableRun>, RecordReaderReadError>;\n    readonly readAttempt: (ref: SelectedAttemptRef) => Effect.Effect<RecordCoreRead<ReadableAttempt>, RecordReaderReadError>;\n    readonly readAssertions: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<AssertionsAttachment>, RecordReaderReadError>;\n    readonly readAttemptObservability: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<AttemptObservabilityAttachment>, RecordReaderReadError>;\n    readonly readFileChanges: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<FileChangesAttachment>, RecordReaderReadError>;\n    readonly readSourceNavigation: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<SourceNavigationAttachment>, RecordReaderReadError>;\n    readonly readAttemptArtifacts: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<ArtifactsAttachment>, RecordReaderReadError>;\n    readonly readSources: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<SourcesAttachment>, RecordReaderReadError>;\n    readonly readRunObservability: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<RunObservabilityAttachment>, RecordReaderReadError>;\n    readonly readRunArtifacts: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<ArtifactsAttachment>, RecordReaderReadError>;\n}\nexport interface CreateRunRequest {\n    readonly root: RecordRoot;\n    readonly experimentId: ExperimentId;\n    /** Required historical interpretation facts, written once into `run.json`. */\n    readonly context: RunContext;\n    readonly startedAt: UtcMillis;\n    readonly expectedSlots: readonly RecordSlotIdentity[];\n}\nexport interface CreateReferenceRunRequest extends CreateRunRequest {\n}\nexport interface RunCompletion {\n    readonly completedAt: UtcMillis;\n}\nexport interface RecordSealReceipt {\n    readonly runId: RunId;\n    readonly state: \"sealed\";\n}\nexport interface AttemptWriteSession {\n    readonly attemptId: AttemptId;\n    readonly slotId: SlotId;\n    readonly [attemptWriteSessionBrand]: () => void;\n    readonly complete: (outcome: AttemptDocument[\"outcome\"]) => Effect.Effect<void, RecordWriteError>;\n    readonly writeAssertions: <E, R>(value: AssertionsWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeAttemptObservability: <E, R>(value: AttemptObservabilityWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeFileChanges: <E, R>(value: FileChangesWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeSourceNavigation: <E, R>(value: SourceNavigationWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeAttemptArtifacts: <E, R>(value: AttemptArtifactsWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n}\n/** One session owns exactly one freshly exclusive RunId directory. */\nexport interface RunWriteSession {\n    readonly runId: RunId;\n    readonly [runWriteSessionBrand]: () => void;\n    readonly createAttempt: (input: {\n        readonly slotId: SlotId;\n    }) => Effect.Effect<AttemptWriteSession, RecordWriteError>;\n    readonly referenceAttempt: (input: {\n        readonly slotId: SlotId;\n        readonly action: \"carried\" | \"accepted\";\n        readonly attempt: SelectedAttemptRef;\n    }) => Effect.Effect<void, RecordWriteError>;\n    /**\n     * Explicit adoption / rename: occupy one current target Slot with an already\n     * selected origin Attempt. The target Slot identity may differ from the\n     * origin Attempt. This is not a generic Attachment writer.\n     */\n    readonly recordAcceptedMembership: (input: {\n        readonly slotId: SlotId;\n        readonly attempt: SelectedAttemptRef;\n    }) => Effect.Effect<void, RecordWriteError>;\n    readonly recordTerminalMember: (input: {\n        readonly slotId: SlotId;\n        readonly action: \"not-dispatched\" | \"interrupted\";\n    }) => Effect.Effect<void, RecordWriteError>;\n    readonly writeSources: <E, R>(value: SourcesWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeRunObservability: <E, R>(value: RunObservabilityWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeRunArtifacts: <E, R>(value: RunArtifactsWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly seal: (completion: RunCompletion) => Effect.Effect<RecordSealReceipt, RecordWriteError>;\n}\n/** A Run created solely from already-selected, sealed Attempts. */\nexport interface ReferenceRunWriteSession {\n    readonly runId: RunId;\n    readonly [runWriteSessionBrand]: () => void;\n    readonly referenceAttempt: RunWriteSession[\"referenceAttempt\"];\n    readonly recordAcceptedMembership: RunWriteSession[\"recordAcceptedMembership\"];\n    readonly recordTerminalMember: RunWriteSession[\"recordTerminalMember\"];\n    readonly writeRunObservability: RunWriteSession[\"writeRunObservability\"];\n    readonly writeRunArtifacts: RunWriteSession[\"writeRunArtifacts\"];\n    readonly seal: RunWriteSession[\"seal\"];\n}\nexport type RecordFormatInspection = {\n    readonly state: \"already-current\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"migration-required\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"unsupported-format\";\n    readonly format: string;\n};\nexport interface RecordAttachmentMigrationTarget {\n    readonly family: string;\n    readonly owner: \"attempt\" | \"run\";\n    readonly runId: RunId;\n    readonly attemptId?: AttemptId;\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n}\nexport type RecordMigrationPlan = {\n    readonly state: \"already-current\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"migration-required\";\n    readonly format: \"niceeval.record\";\n    readonly backup: RecordBackupState;\n    readonly root: {\n        readonly fromSchemaVersion: number;\n        readonly toSchemaVersion: number;\n    } | null;\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n} | {\n    readonly state: \"unsupported-format\";\n    readonly format: string;\n};\nexport interface RecordMigrationReceipt {\n    readonly state: \"already-current\" | \"migrated\";\n    readonly format: \"niceeval.record\";\n}\nexport interface RecordMaintenanceSession {\n    readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;\n    readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;\n    readonly applyMigrate: (plan: RecordMigrationPlan) => Effect.Effect<RecordMigrationReceipt, RecordMaintenanceError>;\n}\nexport interface RecordHostSDK {\n    readonly current: {\n        readonly openRead: (input: {\n            readonly root: RecordRoot;\n        }) => Effect.Effect<RecordReadSession, RecordReaderOpenError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly createRun: (request: CreateRunRequest) => Effect.Effect<RunWriteSession, RecordReaderOpenError | RecordWriteError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordEntropy | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly createReferenceRun: (request: CreateReferenceRunRequest) => Effect.Effect<ReferenceRunWriteSession, RecordReaderOpenError | RecordWriteError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordEntropy | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n    };\n    readonly maintenance: {\n        readonly open: (input: {\n            readonly root: RecordRoot;\n        }) => Effect.Effect<RecordMaintenanceSession, RecordMaintenanceOpenError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordGit | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n    };\n}\n"]}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":";;;AAkBa,QAAA,mBAAmB,GAAkB,MAAM,CAAC,iCAAiC,CAAC,CAAC;AAC/E,QAAA,uBAAuB,GAAkB,MAAM,CAAC,qCAAqC,CAAC,CAAC;AACvF,QAAA,qBAAqB,GAAkB,MAAM,CAAC,mCAAmC,CAAC,CAAC;AACnF,QAAA,oBAAoB,GAAkB,MAAM,CAAC,kCAAkC,CAAC,CAAC;AACjF,QAAA,wBAAwB,GAAkB,MAAM,CAAC,sCAAsC,CAAC,CAAC","sourcesContent":["import type { Effect } from \"effect\";\nimport type { RecordAttachmentBlobs, RecordAttachmentPayloadSnapshot, RecordAttachmentWrite, } from \"../attachment/types.ts\";\nimport type { AssertionsAttachment, } from \"../family/assertions.ts\";\nimport type { ArtifactsAttachment, } from \"../family/artifacts.ts\";\nimport type { FileChangesAttachment, } from \"../family/file-changes.ts\";\nimport type { AttemptObservabilityAttachment, RunObservabilityAttachment, } from \"../family/observability.ts\";\nimport type { SourcesAttachment, } from \"../family/sources.ts\";\nimport type { SourceNavigationAttachment, } from \"../family/source-navigation.ts\";\nimport type { AttemptDocument, MemberDocument, RecordSlotIdentity, RunDocument, } from \"../model/core.ts\";\nimport type { RunContext } from \"../model/run-context.ts\";\nimport type { AttemptId, ExperimentId, RunId, SlotId, UtcMillis, } from \"../model/identifiers.ts\";\nimport type { RecordRoot } from \"../platform/root.ts\";\nimport type { RecordBackupState } from \"../platform/services.ts\";\nimport type { RecordCoreRead, RecordWarning } from \"../model/read-state.ts\";\nimport type { NonEmptyRecordIssues } from \"../errors/record-errors.ts\";\nimport type { RecordMaintenanceError, RecordMaintenanceOpenError, RecordReaderOpenError, RecordReaderReadError, } from \"../reader/errors.ts\";\nimport type { RecordWriteError } from \"../writer/types.ts\";\nimport type { RecordAttachmentMigrationRetention } from \"../definition/attachment.ts\";\nexport const selectedRunRefBrand: unique symbol = Symbol(\"@niceeval/record/SelectedRunRef\");\nexport const selectedAttemptRefBrand: unique symbol = Symbol(\"@niceeval/record/SelectedAttemptRef\");\nexport const selectedOwnerRefBrand: unique symbol = Symbol(\"@niceeval/record/SelectedOwnerRef\");\nexport const runWriteSessionBrand: unique symbol = Symbol(\"@niceeval/record/RunWriteSession\");\nexport const attemptWriteSessionBrand: unique symbol = Symbol(\"@niceeval/record/AttemptWriteSession\");\n/** Nominal ref issued only by one live RecordReadSession. */\nexport interface SelectedRunRef {\n    readonly runId: RunId;\n    readonly [selectedRunRefBrand]: () => void;\n}\n/** Nominal exact reference to one immutable origin Attempt. */\nexport interface SelectedAttemptRef {\n    readonly originRunId: RunId;\n    readonly attemptId: AttemptId;\n    readonly [selectedAttemptRefBrand]: () => void;\n}\n/** Owner handle for a later lazy fixed-family read. */\nexport interface SelectedOwnerRef {\n    readonly [selectedOwnerRefBrand]: () => void;\n}\n/**\n * The Host exposes the fixed-family states without importing maintenance.\n * A reachable older version is migration-required. Any other well-formed,\n * non-current version remains unsupported data; malformed envelopes and\n * closures are invalid, never a reader-wide failure.\n */\nexport type FixedFamilyRead<Payload> = {\n    readonly state: \"migration-required\";\n    readonly family: string;\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n    readonly command: \"niceeval migrate\";\n} | {\n    readonly state: \"available\";\n    /** Direct business fields from the current owner value definition. */\n    readonly value: RecordAttachmentPayloadSnapshot<Payload>;\n    /** Owner-local blob closure for refs found inside `value`. */\n    readonly blobs: RecordAttachmentBlobs;\n} | {\n    readonly state: \"not-recorded\";\n} | {\n    readonly state: \"unsupported\";\n    readonly family: string;\n    readonly schemaVersion: number;\n} | {\n    readonly state: \"invalid\";\n    readonly issues: NonEmptyRecordIssues;\n};\n/**\n * These aliases are deliberately owner- and method-specific. Runtime checks\n * additionally require the one installed static descriptor for each method,\n * so a caller cannot introduce another family through this boundary.\n */\nexport type SourcesWrite<E = never, R = never> = RecordAttachmentWrite<\"run\", E, R>;\nexport type RunObservabilityWrite<E = never, R = never> = RecordAttachmentWrite<\"run\", E, R>;\nexport type RunArtifactsWrite<E = never, R = never> = RecordAttachmentWrite<\"run\", E, R>;\nexport type AssertionsWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type AttemptObservabilityWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type FileChangesWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type SourceNavigationWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type AttemptArtifactsWrite<E = never, R = never> = RecordAttachmentWrite<\"attempt\", E, R>;\nexport type RecordSelectionProblem = {\n    readonly code: \"incomplete-run\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"record-core-invalid\";\n    readonly runId: RunId;\n} | {\n    readonly code: \"selection-run-missing\";\n    readonly runId: RunId;\n};\nexport interface RecordSelectionRequest {\n    /** Omitted means every Run whose complete marker existed during this scan. */\n    readonly runIds?: readonly RunId[];\n}\n/**\n * Closed Run facts verified by scanSelection. They retain the denominator\n * frame if a later member read becomes unavailable; they are not a durable\n * schema and contain no owner capability.\n */\nexport interface SelectedRunFacts {\n    readonly run: SelectedRunRef;\n    readonly experimentId: ExperimentId;\n    readonly startedAt: UtcMillis;\n    readonly completedAt: UtcMillis;\n    readonly expectedSlots: readonly RecordSlotIdentity[];\n}\n/** A closed candidate set with only selected minimal Core; never Attachment payloads. */\nexport interface RecordSelection {\n    readonly runRefs: readonly SelectedRunRef[];\n    readonly runFacts: readonly SelectedRunFacts[];\n    readonly expectedSlots: readonly {\n        readonly run: SelectedRunRef;\n        /** Closed at scan time from the selected Run, not stored in RecordSlotIdentity. */\n        readonly experimentId: ExperimentId;\n        readonly slot: RecordSlotIdentity;\n    }[];\n    readonly problems: readonly RecordSelectionProblem[];\n    readonly warnings: readonly RecordWarning[];\n}\nexport interface ReadableRun {\n    readonly ref: SelectedRunRef;\n    readonly owner: SelectedOwnerRef;\n    readonly document: RunDocument;\n    readonly members: readonly {\n        readonly document: MemberDocument;\n        readonly attempt: SelectedAttemptRef | null;\n    }[];\n}\nexport interface ReadableAttempt {\n    readonly ref: SelectedAttemptRef;\n    readonly owner: SelectedOwnerRef;\n    readonly document: AttemptDocument;\n    /**\n     * Verified while resolving the exact nominal Attempt reference. It is the\n     * only origin Run Core projection Sample may use. In particular, a carried\n     * or accepted member must retain this origin's execution facts rather than\n     * substituting the selected target Run.\n     */\n    readonly origin: {\n        readonly owner: SelectedOwnerRef;\n        readonly runId: RunId;\n        readonly experimentId: ExperimentId;\n        readonly startedAt: UtcMillis;\n        readonly context: RunContext;\n    };\n}\nexport interface RecordReadSession {\n    readonly selectRuns: (request?: RecordSelectionRequest) => Effect.Effect<RecordSelection, RecordReaderReadError>;\n    readonly readRun: (ref: SelectedRunRef) => Effect.Effect<RecordCoreRead<ReadableRun>, RecordReaderReadError>;\n    readonly readAttempt: (ref: SelectedAttemptRef) => Effect.Effect<RecordCoreRead<ReadableAttempt>, RecordReaderReadError>;\n    readonly readAssertions: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<AssertionsAttachment>, RecordReaderReadError>;\n    readonly readAttemptObservability: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<AttemptObservabilityAttachment>, RecordReaderReadError>;\n    readonly readFileChanges: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<FileChangesAttachment>, RecordReaderReadError>;\n    readonly readSourceNavigation: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<SourceNavigationAttachment>, RecordReaderReadError>;\n    readonly readAttemptArtifacts: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<ArtifactsAttachment>, RecordReaderReadError>;\n    readonly readSources: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<SourcesAttachment>, RecordReaderReadError>;\n    readonly readRunObservability: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<RunObservabilityAttachment>, RecordReaderReadError>;\n    readonly readRunArtifacts: (owner: SelectedOwnerRef) => Effect.Effect<FixedFamilyRead<ArtifactsAttachment>, RecordReaderReadError>;\n}\nexport interface CreateRunRequest {\n    readonly root: RecordRoot;\n    readonly experimentId: ExperimentId;\n    /** Required historical interpretation facts, written once into `run.json`. */\n    readonly context: RunContext;\n    readonly startedAt: UtcMillis;\n    readonly expectedSlots: readonly RecordSlotIdentity[];\n}\nexport interface CreateReferenceRunRequest extends CreateRunRequest {\n}\nexport interface RunCompletion {\n    readonly completedAt: UtcMillis;\n}\nexport interface RecordSealReceipt {\n    readonly runId: RunId;\n    readonly state: \"sealed\";\n}\nexport interface AttemptWriteSession {\n    readonly attemptId: AttemptId;\n    readonly slotId: SlotId;\n    readonly [attemptWriteSessionBrand]: () => void;\n    readonly complete: (outcome: AttemptDocument[\"outcome\"]) => Effect.Effect<void, RecordWriteError>;\n    readonly writeAssertions: <E, R>(value: AssertionsWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeAttemptObservability: <E, R>(value: AttemptObservabilityWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeFileChanges: <E, R>(value: FileChangesWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeSourceNavigation: <E, R>(value: SourceNavigationWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeAttemptArtifacts: <E, R>(value: AttemptArtifactsWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n}\n/** One session owns exactly one freshly exclusive RunId directory. */\nexport interface RunWriteSession {\n    readonly runId: RunId;\n    readonly [runWriteSessionBrand]: () => void;\n    readonly createAttempt: (input: {\n        readonly slotId: SlotId;\n    }) => Effect.Effect<AttemptWriteSession, RecordWriteError>;\n    readonly referenceAttempt: (input: {\n        readonly slotId: SlotId;\n        readonly action: \"carried\" | \"accepted\";\n        readonly attempt: SelectedAttemptRef;\n    }) => Effect.Effect<void, RecordWriteError>;\n    /**\n     * Explicit adoption / rename: occupy one current target Slot with an already\n     * selected origin Attempt. The target Slot identity may differ from the\n     * origin Attempt. This is not a generic Attachment writer.\n     */\n    readonly recordAcceptedMembership: (input: {\n        readonly slotId: SlotId;\n        readonly attempt: SelectedAttemptRef;\n    }) => Effect.Effect<void, RecordWriteError>;\n    readonly recordTerminalMember: (input: {\n        readonly slotId: SlotId;\n        readonly action: \"not-dispatched\" | \"interrupted\";\n    }) => Effect.Effect<void, RecordWriteError>;\n    readonly writeSources: <E, R>(value: SourcesWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeRunObservability: <E, R>(value: RunObservabilityWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly writeRunArtifacts: <E, R>(value: RunArtifactsWrite<E, R>) => Effect.Effect<void, RecordWriteError | E, R>;\n    readonly seal: (completion: RunCompletion) => Effect.Effect<RecordSealReceipt, RecordWriteError>;\n}\n/** A Run created solely from already-selected, sealed Attempts. */\nexport interface ReferenceRunWriteSession {\n    readonly runId: RunId;\n    readonly [runWriteSessionBrand]: () => void;\n    readonly referenceAttempt: RunWriteSession[\"referenceAttempt\"];\n    readonly recordAcceptedMembership: RunWriteSession[\"recordAcceptedMembership\"];\n    readonly recordTerminalMember: RunWriteSession[\"recordTerminalMember\"];\n    readonly writeRunObservability: RunWriteSession[\"writeRunObservability\"];\n    readonly writeRunArtifacts: RunWriteSession[\"writeRunArtifacts\"];\n    readonly seal: RunWriteSession[\"seal\"];\n}\nexport type RecordFormatInspection = {\n    readonly state: \"already-current\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"migration-required\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"unsupported-format\";\n    readonly format: string;\n};\nexport interface RecordAttachmentMigrationTarget {\n    readonly family: string;\n    readonly owner: \"attempt\" | \"run\";\n    readonly runId: RunId;\n    readonly attemptId?: AttemptId;\n    readonly fromSchemaVersion: number;\n    readonly toSchemaVersion: number;\n    readonly retention: RecordAttachmentMigrationRetention;\n}\nexport type RecordMigrationPlan = {\n    readonly state: \"already-current\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"migration-required\";\n    readonly format: \"niceeval.record\";\n    readonly backup: RecordBackupState;\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n} | {\n    readonly state: \"unsupported-format\";\n    readonly format: string;\n};\nexport type RecordMigrationReceipt = {\n    readonly state: \"already-current\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly state: \"migrated\";\n    readonly format: \"niceeval.record\";\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n};\nexport interface RecordMaintenanceSession {\n    readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;\n    readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;\n    readonly applyMigrate: (plan: RecordMigrationPlan) => Effect.Effect<RecordMigrationReceipt, RecordMaintenanceError>;\n}\nexport interface RecordHostSDK {\n    readonly current: {\n        readonly openRead: (input: {\n            readonly root: RecordRoot;\n        }) => Effect.Effect<RecordReadSession, RecordReaderOpenError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly createRun: (request: CreateRunRequest) => Effect.Effect<RunWriteSession, RecordReaderOpenError | RecordWriteError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordEntropy | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly createReferenceRun: (request: CreateReferenceRunRequest) => Effect.Effect<ReferenceRunWriteSession, RecordReaderOpenError | RecordWriteError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordEntropy | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n    };\n    readonly maintenance: {\n        readonly open: (input: {\n            readonly root: RecordRoot;\n        }) => Effect.Effect<RecordMaintenanceSession, RecordMaintenanceOpenError, import(\"effect\").Scope.Scope | import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordGit | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n    };\n}\n"]}

package/dist/record/host/types.d.cts

@@ -15,6 +15,7 @@ import type { RecordCoreRead, RecordWarning } from "../model/read-state.cjs";
 import type { NonEmptyRecordIssues } from "../errors/record-errors.cjs";
 import type { RecordMaintenanceError, RecordMaintenanceOpenError, RecordReaderOpenError, RecordReaderReadError } from "../reader/errors.cjs";
 import type { RecordWriteError } from "../writer/types.cjs";
+import type { RecordAttachmentMigrationRetention } from "../definition/attachment.cjs";
 export declare const selectedRunRefBrand: unique symbol;
 export declare const selectedAttemptRefBrand: unique symbol;
 export declare const selectedOwnerRefBrand: unique symbol;
@@ -241,6 +242,7 @@ export interface RecordAttachmentMigrationTarget {
     readonly attemptId?: AttemptId;
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    readonly retention: RecordAttachmentMigrationRetention;
 }
 export type RecordMigrationPlan = {
     readonly state: "already-current";
@@ -249,19 +251,19 @@ export type RecordMigrationPlan = {
     readonly state: "migration-required";
     readonly format: "niceeval.record";
     readonly backup: RecordBackupState;
-    readonly root: {
-        readonly fromSchemaVersion: number;
-        readonly toSchemaVersion: number;
-    } | null;
     readonly attachments: readonly RecordAttachmentMigrationTarget[];
 } | {
     readonly state: "unsupported-format";
     readonly format: string;
 };
-export interface RecordMigrationReceipt {
-    readonly state: "already-current" | "migrated";
+export type RecordMigrationReceipt = {
+    readonly state: "already-current";
     readonly format: "niceeval.record";
-}
+} | {
+    readonly state: "migrated";
+    readonly format: "niceeval.record";
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
 export interface RecordMaintenanceSession {
     readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;
     readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;

package/dist/record/host/types.d.mts

@@ -15,6 +15,7 @@ import type { RecordCoreRead, RecordWarning } from "../model/read-state.mjs";
 import type { NonEmptyRecordIssues } from "../errors/record-errors.mjs";
 import type { RecordMaintenanceError, RecordMaintenanceOpenError, RecordReaderOpenError, RecordReaderReadError } from "../reader/errors.mjs";
 import type { RecordWriteError } from "../writer/types.mjs";
+import type { RecordAttachmentMigrationRetention } from "../definition/attachment.mjs";
 export declare const selectedRunRefBrand: unique symbol;
 export declare const selectedAttemptRefBrand: unique symbol;
 export declare const selectedOwnerRefBrand: unique symbol;
@@ -241,6 +242,7 @@ export interface RecordAttachmentMigrationTarget {
     readonly attemptId?: AttemptId;
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    readonly retention: RecordAttachmentMigrationRetention;
 }
 export type RecordMigrationPlan = {
     readonly state: "already-current";
@@ -249,19 +251,19 @@ export type RecordMigrationPlan = {
     readonly state: "migration-required";
     readonly format: "niceeval.record";
     readonly backup: RecordBackupState;
-    readonly root: {
-        readonly fromSchemaVersion: number;
-        readonly toSchemaVersion: number;
-    } | null;
     readonly attachments: readonly RecordAttachmentMigrationTarget[];
 } | {
     readonly state: "unsupported-format";
     readonly format: string;
 };
-export interface RecordMigrationReceipt {
-    readonly state: "already-current" | "migrated";
+export type RecordMigrationReceipt = {
+    readonly state: "already-current";
     readonly format: "niceeval.record";
-}
+} | {
+    readonly state: "migrated";
+    readonly format: "niceeval.record";
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
 export interface RecordMaintenanceSession {
     readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;
     readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;

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

@@ -15,6 +15,7 @@ import type { RecordCoreRead, RecordWarning } from "../model/read-state.js";
 import type { NonEmptyRecordIssues } from "../errors/record-errors.js";
 import type { RecordMaintenanceError, RecordMaintenanceOpenError, RecordReaderOpenError, RecordReaderReadError } from "../reader/errors.js";
 import type { RecordWriteError } from "../writer/types.js";
+import type { RecordAttachmentMigrationRetention } from "../definition/attachment.js";
 export declare const selectedRunRefBrand: unique symbol;
 export declare const selectedAttemptRefBrand: unique symbol;
 export declare const selectedOwnerRefBrand: unique symbol;
@@ -241,6 +242,7 @@ export interface RecordAttachmentMigrationTarget {
     readonly attemptId?: AttemptId;
     readonly fromSchemaVersion: number;
     readonly toSchemaVersion: number;
+    readonly retention: RecordAttachmentMigrationRetention;
 }
 export type RecordMigrationPlan = {
     readonly state: "already-current";
@@ -249,19 +251,19 @@ export type RecordMigrationPlan = {
     readonly state: "migration-required";
     readonly format: "niceeval.record";
     readonly backup: RecordBackupState;
-    readonly root: {
-        readonly fromSchemaVersion: number;
-        readonly toSchemaVersion: number;
-    } | null;
     readonly attachments: readonly RecordAttachmentMigrationTarget[];
 } | {
     readonly state: "unsupported-format";
     readonly format: string;
 };
-export interface RecordMigrationReceipt {
-    readonly state: "already-current" | "migrated";
+export type RecordMigrationReceipt = {
+    readonly state: "already-current";
     readonly format: "niceeval.record";
-}
+} | {
+    readonly state: "migrated";
+    readonly format: "niceeval.record";
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
 export interface RecordMaintenanceSession {
     readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;
     readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;

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

@@ -1 +1 @@
-{"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: 2;\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"]}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["core.ts"],"names":[],"mappings":";;AAuEA,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 versionless root header; a future incompatible root uses a new format identity. */\nexport interface RecordDocument {\n    readonly format: RecordFormat;\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,9 +1,8 @@
 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. */
+/** The versionless root header; a future incompatible root uses a new format identity. */
 export interface RecordDocument {
     readonly format: RecordFormat;
-    readonly schemaVersion: 2;
     readonly recordId: RecordId;
 }
 /** An exact reference to an immutable origin Attempt. */

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

@@ -1,9 +1,8 @@
 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. */
+/** The versionless root header; a future incompatible root uses a new format identity. */
 export interface RecordDocument {
     readonly format: RecordFormat;
-    readonly schemaVersion: 2;
     readonly recordId: RecordId;
 }
 /** An exact reference to an immutable origin Attempt. */

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

@@ -1,9 +1,8 @@
 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. */
+/** The versionless root header; a future incompatible root uses a new format identity. */
 export interface RecordDocument {
     readonly format: RecordFormat;
-    readonly schemaVersion: 2;
     readonly recordId: RecordId;
 }
 /** An exact reference to an immutable origin Attempt. */

package/dist/record/model/definition.cjs

@@ -60,10 +60,9 @@ exports.RecordSlotIdentityDefinition = (0, index_ts_1.defineRecordCore)({
 exports.RecordSlotIdentitySchema = exports.RecordSlotIdentityDefinition.schema;
 const RecordDocumentCurrentSchema = effect_1.Schema.Struct({
     format: identifiers_ts_1.RecordFormatSchema,
-    schemaVersion: identifiers_ts_1.RecordSchemaVersionSchema,
     recordId: identifiers_ts_1.RecordIdSchema,
 });
-/** The current root header definition, with identity separate from numeric version. */
+/** The exact versionless root header definition. */
 exports.RecordDocumentDefinition = (0, index_ts_1.defineRecordCore)({
     schema: RecordDocumentCurrentSchema,
     limits: exports.RecordCoreDocumentLimits,

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

@@ -1 +1 @@
-{"version":3,"file":"definition.js","sourceRoot":"","sources":["definition.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC,qDAAoF;AACpF,4DAAuO;AAEvO,qDAAoD;AACpD,mDAA4H;AAE5H,6EAA6E;AAChE,QAAA,wBAAwB,GAAuB,MAAM,CAAC,MAAM,CAAC;IACtE,gBAAgB,EAAE,IAAI,GAAG,IAAI;IAC7B,YAAY,EAAE,CAAC;IACf,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,EAAE;IACrB,iBAAiB,EAAE,GAAG;IACtB,mBAAmB,EAAE,GAAG;IACxB,sBAAsB,EAAE,CAAC,GAAG,IAAI;CACnC,CAAC,CAAC;AACH,mFAAmF;AACtE,QAAA,yBAAyB,GAAuB,MAAM,CAAC,MAAM,CAAC;IACvE,GAAG,gCAAwB;IAC3B,gBAAgB,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI;IACjC,YAAY,EAAE,KAAK;IACnB,iBAAiB,EAAE,IAAI;CAC1B,CAAC,CAAC;AACH,SAAS,kBAAkB,CAAC,MAA8B;IACtD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACrB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,IAAI;SACtB,CAAC,CAAC,CAAC;AACZ,CAAC;AACD,MAAM,oBAAoB,GAAkC,eAAM,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AAC/H,MAAM,sBAAsB,GAAoC,eAAM,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC;AACnJ,kFAAkF;AAClF,MAAM,oBAAoB,GAAG,eAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE;IACpH,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,qDAAqD;CACrE,CAAC,CAAC,CAAC;AACJ,MAAM,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,4BAAW;IACxB,SAAS,EAAE,gCAAe;CAC7B,CAAC,CAAC;AACU,QAAA,0BAA0B,GAAG,IAAA,2BAAgB,EAAC;IACvD,MAAM,EAAE,6BAA6B;IACrC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,sBAAsB,GAAG,kCAA0B,CAAC,MAAM,CAAC;AACxE,MAAM,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IAClD,MAAM,EAAE,6BAAY;IACpB,MAAM,EAAE,6BAAY;IACpB,cAAc,EAAE,oBAAoB;IACpC,uBAAuB,EAAE,8CAA6B;CACzD,CAAC,CAAC;AACU,QAAA,4BAA4B,GAAG,IAAA,2BAAgB,EAAC;IACzD,MAAM,EAAE,+BAA+B;IACvC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,wBAAwB,GAAG,oCAA4B,CAAC,MAAM,CAAC;AAC5E,MAAM,2BAA2B,GAAG,eAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,EAAE,mCAAkB;IAC1B,aAAa,EAAE,0CAAyB;IACxC,QAAQ,EAAE,+BAAc;CAC3B,CAAC,CAAC;AACH,uFAAuF;AAC1E,QAAA,wBAAwB,GAAG,IAAA,2BAAgB,EAAC;IACrD,MAAM,EAAE,2BAA2B;IACnC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,oBAAoB,GAAG,gCAAwB,CAAC,MAAM,CAAC;AACpE,MAAM,wBAAwB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,4BAAW;IAClB,YAAY,EAAE,mCAAkB;IAChC,OAAO,EAAE,iCAAgB;IACzB,SAAS,EAAE,gCAAe;IAC1B,WAAW,EAAE,gCAAe;IAC5B,aAAa,EAAE,eAAM,CAAC,KAAK,CAAC,gCAAwB,CAAC;CACxD,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,mCAAmB,EAAC,KAAK,CAAC,CAAC,EAAE;IAC7E,UAAU,EAAE,4BAA4B;IACxC,WAAW,EAAE,mEAAmE;CACnF,CAAC,CAAC,CAAC;AACJ,yFAAyF;AAC5E,QAAA,qBAAqB,GAAG,IAAA,2BAAgB,EAAC;IAClD,MAAM,EAAE,wBAAwB;IAChC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,iBAAiB,GAAG,6BAAqB,CAAC,MAAM,CAAC;AAC9D,MAAM,wBAAwB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,6BAAY;IACpB,MAAM,EAAE,sBAAsB;IAC9B,OAAO,EAAE,eAAM,CAAC,MAAM,CAAC,8BAAsB,CAAC;CACjD,CAAC,CAAC;AACH,MAAM,2BAA2B,GAAG,wBAAwB,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,sCAAsB,EAAC,KAAK,CAAC,CAAC,EAAE;IAC1I,UAAU,EAAE,+BAA+B;IAC3C,WAAW,EAAE,4DAA4D;CAC5E,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAA2B,EAAE,CAAC,IAAA,sCAAsB,EAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAC9F,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,4DAA4D;CAC5E,CAAC,CAAC,CAAC;AACJ,uFAAuF;AAC1E,QAAA,wBAAwB,GAAG,IAAA,2BAAgB,EAAC;IACrD,MAAM,EAAE,2BAA2B;IACnC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,oBAAoB,GAAG,gCAAwB,CAAC,MAAM,CAAC;AACpE,MAAM,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/C,SAAS,EAAE,gCAAe;IAC1B,WAAW,EAAE,4BAAW;IACxB,MAAM,EAAE,6BAAY;IACpB,MAAM,EAAE,6BAAY;IACpB,uBAAuB,EAAE,8CAA6B;IACtD,OAAO,EAAE,oBAAoB;CAChC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,uCAAuB,EAAC,KAAK,CAAC,CAAC,EAAE;IACjF,UAAU,EAAE,gCAAgC;IAC5C,WAAW,EAAE,oDAAoD;CACpE,CAAC,CAAC,CAAC;AACJ,uFAAuF;AAC1E,QAAA,yBAAyB,GAAG,IAAA,2BAAgB,EAAC;IACtD,MAAM,EAAE,4BAA4B;IACpC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,qBAAqB,GAAG,iCAAyB,CAAC,MAAM,CAAC;AACtE,MAAM,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC;IACvC,GAAG,EAAE,yBAAiB;IACtB,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,4BAAoB,CAAC;IAC3C,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC,6BAAqB,CAAC;CAChD,CAAC,CAAC;AACU,QAAA,iBAAiB,GAAG,IAAA,2BAAgB,EAAC;IAC9C,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,iCAAyB;CACpC,CAAC,CAAC;AACU,QAAA,aAAa,GAAG,yBAAiB,CAAC,MAAM,CAAC;AACtD,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,4BAAoB;IAC5B,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,qBAAa,CAAC;CACpC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,kCAAkB,EAAC,KAAK,CAAC,CAAC,EAAE;IAC5E,UAAU,EAAE,qBAAqB;IACjC,WAAW,EAAE,2EAA2E;CAC3F,CAAC,CAAC,CAAC;AACJ,yEAAyE;AAC5D,QAAA,oBAAoB,GAAG,IAAA,2BAAgB,EAAC;IACjD,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE,iCAAyB;CACpC,CAAC,CAAC;AACU,QAAA,gBAAgB,GAAG,4BAAoB,CAAC,MAAM,CAAC","sourcesContent":["import { Schema } from \"effect\";\nimport { defineRecordCore, type RecordSchemaLimits, } from \"../definition/index.ts\";\nimport { AttemptIdSchema, EvalIdSchema, ExecutionIdentityDigestSchema, ExperimentIdSchema, RecordFormatSchema, RecordIdSchema, RecordSchemaVersionSchema, RunIdSchema, SlotIdSchema, UtcMillisSchema, } from \"../codec/identifiers.ts\";\nimport type { AttemptOutcome, MemberDocument, MembershipAction, } from \"./core.ts\";\nimport { RunContextSchema } from \"./run-context.ts\";\nimport { validateAttemptDocument, validateMemberDocument, validateRecordCore, validateRunDocument, } from \"./validation.ts\";\nimport type { RecordIssue } from \"../errors/record-errors.ts\";\n/** Full durable-document budget; Host separately caps each read at 1 MiB. */\nexport const RecordCoreDocumentLimits: RecordSchemaLimits = Object.freeze({\n    maximumJsonBytes: 1024 * 1024,\n    maximumDepth: 8,\n    maximumNodes: 4096,\n    maximumObjectKeys: 64,\n    maximumArrayItems: 256,\n    maximumKeyUtf8Bytes: 256,\n    maximumStringUtf8Bytes: 8 * 1024,\n});\n/** The in-memory aggregate has the same hostile-JS rules but a larger run list. */\nexport const RecordCoreAggregateLimits: RecordSchemaLimits = Object.freeze({\n    ...RecordCoreDocumentLimits,\n    maximumJsonBytes: 8 * 1024 * 1024,\n    maximumNodes: 32768,\n    maximumArrayItems: 4096,\n});\nfunction schemaFilterIssues(issues: readonly RecordIssue[]): readonly Schema.FilterIssue[] | undefined {\n    return issues.length === 0\n        ? undefined\n        : issues.map((issue) => ({\n            path: issue.path,\n            message: issue.code,\n        }));\n}\nconst AttemptOutcomeSchema: Schema.Schema<AttemptOutcome> = Schema.Literal(\"completed\", \"errored\", \"cancelled\", \"interrupted\");\nconst MembershipActionSchema: Schema.Schema<MembershipAction> = Schema.Literal(\"executed\", \"carried\", \"accepted\", \"not-dispatched\", \"interrupted\");\n/** Durable Slot ordinals are zero-based JSON-safe integers, not array indexes. */\nconst AttemptOrdinalSchema = Schema.JsonNumber.pipe(Schema.filter((value) => Number.isSafeInteger(value) && value >= 0, {\n    identifier: \"RecordAttemptOrdinal\",\n    description: \"a zero-based non-negative JSON-safe attempt ordinal\",\n}));\nconst RecordAttemptRefCurrentSchema = Schema.Struct({\n    originRunId: RunIdSchema,\n    attemptId: AttemptIdSchema,\n});\nexport const RecordAttemptRefDefinition = defineRecordCore({\n    schema: RecordAttemptRefCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RecordAttemptRefSchema = RecordAttemptRefDefinition.schema;\nconst RecordSlotIdentityCurrentSchema = Schema.Struct({\n    slotId: SlotIdSchema,\n    evalId: EvalIdSchema,\n    attemptOrdinal: AttemptOrdinalSchema,\n    executionIdentityDigest: ExecutionIdentityDigestSchema,\n});\nexport const RecordSlotIdentityDefinition = defineRecordCore({\n    schema: RecordSlotIdentityCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RecordSlotIdentitySchema = RecordSlotIdentityDefinition.schema;\nconst RecordDocumentCurrentSchema = Schema.Struct({\n    format: RecordFormatSchema,\n    schemaVersion: RecordSchemaVersionSchema,\n    recordId: RecordIdSchema,\n});\n/** The current root header definition, with identity separate from numeric version. */\nexport const RecordDocumentDefinition = defineRecordCore({\n    schema: RecordDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RecordDocumentSchema = RecordDocumentDefinition.schema;\nconst RunDocumentCurrentSchema = Schema.Struct({\n    runId: RunIdSchema,\n    experimentId: ExperimentIdSchema,\n    context: RunContextSchema,\n    startedAt: UtcMillisSchema,\n    completedAt: UtcMillisSchema,\n    expectedSlots: Schema.Array(RecordSlotIdentitySchema),\n}).pipe(Schema.filter((value) => schemaFilterIssues(validateRunDocument(value)), {\n    identifier: \"RecordRunDocumentInvariant\",\n    description: \"a Run document with valid chronology, context, and expected Slots\",\n}));\n/** Current sealed `run.json`; its contextual and ordering axioms live in this Schema. */\nexport const RunDocumentDefinition = defineRecordCore({\n    schema: RunDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RunDocumentSchema = RunDocumentDefinition.schema;\nconst MemberDocumentBaseSchema = Schema.Struct({\n    slotId: SlotIdSchema,\n    action: MembershipActionSchema,\n    attempt: Schema.NullOr(RecordAttemptRefSchema),\n});\nconst MemberDocumentCurrentSchema = MemberDocumentBaseSchema.pipe(Schema.filter((value) => schemaFilterIssues(validateMemberDocument(value)), {\n    identifier: \"RecordMemberDocumentInvariant\",\n    description: \"a Member action paired with its required Attempt reference\",\n}), Schema.filter((value): value is MemberDocument => validateMemberDocument(value).length === 0, {\n    identifier: \"RecordMemberDocumentType\",\n    description: \"a Member document with an action/reference-correlated type\",\n}));\n/** Current `members/<SlotId>.json`; action/reference coupling lives in this Schema. */\nexport const MemberDocumentDefinition = defineRecordCore({\n    schema: MemberDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const MemberDocumentSchema = MemberDocumentDefinition.schema;\nconst AttemptDocumentCurrentSchema = Schema.Struct({\n    attemptId: AttemptIdSchema,\n    originRunId: RunIdSchema,\n    slotId: SlotIdSchema,\n    evalId: EvalIdSchema,\n    executionIdentityDigest: ExecutionIdentityDigestSchema,\n    outcome: AttemptOutcomeSchema,\n}).pipe(Schema.filter((value) => schemaFilterIssues(validateAttemptDocument(value)), {\n    identifier: \"RecordAttemptDocumentInvariant\",\n    description: \"an Attempt document satisfying its local invariant\",\n}));\n/** Current immutable `attempt.json`; aggregate ownership is checked by Record Core. */\nexport const AttemptDocumentDefinition = defineRecordCore({\n    schema: AttemptDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const AttemptDocumentSchema = AttemptDocumentDefinition.schema;\nconst RunCoreCurrentSchema = Schema.Struct({\n    run: RunDocumentSchema,\n    members: Schema.Array(MemberDocumentSchema),\n    attempts: Schema.Array(AttemptDocumentSchema),\n});\nexport const RunCoreDefinition = defineRecordCore({\n    schema: RunCoreCurrentSchema,\n    limits: RecordCoreAggregateLimits,\n});\nexport const RunCoreSchema = RunCoreDefinition.schema;\nconst RecordCoreCurrentSchema = Schema.Struct({\n    record: RecordDocumentSchema,\n    runs: Schema.Array(RunCoreSchema),\n}).pipe(Schema.filter((value) => schemaFilterIssues(validateRecordCore(value)), {\n    identifier: \"RecordCoreInvariant\",\n    description: \"a complete Record Core with consistent Run, Member, and Attempt documents\",\n}));\n/** Cross-document Run/Member/Attempt axioms are owned by this Schema. */\nexport const RecordCoreDefinition = defineRecordCore({\n    schema: RecordCoreCurrentSchema,\n    limits: RecordCoreAggregateLimits,\n});\nexport const RecordCoreSchema = RecordCoreDefinition.schema;\n"]}
+{"version":3,"file":"definition.js","sourceRoot":"","sources":["definition.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC,qDAAoF;AACpF,4DAA4M;AAE5M,qDAAoD;AACpD,mDAA4H;AAE5H,6EAA6E;AAChE,QAAA,wBAAwB,GAAuB,MAAM,CAAC,MAAM,CAAC;IACtE,gBAAgB,EAAE,IAAI,GAAG,IAAI;IAC7B,YAAY,EAAE,CAAC;IACf,YAAY,EAAE,IAAI;IAClB,iBAAiB,EAAE,EAAE;IACrB,iBAAiB,EAAE,GAAG;IACtB,mBAAmB,EAAE,GAAG;IACxB,sBAAsB,EAAE,CAAC,GAAG,IAAI;CACnC,CAAC,CAAC;AACH,mFAAmF;AACtE,QAAA,yBAAyB,GAAuB,MAAM,CAAC,MAAM,CAAC;IACvE,GAAG,gCAAwB;IAC3B,gBAAgB,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI;IACjC,YAAY,EAAE,KAAK;IACnB,iBAAiB,EAAE,IAAI;CAC1B,CAAC,CAAC;AACH,SAAS,kBAAkB,CAAC,MAA8B;IACtD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACtB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACrB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,IAAI;SACtB,CAAC,CAAC,CAAC;AACZ,CAAC;AACD,MAAM,oBAAoB,GAAkC,eAAM,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AAC/H,MAAM,sBAAsB,GAAoC,eAAM,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC;AACnJ,kFAAkF;AAClF,MAAM,oBAAoB,GAAG,eAAM,CAAC,UAAU,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE;IACpH,UAAU,EAAE,sBAAsB;IAClC,WAAW,EAAE,qDAAqD;CACrE,CAAC,CAAC,CAAC;AACJ,MAAM,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,4BAAW;IACxB,SAAS,EAAE,gCAAe;CAC7B,CAAC,CAAC;AACU,QAAA,0BAA0B,GAAG,IAAA,2BAAgB,EAAC;IACvD,MAAM,EAAE,6BAA6B;IACrC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,sBAAsB,GAAG,kCAA0B,CAAC,MAAM,CAAC;AACxE,MAAM,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IAClD,MAAM,EAAE,6BAAY;IACpB,MAAM,EAAE,6BAAY;IACpB,cAAc,EAAE,oBAAoB;IACpC,uBAAuB,EAAE,8CAA6B;CACzD,CAAC,CAAC;AACU,QAAA,4BAA4B,GAAG,IAAA,2BAAgB,EAAC;IACzD,MAAM,EAAE,+BAA+B;IACvC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,wBAAwB,GAAG,oCAA4B,CAAC,MAAM,CAAC;AAC5E,MAAM,2BAA2B,GAAG,eAAM,CAAC,MAAM,CAAC;IAC9C,MAAM,EAAE,mCAAkB;IAC1B,QAAQ,EAAE,+BAAc;CAC3B,CAAC,CAAC;AACH,oDAAoD;AACvC,QAAA,wBAAwB,GAAG,IAAA,2BAAgB,EAAC;IACrD,MAAM,EAAE,2BAA2B;IACnC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,oBAAoB,GAAG,gCAAwB,CAAC,MAAM,CAAC;AACpE,MAAM,wBAAwB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,4BAAW;IAClB,YAAY,EAAE,mCAAkB;IAChC,OAAO,EAAE,iCAAgB;IACzB,SAAS,EAAE,gCAAe;IAC1B,WAAW,EAAE,gCAAe;IAC5B,aAAa,EAAE,eAAM,CAAC,KAAK,CAAC,gCAAwB,CAAC;CACxD,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,mCAAmB,EAAC,KAAK,CAAC,CAAC,EAAE;IAC7E,UAAU,EAAE,4BAA4B;IACxC,WAAW,EAAE,mEAAmE;CACnF,CAAC,CAAC,CAAC;AACJ,yFAAyF;AAC5E,QAAA,qBAAqB,GAAG,IAAA,2BAAgB,EAAC;IAClD,MAAM,EAAE,wBAAwB;IAChC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,iBAAiB,GAAG,6BAAqB,CAAC,MAAM,CAAC;AAC9D,MAAM,wBAAwB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,6BAAY;IACpB,MAAM,EAAE,sBAAsB;IAC9B,OAAO,EAAE,eAAM,CAAC,MAAM,CAAC,8BAAsB,CAAC;CACjD,CAAC,CAAC;AACH,MAAM,2BAA2B,GAAG,wBAAwB,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,sCAAsB,EAAC,KAAK,CAAC,CAAC,EAAE;IAC1I,UAAU,EAAE,+BAA+B;IAC3C,WAAW,EAAE,4DAA4D;CAC5E,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAA2B,EAAE,CAAC,IAAA,sCAAsB,EAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;IAC9F,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,4DAA4D;CAC5E,CAAC,CAAC,CAAC;AACJ,uFAAuF;AAC1E,QAAA,wBAAwB,GAAG,IAAA,2BAAgB,EAAC;IACrD,MAAM,EAAE,2BAA2B;IACnC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,oBAAoB,GAAG,gCAAwB,CAAC,MAAM,CAAC;AACpE,MAAM,4BAA4B,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/C,SAAS,EAAE,gCAAe;IAC1B,WAAW,EAAE,4BAAW;IACxB,MAAM,EAAE,6BAAY;IACpB,MAAM,EAAE,6BAAY;IACpB,uBAAuB,EAAE,8CAA6B;IACtD,OAAO,EAAE,oBAAoB;CAChC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,uCAAuB,EAAC,KAAK,CAAC,CAAC,EAAE;IACjF,UAAU,EAAE,gCAAgC;IAC5C,WAAW,EAAE,oDAAoD;CACpE,CAAC,CAAC,CAAC;AACJ,uFAAuF;AAC1E,QAAA,yBAAyB,GAAG,IAAA,2BAAgB,EAAC;IACtD,MAAM,EAAE,4BAA4B;IACpC,MAAM,EAAE,gCAAwB;CACnC,CAAC,CAAC;AACU,QAAA,qBAAqB,GAAG,iCAAyB,CAAC,MAAM,CAAC;AACtE,MAAM,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC;IACvC,GAAG,EAAE,yBAAiB;IACtB,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,4BAAoB,CAAC;IAC3C,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC,6BAAqB,CAAC;CAChD,CAAC,CAAC;AACU,QAAA,iBAAiB,GAAG,IAAA,2BAAgB,EAAC;IAC9C,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,iCAAyB;CACpC,CAAC,CAAC;AACU,QAAA,aAAa,GAAG,yBAAiB,CAAC,MAAM,CAAC;AACtD,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,4BAAoB;IAC5B,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,qBAAa,CAAC;CACpC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAA,kCAAkB,EAAC,KAAK,CAAC,CAAC,EAAE;IAC5E,UAAU,EAAE,qBAAqB;IACjC,WAAW,EAAE,2EAA2E;CAC3F,CAAC,CAAC,CAAC;AACJ,yEAAyE;AAC5D,QAAA,oBAAoB,GAAG,IAAA,2BAAgB,EAAC;IACjD,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE,iCAAyB;CACpC,CAAC,CAAC;AACU,QAAA,gBAAgB,GAAG,4BAAoB,CAAC,MAAM,CAAC","sourcesContent":["import { Schema } from \"effect\";\nimport { defineRecordCore, type RecordSchemaLimits, } from \"../definition/index.ts\";\nimport { AttemptIdSchema, EvalIdSchema, ExecutionIdentityDigestSchema, ExperimentIdSchema, RecordFormatSchema, RecordIdSchema, RunIdSchema, SlotIdSchema, UtcMillisSchema, } from \"../codec/identifiers.ts\";\nimport type { AttemptOutcome, MemberDocument, MembershipAction, } from \"./core.ts\";\nimport { RunContextSchema } from \"./run-context.ts\";\nimport { validateAttemptDocument, validateMemberDocument, validateRecordCore, validateRunDocument, } from \"./validation.ts\";\nimport type { RecordIssue } from \"../errors/record-errors.ts\";\n/** Full durable-document budget; Host separately caps each read at 1 MiB. */\nexport const RecordCoreDocumentLimits: RecordSchemaLimits = Object.freeze({\n    maximumJsonBytes: 1024 * 1024,\n    maximumDepth: 8,\n    maximumNodes: 4096,\n    maximumObjectKeys: 64,\n    maximumArrayItems: 256,\n    maximumKeyUtf8Bytes: 256,\n    maximumStringUtf8Bytes: 8 * 1024,\n});\n/** The in-memory aggregate has the same hostile-JS rules but a larger run list. */\nexport const RecordCoreAggregateLimits: RecordSchemaLimits = Object.freeze({\n    ...RecordCoreDocumentLimits,\n    maximumJsonBytes: 8 * 1024 * 1024,\n    maximumNodes: 32768,\n    maximumArrayItems: 4096,\n});\nfunction schemaFilterIssues(issues: readonly RecordIssue[]): readonly Schema.FilterIssue[] | undefined {\n    return issues.length === 0\n        ? undefined\n        : issues.map((issue) => ({\n            path: issue.path,\n            message: issue.code,\n        }));\n}\nconst AttemptOutcomeSchema: Schema.Schema<AttemptOutcome> = Schema.Literal(\"completed\", \"errored\", \"cancelled\", \"interrupted\");\nconst MembershipActionSchema: Schema.Schema<MembershipAction> = Schema.Literal(\"executed\", \"carried\", \"accepted\", \"not-dispatched\", \"interrupted\");\n/** Durable Slot ordinals are zero-based JSON-safe integers, not array indexes. */\nconst AttemptOrdinalSchema = Schema.JsonNumber.pipe(Schema.filter((value) => Number.isSafeInteger(value) && value >= 0, {\n    identifier: \"RecordAttemptOrdinal\",\n    description: \"a zero-based non-negative JSON-safe attempt ordinal\",\n}));\nconst RecordAttemptRefCurrentSchema = Schema.Struct({\n    originRunId: RunIdSchema,\n    attemptId: AttemptIdSchema,\n});\nexport const RecordAttemptRefDefinition = defineRecordCore({\n    schema: RecordAttemptRefCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RecordAttemptRefSchema = RecordAttemptRefDefinition.schema;\nconst RecordSlotIdentityCurrentSchema = Schema.Struct({\n    slotId: SlotIdSchema,\n    evalId: EvalIdSchema,\n    attemptOrdinal: AttemptOrdinalSchema,\n    executionIdentityDigest: ExecutionIdentityDigestSchema,\n});\nexport const RecordSlotIdentityDefinition = defineRecordCore({\n    schema: RecordSlotIdentityCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RecordSlotIdentitySchema = RecordSlotIdentityDefinition.schema;\nconst RecordDocumentCurrentSchema = Schema.Struct({\n    format: RecordFormatSchema,\n    recordId: RecordIdSchema,\n});\n/** The exact versionless root header definition. */\nexport const RecordDocumentDefinition = defineRecordCore({\n    schema: RecordDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RecordDocumentSchema = RecordDocumentDefinition.schema;\nconst RunDocumentCurrentSchema = Schema.Struct({\n    runId: RunIdSchema,\n    experimentId: ExperimentIdSchema,\n    context: RunContextSchema,\n    startedAt: UtcMillisSchema,\n    completedAt: UtcMillisSchema,\n    expectedSlots: Schema.Array(RecordSlotIdentitySchema),\n}).pipe(Schema.filter((value) => schemaFilterIssues(validateRunDocument(value)), {\n    identifier: \"RecordRunDocumentInvariant\",\n    description: \"a Run document with valid chronology, context, and expected Slots\",\n}));\n/** Current sealed `run.json`; its contextual and ordering axioms live in this Schema. */\nexport const RunDocumentDefinition = defineRecordCore({\n    schema: RunDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const RunDocumentSchema = RunDocumentDefinition.schema;\nconst MemberDocumentBaseSchema = Schema.Struct({\n    slotId: SlotIdSchema,\n    action: MembershipActionSchema,\n    attempt: Schema.NullOr(RecordAttemptRefSchema),\n});\nconst MemberDocumentCurrentSchema = MemberDocumentBaseSchema.pipe(Schema.filter((value) => schemaFilterIssues(validateMemberDocument(value)), {\n    identifier: \"RecordMemberDocumentInvariant\",\n    description: \"a Member action paired with its required Attempt reference\",\n}), Schema.filter((value): value is MemberDocument => validateMemberDocument(value).length === 0, {\n    identifier: \"RecordMemberDocumentType\",\n    description: \"a Member document with an action/reference-correlated type\",\n}));\n/** Current `members/<SlotId>.json`; action/reference coupling lives in this Schema. */\nexport const MemberDocumentDefinition = defineRecordCore({\n    schema: MemberDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const MemberDocumentSchema = MemberDocumentDefinition.schema;\nconst AttemptDocumentCurrentSchema = Schema.Struct({\n    attemptId: AttemptIdSchema,\n    originRunId: RunIdSchema,\n    slotId: SlotIdSchema,\n    evalId: EvalIdSchema,\n    executionIdentityDigest: ExecutionIdentityDigestSchema,\n    outcome: AttemptOutcomeSchema,\n}).pipe(Schema.filter((value) => schemaFilterIssues(validateAttemptDocument(value)), {\n    identifier: \"RecordAttemptDocumentInvariant\",\n    description: \"an Attempt document satisfying its local invariant\",\n}));\n/** Current immutable `attempt.json`; aggregate ownership is checked by Record Core. */\nexport const AttemptDocumentDefinition = defineRecordCore({\n    schema: AttemptDocumentCurrentSchema,\n    limits: RecordCoreDocumentLimits,\n});\nexport const AttemptDocumentSchema = AttemptDocumentDefinition.schema;\nconst RunCoreCurrentSchema = Schema.Struct({\n    run: RunDocumentSchema,\n    members: Schema.Array(MemberDocumentSchema),\n    attempts: Schema.Array(AttemptDocumentSchema),\n});\nexport const RunCoreDefinition = defineRecordCore({\n    schema: RunCoreCurrentSchema,\n    limits: RecordCoreAggregateLimits,\n});\nexport const RunCoreSchema = RunCoreDefinition.schema;\nconst RecordCoreCurrentSchema = Schema.Struct({\n    record: RecordDocumentSchema,\n    runs: Schema.Array(RunCoreSchema),\n}).pipe(Schema.filter((value) => schemaFilterIssues(validateRecordCore(value)), {\n    identifier: \"RecordCoreInvariant\",\n    description: \"a complete Record Core with consistent Run, Member, and Attempt documents\",\n}));\n/** Cross-document Run/Member/Attempt axioms are owned by this Schema. */\nexport const RecordCoreDefinition = defineRecordCore({\n    schema: RecordCoreCurrentSchema,\n    limits: RecordCoreAggregateLimits,\n});\nexport const RecordCoreSchema = RecordCoreDefinition.schema;\n"]}

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

@@ -33,19 +33,16 @@ export declare const RecordSlotIdentitySchema: Schema.Struct<{
     attemptOrdinal: Schema.filter<typeof Schema.JsonNumber>;
     executionIdentityDigest: Schema.Schema<import("./identifiers.cjs").ExecutionIdentityDigest, string, never>;
 }>;
-/** The current root header definition, with identity separate from numeric version. */
+/** The exact versionless root header definition. */
 export declare const RecordDocumentDefinition: import("../definition/core.cjs").RecordCoreDefinition<{
-    readonly schemaVersion: 2;
     readonly format: import("./identifiers.cjs").RecordFormat;
     readonly recordId: import("./identifiers.cjs").RecordId;
 }, Schema.Struct<{
     format: Schema.Schema<import("./identifiers.cjs").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("./identifiers.cjs").RecordId, string, never>;
 }>>;
 export declare const RecordDocumentSchema: Schema.Struct<{
     format: Schema.Schema<import("./identifiers.cjs").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("./identifiers.cjs").RecordId, string, never>;
 }>;
 /** Current sealed `run.json`; its contextual and ordering axioms live in this Schema. */
@@ -310,7 +307,6 @@ export declare const RunCoreSchema: Schema.Struct<{
 /** Cross-document Run/Member/Attempt axioms are owned by this Schema. */
 export declare const RecordCoreDefinition: import("../definition/core.cjs").RecordCoreDefinition<{
     readonly record: {
-        readonly schemaVersion: 2;
         readonly format: import("./identifiers.cjs").RecordFormat;
         readonly recordId: import("./identifiers.cjs").RecordId;
     };
@@ -352,7 +348,6 @@ export declare const RecordCoreDefinition: import("../definition/core.cjs").Reco
 }, Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("./identifiers.cjs").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("./identifiers.cjs").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{
@@ -408,7 +403,6 @@ export declare const RecordCoreDefinition: import("../definition/core.cjs").Reco
 export declare const RecordCoreSchema: Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("./identifiers.cjs").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("./identifiers.cjs").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{

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

@@ -33,19 +33,16 @@ export declare const RecordSlotIdentitySchema: Schema.Struct<{
     attemptOrdinal: Schema.filter<typeof Schema.JsonNumber>;
     executionIdentityDigest: Schema.Schema<import("./identifiers.mjs").ExecutionIdentityDigest, string, never>;
 }>;
-/** The current root header definition, with identity separate from numeric version. */
+/** The exact versionless root header definition. */
 export declare const RecordDocumentDefinition: import("../definition/core.mjs").RecordCoreDefinition<{
-    readonly schemaVersion: 2;
     readonly format: import("./identifiers.mjs").RecordFormat;
     readonly recordId: import("./identifiers.mjs").RecordId;
 }, Schema.Struct<{
     format: Schema.Schema<import("./identifiers.mjs").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("./identifiers.mjs").RecordId, string, never>;
 }>>;
 export declare const RecordDocumentSchema: Schema.Struct<{
     format: Schema.Schema<import("./identifiers.mjs").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("./identifiers.mjs").RecordId, string, never>;
 }>;
 /** Current sealed `run.json`; its contextual and ordering axioms live in this Schema. */
@@ -310,7 +307,6 @@ export declare const RunCoreSchema: Schema.Struct<{
 /** Cross-document Run/Member/Attempt axioms are owned by this Schema. */
 export declare const RecordCoreDefinition: import("../definition/core.mjs").RecordCoreDefinition<{
     readonly record: {
-        readonly schemaVersion: 2;
         readonly format: import("./identifiers.mjs").RecordFormat;
         readonly recordId: import("./identifiers.mjs").RecordId;
     };
@@ -352,7 +348,6 @@ export declare const RecordCoreDefinition: import("../definition/core.mjs").Reco
 }, Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("./identifiers.mjs").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("./identifiers.mjs").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{
@@ -408,7 +403,6 @@ export declare const RecordCoreDefinition: import("../definition/core.mjs").Reco
 export declare const RecordCoreSchema: Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("./identifiers.mjs").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("./identifiers.mjs").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{

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

@@ -33,19 +33,16 @@ export declare const RecordSlotIdentitySchema: Schema.Struct<{
     attemptOrdinal: Schema.filter<typeof Schema.JsonNumber>;
     executionIdentityDigest: Schema.Schema<import("./identifiers.js").ExecutionIdentityDigest, string, never>;
 }>;
-/** The current root header definition, with identity separate from numeric version. */
+/** The exact versionless root header definition. */
 export declare const RecordDocumentDefinition: import("../definition/core.js").RecordCoreDefinition<{
-    readonly schemaVersion: 2;
     readonly format: import("./identifiers.js").RecordFormat;
     readonly recordId: import("./identifiers.js").RecordId;
 }, Schema.Struct<{
     format: Schema.Schema<import("./identifiers.js").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("./identifiers.js").RecordId, string, never>;
 }>>;
 export declare const RecordDocumentSchema: Schema.Struct<{
     format: Schema.Schema<import("./identifiers.js").RecordFormat, "niceeval.record", never>;
-    schemaVersion: Schema.Schema<2, 2, never>;
     recordId: Schema.Schema<import("./identifiers.js").RecordId, string, never>;
 }>;
 /** Current sealed `run.json`; its contextual and ordering axioms live in this Schema. */
@@ -310,7 +307,6 @@ export declare const RunCoreSchema: Schema.Struct<{
 /** Cross-document Run/Member/Attempt axioms are owned by this Schema. */
 export declare const RecordCoreDefinition: import("../definition/core.js").RecordCoreDefinition<{
     readonly record: {
-        readonly schemaVersion: 2;
         readonly format: import("./identifiers.js").RecordFormat;
         readonly recordId: import("./identifiers.js").RecordId;
     };
@@ -352,7 +348,6 @@ export declare const RecordCoreDefinition: import("../definition/core.js").Recor
 }, Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("./identifiers.js").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("./identifiers.js").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{
@@ -408,7 +403,6 @@ export declare const RecordCoreDefinition: import("../definition/core.js").Recor
 export declare const RecordCoreSchema: Schema.filter<Schema.Struct<{
     record: Schema.Struct<{
         format: Schema.Schema<import("./identifiers.js").RecordFormat, "niceeval.record", never>;
-        schemaVersion: Schema.Schema<2, 2, never>;
         recordId: Schema.Schema<import("./identifiers.js").RecordId, string, never>;
     }>;
     runs: Schema.Array$<Schema.Struct<{

package/dist/record/model/identifiers.cjs

@@ -1,6 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.RECORD_SCHEMA_VERSION = exports.RECORD_FORMAT = exports.CANONICAL_PROJECT_RELATIVE_PATH_BRAND = exports.ARTIFACT_ID_BRAND = exports.FILE_CHANGE_ID_BRAND = exports.SOURCE_ITEM_ID_BRAND = exports.SHA256_DIGEST_BRAND = exports.EXECUTION_IDENTITY_DIGEST_BRAND = exports.EVAL_ID_BRAND = exports.EXPERIMENT_ID_BRAND = exports.RECORD_FORMAT_ID_BRAND = exports.RECORD_ATTACHMENT_SCHEMA_ID_BRAND = exports.RECORD_ATTACHMENT_NAME_BRAND = exports.UTC_MILLIS_BRAND = exports.ATTEMPT_ID_BRAND = exports.SLOT_ID_BRAND = exports.RUN_ID_BRAND = exports.RECORD_ID_BRAND = void 0;
+exports.RECORD_FORMAT = exports.CANONICAL_PROJECT_RELATIVE_PATH_BRAND = exports.ARTIFACT_ID_BRAND = exports.FILE_CHANGE_ID_BRAND = exports.SOURCE_ITEM_ID_BRAND = exports.SHA256_DIGEST_BRAND = exports.EXECUTION_IDENTITY_DIGEST_BRAND = exports.EVAL_ID_BRAND = exports.EXPERIMENT_ID_BRAND = exports.RECORD_FORMAT_ID_BRAND = exports.RECORD_ATTACHMENT_SCHEMA_ID_BRAND = exports.RECORD_ATTACHMENT_NAME_BRAND = exports.UTC_MILLIS_BRAND = exports.ATTEMPT_ID_BRAND = exports.SLOT_ID_BRAND = exports.RUN_ID_BRAND = exports.RECORD_ID_BRAND = void 0;
 exports.isPortableSegment = isPortableSegment;
 exports.compareCanonicalIdentity = compareCanonicalIdentity;
 exports.isUtcMillis = isUtcMillis;
@@ -34,9 +34,8 @@ exports.SOURCE_ITEM_ID_BRAND = "@niceeval/record/SourceItemId";
 exports.FILE_CHANGE_ID_BRAND = "@niceeval/record/FileChangeId";
 exports.ARTIFACT_ID_BRAND = "@niceeval/record/ArtifactId";
 exports.CANONICAL_PROJECT_RELATIVE_PATH_BRAND = "@niceeval/record/CanonicalProjectRelativePath";
-/** Stable root identity; evolution is carried by the separate numeric header. */
+/** Fixed root identity; an incompatible root format must use a different identity. */
 exports.RECORD_FORMAT = "niceeval.record";
-exports.RECORD_SCHEMA_VERSION = 2;
 const PORTABLE_SEGMENT_PATTERN = /^[A-Za-z0-9](?:[A-Za-z0-9._-]{0,253}[A-Za-z0-9])?$/;
 const WINDOWS_RESERVED_SEGMENT_PATTERN = /^(?:con|prn|aux|nul|com[1-9]|lpt[1-9])(?:\..*)?$/i;
 const RECORD_ATTACHMENT_LABEL = "[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?";

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

@@ -1 +1 @@
-{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["identifiers.ts"],"names":[],"mappings":";;;AA4DA,8CAGC;AAED,4DAKC;AAED,kCAEC;AAMD,wDAIC;AACD,wCAEC;AAED,wEAQC;AAED,wDAIC;AAUD,sEAIC;AACD,gEAGC;AACD,gFAEC;AACD,4CAEC;AACD,wCAEC;AACD,wEAEC;AApID;;;GAGG;AACU,QAAA,eAAe,GAAG,2BAAoC,CAAC;AACvD,QAAA,YAAY,GAAG,wBAAiC,CAAC;AACjD,QAAA,aAAa,GAAG,yBAAkC,CAAC;AACnD,QAAA,gBAAgB,GAAG,4BAAqC,CAAC;AACzD,QAAA,gBAAgB,GAAG,4BAAqC,CAAC;AACzD,QAAA,4BAA4B,GAAG,uCAAgD,CAAC;AAChF,QAAA,iCAAiC,GAAG,2CAAoD,CAAC;AACzF,QAAA,sBAAsB,GAAG,iCAA0C,CAAC;AACpE,QAAA,mBAAmB,GAAG,+BAAwC,CAAC;AAC/D,QAAA,aAAa,GAAG,yBAAkC,CAAC;AACnD,QAAA,+BAA+B,GAAG,0CAAmD,CAAC;AACtF,QAAA,mBAAmB,GAAG,+BAAwC,CAAC;AAC/D,QAAA,oBAAoB,GAAG,+BAAwC,CAAC;AAChE,QAAA,oBAAoB,GAAG,+BAAwC,CAAC;AAChE,QAAA,iBAAiB,GAAG,6BAAsC,CAAC;AAC3D,QAAA,qCAAqC,GAAG,+CAAwD,CAAC;AAyB9G,iFAAiF;AACpE,QAAA,aAAa,GAAG,iBAA0B,CAAC;AAC3C,QAAA,qBAAqB,GAAG,CAAU,CAAC;AAGhD,MAAM,wBAAwB,GAAG,oDAAoD,CAAC;AACtF,MAAM,gCAAgC,GAAG,mDAAmD,CAAC;AAC7F,MAAM,uBAAuB,GAAG,sCAAsC,CAAC;AACvE,MAAM,8BAA8B,GAAG,IAAI,MAAM,CAAC,OAAO,uBAAuB,QAAQ,uBAAuB,GAAG,CAAC,CAAC;AACpH,MAAM,wBAAwB,GAAG,oBAAoB,CAAC;AACtD,MAAM,qBAAqB,GAAG,gBAAgB,CAAC;AAC/C;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,KAAa;IAC3C,OAAO,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;QACxC,CAAC,gCAAgC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC;AACD,mFAAmF;AACnF,SAAgB,wBAAwB,CAAC,IAAY,EAAE,KAAa;IAChE,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,CAAC;IACb,CAAC;IACD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AACD,iFAAiF;AACjF,SAAgB,WAAW,CAAC,KAAa;IACrC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACrD,CAAC;AACD;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,KAAa;IAChD,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACpB,KAAK,CAAC,MAAM,IAAI,IAAI;QACpB,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC;AACD,SAAgB,cAAc,CAAC,KAAa;IACxC,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC;AACD,4EAA4E;AAC5E,SAAgB,8BAA8B,CAAC,KAAa;IACxD,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACpB,KAAK,CAAC,MAAM,IAAI,IAAI;QACpB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACtB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACvB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrB,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC;AACxG,CAAC;AACD,iFAAiF;AACjF,SAAgB,sBAAsB,CAAC,KAAa;IAChD,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG;QACvB,iBAAiB,CAAC,KAAK,CAAC;QACxB,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAKD;;;;GAIG;AACH,SAAgB,6BAA6B,CAAC,KAAa;IACvD,OAAO,sBAAsB,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE;QAC/B,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAgB,0BAA0B,CAAC,KAAa;IACpD,MAAM,KAAK,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,KAAK,KAAK,SAAS,IAAI,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AACD,SAAgB,kCAAkC,CAAC,QAAgB;IAC/D,OAAO,6BAA6B,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;AACzD,CAAC;AACD,SAAgB,gBAAgB,CAAC,KAAa;IAC1C,OAAO,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AACD,SAAgB,cAAc,CAAC,KAAa;IACxC,OAAO,KAAK,KAAK,qBAAa,CAAC;AACnC,CAAC;AACD,SAAgB,8BAA8B,CAAC,IAA0B;IACrE,OAAO,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACxC,CAAC","sourcesContent":["import type { Brand } from \"effect\";\n/**\n * Brand identifiers are deliberately package-local names. Their runtime values\n * remain portable strings; construction belongs to the exact codecs.\n */\nexport const RECORD_ID_BRAND = \"@niceeval/record/RecordId\" as const;\nexport const RUN_ID_BRAND = \"@niceeval/record/RunId\" as const;\nexport const SLOT_ID_BRAND = \"@niceeval/record/SlotId\" as const;\nexport const ATTEMPT_ID_BRAND = \"@niceeval/record/AttemptId\" as const;\nexport const UTC_MILLIS_BRAND = \"@niceeval/record/UtcMillis\" as const;\nexport const RECORD_ATTACHMENT_NAME_BRAND = \"@niceeval/record/RecordAttachmentName\" as const;\nexport const RECORD_ATTACHMENT_SCHEMA_ID_BRAND = \"@niceeval/record/RecordAttachmentSchemaId\" as const;\nexport const RECORD_FORMAT_ID_BRAND = \"@niceeval/record/RecordFormatId\" as const;\nexport const EXPERIMENT_ID_BRAND = \"@niceeval/record/ExperimentId\" as const;\nexport const EVAL_ID_BRAND = \"@niceeval/record/EvalId\" as const;\nexport const EXECUTION_IDENTITY_DIGEST_BRAND = \"@niceeval/record/ExecutionIdentityDigest\" as const;\nexport const SHA256_DIGEST_BRAND = \"@niceeval/record/Sha256Digest\" as const;\nexport const SOURCE_ITEM_ID_BRAND = \"@niceeval/record/SourceItemId\" as const;\nexport const FILE_CHANGE_ID_BRAND = \"@niceeval/record/FileChangeId\" as const;\nexport const ARTIFACT_ID_BRAND = \"@niceeval/record/ArtifactId\" as const;\nexport const CANONICAL_PROJECT_RELATIVE_PATH_BRAND = \"@niceeval/record/CanonicalProjectRelativePath\" as const;\nexport type RecordId = string & Brand.Brand<typeof RECORD_ID_BRAND>;\nexport type RunId = string & Brand.Brand<typeof RUN_ID_BRAND>;\nexport type SlotId = string & Brand.Brand<typeof SLOT_ID_BRAND>;\nexport type AttemptId = string & Brand.Brand<typeof ATTEMPT_ID_BRAND>;\nexport type UtcMillis = number & Brand.Brand<typeof UTC_MILLIS_BRAND>;\nexport type RecordAttachmentName = string & Brand.Brand<typeof RECORD_ATTACHMENT_NAME_BRAND>;\nexport type RecordAttachmentSchemaId = string & Brand.Brand<typeof RECORD_ATTACHMENT_SCHEMA_ID_BRAND>;\nexport type RecordFormatId = string & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;\n/** A durable Experiment identity. It is not a host path or a display label. */\nexport type ExperimentId = string & Brand.Brand<typeof EXPERIMENT_ID_BRAND>;\n/** A durable Eval identity. It is not reconstructed from the current worktree. */\nexport type EvalId = string & Brand.Brand<typeof EVAL_ID_BRAND>;\n/** SHA-256 identity of the exact execution inputs/configuration for a Slot. */\nexport type ExecutionIdentityDigest = string & Brand.Brand<typeof EXECUTION_IDENTITY_DIGEST_BRAND>;\n/** A lowercase hexadecimal SHA-256 digest for recorded bytes. */\nexport type Sha256Digest = string & Brand.Brand<typeof SHA256_DIGEST_BRAND>;\n/** An opaque identity inside one origin Run's Sources manifest. */\nexport type SourceItemId = string & Brand.Brand<typeof SOURCE_ITEM_ID_BRAND>;\n/** An opaque identity inside one FileChanges payload. */\nexport type FileChangeId = string & Brand.Brand<typeof FILE_CHANGE_ID_BRAND>;\n/** An opaque identity inside one Artifacts payload. */\nexport type ArtifactId = string & Brand.Brand<typeof ARTIFACT_ID_BRAND>;\n/** Slash-separated path relative to the recorded project root. */\nexport type CanonicalProjectRelativePath = string & Brand.Brand<typeof CANONICAL_PROJECT_RELATIVE_PATH_BRAND>;\n/** Stable root identity; evolution is carried by the separate numeric header. */\nexport const RECORD_FORMAT = \"niceeval.record\" as const;\nexport const RECORD_SCHEMA_VERSION = 2 as const;\nexport type RecordFormat = typeof RECORD_FORMAT & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;\nexport type RecordSchemaVersion = typeof RECORD_SCHEMA_VERSION;\nconst PORTABLE_SEGMENT_PATTERN = /^[A-Za-z0-9](?:[A-Za-z0-9._-]{0,253}[A-Za-z0-9])?$/;\nconst WINDOWS_RESERVED_SEGMENT_PATTERN = /^(?:con|prn|aux|nul|com[1-9]|lpt[1-9])(?:\\..*)?$/i;\nconst RECORD_ATTACHMENT_LABEL = \"[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?\";\nconst RECORD_ATTACHMENT_NAME_PATTERN = new RegExp(`^(?:${RECORD_ATTACHMENT_LABEL}\\\\.)+${RECORD_ATTACHMENT_LABEL}$`);\nconst RECORD_FORMAT_ID_PATTERN = /^niceeval\\.record$/;\nconst SHA256_DIGEST_PATTERN = /^[a-f0-9]{64}$/;\n/**\n * A file-name segment that is safe to copy between the supported Record roots.\n * It is ASCII-only, has no platform separator, and excludes DOS device names.\n */\nexport function isPortableSegment(value: string): boolean {\n    return (PORTABLE_SEGMENT_PATTERN.test(value) &&\n        !WINDOWS_RESERVED_SEGMENT_PATTERN.test(value));\n}\n/** Canonical identity ordering is ASCII code-unit ordering, never locale order. */\nexport function compareCanonicalIdentity(left: string, right: string): number {\n    if (left === right) {\n        return 0;\n    }\n    return left < right ? -1 : 1;\n}\n/** Unix-epoch milliseconds that can round-trip through a JSON number exactly. */\nexport function isUtcMillis(value: number): boolean {\n    return Number.isSafeInteger(value) && value >= 0;\n}\n/**\n * Domain identity is deliberately broader than a directory segment: Eval and\n * Experiment identities may be path-derived, but portable Core never accepts\n * controls, NUL, or an unbounded display value.\n */\nexport function isRecordDomainIdentity(value: string): boolean {\n    return (value.length > 0 &&\n        value.length <= 1024 &&\n        !/[\\u0000-\\u001f\\u007f]/.test(value));\n}\nexport function isSha256Digest(value: string): boolean {\n    return SHA256_DIGEST_PATTERN.test(value);\n}\n/** A project-relative portable path; it is never a host filesystem path. */\nexport function isCanonicalProjectRelativePath(value: string): boolean {\n    return (value.length > 0 &&\n        value.length <= 4096 &&\n        !value.startsWith(\"/\") &&\n        !value.startsWith(\"\\\\\") &&\n        !value.includes(\"\\\\\") &&\n        !/[\\u0000-\\u001f\\u007f]/.test(value) &&\n        value.split(\"/\").every((segment) => segment.length > 0 && segment !== \".\" && segment !== \"..\"));\n}\n/** A RecordAttachment directory name is a lowercase reverse-domain namespace. */\nexport function isRecordAttachmentName(value: string): boolean {\n    return (value.length <= 255 &&\n        isPortableSegment(value) &&\n        RECORD_ATTACHMENT_NAME_PATTERN.test(value));\n}\nexport interface RecordAttachmentSchemaIdParts {\n    readonly name: string;\n    readonly version: string;\n}\n/**\n * Legacy internal callers still use this structural helper while the fixed\n * catalog is being materialized. The durable identity is now the stable\n * family name; its numeric version is carried separately in the envelope.\n */\nexport function parseRecordAttachmentSchemaId(value: string): RecordAttachmentSchemaIdParts | undefined {\n    return isRecordAttachmentName(value)\n        ? { name: value, version: \"1\" }\n        : undefined;\n}\nexport function isRecordAttachmentSchemaId(value: string): boolean {\n    const parts = parseRecordAttachmentSchemaId(value);\n    return parts !== undefined && isRecordAttachmentName(parts.name);\n}\nexport function recordAttachmentNameTextOfSchemaId(schemaId: string): string | undefined {\n    return parseRecordAttachmentSchemaId(schemaId)?.name;\n}\nexport function isRecordFormatId(value: string): boolean {\n    return RECORD_FORMAT_ID_PATTERN.test(value);\n}\nexport function isRecordFormat(value: string): value is typeof RECORD_FORMAT {\n    return value === RECORD_FORMAT;\n}\nexport function isNiceEvalRecordAttachmentName(name: RecordAttachmentName): boolean {\n    return name.startsWith(\"niceeval.\");\n}\n"]}
+{"version":3,"file":"identifiers.js","sourceRoot":"","sources":["identifiers.ts"],"names":[],"mappings":";;;AA0DA,8CAGC;AAED,4DAKC;AAED,kCAEC;AAMD,wDAIC;AACD,wCAEC;AAED,wEAQC;AAED,wDAIC;AAUD,sEAIC;AACD,gEAGC;AACD,gFAEC;AACD,4CAEC;AACD,wCAEC;AACD,wEAEC;AAlID;;;GAGG;AACU,QAAA,eAAe,GAAG,2BAAoC,CAAC;AACvD,QAAA,YAAY,GAAG,wBAAiC,CAAC;AACjD,QAAA,aAAa,GAAG,yBAAkC,CAAC;AACnD,QAAA,gBAAgB,GAAG,4BAAqC,CAAC;AACzD,QAAA,gBAAgB,GAAG,4BAAqC,CAAC;AACzD,QAAA,4BAA4B,GAAG,uCAAgD,CAAC;AAChF,QAAA,iCAAiC,GAAG,2CAAoD,CAAC;AACzF,QAAA,sBAAsB,GAAG,iCAA0C,CAAC;AACpE,QAAA,mBAAmB,GAAG,+BAAwC,CAAC;AAC/D,QAAA,aAAa,GAAG,yBAAkC,CAAC;AACnD,QAAA,+BAA+B,GAAG,0CAAmD,CAAC;AACtF,QAAA,mBAAmB,GAAG,+BAAwC,CAAC;AAC/D,QAAA,oBAAoB,GAAG,+BAAwC,CAAC;AAChE,QAAA,oBAAoB,GAAG,+BAAwC,CAAC;AAChE,QAAA,iBAAiB,GAAG,6BAAsC,CAAC;AAC3D,QAAA,qCAAqC,GAAG,+CAAwD,CAAC;AAyB9G,sFAAsF;AACzE,QAAA,aAAa,GAAG,iBAA0B,CAAC;AAExD,MAAM,wBAAwB,GAAG,oDAAoD,CAAC;AACtF,MAAM,gCAAgC,GAAG,mDAAmD,CAAC;AAC7F,MAAM,uBAAuB,GAAG,sCAAsC,CAAC;AACvE,MAAM,8BAA8B,GAAG,IAAI,MAAM,CAAC,OAAO,uBAAuB,QAAQ,uBAAuB,GAAG,CAAC,CAAC;AACpH,MAAM,wBAAwB,GAAG,oBAAoB,CAAC;AACtD,MAAM,qBAAqB,GAAG,gBAAgB,CAAC;AAC/C;;;GAGG;AACH,SAAgB,iBAAiB,CAAC,KAAa;IAC3C,OAAO,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;QACxC,CAAC,gCAAgC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACvD,CAAC;AACD,mFAAmF;AACnF,SAAgB,wBAAwB,CAAC,IAAY,EAAE,KAAa;IAChE,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,CAAC;IACb,CAAC;IACD,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjC,CAAC;AACD,iFAAiF;AACjF,SAAgB,WAAW,CAAC,KAAa;IACrC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACrD,CAAC;AACD;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,KAAa;IAChD,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACpB,KAAK,CAAC,MAAM,IAAI,IAAI;QACpB,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC;AACD,SAAgB,cAAc,CAAC,KAAa;IACxC,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC;AACD,4EAA4E;AAC5E,SAAgB,8BAA8B,CAAC,KAAa;IACxD,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QACpB,KAAK,CAAC,MAAM,IAAI,IAAI;QACpB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACtB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACvB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrB,CAAC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC;QACpC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC;AACxG,CAAC;AACD,iFAAiF;AACjF,SAAgB,sBAAsB,CAAC,KAAa;IAChD,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG;QACvB,iBAAiB,CAAC,KAAK,CAAC;QACxB,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAKD;;;;GAIG;AACH,SAAgB,6BAA6B,CAAC,KAAa;IACvD,OAAO,sBAAsB,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE;QAC/B,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAgB,0BAA0B,CAAC,KAAa;IACpD,MAAM,KAAK,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,KAAK,KAAK,SAAS,IAAI,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AACD,SAAgB,kCAAkC,CAAC,QAAgB;IAC/D,OAAO,6BAA6B,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;AACzD,CAAC;AACD,SAAgB,gBAAgB,CAAC,KAAa;IAC1C,OAAO,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC;AACD,SAAgB,cAAc,CAAC,KAAa;IACxC,OAAO,KAAK,KAAK,qBAAa,CAAC;AACnC,CAAC;AACD,SAAgB,8BAA8B,CAAC,IAA0B;IACrE,OAAO,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AACxC,CAAC","sourcesContent":["import type { Brand } from \"effect\";\n/**\n * Brand identifiers are deliberately package-local names. Their runtime values\n * remain portable strings; construction belongs to the exact codecs.\n */\nexport const RECORD_ID_BRAND = \"@niceeval/record/RecordId\" as const;\nexport const RUN_ID_BRAND = \"@niceeval/record/RunId\" as const;\nexport const SLOT_ID_BRAND = \"@niceeval/record/SlotId\" as const;\nexport const ATTEMPT_ID_BRAND = \"@niceeval/record/AttemptId\" as const;\nexport const UTC_MILLIS_BRAND = \"@niceeval/record/UtcMillis\" as const;\nexport const RECORD_ATTACHMENT_NAME_BRAND = \"@niceeval/record/RecordAttachmentName\" as const;\nexport const RECORD_ATTACHMENT_SCHEMA_ID_BRAND = \"@niceeval/record/RecordAttachmentSchemaId\" as const;\nexport const RECORD_FORMAT_ID_BRAND = \"@niceeval/record/RecordFormatId\" as const;\nexport const EXPERIMENT_ID_BRAND = \"@niceeval/record/ExperimentId\" as const;\nexport const EVAL_ID_BRAND = \"@niceeval/record/EvalId\" as const;\nexport const EXECUTION_IDENTITY_DIGEST_BRAND = \"@niceeval/record/ExecutionIdentityDigest\" as const;\nexport const SHA256_DIGEST_BRAND = \"@niceeval/record/Sha256Digest\" as const;\nexport const SOURCE_ITEM_ID_BRAND = \"@niceeval/record/SourceItemId\" as const;\nexport const FILE_CHANGE_ID_BRAND = \"@niceeval/record/FileChangeId\" as const;\nexport const ARTIFACT_ID_BRAND = \"@niceeval/record/ArtifactId\" as const;\nexport const CANONICAL_PROJECT_RELATIVE_PATH_BRAND = \"@niceeval/record/CanonicalProjectRelativePath\" as const;\nexport type RecordId = string & Brand.Brand<typeof RECORD_ID_BRAND>;\nexport type RunId = string & Brand.Brand<typeof RUN_ID_BRAND>;\nexport type SlotId = string & Brand.Brand<typeof SLOT_ID_BRAND>;\nexport type AttemptId = string & Brand.Brand<typeof ATTEMPT_ID_BRAND>;\nexport type UtcMillis = number & Brand.Brand<typeof UTC_MILLIS_BRAND>;\nexport type RecordAttachmentName = string & Brand.Brand<typeof RECORD_ATTACHMENT_NAME_BRAND>;\nexport type RecordAttachmentSchemaId = string & Brand.Brand<typeof RECORD_ATTACHMENT_SCHEMA_ID_BRAND>;\nexport type RecordFormatId = string & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;\n/** A durable Experiment identity. It is not a host path or a display label. */\nexport type ExperimentId = string & Brand.Brand<typeof EXPERIMENT_ID_BRAND>;\n/** A durable Eval identity. It is not reconstructed from the current worktree. */\nexport type EvalId = string & Brand.Brand<typeof EVAL_ID_BRAND>;\n/** SHA-256 identity of the exact execution inputs/configuration for a Slot. */\nexport type ExecutionIdentityDigest = string & Brand.Brand<typeof EXECUTION_IDENTITY_DIGEST_BRAND>;\n/** A lowercase hexadecimal SHA-256 digest for recorded bytes. */\nexport type Sha256Digest = string & Brand.Brand<typeof SHA256_DIGEST_BRAND>;\n/** An opaque identity inside one origin Run's Sources manifest. */\nexport type SourceItemId = string & Brand.Brand<typeof SOURCE_ITEM_ID_BRAND>;\n/** An opaque identity inside one FileChanges payload. */\nexport type FileChangeId = string & Brand.Brand<typeof FILE_CHANGE_ID_BRAND>;\n/** An opaque identity inside one Artifacts payload. */\nexport type ArtifactId = string & Brand.Brand<typeof ARTIFACT_ID_BRAND>;\n/** Slash-separated path relative to the recorded project root. */\nexport type CanonicalProjectRelativePath = string & Brand.Brand<typeof CANONICAL_PROJECT_RELATIVE_PATH_BRAND>;\n/** Fixed root identity; an incompatible root format must use a different identity. */\nexport const RECORD_FORMAT = \"niceeval.record\" as const;\nexport type RecordFormat = typeof RECORD_FORMAT & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;\nconst PORTABLE_SEGMENT_PATTERN = /^[A-Za-z0-9](?:[A-Za-z0-9._-]{0,253}[A-Za-z0-9])?$/;\nconst WINDOWS_RESERVED_SEGMENT_PATTERN = /^(?:con|prn|aux|nul|com[1-9]|lpt[1-9])(?:\\..*)?$/i;\nconst RECORD_ATTACHMENT_LABEL = \"[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?\";\nconst RECORD_ATTACHMENT_NAME_PATTERN = new RegExp(`^(?:${RECORD_ATTACHMENT_LABEL}\\\\.)+${RECORD_ATTACHMENT_LABEL}$`);\nconst RECORD_FORMAT_ID_PATTERN = /^niceeval\\.record$/;\nconst SHA256_DIGEST_PATTERN = /^[a-f0-9]{64}$/;\n/**\n * A file-name segment that is safe to copy between the supported Record roots.\n * It is ASCII-only, has no platform separator, and excludes DOS device names.\n */\nexport function isPortableSegment(value: string): boolean {\n    return (PORTABLE_SEGMENT_PATTERN.test(value) &&\n        !WINDOWS_RESERVED_SEGMENT_PATTERN.test(value));\n}\n/** Canonical identity ordering is ASCII code-unit ordering, never locale order. */\nexport function compareCanonicalIdentity(left: string, right: string): number {\n    if (left === right) {\n        return 0;\n    }\n    return left < right ? -1 : 1;\n}\n/** Unix-epoch milliseconds that can round-trip through a JSON number exactly. */\nexport function isUtcMillis(value: number): boolean {\n    return Number.isSafeInteger(value) && value >= 0;\n}\n/**\n * Domain identity is deliberately broader than a directory segment: Eval and\n * Experiment identities may be path-derived, but portable Core never accepts\n * controls, NUL, or an unbounded display value.\n */\nexport function isRecordDomainIdentity(value: string): boolean {\n    return (value.length > 0 &&\n        value.length <= 1024 &&\n        !/[\\u0000-\\u001f\\u007f]/.test(value));\n}\nexport function isSha256Digest(value: string): boolean {\n    return SHA256_DIGEST_PATTERN.test(value);\n}\n/** A project-relative portable path; it is never a host filesystem path. */\nexport function isCanonicalProjectRelativePath(value: string): boolean {\n    return (value.length > 0 &&\n        value.length <= 4096 &&\n        !value.startsWith(\"/\") &&\n        !value.startsWith(\"\\\\\") &&\n        !value.includes(\"\\\\\") &&\n        !/[\\u0000-\\u001f\\u007f]/.test(value) &&\n        value.split(\"/\").every((segment) => segment.length > 0 && segment !== \".\" && segment !== \"..\"));\n}\n/** A RecordAttachment directory name is a lowercase reverse-domain namespace. */\nexport function isRecordAttachmentName(value: string): boolean {\n    return (value.length <= 255 &&\n        isPortableSegment(value) &&\n        RECORD_ATTACHMENT_NAME_PATTERN.test(value));\n}\nexport interface RecordAttachmentSchemaIdParts {\n    readonly name: string;\n    readonly version: string;\n}\n/**\n * Legacy internal callers still use this structural helper while the fixed\n * catalog is being materialized. The durable identity is now the stable\n * family name; its numeric version is carried separately in the envelope.\n */\nexport function parseRecordAttachmentSchemaId(value: string): RecordAttachmentSchemaIdParts | undefined {\n    return isRecordAttachmentName(value)\n        ? { name: value, version: \"1\" }\n        : undefined;\n}\nexport function isRecordAttachmentSchemaId(value: string): boolean {\n    const parts = parseRecordAttachmentSchemaId(value);\n    return parts !== undefined && isRecordAttachmentName(parts.name);\n}\nexport function recordAttachmentNameTextOfSchemaId(schemaId: string): string | undefined {\n    return parseRecordAttachmentSchemaId(schemaId)?.name;\n}\nexport function isRecordFormatId(value: string): boolean {\n    return RECORD_FORMAT_ID_PATTERN.test(value);\n}\nexport function isRecordFormat(value: string): value is typeof RECORD_FORMAT {\n    return value === RECORD_FORMAT;\n}\nexport function isNiceEvalRecordAttachmentName(name: RecordAttachmentName): boolean {\n    return name.startsWith(\"niceeval.\");\n}\n"]}

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

@@ -43,11 +43,9 @@ export type FileChangeId = string & Brand.Brand<typeof FILE_CHANGE_ID_BRAND>;
 export type ArtifactId = string & Brand.Brand<typeof ARTIFACT_ID_BRAND>;
 /** Slash-separated path relative to the recorded project root. */
 export type CanonicalProjectRelativePath = string & Brand.Brand<typeof CANONICAL_PROJECT_RELATIVE_PATH_BRAND>;
-/** Stable root identity; evolution is carried by the separate numeric header. */
+/** Fixed root identity; an incompatible root format must use a different identity. */
 export declare const RECORD_FORMAT: "niceeval.record";
-export declare const RECORD_SCHEMA_VERSION: 2;
 export type RecordFormat = typeof RECORD_FORMAT & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;
-export type RecordSchemaVersion = typeof RECORD_SCHEMA_VERSION;
 /**
  * A file-name segment that is safe to copy between the supported Record roots.
  * It is ASCII-only, has no platform separator, and excludes DOS device names.

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

@@ -43,11 +43,9 @@ export type FileChangeId = string & Brand.Brand<typeof FILE_CHANGE_ID_BRAND>;
 export type ArtifactId = string & Brand.Brand<typeof ARTIFACT_ID_BRAND>;
 /** Slash-separated path relative to the recorded project root. */
 export type CanonicalProjectRelativePath = string & Brand.Brand<typeof CANONICAL_PROJECT_RELATIVE_PATH_BRAND>;
-/** Stable root identity; evolution is carried by the separate numeric header. */
+/** Fixed root identity; an incompatible root format must use a different identity. */
 export declare const RECORD_FORMAT: "niceeval.record";
-export declare const RECORD_SCHEMA_VERSION: 2;
 export type RecordFormat = typeof RECORD_FORMAT & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;
-export type RecordSchemaVersion = typeof RECORD_SCHEMA_VERSION;
 /**
  * A file-name segment that is safe to copy between the supported Record roots.
  * It is ASCII-only, has no platform separator, and excludes DOS device names.

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

@@ -43,11 +43,9 @@ export type FileChangeId = string & Brand.Brand<typeof FILE_CHANGE_ID_BRAND>;
 export type ArtifactId = string & Brand.Brand<typeof ARTIFACT_ID_BRAND>;
 /** Slash-separated path relative to the recorded project root. */
 export type CanonicalProjectRelativePath = string & Brand.Brand<typeof CANONICAL_PROJECT_RELATIVE_PATH_BRAND>;
-/** Stable root identity; evolution is carried by the separate numeric header. */
+/** Fixed root identity; an incompatible root format must use a different identity. */
 export declare const RECORD_FORMAT: "niceeval.record";
-export declare const RECORD_SCHEMA_VERSION: 2;
 export type RecordFormat = typeof RECORD_FORMAT & Brand.Brand<typeof RECORD_FORMAT_ID_BRAND>;
-export type RecordSchemaVersion = typeof RECORD_SCHEMA_VERSION;
 /**
  * A file-name segment that is safe to copy between the supported Record roots.
  * It is ASCII-only, has no platform separator, and excludes DOS device names.