niceeval 0.13.3 → 0.13.4-canary.39

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

@@ -1 +1 @@
-{"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"]}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":";;;AAoBa,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\";\nimport type { RecordFileSystemError } from \"../platform/errors.ts\";\nimport type { RecordAutoMigrationGitSaveRequired } from \"../reader/errors.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};\n/**\n * Closed result of the ordinary-entry automatic migration preflight. A caller\n * opens its current reader only after this operation returns, so read and\n * maintenance leases can never overlap.\n */\nexport type RecordAutomaticMigrationResult = {\n    readonly state: \"record-missing\";\n} | {\n    readonly state: \"already-current\";\n} | {\n    readonly state: \"migrated\";\n    readonly restoreCommit: string;\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n};\nexport type RecordAutomaticMigrationError = RecordFileSystemError | RecordReaderOpenError | RecordMaintenanceOpenError | RecordMaintenanceError | RecordAutoMigrationGitSaveRequired;\n/** Closed, presentation-neutral plan for explicit incomplete-Run cleanup. */\nexport type RecordCleanOperationPlan = {\n    readonly _tag: \"RecordCleanAlreadyClean\";\n} | {\n    readonly _tag: \"RecordCleanConfirmationRequired\";\n    readonly runIds: readonly RunId[];\n};\nexport interface RecordCleanOperationReceipt {\n    readonly _tag: \"RecordCleanApplied\";\n    readonly deleted: readonly RunId[];\n    readonly skipped: readonly RunId[];\n}\n/**\n * A migration plan is safe to carry outside the maintenance Scope. The ready\n * branch remains nominally backed by the exact source-byte plan held by this\n * Host process; callers cannot manufacture an applicable plan from JSON.\n */\nexport type RecordMigrateOperationPlan = {\n    readonly _tag: \"RecordMigrationAlreadyCurrent\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly _tag: \"RecordMigrationUnsupported\";\n    readonly format: string;\n} | {\n    readonly _tag: \"RecordMigrationRestoreRequired\";\n    readonly format: \"niceeval.record\";\n    readonly backup: Exclude<RecordBackupState, {\n        readonly state: \"git-restore-point\";\n    }>;\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n} | RecordMigrateReadyPlan;\nexport interface RecordMigrateReadyPlan {\n    readonly _tag: \"RecordMigrationReady\";\n    readonly format: \"niceeval.record\";\n    readonly restoreCommit: string;\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n}\nexport type RecordMigrateOperationReceipt = {\n    readonly _tag: \"RecordMigrationAlreadyCurrent\";\n    readonly format: \"niceeval.record\";\n} | {\n    readonly _tag: \"RecordMigrationApplied\";\n    readonly format: \"niceeval.record\";\n    readonly attachments: readonly RecordAttachmentMigrationTarget[];\n};\n/** Exhaustive failure vocabulary consumed by Record-owned CLI presentation. */\nexport type RecordMaintenanceOperationFailure = {\n    readonly _tag: \"RecordMaintenanceBusy\";\n    readonly code: \"record-maintenance-busy\";\n} | {\n    readonly _tag: \"RecordMigrationInterrupted\";\n    readonly code: \"record-migration-interrupted\";\n    readonly restoreCommit?: string;\n    readonly restoreSafe?: boolean;\n} | {\n    readonly _tag: \"RecordMigrationPlanStale\";\n    readonly code: \"record-migration-plan-stale\";\n} | {\n    readonly _tag: \"RecordMigrationGitRestoreRequired\";\n    readonly code: \"record-migration-git-restore-required\";\n} | {\n    readonly _tag: \"RecordMigrationInvalid\";\n    readonly code: \"record-migration-invalid\";\n} | {\n    readonly _tag: \"RecordMigrationRecoveryRequired\";\n    readonly code: \"record-migration-recovery-required\";\n    readonly causeCode: string;\n    readonly restoreCommit: string;\n    readonly restoreSafe: boolean;\n} | {\n    readonly _tag: \"RecordFormatUnsupported\";\n    readonly code: \"record-format-unsupported\";\n} | {\n    readonly _tag: \"RecordMigrationRequired\";\n    readonly code: \"record-migration-required\";\n} | {\n    readonly _tag: \"RecordMaintenanceOperationFailed\";\n    readonly code: string;\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    /**\n     * Ordinary-entry read check followed, when required, by one Git-safe\n     * maintenance migration. Every internally acquired Scope is closed before\n     * this Effect completes; the caller must then perform a fresh current open.\n     */\n    readonly ensureAutomaticMigration: (input: {\n        readonly root: RecordRoot;\n    }) => Effect.Effect<RecordAutomaticMigrationResult, RecordAutomaticMigrationError, import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordGit | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\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 planClean: (input: {\n            readonly root: RecordRoot;\n        }) => Effect.Effect<RecordCleanOperationPlan, RecordMaintenanceOperationFailure, import(\"../platform/services.ts\").RecordFileSystem | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly applyClean: (input: {\n            readonly root: RecordRoot;\n            readonly plan: Extract<RecordCleanOperationPlan, {\n                readonly _tag: \"RecordCleanConfirmationRequired\";\n            }>;\n        }) => Effect.Effect<RecordCleanOperationReceipt, RecordMaintenanceOperationFailure, import(\"../platform/services.ts\").RecordFileSystem | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly planMigrate: (input: {\n            readonly root: RecordRoot;\n        }) => Effect.Effect<RecordMigrateOperationPlan, RecordMaintenanceOperationFailure, import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordGit | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\n        readonly applyMigrate: (input: {\n            readonly root: RecordRoot;\n            readonly plan: RecordMigrateReadyPlan;\n        }) => Effect.Effect<RecordMigrateOperationReceipt, RecordMaintenanceOperationFailure, import(\"../platform/services.ts\").RecordFileSystem | import(\"../platform/services.ts\").RecordGit | import(\"../../coordination/record-leases.ts\").RecordCoordination>;\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

