@bjornpagen/bumbledb-log 1.2.1 → 1.3.1

package/dist/migrations/intent.js

@@ -1,97 +0,0 @@
-/**
- * Pure declarative schema-evolution intent. These constructors build inert
- * authoring metadata: no rows are consumed, no schema is lowered, hashed or
- * admitted, and no I/O happens here. Ambiguous rename/drop/backfill/convert
- * and business seed data are typed inputs to bounded generation, never
- * imperative migration files under another name. Expressions are the core's
- * own `ScalarExpr` values — the generator serializes them into
- * canonical plan data and the native executor evaluates them; there is no
- * migration-only expression interpreter.
- */
-import { AuthoringError } from "@bjornpagen/bumbledb";
-const MAX_NAME = 255;
-function name(context, value) {
-    if (typeof value !== "string" || value.length === 0 || value.length > MAX_NAME || value.includes("\0")) {
-        throw new AuthoringError({
-            message: `${context}: a schema name must be a nonempty string of at most ${MAX_NAME} characters without NUL`
-        });
-    }
-    return value;
-}
-export function migrationIntent(schema, entries) {
-    if (!Array.isArray(entries)) {
-        throw new AuthoringError({ message: "migrationIntent: entries must be an array of intent values" });
-    }
-    // Retain caller-owned input until generation. A metadata constructor never
-    // synchronously copies or consumes an arbitrary intent/seed graph.
-    return Object.freeze({ schema, entries: Object.freeze([...entries]) });
-}
-/** Identity intent: the relation previously named `from` is now `to`. */
-export function renameRelation(from, to) {
-    return Object.freeze({
-        kind: "rename-relation",
-        from: name("renameRelation", from),
-        to: name("renameRelation", to.name)
-    });
-}
-/** Identity intent: `relation`'s field previously named `from` is now `to`. */
-export function renameField(relation, from, to) {
-    return Object.freeze({
-        kind: "rename-field",
-        relation: name("renameField", relation.name),
-        from: name("renameField", from),
-        to: name("renameField", to)
-    });
-}
-/** The explicit whole-relation data-loss acknowledgement IS this constructor. */
-export function dropRelation(relation) {
-    return Object.freeze({ kind: "drop-relation", relation: name("dropRelation", relation) });
-}
-/** The explicit field data-loss acknowledgement. `relation` is the surviving relation. */
-export function dropField(relation, field) {
-    return Object.freeze({
-        kind: "drop-field",
-        relation: name("dropField", typeof relation === "string" ? relation : relation.name),
-        field: name("dropField", field)
-    });
-}
-/**
- * A value for a NEW required field, as a core `ScalarExpr` over the source
- * row's old fields — including unresolved field arithmetic. Native compile
- * binds kinds; this constructor does not require a resolved result. No
- * fabricated zero/null and no callback.
- */
-export function backfill(relation, field, expression) {
-    return Object.freeze({
-        kind: "backfill",
-        relation: name("backfill", relation.name),
-        field: name("backfill", field),
-        expression
-    });
-}
-/**
- * An explicit conversion for an EXISTING field whose type or meaning
- * changes, as a core `ScalarExpr` over the source row's old fields —
- * including unresolved field arithmetic (`Scalar.add(Scalar.field("units"),
- * Scalar.u64(1n))`). Same-schema convert is a recorded plan, not a no-op.
- */
-export function convert(relation, field, expression) {
-    return Object.freeze({
-        kind: "convert",
-        relation: name("convert", relation.name),
-        field: name("convert", field),
-        expression
-    });
-}
-/**
- * Declarative fixed seed facts with explicitly supplied application IDs.
- * The iterable stays caller-owned and stable until generation settles; it is
- * read once in cooperative batches, with native validation before publication.
- */
-export function seed(relation, rows) {
-    if (rows === null || typeof rows !== "object" || !(Symbol.iterator in rows)) {
-        throw new AuthoringError({ message: "seed: rows must be an iterable of typed facts" });
-    }
-    return Object.freeze({ kind: "seed", relation: name("seed", relation.name), rows });
-}
-//# sourceMappingURL=intent.js.map

package/dist/migrations/intent.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"intent.js","sourceRoot":"","sources":["../../src/migrations/intent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAWH,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAmCrD,MAAM,QAAQ,GAAG,GAAG,CAAA;AASpB,SAAS,IAAI,CAAC,OAAe,EAAE,KAAa;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxG,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,OAAO,wDAAwD,QAAQ,yBAAyB;SAC5G,CAAC,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAC9B,MAAoB,EACpB,OAAwC;IAExC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,4DAA4D,EAAE,CAAC,CAAA;IACpG,CAAC;IACD,2EAA2E;IAC3E,mEAAmE;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,EAAe;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,iBAA0B;QAChC,IAAI,EAAE,IAAI,CAAC,gBAAgB,EAAE,IAAI,CAAC;QAClC,EAAE,EAAE,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,CAAC;KACnC,CAAC,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAC1B,QAAW,EACX,IAAY,EACZ,EAAK;IAEL,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,cAAuB;QAC7B,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC;QAC5C,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC;QAC/B,EAAE,EAAE,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;KAC3B,CAAC,CAAA;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAwB,EAAE,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAA;AACnG,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,SAAS,CAAC,QAA8B,EAAE,KAAa;IACtE,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,YAAqB;QAC3B,QAAQ,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpF,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC;KAC/B,CAAC,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACvB,QAAW,EACX,KAAQ,EACR,UAAgE;IAEhE,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC;QACzC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC;QAC9B,UAAU;KACV,CAAC,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CACtB,QAAW,EACX,KAAQ,EACR,UAAgE;IAEhE,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,SAAkB;QACxB,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC;QACxC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC;QAC7B,UAAU;KACV,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAAwB,QAAW,EAAE,IAAuB;IAC/E,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,+CAA+C,EAAE,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;AAC7F,CAAC"}

package/dist/migrations/lock.d.ts

@@ -1,27 +0,0 @@
-/**
- * Repository exclusion for generation (C8): the named internal seam
- * `internalAcquireRepositoryLock` / `RepositoryLock`. The native stamped
- * lock is the exclusion authority — this module does not keep a second
- * in-memory ownership table. It never opens a core `Db`, never unlinks
- * the lock inode, and never composes `runtimeDirectoryAcquire` / `Close`.
- * Callers provide `Scope`. On cancel, L17 joins host I/O
- * (`joinPendingIo`) and then the L16 hook `RepositoryLock.release`
- * (`logRepositoryLockRelease`) runs from Scope. No public lock API.
- */
-import type { NativeRuntime } from "@bjornpagen/bumbledb";
-import type { RepositoryLock } from "@bjornpagen/bumbledb/internal/log";
-import type { Scope } from "effect";
-import { Effect } from "effect";
-import type { LogError } from "../errors.js";
-/** The held fence is the core `RepositoryLock` — directory + joined release. */
-export type HeldRepositoryLock = RepositoryLock;
-export interface RepositoryExclusion {
-    readonly acquire: (operation: string, directory: string) => Effect.Effect<RepositoryLock, LogError, NativeRuntime | Scope.Scope>;
-}
-/**
- * Production exclusion: `internalAcquireRepositoryLock` only. Same-process
- * and cross-process refuse live on the native stamped lock. Scope registers
- * the joined close inside that acquire; do not open a `Db`.
- */
-export declare const productionExclusion: RepositoryExclusion;
-//# sourceMappingURL=lock.d.ts.map

package/dist/migrations/lock.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"lock.d.ts","sourceRoot":"","sources":["../../src/migrations/lock.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAA;AAEvE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAG1C,gFAAgF;AAChF,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAA;AAE/C,MAAM,WAAW,mBAAmB;IACnC,QAAQ,CAAC,OAAO,EAAE,CACjB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,KACb,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,QAAQ,EAAE,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;CACzE;AAED;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,mBAMjC,CAAA"}

package/dist/migrations/lock.js

@@ -1,14 +0,0 @@
-import { internalAcquireRepositoryLock } from "@bjornpagen/bumbledb/internal/log";
-import { Effect } from "effect";
-import { logFailure } from "#errors.ts";
-/**
- * Production exclusion: `internalAcquireRepositoryLock` only. Same-process
- * and cross-process refuse live on the native stamped lock. Scope registers
- * the joined close inside that acquire; do not open a `Db`.
- */
-export const productionExclusion = {
-    acquire(operation, directory) {
-        return internalAcquireRepositoryLock(operation, directory).pipe(Effect.mapError((error) => logFailure(operation, error)));
-    }
-};
-//# sourceMappingURL=lock.js.map

package/dist/migrations/lock.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../src/migrations/lock.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAA;AAEjF,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAYvC;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAwB;IACvD,OAAO,CAAC,SAAS,EAAE,SAAS;QAC3B,OAAO,6BAA6B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CACxD,CAAA;IACF,CAAC;CACD,CAAA"}

package/dist/migrations/native.d.ts