@@ -16,6 +16,8 @@ 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";
+import type { RecordFileSystemError } from "../platform/errors.cjs";
+import type { RecordAutoMigrationGitSaveRequired } from "../reader/errors.cjs";
 export declare const selectedRunRefBrand: unique symbol;
 export declare const selectedAttemptRefBrand: unique symbol;
 export declare const selectedOwnerRefBrand: unique symbol;
@@ -264,12 +266,114 @@ export type RecordMigrationReceipt = {
     readonly format: "niceeval.record";
     readonly attachments: readonly RecordAttachmentMigrationTarget[];
 };
+/**
+ * Closed result of the ordinary-entry automatic migration preflight. A caller
+ * opens its current reader only after this operation returns, so read and
+ * maintenance leases can never overlap.
+ */
+export type RecordAutomaticMigrationResult = {
+    readonly state: "record-missing";
+} | {
+    readonly state: "already-current";
+} | {
+    readonly state: "migrated";
+    readonly restoreCommit: string;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
+export type RecordAutomaticMigrationError = RecordFileSystemError | RecordReaderOpenError | RecordMaintenanceOpenError | RecordMaintenanceError | RecordAutoMigrationGitSaveRequired;
+/** Closed, presentation-neutral plan for explicit incomplete-Run cleanup. */
+export type RecordCleanOperationPlan = {
+    readonly _tag: "RecordCleanAlreadyClean";
+} | {
+    readonly _tag: "RecordCleanConfirmationRequired";
+    readonly runIds: readonly RunId[];
+};
+export interface RecordCleanOperationReceipt {
+    readonly _tag: "RecordCleanApplied";
+    readonly deleted: readonly RunId[];
+    readonly skipped: readonly RunId[];
+}
+/**
+ * A migration plan is safe to carry outside the maintenance Scope. The ready
+ * branch remains nominally backed by the exact source-byte plan held by this
+ * Host process; callers cannot manufacture an applicable plan from JSON.
+ */
+export type RecordMigrateOperationPlan = {
+    readonly _tag: "RecordMigrationAlreadyCurrent";
+    readonly format: "niceeval.record";
+} | {
+    readonly _tag: "RecordMigrationUnsupported";
+    readonly format: string;
+} | {
+    readonly _tag: "RecordMigrationRestoreRequired";
+    readonly format: "niceeval.record";
+    readonly backup: Exclude<RecordBackupState, {
+        readonly state: "git-restore-point";
+    }>;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+} | RecordMigrateReadyPlan;
+export interface RecordMigrateReadyPlan {
+    readonly _tag: "RecordMigrationReady";
+    readonly format: "niceeval.record";
+    readonly restoreCommit: string;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+}
+export type RecordMigrateOperationReceipt = {
+    readonly _tag: "RecordMigrationAlreadyCurrent";
+    readonly format: "niceeval.record";
+} | {
+    readonly _tag: "RecordMigrationApplied";
+    readonly format: "niceeval.record";
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
+/** Exhaustive failure vocabulary consumed by Record-owned CLI presentation. */
+export type RecordMaintenanceOperationFailure = {
+    readonly _tag: "RecordMaintenanceBusy";
+    readonly code: "record-maintenance-busy";
+} | {
+    readonly _tag: "RecordMigrationInterrupted";
+    readonly code: "record-migration-interrupted";
+    readonly restoreCommit?: string;
+    readonly restoreSafe?: boolean;
+} | {
+    readonly _tag: "RecordMigrationPlanStale";
+    readonly code: "record-migration-plan-stale";
+} | {
+    readonly _tag: "RecordMigrationGitRestoreRequired";
+    readonly code: "record-migration-git-restore-required";
+} | {
+    readonly _tag: "RecordMigrationInvalid";
+    readonly code: "record-migration-invalid";
+} | {
+    readonly _tag: "RecordMigrationRecoveryRequired";
+    readonly code: "record-migration-recovery-required";
+    readonly causeCode: string;
+    readonly restoreCommit: string;
+    readonly restoreSafe: boolean;
+} | {
+    readonly _tag: "RecordFormatUnsupported";
+    readonly code: "record-format-unsupported";
+} | {
+    readonly _tag: "RecordMigrationRequired";
+    readonly code: "record-migration-required";
+} | {
+    readonly _tag: "RecordMaintenanceOperationFailed";
+    readonly code: string;
+};
 export interface RecordMaintenanceSession {
     readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;
     readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;
     readonly applyMigrate: (plan: RecordMigrationPlan) => Effect.Effect<RecordMigrationReceipt, RecordMaintenanceError>;
 }
 export interface RecordHostSDK {
+    /**
+     * Ordinary-entry read check followed, when required, by one Git-safe
+     * maintenance migration. Every internally acquired Scope is closed before
+     * this Effect completes; the caller must then perform a fresh current open.
+     */
+    readonly ensureAutomaticMigration: (input: {
+        readonly root: RecordRoot;
+    }) => Effect.Effect<RecordAutomaticMigrationResult, RecordAutomaticMigrationError, import("../platform/services.cjs").RecordFileSystem | import("../platform/services.cjs").RecordGit | import("../../coordination/record-leases.cjs").RecordCoordination>;
     readonly current: {
         readonly openRead: (input: {
             readonly root: RecordRoot;
@@ -278,6 +382,22 @@ export interface RecordHostSDK {
         readonly createReferenceRun: (request: CreateReferenceRunRequest) => Effect.Effect<ReferenceRunWriteSession, RecordReaderOpenError | RecordWriteError, import("effect").Scope.Scope | import("../platform/services.cjs").RecordFileSystem | import("../platform/services.cjs").RecordEntropy | import("../../coordination/record-leases.cjs").RecordCoordination>;
     };
     readonly maintenance: {
+        readonly planClean: (input: {
+            readonly root: RecordRoot;
+        }) => Effect.Effect<RecordCleanOperationPlan, RecordMaintenanceOperationFailure, import("../platform/services.cjs").RecordFileSystem | import("../../coordination/record-leases.cjs").RecordCoordination>;
+        readonly applyClean: (input: {
+            readonly root: RecordRoot;
+            readonly plan: Extract<RecordCleanOperationPlan, {
+                readonly _tag: "RecordCleanConfirmationRequired";
+            }>;
+        }) => Effect.Effect<RecordCleanOperationReceipt, RecordMaintenanceOperationFailure, import("../platform/services.cjs").RecordFileSystem | import("../../coordination/record-leases.cjs").RecordCoordination>;
+        readonly planMigrate: (input: {
+            readonly root: RecordRoot;
+        }) => Effect.Effect<RecordMigrateOperationPlan, RecordMaintenanceOperationFailure, import("../platform/services.cjs").RecordFileSystem | import("../platform/services.cjs").RecordGit | import("../../coordination/record-leases.cjs").RecordCoordination>;
+        readonly applyMigrate: (input: {
+            readonly root: RecordRoot;
+            readonly plan: RecordMigrateReadyPlan;
+        }) => Effect.Effect<RecordMigrateOperationReceipt, RecordMaintenanceOperationFailure, import("../platform/services.cjs").RecordFileSystem | import("../platform/services.cjs").RecordGit | import("../../coordination/record-leases.cjs").RecordCoordination>;
         readonly open: (input: {
             readonly root: RecordRoot;
         }) => Effect.Effect<RecordMaintenanceSession, RecordMaintenanceOpenError, import("effect").Scope.Scope | import("../platform/services.cjs").RecordFileSystem | import("../platform/services.cjs").RecordGit | import("../../coordination/record-leases.cjs").RecordCoordination>;

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

@@ -16,6 +16,8 @@ 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";
+import type { RecordFileSystemError } from "../platform/errors.mjs";
+import type { RecordAutoMigrationGitSaveRequired } from "../reader/errors.mjs";
 export declare const selectedRunRefBrand: unique symbol;
 export declare const selectedAttemptRefBrand: unique symbol;
 export declare const selectedOwnerRefBrand: unique symbol;
@@ -264,12 +266,114 @@ export type RecordMigrationReceipt = {
     readonly format: "niceeval.record";
     readonly attachments: readonly RecordAttachmentMigrationTarget[];
 };
+/**
+ * Closed result of the ordinary-entry automatic migration preflight. A caller
+ * opens its current reader only after this operation returns, so read and
+ * maintenance leases can never overlap.
+ */
+export type RecordAutomaticMigrationResult = {
+    readonly state: "record-missing";
+} | {
+    readonly state: "already-current";
+} | {
+    readonly state: "migrated";
+    readonly restoreCommit: string;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
+export type RecordAutomaticMigrationError = RecordFileSystemError | RecordReaderOpenError | RecordMaintenanceOpenError | RecordMaintenanceError | RecordAutoMigrationGitSaveRequired;
+/** Closed, presentation-neutral plan for explicit incomplete-Run cleanup. */
+export type RecordCleanOperationPlan = {
+    readonly _tag: "RecordCleanAlreadyClean";
+} | {
+    readonly _tag: "RecordCleanConfirmationRequired";
+    readonly runIds: readonly RunId[];
+};
+export interface RecordCleanOperationReceipt {
+    readonly _tag: "RecordCleanApplied";
+    readonly deleted: readonly RunId[];
+    readonly skipped: readonly RunId[];
+}
+/**
+ * A migration plan is safe to carry outside the maintenance Scope. The ready
+ * branch remains nominally backed by the exact source-byte plan held by this
+ * Host process; callers cannot manufacture an applicable plan from JSON.
+ */
+export type RecordMigrateOperationPlan = {
+    readonly _tag: "RecordMigrationAlreadyCurrent";
+    readonly format: "niceeval.record";
+} | {
+    readonly _tag: "RecordMigrationUnsupported";
+    readonly format: string;
+} | {
+    readonly _tag: "RecordMigrationRestoreRequired";
+    readonly format: "niceeval.record";
+    readonly backup: Exclude<RecordBackupState, {
+        readonly state: "git-restore-point";
+    }>;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+} | RecordMigrateReadyPlan;
+export interface RecordMigrateReadyPlan {
+    readonly _tag: "RecordMigrationReady";
+    readonly format: "niceeval.record";
+    readonly restoreCommit: string;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+}
+export type RecordMigrateOperationReceipt = {
+    readonly _tag: "RecordMigrationAlreadyCurrent";
+    readonly format: "niceeval.record";
+} | {
+    readonly _tag: "RecordMigrationApplied";
+    readonly format: "niceeval.record";
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
+/** Exhaustive failure vocabulary consumed by Record-owned CLI presentation. */
+export type RecordMaintenanceOperationFailure = {
+    readonly _tag: "RecordMaintenanceBusy";
+    readonly code: "record-maintenance-busy";
+} | {
+    readonly _tag: "RecordMigrationInterrupted";
+    readonly code: "record-migration-interrupted";
+    readonly restoreCommit?: string;
+    readonly restoreSafe?: boolean;
+} | {
+    readonly _tag: "RecordMigrationPlanStale";
+    readonly code: "record-migration-plan-stale";
+} | {
+    readonly _tag: "RecordMigrationGitRestoreRequired";
+    readonly code: "record-migration-git-restore-required";
+} | {
+    readonly _tag: "RecordMigrationInvalid";
+    readonly code: "record-migration-invalid";
+} | {
+    readonly _tag: "RecordMigrationRecoveryRequired";
+    readonly code: "record-migration-recovery-required";
+    readonly causeCode: string;
+    readonly restoreCommit: string;
+    readonly restoreSafe: boolean;
+} | {
+    readonly _tag: "RecordFormatUnsupported";
+    readonly code: "record-format-unsupported";
+} | {
+    readonly _tag: "RecordMigrationRequired";
+    readonly code: "record-migration-required";
+} | {
+    readonly _tag: "RecordMaintenanceOperationFailed";
+    readonly code: string;
+};
 export interface RecordMaintenanceSession {
     readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;
     readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;
     readonly applyMigrate: (plan: RecordMigrationPlan) => Effect.Effect<RecordMigrationReceipt, RecordMaintenanceError>;
 }
 export interface RecordHostSDK {
+    /**
+     * Ordinary-entry read check followed, when required, by one Git-safe
+     * maintenance migration. Every internally acquired Scope is closed before
+     * this Effect completes; the caller must then perform a fresh current open.
+     */
+    readonly ensureAutomaticMigration: (input: {
+        readonly root: RecordRoot;
+    }) => Effect.Effect<RecordAutomaticMigrationResult, RecordAutomaticMigrationError, import("../platform/services.mjs").RecordFileSystem | import("../platform/services.mjs").RecordGit | import("../../coordination/record-leases.mjs").RecordCoordination>;
     readonly current: {
         readonly openRead: (input: {
             readonly root: RecordRoot;
@@ -278,6 +382,22 @@ export interface RecordHostSDK {
         readonly createReferenceRun: (request: CreateReferenceRunRequest) => Effect.Effect<ReferenceRunWriteSession, RecordReaderOpenError | RecordWriteError, import("effect").Scope.Scope | import("../platform/services.mjs").RecordFileSystem | import("../platform/services.mjs").RecordEntropy | import("../../coordination/record-leases.mjs").RecordCoordination>;
     };
     readonly maintenance: {
+        readonly planClean: (input: {
+            readonly root: RecordRoot;
+        }) => Effect.Effect<RecordCleanOperationPlan, RecordMaintenanceOperationFailure, import("../platform/services.mjs").RecordFileSystem | import("../../coordination/record-leases.mjs").RecordCoordination>;
+        readonly applyClean: (input: {
+            readonly root: RecordRoot;
+            readonly plan: Extract<RecordCleanOperationPlan, {
+                readonly _tag: "RecordCleanConfirmationRequired";
+            }>;
+        }) => Effect.Effect<RecordCleanOperationReceipt, RecordMaintenanceOperationFailure, import("../platform/services.mjs").RecordFileSystem | import("../../coordination/record-leases.mjs").RecordCoordination>;
+        readonly planMigrate: (input: {
+            readonly root: RecordRoot;
+        }) => Effect.Effect<RecordMigrateOperationPlan, RecordMaintenanceOperationFailure, import("../platform/services.mjs").RecordFileSystem | import("../platform/services.mjs").RecordGit | import("../../coordination/record-leases.mjs").RecordCoordination>;
+        readonly applyMigrate: (input: {
+            readonly root: RecordRoot;
+            readonly plan: RecordMigrateReadyPlan;
+        }) => Effect.Effect<RecordMigrateOperationReceipt, RecordMaintenanceOperationFailure, import("../platform/services.mjs").RecordFileSystem | import("../platform/services.mjs").RecordGit | import("../../coordination/record-leases.mjs").RecordCoordination>;
         readonly open: (input: {
             readonly root: RecordRoot;
         }) => Effect.Effect<RecordMaintenanceSession, RecordMaintenanceOpenError, import("effect").Scope.Scope | import("../platform/services.mjs").RecordFileSystem | import("../platform/services.mjs").RecordGit | import("../../coordination/record-leases.mjs").RecordCoordination>;

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

@@ -16,6 +16,8 @@ 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";
+import type { RecordFileSystemError } from "../platform/errors.js";
+import type { RecordAutoMigrationGitSaveRequired } from "../reader/errors.js";
 export declare const selectedRunRefBrand: unique symbol;
 export declare const selectedAttemptRefBrand: unique symbol;
 export declare const selectedOwnerRefBrand: unique symbol;
@@ -264,12 +266,114 @@ export type RecordMigrationReceipt = {
     readonly format: "niceeval.record";
     readonly attachments: readonly RecordAttachmentMigrationTarget[];
 };
+/**
+ * Closed result of the ordinary-entry automatic migration preflight. A caller
+ * opens its current reader only after this operation returns, so read and
+ * maintenance leases can never overlap.
+ */
+export type RecordAutomaticMigrationResult = {
+    readonly state: "record-missing";
+} | {
+    readonly state: "already-current";
+} | {
+    readonly state: "migrated";
+    readonly restoreCommit: string;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
+export type RecordAutomaticMigrationError = RecordFileSystemError | RecordReaderOpenError | RecordMaintenanceOpenError | RecordMaintenanceError | RecordAutoMigrationGitSaveRequired;
+/** Closed, presentation-neutral plan for explicit incomplete-Run cleanup. */
+export type RecordCleanOperationPlan = {
+    readonly _tag: "RecordCleanAlreadyClean";
+} | {
+    readonly _tag: "RecordCleanConfirmationRequired";
+    readonly runIds: readonly RunId[];
+};
+export interface RecordCleanOperationReceipt {
+    readonly _tag: "RecordCleanApplied";
+    readonly deleted: readonly RunId[];
+    readonly skipped: readonly RunId[];
+}
+/**
+ * A migration plan is safe to carry outside the maintenance Scope. The ready
+ * branch remains nominally backed by the exact source-byte plan held by this
+ * Host process; callers cannot manufacture an applicable plan from JSON.
+ */
+export type RecordMigrateOperationPlan = {
+    readonly _tag: "RecordMigrationAlreadyCurrent";
+    readonly format: "niceeval.record";
+} | {
+    readonly _tag: "RecordMigrationUnsupported";
+    readonly format: string;
+} | {
+    readonly _tag: "RecordMigrationRestoreRequired";
+    readonly format: "niceeval.record";
+    readonly backup: Exclude<RecordBackupState, {
+        readonly state: "git-restore-point";
+    }>;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+} | RecordMigrateReadyPlan;
+export interface RecordMigrateReadyPlan {
+    readonly _tag: "RecordMigrationReady";
+    readonly format: "niceeval.record";
+    readonly restoreCommit: string;
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+}
+export type RecordMigrateOperationReceipt = {
+    readonly _tag: "RecordMigrationAlreadyCurrent";
+    readonly format: "niceeval.record";
+} | {
+    readonly _tag: "RecordMigrationApplied";
+    readonly format: "niceeval.record";
+    readonly attachments: readonly RecordAttachmentMigrationTarget[];
+};
+/** Exhaustive failure vocabulary consumed by Record-owned CLI presentation. */
+export type RecordMaintenanceOperationFailure = {
+    readonly _tag: "RecordMaintenanceBusy";
+    readonly code: "record-maintenance-busy";
+} | {
+    readonly _tag: "RecordMigrationInterrupted";
+    readonly code: "record-migration-interrupted";
+    readonly restoreCommit?: string;
+    readonly restoreSafe?: boolean;
+} | {
+    readonly _tag: "RecordMigrationPlanStale";
+    readonly code: "record-migration-plan-stale";
+} | {
+    readonly _tag: "RecordMigrationGitRestoreRequired";
+    readonly code: "record-migration-git-restore-required";
+} | {
+    readonly _tag: "RecordMigrationInvalid";
+    readonly code: "record-migration-invalid";
+} | {
+    readonly _tag: "RecordMigrationRecoveryRequired";
+    readonly code: "record-migration-recovery-required";
+    readonly causeCode: string;
+    readonly restoreCommit: string;
+    readonly restoreSafe: boolean;
+} | {
+    readonly _tag: "RecordFormatUnsupported";
+    readonly code: "record-format-unsupported";
+} | {
+    readonly _tag: "RecordMigrationRequired";
+    readonly code: "record-migration-required";
+} | {
+    readonly _tag: "RecordMaintenanceOperationFailed";
+    readonly code: string;
+};
 export interface RecordMaintenanceSession {
     readonly inspect: () => Effect.Effect<RecordFormatInspection, RecordMaintenanceError>;
     readonly planMigrate: () => Effect.Effect<RecordMigrationPlan, RecordMaintenanceError>;
     readonly applyMigrate: (plan: RecordMigrationPlan) => Effect.Effect<RecordMigrationReceipt, RecordMaintenanceError>;
 }
 export interface RecordHostSDK {
+    /**
+     * Ordinary-entry read check followed, when required, by one Git-safe
+     * maintenance migration. Every internally acquired Scope is closed before
+     * this Effect completes; the caller must then perform a fresh current open.
+     */
+    readonly ensureAutomaticMigration: (input: {
+        readonly root: RecordRoot;
+    }) => Effect.Effect<RecordAutomaticMigrationResult, RecordAutomaticMigrationError, import("../platform/services.js").RecordFileSystem | import("../platform/services.js").RecordGit | import("../../coordination/record-leases.js").RecordCoordination>;
     readonly current: {
         readonly openRead: (input: {
             readonly root: RecordRoot;
@@ -278,6 +382,22 @@ export interface RecordHostSDK {
         readonly createReferenceRun: (request: CreateReferenceRunRequest) => Effect.Effect<ReferenceRunWriteSession, RecordReaderOpenError | RecordWriteError, import("effect").Scope.Scope | import("../platform/services.js").RecordFileSystem | import("../platform/services.js").RecordEntropy | import("../../coordination/record-leases.js").RecordCoordination>;
     };
     readonly maintenance: {
+        readonly planClean: (input: {
+            readonly root: RecordRoot;
+        }) => Effect.Effect<RecordCleanOperationPlan, RecordMaintenanceOperationFailure, import("../platform/services.js").RecordFileSystem | import("../../coordination/record-leases.js").RecordCoordination>;
+        readonly applyClean: (input: {
+            readonly root: RecordRoot;
+            readonly plan: Extract<RecordCleanOperationPlan, {
+                readonly _tag: "RecordCleanConfirmationRequired";
+            }>;
+        }) => Effect.Effect<RecordCleanOperationReceipt, RecordMaintenanceOperationFailure, import("../platform/services.js").RecordFileSystem | import("../../coordination/record-leases.js").RecordCoordination>;
+        readonly planMigrate: (input: {
+            readonly root: RecordRoot;
+        }) => Effect.Effect<RecordMigrateOperationPlan, RecordMaintenanceOperationFailure, import("../platform/services.js").RecordFileSystem | import("../platform/services.js").RecordGit | import("../../coordination/record-leases.js").RecordCoordination>;
+        readonly applyMigrate: (input: {
+            readonly root: RecordRoot;
+            readonly plan: RecordMigrateReadyPlan;
+        }) => Effect.Effect<RecordMigrateOperationReceipt, RecordMaintenanceOperationFailure, import("../platform/services.js").RecordFileSystem | import("../platform/services.js").RecordGit | import("../../coordination/record-leases.js").RecordCoordination>;
         readonly open: (input: {
             readonly root: RecordRoot;
         }) => Effect.Effect<RecordMaintenanceSession, RecordMaintenanceOpenError, import("effect").Scope.Scope | import("../platform/services.js").RecordFileSystem | import("../platform/services.js").RecordGit | import("../../coordination/record-leases.js").RecordCoordination>;

package/dist/record/project.json

@@ -0,0 +1,6 @@
+{
+  "$schema": "../../../../node_modules/nx/schemas/project-schema.json",
+  "name": "niceeval-domain-record",
+  "root": "packages/niceeval/src/record",
+  "tags": ["kind:source-domain", "domain:record"]
+}

package/dist/report/assets/styles.css

@@ -1602,9 +1602,89 @@ table.niceeval-report,
   color: color-mix(in oklch, var(--bad), var(--text) 38%);
 }
 .niceeval-assertion-evidence {
+  min-width: 0;
+}
+.niceeval-match-node {
+  min-width: 0;
+  border-left: 2px solid var(--line-strong);
+  padding-left: 10px;
+}
+.niceeval-match-node > summary {
+  cursor: pointer;
+  list-style: none;
+}
+.niceeval-match-node > summary::-webkit-details-marker { display: none; }
+.niceeval-match-summary {
+  display: flex;
+  min-width: 0;
+  align-items: baseline;
+  gap: 7px;
+  font: 12px/1.5 var(--font-mono);
+  font-weight: 650;
+}
+.niceeval-match-summary code {
+  overflow: hidden;
+  color: inherit;
+  text-overflow: ellipsis;
+  white-space: nowrap;
+}
+.niceeval-match-summary--matched { color: var(--good); }
+.niceeval-match-summary--mismatched { color: var(--bad); }
+.niceeval-match-summary--unavailable { color: var(--warn); }
+.niceeval-match-detail {
+  display: grid;
+  gap: 10px;
+  padding: 8px 0 4px;
+}
+.niceeval-match-children {
+  display: grid;
+  gap: 7px;
+}
+.niceeval-match-body {
+  display: grid;
+  gap: 10px;
+}
+.niceeval-match-evidence-grid {
+  display: grid;
+  gap: 10px;
+}
+.niceeval-match-facts {
   display: grid;
+  gap: 5px;
+  margin: 0;
+  font: 11px/1.5 var(--font-mono);
+}
+.niceeval-match-facts > div {
+  display: grid;
+  grid-template-columns: minmax(5.5rem, max-content) minmax(0, 1fr);
+  gap: 10px;
+}
+.niceeval-match-facts dt { color: var(--soft); }
+.niceeval-match-facts dd {
+  min-width: 0;
+  margin: 0;
+  overflow-wrap: anywhere;
+  color: var(--muted);
+}
+.niceeval-match-coverage {
+  margin: 0;
+  color: var(--soft);
+  font: 10px/1.5 var(--font-mono);
+}
+.niceeval-match-raw {
   min-width: 0;
+  border-top: 1px dashed var(--line);
+  padding-top: 8px;
+}
+.niceeval-match-raw > summary {
+  color: var(--soft);
+  cursor: pointer;
+  font: 11px/1.4 var(--font-mono);
+}
+.niceeval-match-raw > div {
+  display: grid;
   gap: 12px;
+  padding-top: 10px;
 }
 .niceeval-assertion-evidence-section { min-width: 0; }
 .niceeval-assertion-evidence-section > h5 {