@@ -1,26 +0,0 @@
-/**
- * The production `MigrationCodec`: bounded JSON requests to and bounded
- * JSON responses from the shared native runtime. Schema validation, canonical
- * SchemaId + snapshot rendering (`schema_file::{schema_id, render}`), plan
- * parsing/validation/rendering/digesting (`migration::plan`) and manifest
- * verification/appending/plan-set digests (`migration::manifest`) are all
- * native. The durable status/migrate/activate/abort workflow lives in
- * `#migration-ops.ts`, reached through the `logAdmin` wire verb.
- *
- * The two imported core entrypoints accept bounded owned input and JSON
- * response bytes under one registered cancellable operation. The schema verb
- * takes the SDK `SchemaSpec` object because that wire already crosses the
- * bridge for open/create; it is never respelled as text here. Both are
- * read-only: they never open, initialize, freeze or migrate a database.
- */
-import type { LogError } from "../errors.js";
-import type { MigrationCodec } from "./codec.js";
-/**
- * A native refusal code becomes the typed log error through the shared wire
- * decoder: known protocol codes become `ProtocolError`, anything else the
- * core `Internal` — never a fabricated success and never string matching.
- */
-export declare function nativeRefusal(operation: string, code: string, detail: string): LogError;
-/** The one production binding of the generator's native-codec seam. */
-export declare const productionCodec: MigrationCodec;
-//# sourceMappingURL=native.d.ts.map

package/dist/migrations/native.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"native.d.ts","sourceRoot":"","sources":["../../src/migrations/native.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAI1C,OAAO,KAAK,EAAgB,cAAc,EAAkB,MAAM,sBAAsB,CAAA;AAkDxF;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CAKvF;AA+DD,uEAAuE;AACvE,eAAO,MAAM,eAAe,EAAE,cAAgD,CAAA"}

package/dist/migrations/native.js

@@ -1,124 +0,0 @@
-/**
- * The production `MigrationCodec`: bounded JSON requests to and bounded
- * JSON responses from the shared native runtime. Schema validation, canonical
- * SchemaId + snapshot rendering (`schema_file::{schema_id, render}`), plan
- * parsing/validation/rendering/digesting (`migration::plan`) and manifest
- * verification/appending/plan-set digests (`migration::manifest`) are all
- * native. The durable status/migrate/activate/abort workflow lives in
- * `#migration-ops.ts`, reached through the `logAdmin` wire verb.
- *
- * The two imported core entrypoints accept bounded owned input and JSON
- * response bytes under one registered cancellable operation. The schema verb
- * takes the SDK `SchemaSpec` object because that wire already crosses the
- * bridge for open/create; it is never respelled as text here. Both are
- * read-only: they never open, initialize, freeze or migrate a database.
- */
-import { internalMigrationRead, internalMigrationSchema } from "@bjornpagen/bumbledb/internal/log";
-import { Effect, Schema } from "effect";
-import { logFailure } from "#errors.ts";
-import { compactJson } from "#migrations/canonical.ts";
-import { boundedDetail, repository } from "#migrations/fail.ts";
-const MAX_RESPONSE = 64 * 1024 * 1024;
-const encoder = new TextEncoder();
-const decoder = new TextDecoder("utf-8", { fatal: true });
-// ---------------------------------------------------------------------------
-// Response boundary models (small external models — Effect Schema).
-// ---------------------------------------------------------------------------
-const RefusalWire = Schema.Struct({
-    refused: Schema.Struct({
-        code: Schema.String,
-        detail: Schema.String
-    })
-});
-const SchemaOk = Schema.Struct({
-    schemaId: Schema.String,
-    snapshot: Schema.String
-});
-const SchemaResponse = Schema.Union([SchemaOk, RefusalWire]);
-const EntryWire = Schema.Struct({
-    sequence: Schema.String,
-    id: Schema.String,
-    fromSchemaId: Schema.String,
-    toSchemaId: Schema.String,
-    planDigest: Schema.String,
-    prefixDigest: Schema.String
-});
-const ChainOk = Schema.Struct({
-    headPrefixDigest: Schema.String,
-    planSetDigest: Schema.NullOr(Schema.String),
-    appended: Schema.NullOr(Schema.Struct({
-        entry: EntryWire,
-        planText: Schema.String,
-        manifestText: Schema.String
-    }))
-});
-const ChainResponse = Schema.Union([ChainOk, RefusalWire]);
-const decodeSchemaResponse = Schema.decodeUnknownOption(SchemaResponse);
-const decodeChainResponse = Schema.decodeUnknownOption(ChainResponse);
-/**
- * A native refusal code becomes the typed log error through the shared wire
- * decoder: known protocol codes become `ProtocolError`, anything else the
- * core `Internal` — never a fabricated success and never string matching.
- */
-export function nativeRefusal(operation, code, detail) {
-    return logFailure(operation, {
-        source: "protocol",
-        reason: { _tag: code, detail: boundedDetail(detail) }
-    });
-}
-// ---------------------------------------------------------------------------
-// Request plumbing.
-// ---------------------------------------------------------------------------
-function requestBytes(body) {
-    return encoder.encode(compactJson(body));
-}
-function decodeResponse(operation, bytes) {
-    if (bytes.byteLength > MAX_RESPONSE) {
-        return Effect.fail(repository(operation, "<native response>", "response exceeds the bounded response cap"));
-    }
-    return Effect.try({
-        try: () => JSON.parse(decoder.decode(bytes)),
-        catch: () => repository(operation, "<native response>", "response is not bounded JSON")
-    });
-}
-// ---------------------------------------------------------------------------
-// The production codec.
-// ---------------------------------------------------------------------------
-const schemaIdentity = Effect.fn("bumbledb-log.migrations.schemaIdentity")(function* (spec) {
-    const operation = "migrations.schemaIdentity";
-    const raw = yield* internalMigrationSchema(spec);
-    const response = yield* decodeResponse(operation, raw);
-    const decoded = decodeSchemaResponse(response);
-    if (decoded._tag === "None") {
-        return yield* Effect.fail(repository(operation, "<native response>", "unrecognized schema response"));
-    }
-    if ("refused" in decoded.value) {
-        return yield* Effect.fail(nativeRefusal(operation, decoded.value.refused.code, decoded.value.refused.detail));
-    }
-    const identity = { schemaId: decoded.value.schemaId, snapshot: decoded.value.snapshot };
-    return identity;
-});
-const verifyChain = Effect.fn("bumbledb-log.migrations.verifyChain")(function* (request) {
-    const operation = "migrations.verifyChain";
-    const raw = yield* internalMigrationRead(requestBytes({
-        kind: "chain",
-        manifest: request.manifest,
-        baseSchemaId: request.baseSchemaId,
-        snapshots: request.snapshots,
-        plans: request.plans,
-        append: request.append,
-        planSet: request.planSet === null ? null : { first: request.planSet.first, count: request.planSet.count }
-    }));
-    const response = yield* decodeResponse(operation, raw);
-    const decoded = decodeChainResponse(response);
-    if (decoded._tag === "None") {
-        return yield* Effect.fail(repository(operation, "<native response>", "unrecognized chain response"));
-    }
-    if ("refused" in decoded.value) {
-        return yield* Effect.fail(nativeRefusal(operation, decoded.value.refused.code, decoded.value.refused.detail));
-    }
-    return decoded.value;
-});
-/** The one production binding of the generator's native-codec seam. */
-export const productionCodec = { schemaIdentity, verifyChain };
-//# sourceMappingURL=native.js.map

package/dist/migrations/native.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"native.js","sourceRoot":"","sources":["../../src/migrations/native.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAA;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAEvC,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAA;AAEtD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAE/D,MAAM,YAAY,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA;AAErC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAA;AACjC,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAEzD,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;QACtB,IAAI,EAAE,MAAM,CAAC,MAAM;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;KACrB,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,QAAQ,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC,CAAA;AACF,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAA;AAE5D,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,YAAY,EAAE,MAAM,CAAC,MAAM;CAC3B,CAAC,CAAA;AAEF,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC,MAAM,CACtB,MAAM,CAAC,MAAM,CAAC;QACb,KAAK,EAAE,SAAS;QAChB,QAAQ,EAAE,MAAM,CAAC,MAAM;QACvB,YAAY,EAAE,MAAM,CAAC,MAAM;KAC3B,CAAC,CACF;CACD,CAAC,CAAA;AACF,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;AAE1D,MAAM,oBAAoB,GAAG,MAAM,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAA;AACvE,MAAM,mBAAmB,GAAG,MAAM,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAA;AAErE;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB,EAAE,IAAY,EAAE,MAAc;IAC5E,OAAO,UAAU,CAAC,SAAS,EAAE;QAC5B,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE;KACrD,CAAC,CAAA;AACH,CAAC;AAED,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,SAAS,YAAY,CAAC,IAAe;IACpC,OAAO,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,cAAc,CAAC,SAAiB,EAAE,KAAiB;IAC3D,IAAI,KAAK,CAAC,UAAU,GAAG,YAAY,EAAE,CAAC;QACrC,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,mBAAmB,EAAE,2CAA2C,CAAC,CAAC,CAAA;IAC5G,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC;QACjB,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAY;QACvD,KAAK,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,mBAAmB,EAAE,8BAA8B,CAAC;KACvF,CAAC,CAAA;AACH,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,wCAAwC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAgB;IACrG,MAAM,SAAS,GAAG,2BAA2B,CAAA;IAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAA;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;IAC9C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,mBAAmB,EAAE,8BAA8B,CAAC,CAAC,CAAA;IACtG,CAAC;IACD,IAAI,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9G,CAAC;IACD,MAAM,QAAQ,GAAmB,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAA;IACvG,OAAO,QAAQ,CAAA;AAChB,CAAC,CAAC,CAAA;AAEF,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,qCAAqC,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAqB;IACpG,MAAM,SAAS,GAAG,wBAAwB,CAAA;IAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,qBAAqB,CACvC,YAAY,CAAC;QACZ,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE;KACzG,CAAC,CACF,CAAA;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;IACtD,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAA;IAC7C,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,mBAAmB,EAAE,6BAA6B,CAAC,CAAC,CAAA;IACrG,CAAC;IACD,IAAI,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC9G,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAA;AACrB,CAAC,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,eAAe,GAAmB,EAAE,cAAc,EAAE,WAAW,EAAE,CAAA"}

package/dist/migrations/repo.d.ts

@@ -1,38 +0,0 @@
-import { Effect } from "effect";
-import type { LogError } from "../errors.js";
-import type { MigrationManifest, MigrationRepository } from "./types.js";
-export declare function manifestPath(directory: string): string;
-export declare function planPath(directory: string, id: string): string;
-export declare function snapshotPath(directory: string, sequence: number): string;
-/** Empty-base schema snapshot — first row of the mandatory compile chain. */
-export declare function baseSnapshotPath(directory: string): string;
-export declare function snapshotsSidecarPath(directory: string): string;
-export declare function indexPath(directory: string): string;
-export declare function contractPath(repo: MigrationRepository): string;
-/** The full human file id: `NNNN-<label>`. */
-export declare function planId(sequence: number, label: string): string;
-export interface RepositoryState {
-    /** `manifest.json` text, or null for a repo without any recorded plan. */
-    readonly manifestText: string | null;
-    readonly manifest: MigrationManifest | null;
-    /** Recorded plan file texts, in manifest order. */
-    readonly planTexts: readonly string[];
-    /** Recorded snapshot texts: empty-base first, then each entry's target. */
-    readonly snapshotTexts: readonly string[];
-    /**
-     * Unrecorded files whose name matches the NEXT sequence — leftovers of an
-     * interrupted generation (the manifest is written last, so an unlisted
-     * next-sequence file was never recorded). Generation deterministically
-     * rewrites them; any other unlisted file is drift, not a leftover.
-     */
-    readonly staleDrafts: readonly string[];
-}
-/** Latest recorded target snapshot text, or null at the empty base. */
-export declare function latestSnapshot(state: RepositoryState): string | null;
-/**
- * Read and structurally verify the recorded repository. Every recorded entry
- * must have exactly its plan file and target snapshot; strays refuse as
- * drift. Digest recomputation is the caller's native chain pass.
- */
-export declare const readRepository: (repo: MigrationRepository) => Effect.Effect<RepositoryState, LogError, never>;
-//# sourceMappingURL=repo.d.ts.map

package/dist/migrations/repo.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"repo.d.ts","sourceRoot":"","sources":["../../src/migrations/repo.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAI1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAOlF,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,wBAAgB,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAExE;AAED,6EAA6E;AAC7E,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAEnD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,mBAAmB,GAAG,MAAM,CAE9D;AAED,8CAA8C;AAC9C,wBAAgB,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,MAAM,WAAW,eAAe;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;IACpC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CAAA;IAC3C,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;IACrC,2EAA2E;IAC3E,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAA;IACzC;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;CACvC;AAED,uEAAuE;AACvE,wBAAgB,cAAc,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,GAAG,IAAI,CAEpE;AA8BD;;;;GAIG;AACH,eAAO,MAAM,cAAc,gFA+HzB,CAAA"}

package/dist/migrations/repo.js

@@ -1,191 +0,0 @@
-/**
- * The repo-local migration repository: layout, bounded reads and structural
- * integrity. Recorded artifacts are immutable — generation only appends a new
- * plan/snapshot and rewrites the manifest/index/contract; an edited recorded
- * file, an unrecorded stray plan, a missing snapshot or a reordered manifest
- * is DRIFT and refuses before anything else happens. Digest-level tampering
- * is judged natively (`migration::manifest::{verify_manifest, bind_plans}`)
- * from the exact file texts read here; TypeScript never recomputes a hash.
- */
-import { readdir } from "node:fs/promises";
-import * as path from "node:path";
-import { Effect } from "effect";
-import { decodeManifestData } from "#migrations/decode.ts";
-import { drift, repository as repositoryError } from "#migrations/fail.ts";
-import { readBounded } from "#migrations/fsops.ts";
-const MAX_MANIFEST_BYTES = 8 * 1024 * 1024;
-const MAX_PLAN_BYTES = 64 * 1024 * 1024;
-const MAX_SNAPSHOT_BYTES = 64 * 1024 * 1024;
-const MAX_DIRECTORY_ENTRIES = 20000;
-export function manifestPath(directory) {
-    return path.join(directory, "manifest.json");
-}
-export function planPath(directory, id) {
-    return path.join(directory, `${id}.plan.json`);
-}
-export function snapshotPath(directory, sequence) {
-    return path.join(directory, "meta", `${sequence.toString(10).padStart(4, "0")}.schema.json`);
-}
-/** Empty-base schema snapshot — first row of the mandatory compile chain. */
-export function baseSnapshotPath(directory) {
-    return path.join(directory, "meta", "base.schema.json");
-}
-export function snapshotsSidecarPath(directory) {
-    return path.join(directory, "snapshots.json");
-}
-export function indexPath(directory) {
-    return path.join(directory, "index.ts");
-}
-export function contractPath(repo) {
-    return repo.contract ?? path.join(repo.directory, "runtime-contract.json");
-}
-/** The full human file id: `NNNN-<label>`. */
-export function planId(sequence, label) {
-    return `${sequence.toString(10).padStart(4, "0")}-${label}`;
-}
-/** Latest recorded target snapshot text, or null at the empty base. */
-export function latestSnapshot(state) {
-    return state.snapshotTexts.length === 0 ? null : (state.snapshotTexts[state.snapshotTexts.length - 1] ?? null);
-}
-function listNames(operation, directory) {
-    return Effect.tryPromise({
-        try: async () => {
-            let names;
-            try {
-                names = await readdir(directory);
-            }
-            catch (cause) {
-                if (typeof cause === "object" && cause !== null && "code" in cause && cause.code === "ENOENT") {
-                    return [];
-                }
-                throw cause;
-            }
-            if (names.length > MAX_DIRECTORY_ENTRIES) {
-                throw { code: `directory exceeds ${MAX_DIRECTORY_ENTRIES} entries` };
-            }
-            return names;
-        },
-        catch: (cause) => repositoryError(operation, directory, typeof cause === "object" && cause !== null && "code" in cause && typeof cause.code === "string"
-            ? cause.code
-            : "io failure")
-    });
-}
-/**
- * Read and structurally verify the recorded repository. Every recorded entry
- * must have exactly its plan file and target snapshot; strays refuse as
- * drift. Digest recomputation is the caller's native chain pass.
- */
-export const readRepository = Effect.fn("bumbledb-log.migrations.readRepository")(function* (repo) {
-    const operation = "migrations.readRepository";
-    const directory = repo.directory;
-    const manifestText = yield* readBounded(operation, manifestPath(directory), MAX_MANIFEST_BYTES);
-    if (manifestText === null) {
-        // A fresh repository: nothing recorded. A sequence-0 plan/snapshot file
-        // is an interrupted first generation (manifest is written last); any
-        // other stray file is drift.
-        const names = yield* listNames(operation, directory);
-        const staleDrafts = [];
-        for (const name of names) {
-            if (!name.endsWith(".plan.json")) {
-                continue;
-            }
-            if (name.startsWith("0000-")) {
-                staleDrafts.push(name);
-                continue;
-            }
-            return yield* Effect.fail(drift(operation, `plan file ${name} exists but manifest.json does not — a recorded chain cannot be partial`));
-        }
-        const metaNames = yield* listNames(operation, path.join(directory, "meta"));
-        for (const name of metaNames) {
-            if (!name.endsWith(".schema.json")) {
-                continue;
-            }
-            if (name === "base.schema.json" || name === "0000.schema.json") {
-                staleDrafts.push(`meta/${name}`);
-                continue;
-            }
-            return yield* Effect.fail(drift(operation, `snapshot file meta/${name} exists but manifest.json does not — a recorded chain cannot be partial`));
-        }
-        const state = { manifestText: null, manifest: null, planTexts: [], snapshotTexts: [], staleDrafts };
-        return state;
-    }
-    let tree;
-    try {
-        tree = JSON.parse(manifestText);
-    }
-    catch {
-        return yield* Effect.fail(repositoryError(operation, manifestPath(directory), "manifest is not JSON"));
-    }
-    const decoded = decodeManifestData(tree);
-    if (!decoded.ok) {
-        return yield* Effect.fail(repositoryError(operation, manifestPath(directory), decoded.detail));
-    }
-    const manifest = decoded.value;
-    // Structural chain checks (native re-verifies with digests).
-    const ids = new Set();
-    for (const [index, entry] of manifest.entries.entries()) {
-        if (entry.sequence !== index.toString(10)) {
-            return yield* Effect.fail(drift(operation, `manifest entry ${entry.id} has sequence ${entry.sequence}, expected ${index}`));
-        }
-        if (ids.has(entry.id)) {
-            return yield* Effect.fail(drift(operation, `manifest reuses the label ${entry.id}`));
-        }
-        ids.add(entry.id);
-    }
-    // No stray or missing files. A next-sequence leftover of an interrupted
-    // generation is tolerated as a rewritable draft; anything else is drift.
-    const nextPrefix = `${manifest.entries.length.toString(10).padStart(4, "0")}-`;
-    const staleDrafts = [];
-    const names = yield* listNames(operation, directory);
-    for (const name of names) {
-        if (!name.endsWith(".plan.json") || ids.has(name.slice(0, -".plan.json".length))) {
-            continue;
-        }
-        if (name.startsWith(nextPrefix)) {
-            staleDrafts.push(name);
-            continue;
-        }
-        return yield* Effect.fail(drift(operation, `plan file ${name} is not recorded in the manifest`));
-    }
-    const metaNames = yield* listNames(operation, path.join(directory, "meta"));
-    for (const name of metaNames) {
-        if (!name.endsWith(".schema.json")) {
-            continue;
-        }
-        if (name === "base.schema.json") {
-            continue;
-        }
-        const stem = name.slice(0, -".schema.json".length);
-        const ordinal = Number.parseInt(stem, 10);
-        if (Number.isSafeInteger(ordinal) && ordinal >= 0 && ordinal < manifest.entries.length) {
-            continue;
-        }
-        if (ordinal === manifest.entries.length) {
-            staleDrafts.push(`meta/${name}`);
-            continue;
-        }
-        return yield* Effect.fail(drift(operation, `snapshot file meta/${name} is not recorded in the manifest`));
-    }
-    const planTexts = [];
-    const snapshotTexts = [];
-    const baseSnapshot = yield* readBounded(operation, baseSnapshotPath(directory), MAX_SNAPSHOT_BYTES);
-    if (baseSnapshot === null) {
-        return yield* Effect.fail(drift(operation, "recorded chain is missing meta/base.schema.json"));
-    }
-    snapshotTexts.push(baseSnapshot);
-    for (const [index, entry] of manifest.entries.entries()) {
-        const plan = yield* readBounded(operation, planPath(directory, entry.id), MAX_PLAN_BYTES);
-        if (plan === null) {
-            return yield* Effect.fail(drift(operation, `recorded plan ${entry.id} has no ${entry.id}.plan.json file`));
-        }
-        planTexts.push(plan);
-        const snapshot = yield* readBounded(operation, snapshotPath(directory, index), MAX_SNAPSHOT_BYTES);
-        if (snapshot === null) {
-            return yield* Effect.fail(drift(operation, `recorded plan ${entry.id} has no meta/${index.toString(10).padStart(4, "0")}.schema.json snapshot`));
-        }
-        snapshotTexts.push(snapshot);
-    }
-    const state = { manifestText, manifest, planTexts, snapshotTexts, staleDrafts };
-    return state;
-});
-//# sourceMappingURL=repo.js.map

package/dist/migrations/repo.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"repo.js","sourceRoot":"","sources":["../../src/migrations/repo.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAC1C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAA;AAC1D,OAAO,EAAE,KAAK,EAAE,UAAU,IAAI,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1E,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAGlD,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAC1C,MAAM,cAAc,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA;AACvC,MAAM,kBAAkB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAA;AAC3C,MAAM,qBAAqB,GAAG,KAAK,CAAA;AAEnC,MAAM,UAAU,YAAY,CAAC,SAAiB;IAC7C,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,SAAiB,EAAE,EAAU;IACrD,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,YAAY,CAAC,CAAA;AAC/C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,SAAiB,EAAE,QAAgB;IAC/D,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,cAAc,CAAC,CAAA;AAC7F,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,gBAAgB,CAAC,SAAiB;IACjD,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACrD,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAA;AAC9C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,SAAiB;IAC1C,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAyB;IACrD,OAAO,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,uBAAuB,CAAC,CAAA;AAC3E,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,MAAM,CAAC,QAAgB,EAAE,KAAa;IACrD,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAA;AAC5D,CAAC;AAmBD,uEAAuE;AACvE,MAAM,UAAU,cAAc,CAAC,KAAsB;IACpD,OAAO,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAA;AAC/G,CAAC;AAED,SAAS,SAAS,CAAC,SAAiB,EAAE,SAAiB;IACtD,OAAO,MAAM,CAAC,UAAU,CAAC;QACxB,GAAG,EAAE,KAAK,IAAI,EAAE;YACf,IAAI,KAAe,CAAA;YACnB,IAAI,CAAC;gBACJ,KAAK,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,CAAA;YACjC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC/F,OAAO,EAAE,CAAA;gBACV,CAAC;gBACD,MAAM,KAAK,CAAA;YACZ,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;gBAC1C,MAAM,EAAE,IAAI,EAAE,qBAAqB,qBAAqB,UAAU,EAAE,CAAA;YACrE,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAChB,eAAe,CACd,SAAS,EACT,SAAS,EACT,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC/F,CAAC,CAAC,KAAK,CAAC,IAAI;YACZ,CAAC,CAAC,YAAY,CACf;KACF,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,wCAAwC,CAAC,CAAC,QAAQ,CAAC,EAC1F,IAAyB;IAEzB,MAAM,SAAS,GAAG,2BAA2B,CAAA;IAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAA;IAChC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAA;IAC/F,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC3B,wEAAwE;QACxE,qEAAqE;QACrE,6BAA6B;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;QACpD,MAAM,WAAW,GAAa,EAAE,CAAA;QAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;gBAClC,SAAQ;YACT,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9B,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBACtB,SAAQ;YACT,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,KAAK,CAAC,SAAS,EAAE,aAAa,IAAI,yEAAyE,CAAC,CAC5G,CAAA;QACF,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAA;QAC3E,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBACpC,SAAQ;YACT,CAAC;YACD,IAAI,IAAI,KAAK,kBAAkB,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAChE,WAAW,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAA;gBAChC,SAAQ;YACT,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,KAAK,CACJ,SAAS,EACT,sBAAsB,IAAI,yEAAyE,CACnG,CACD,CAAA;QACF,CAAC;QACD,MAAM,KAAK,GAAoB,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,WAAW,EAAE,CAAA;QACpH,OAAO,KAAK,CAAA;IACb,CAAC;IACD,IAAI,IAAa,CAAA;IACjB,IAAI,CAAC;QACJ,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAA;IAChC,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,sBAAsB,CAAC,CAAC,CAAA;IACvG,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAA;IACxC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC/F,CAAC;IACD,MAAM,QAAQ,GAAsB,OAAO,CAAC,KAAK,CAAA;IACjD,6DAA6D;IAC7D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACzD,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,KAAK,CAAC,SAAS,EAAE,kBAAkB,KAAK,CAAC,EAAE,iBAAiB,KAAK,CAAC,QAAQ,cAAc,KAAK,EAAE,CAAC,CAChG,CAAA;QACF,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,6BAA6B,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;QACrF,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAClB,CAAC;IACD,wEAAwE;IACxE,yEAAyE;IACzE,MAAM,UAAU,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAA;IAC9E,MAAM,WAAW,GAAa,EAAE,CAAA;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAClF,SAAQ;QACT,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACtB,SAAQ;QACT,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,aAAa,IAAI,kCAAkC,CAAC,CAAC,CAAA;IACjG,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAA;IAC3E,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;YACpC,SAAQ;QACT,CAAC;QACD,IAAI,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACjC,SAAQ;QACT,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;QAClD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACzC,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACxF,SAAQ;QACT,CAAC;QACD,IAAI,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,WAAW,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAA;YAChC,SAAQ;QACT,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,sBAAsB,IAAI,kCAAkC,CAAC,CAAC,CAAA;IAC1G,CAAC;IACD,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,MAAM,aAAa,GAAa,EAAE,CAAA;IAClC,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,gBAAgB,CAAC,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAA;IACnG,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,iDAAiD,CAAC,CAAC,CAAA;IAC/F,CAAC;IACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAChC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC,CAAA;QACzF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,iBAAiB,KAAK,CAAC,EAAE,WAAW,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAA;QAC3G,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,kBAAkB,CAAC,CAAA;QAClG,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,KAAK,CACJ,SAAS,EACT,iBAAiB,KAAK,CAAC,EAAE,gBAAgB,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,uBAAuB,CACnG,CACD,CAAA;QACF,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC7B,CAAC;IACD,MAAM,KAAK,GAAoB,EAAE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,CAAA;IAChG,OAAO,KAAK,CAAA;AACb,CAAC,CAAC,CAAA"}

package/dist/migrations/theory.d.ts

@@ -1,21 +0,0 @@
-/**
- * Bounded parse of the ONE native schema-file grammar
- * (`crates/bumbledb-log/src/schema_file.rs`: `{relations, statements}`,
- * closed extensions on relations) into the small image the diff walks.
- * Snapshot files are the native `schema_file::render` text verbatim; this
- * reader extracts relation/field names, canonical type spellings and
- * closedness — statements never need TS interpretation because schema change
- * is decided by the native canonical SchemaId, not by re-deriving laws here.
- */
-import type { TheorySnapshot } from "./types.js";
-export type TheoryResult = {
-    readonly ok: true;
-    readonly snapshot: TheorySnapshot;
-} | {
-    readonly ok: false;
-    readonly detail: string;
-};
-/** Parse one snapshot text (already size-bounded by the file reader). */
-export declare function parseTheory(raw: string): TheoryResult;
-export declare const EMPTY_THEORY: TheorySnapshot;
-//# sourceMappingURL=theory.d.ts.map

package/dist/migrations/theory.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"theory.d.ts","sourceRoot":"","sources":["../../src/migrations/theory.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAA+B,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAMvF,MAAM,MAAM,YAAY,GACrB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAA;AA4ClD,yEAAyE;AACzE,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CA6DrD;AAED,eAAO,MAAM,YAAY,EAAE,cAAgE,CAAA"}