@bjornpagen/bumbledb 1.3.1 → 2.0.0-rc.1

package/dist/database/database.js

@@ -0,0 +1,249 @@
+/**
+ * A durable database: an immutable log in an object store, read through a local LMDB cache that is
+ * only a cache. Writes are submitted commands decided once per request id; reads pin snapshots of
+ * the cache at a chosen freshness. Migrations are bundled with the code and run on open (`migrate`)
+ * or are required to have run already (`verify`).
+ */
+import { randomBytes } from "node:crypto";
+import { Context, Duration, Effect, Layer, Option, RcMap, Schema } from "effect";
+import { ChangeSetLive, ChangeSet as ChangeSets } from "../changes.js";
+import { compiledOf } from "../compile.js";
+import { scopedSnapshot } from "../db.js";
+import { argumentError, DbError, dbError } from "../errors.js";
+import { lower } from "../lower.js";
+import { addon } from "../native/addon.js";
+import { call, scoped } from "../native/op.js";
+import { runtimeHandle } from "../runtime.js";
+import { schemaDescriptor, schemasAgree } from "../schema.js";
+import { Driver } from "./driver.js";
+import { hostedPort } from "./hosted.js";
+import { defaultExecutorOptions } from "./io.js";
+import { populateOf, verifyBundle } from "./migration.js";
+/** A submission's idempotency key: 32 lowercase hex digits. */
+const RequestId = Schema.String.check(Schema.isPattern(/^[0-9a-f]{32}$/)).pipe(Schema.brand("RequestId"));
+const defaultTuning = {
+    probeWindow: 32,
+    checkpointEvery: 256n,
+    checkpointKeep: 3,
+    maxEntryBytes: 4 * 1024 * 1024,
+    concurrency: 32,
+    executor: defaultExecutorOptions,
+    migrationAttempts: 3,
+    freezeLease: "5 minutes"
+};
+function describeRefusal(refusal) {
+    switch (refusal._tag) {
+        case "Frozen":
+            return `writes are frozen until ${refusal.deadline}`;
+        case "MigrationPending":
+            return `migration ${refusal.next} has not run`;
+        case "MigrationRejected":
+            return `migration ${refusal.migration.name} was rejected: ${refusal.evidence.violations.map((violation) => violation.spelling).join("; ")}`;
+        case "MigrationsDiverged":
+            return `bundled migration ${refusal.index} differs from the one the log applied`;
+        case "Stale":
+            return `the log moved to ${refusal.head}`;
+        case "RequestReused":
+            return `request ${refusal.request} was decided for another command`;
+        case "Cache":
+            return refusal.message;
+        case "Corrupt":
+            return `log entry ${refusal.seq} is corrupt`;
+        default:
+            return refusal._tag;
+    }
+}
+/** A refusal of the machine, as a `DbError`. */
+function refused(operation, refusal) {
+    return new DbError({ operation, reason: { _tag: "Engine", kind: refusal._tag, message: describeRefusal(refusal) } });
+}
+function hex(bytes) {
+    return randomBytes(bytes).toString("hex");
+}
+function settledAs(operation, settled, tag) {
+    if (settled._tag === tag)
+        return Effect.succeed(settled);
+    if (settled._tag === "Refused")
+        return Effect.fail(refused(operation, settled.refusal));
+    return Effect.fail(dbError(operation, { _tag: "Internal" }));
+}
+class DatabaseLive {
+    schema;
+    #hosted;
+    #run;
+    #head;
+    constructor(schema, hosted, run, head) {
+        this.schema = schema;
+        this.#hosted = hosted;
+        this.#run = run;
+        this.#head = head;
+    }
+    get head() {
+        return Effect.suspend(() => {
+            const head = this.#head();
+            return head === undefined ? Effect.die(dbError("Database.head", { _tag: "Internal" })) : Effect.succeed(head);
+        });
+    }
+    submit(changes, options) {
+        const schemaId = compiledOf(this.schema).schemaId;
+        const run = this.#run;
+        return Effect.gen(function* () {
+            const handle = ChangeSetLive.handle(changes, schemaId);
+            if (handle === undefined) {
+                return yield* Effect.fail(new DbError({ operation: "Database.submit", reason: { _tag: "InvalidArgument" } }));
+            }
+            const settled = yield* run({
+                _tag: "Submit",
+                request: options.requestId,
+                revision: options.precondition ?? null,
+                changes: handle
+            });
+            if (settled._tag !== "Decided" && settled._tag !== "Refused") {
+                return yield* Effect.fail(dbError("Database.submit", { _tag: "Internal" }));
+            }
+            return settled;
+        }).pipe(Effect.withSpan("Database.submit"));
+    }
+    read(consistency = "cached") {
+        const run = this.#run;
+        const hosted = this.#hosted;
+        const schema = this.schema;
+        const seen = this.#head;
+        return Effect.gen(function* () {
+            const known = seen()?.seq ?? 0n;
+            if (consistency === "latest" || (typeof consistency === "object" && known < consistency.atLeast)) {
+                yield* Effect.flatMap(run({ _tag: "Sync" }), (settled) => settledAs("Database.read", settled, "Synced"));
+            }
+            const head = seen();
+            const snapshot = yield* scopedSnapshot("Database.read", schema, (done) => addon.hostedSnapshot(hosted, done));
+            return {
+                seq: head?.seq ?? 0n,
+                revision: head?.revision ?? 0n,
+                get: snapshot.get.bind(snapshot),
+                execute: snapshot.execute.bind(snapshot),
+                prepare: snapshot.prepare.bind(snapshot)
+            };
+        }).pipe(Effect.withSpan("Database.read"));
+    }
+    resolve(requestId) {
+        return this.#run({ _tag: "Resolve", request: requestId }).pipe(Effect.flatMap((settled) => settledAs("Database.resolve", settled, "Resolved")), Effect.map((resolved) => Option.fromNullishOr(resolved.receipt)), Effect.withSpan("Database.resolve"));
+    }
+}
+/** Runs bundled migration `step` to completion, freezing writers if it keeps losing to them. */
+const migrateStep = (migrations, step, hosted, run, head, tuning) => Effect.gen(function* () {
+    const migration = migrations[step];
+    const previous = migrations[step - 1];
+    if (migration === undefined || previous === undefined) {
+        return yield* Effect.fail(dbError("Database.migrate", { _tag: "Internal" }));
+    }
+    const attempt = Effect.scoped(Effect.gen(function* () {
+        const base = head()?.seq ?? 0n;
+        const from = yield* scopedSnapshot("Database.migrate", previous.to, (done) => addon.hostedSnapshot(hosted, done));
+        const into = yield* ChangeSets.builder(migration.to);
+        const populate = populateOf(migration);
+        if (populate !== undefined)
+            yield* populate({ from, into });
+        const rows = ChangeSetLive.handle(yield* into.finish(), compiledOf(migration.to).schemaId);
+        if (rows === undefined)
+            return yield* Effect.fail(dbError("Database.migrate", { _tag: "Internal" }));
+        const copy = addon.hostedUnchanged(hosted, step);
+        return yield* run({ _tag: "Migrate", step, base, copy, rows });
+    }));
+    let settled = { _tag: "Refused", refusal: { _tag: "NotPending" } };
+    for (let tries = 0; tries <= tuning.migrationAttempts; tries++) {
+        if (tries === tuning.migrationAttempts) {
+            const lease = BigInt(Math.ceil(Duration.toMillis(tuning.freezeLease)));
+            yield* Effect.flatMap(run({ _tag: "Freeze", leaseMillis: lease }), (frozen) => settledAs("Database.migrate", frozen, "Frozen"));
+        }
+        settled = yield* attempt;
+        if (settled._tag !== "Refused" || settled.refusal._tag !== "Stale")
+            break;
+    }
+    yield* settledAs("Database.migrate", settled, "Migrated");
+}).pipe(Effect.withSpan("Database.migrate"));
+/**
+ * Seeds a database nothing has written to yet with its initial migration's rows, after every
+ * migration ran: the seed's relations must still exist unchanged in the current schema. The request
+ * id comes from the migration's hash, so racing openers decide the seed once.
+ */
+const seedInitial = (database, hash, seed) => Effect.scoped(Effect.gen(function* () {
+    const from = yield* database.read("cached");
+    const into = yield* ChangeSets.builder(database.schema);
+    yield* seed({ from, into });
+    const outcome = yield* database.submit(yield* into.finish(), { requestId: RequestId.make(hash.slice(0, 32)) });
+    if (outcome._tag === "Refused" && outcome.refusal._tag !== "RequestReused") {
+        return yield* Effect.fail(refused("Database.seed", outcome.refusal));
+    }
+})).pipe(Effect.withSpan("Database.seed"));
+/** Opens a database for the current scope. */
+const make = Effect.fn("Database.make")(function* (options) {
+    const tuning = { ...defaultTuning, ...options.tuning };
+    const { migrations } = options;
+    const last = migrations[migrations.length - 1];
+    const theory = yield* Effect.try({
+        try: () => {
+            verifyBundle(migrations);
+            const theory = schemaDescriptor(options.schema);
+            if (last === undefined || !schemasAgree(theory, last.to)) {
+                throw new DbError({ operation: "Database.make", reason: { _tag: "InvalidArgument" } });
+            }
+            return theory;
+        },
+        catch: (cause) => argumentError("Database.make", cause)
+    });
+    const opening = {
+        bundle: migrations.map((migration) => ({ name: migration.id, hash: migration.hash, schema: lower(migration.to) })),
+        seed: hex(16),
+        ...(options.onOpen === "migrate" ? { create: hex(16) } : {}),
+        probeWindow: tuning.probeWindow,
+        checkpointEvery: tuning.checkpointEvery.toString(),
+        checkpointKeep: tuning.checkpointKeep,
+        maxEntryBytes: tuning.maxEntryBytes
+    };
+    const runtime = yield* runtimeHandle;
+    const directory = yield* scoped("Database.cacheRelease", call("Database.make", (done) => addon.runtimeDirectoryAcquire(runtime, options.cache.directory, done), addon.runtimeDirectoryTake), (owned) => (done) => addon.runtimeDirectoryClose(owned, false, done));
+    const hosted = yield* scoped("Database.release", call("Database.make", (done) => addon.hostedOpen(directory, "cache", JSON.stringify(opening), done), addon.hostedTake), (owned) => (done) => addon.hostedClose(owned, done));
+    let head;
+    const seen = () => head;
+    const driver = yield* Driver.make(hostedPort(hosted, (next) => {
+        head = next;
+    }), options.store, { concurrency: tuning.concurrency, executor: tuning.executor });
+    const opened = yield* Effect.flatMap(driver.run({ _tag: "Open" }), (settled) => settledAs("Database.open", settled, "Opened"));
+    if (opened.pending > 0 && options.onOpen === "verify") {
+        return yield* Effect.fail(refused("Database.open", { _tag: "MigrationPending", next: migrations.length - opened.pending }));
+    }
+    const fresh = seen()?.revision === 0n;
+    for (let step = migrations.length - opened.pending; step < migrations.length; step++) {
+        yield* migrateStep(migrations, step, hosted, driver.run, seen, tuning);
+    }
+    const database = new DatabaseLive(theory, hosted, driver.run, seen);
+    const initial = migrations[0];
+    const seed = populateOf(initial);
+    if (options.onOpen === "migrate" && seed !== undefined && fresh) {
+        yield* seedInitial(database, initial.hash, seed);
+    }
+    return database;
+});
+/** A service key for one application's database. */
+function tag(key) {
+    return Context.Service(key);
+}
+/** Provides `key` with a database opened from `options` for the layer's lifetime. */
+function layer(key, options) {
+    return Layer.effect(key, make(options));
+}
+/** A pool of per-tenant databases owned by the current scope. */
+const pool = Effect.fn("Database.pool")(function* (options) {
+    const map = yield* RcMap.make({
+        lookup: (tenant) => make({ ...options, store: options.store(tenant), cache: options.cache(tenant) }),
+        idleTimeToLive: options.idleTimeToLive ?? "5 minutes"
+    });
+    return { get: (tenant) => RcMap.get(map, tenant) };
+});
+/** A fresh random request id. */
+function requestId() {
+    return RequestId.make(hex(16));
+}
+const Database = Object.freeze({ make, layer, pool, tag, requestId });
+export { Database, RequestId };
+//# sourceMappingURL=database.js.map

package/dist/database/database.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"database.js","sourceRoot":"","sources":["../../src/database/database.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEhF,OAAO,EAAE,aAAa,EAAE,SAAS,IAAI,UAAU,EAAE,MAAM,eAAe,CAAA;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAE1C,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE1C,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAE7C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,SAAS,CAAA;AAEhD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAEzD,+DAA+D;AAC/D,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAA;AA+CzG,MAAM,aAAa,GAAW;IAC7B,WAAW,EAAE,EAAE;IACf,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,CAAC;IACjB,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,IAAI;IAC9B,WAAW,EAAE,EAAE;IACf,QAAQ,EAAE,sBAAsB;IAChC,iBAAiB,EAAE,CAAC;IACpB,WAAW,EAAE,WAAW;CACxB,CAAA;AAcD,SAAS,eAAe,CAAC,OAAmB;IAC3C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,QAAQ;YACZ,OAAO,2BAA2B,OAAO,CAAC,QAAQ,EAAE,CAAA;QACrD,KAAK,kBAAkB;YACtB,OAAO,aAAa,OAAO,CAAC,IAAI,cAAc,CAAA;QAC/C,KAAK,mBAAmB;YACvB,OAAO,aAAa,OAAO,CAAC,SAAS,CAAC,IAAI,kBAAkB,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;QAC5I,KAAK,oBAAoB;YACxB,OAAO,qBAAqB,OAAO,CAAC,KAAK,uCAAuC,CAAA;QACjF,KAAK,OAAO;YACX,OAAO,oBAAoB,OAAO,CAAC,IAAI,EAAE,CAAA;QAC1C,KAAK,eAAe;YACnB,OAAO,WAAW,OAAO,CAAC,OAAO,kCAAkC,CAAA;QACpE,KAAK,OAAO;YACX,OAAO,OAAO,CAAC,OAAO,CAAA;QACvB,KAAK,SAAS;YACb,OAAO,aAAa,OAAO,CAAC,GAAG,aAAa,CAAA;QAC7C;YACC,OAAO,OAAO,CAAC,IAAI,CAAA;IACrB,CAAC;AACF,CAAC;AAED,gDAAgD;AAChD,SAAS,OAAO,CAAC,SAAiB,EAAE,OAAmB;IACtD,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAA;AACrH,CAAC;AAED,SAAS,GAAG,CAAC,KAAa;IACzB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAC1C,CAAC;AAED,SAAS,SAAS,CACjB,SAAiB,EACjB,OAAmB,EACnB,GAAM;IAEN,IAAI,OAAO,CAAC,IAAI,KAAK,GAAG;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,OAAoD,CAAC,CAAA;IACrG,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACvF,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;AAC7D,CAAC;AAED,MAAM,YAAY;IACR,MAAM,CAAG;IACT,OAAO,CAAW;IAClB,IAAI,CAAgE;IACpE,KAAK,CAA2B;IAEzC,YACC,MAAS,EACT,MAAiB,EACjB,GAAmE,EACnE,IAA+B;QAE/B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;QACrB,IAAI,CAAC,IAAI,GAAG,GAAG,CAAA;QACf,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;IAClB,CAAC;IAED,IAAI,IAAI;QACP,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,EAAE,CAAA;YACzB,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC9G,CAAC,CAAC,CAAA;IACH,CAAC;IAED,MAAM,CAAC,OAAqB,EAAE,OAAsB;QACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAA;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAA;QACrB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;YACtD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAA;YAC9G,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;gBAC1B,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,OAAO,CAAC,SAAS;gBAC1B,QAAQ,EAAE,OAAO,CAAC,YAAY,IAAI,IAAI;gBACtC,OAAO,EAAE,MAAM;aACf,CAAC,CAAA;YACF,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9D,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;YAC5E,CAAC;YACD,OAAO,OAAO,CAAA;QACf,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,IAAI,CAAC,WAAW,GAAgB,QAAQ;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAA;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAA;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAA;QACvB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,CAAA;YAC/B,IAAI,WAAW,KAAK,QAAQ,IAAI,CAAC,OAAO,WAAW,KAAK,QAAQ,IAAI,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;gBAClG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAA;YACzG,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,EAAE,CAAA;YACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;YAC7G,OAAO;gBACN,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE;gBACpB,QAAQ,EAAE,IAAI,EAAE,QAAQ,IAAI,EAAE;gBAC9B,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAChC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACxC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;aACZ,CAAA;QAC9B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAA;IAC1C,CAAC;IAED,OAAO,CAAC,SAAoB;QAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,kBAAkB,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,EAC/E,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAChE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CACnC,CAAA;IACF,CAAC;CACD;AAED,gGAAgG;AAChG,MAAM,WAAW,GAAG,CACnB,UAAsB,EACtB,IAAY,EACZ,MAAiB,EACjB,GAAmE,EACnE,IAA+B,EAC/B,MAAc,EACb,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC,CAAA;IACrC,IAAI,SAAS,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;IAC7E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC5B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,CAAA;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,kBAAkB,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5E,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAClC,CAAA;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QACpD,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,CAAA;QACtC,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;QAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;QAC1F,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;QACpG,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QAChD,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IAC/D,CAAC,CAAC,CACF,CAAA;IACD,IAAI,OAAO,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,CAAA;IAC9E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,MAAM,CAAC,iBAAiB,EAAE,KAAK,EAAE,EAAE,CAAC;QAChE,IAAI,KAAK,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;YACtE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAC7E,SAAS,CAAC,kBAAkB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAC/C,CAAA;QACF,CAAC;QACD,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAA;QACxB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,MAAK;IAC1E,CAAC;IACD,KAAK,CAAC,CAAC,SAAS,CAAC,kBAAkB,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;AAC1D,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAA;AAE7C;;;;GAIG;AACH,MAAM,WAAW,GAAG,CACnB,QAAqB,EACrB,IAAY,EACZ,IAAgD,EAC/C,EAAE,CACH,MAAM,CAAC,MAAM,CACZ,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IACvD,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAW,CAAC,CAAA;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;IAC9G,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC5E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;IACrE,CAAC;AACF,CAAC,CAAC,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAA;AAEzC,8CAA8C;AAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,EAAuB,OAA2B;IAClG,MAAM,MAAM,GAAW,EAAE,GAAG,aAAa,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAA;IAC9D,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAA;IAC9B,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAChC,GAAG,EAAE,GAAG,EAAE;YACT,YAAY,CAAC,UAAU,CAAC,CAAA;YACxB,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAC/C,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAA;YACvF,CAAC;YACD,OAAO,MAAW,CAAA;QACnB,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,eAAe,EAAE,KAAK,CAAC;KACvD,CAAC,CAAA;IACF,MAAM,OAAO,GAAiB;QAC7B,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAClH,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACb,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,QAAQ,EAAE;QAClD,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,aAAa,EAAE,MAAM,CAAC,aAAa;KACnC,CAAA;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,CAAA;IACpC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAC9B,uBAAuB,EACvB,IAAI,CACH,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,EAC/E,KAAK,CAAC,oBAAoB,CAC1B,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CACpE,CAAA;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAC3B,kBAAkB,EAClB,IAAI,CACH,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,EAC7E,KAAK,CAAC,UAAU,CAChB,EACD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CACnD,CAAA;IACD,IAAI,IAAyB,CAAA;IAC7B,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,IAAI,CAAA;IACvB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAChC,UAAU,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,GAAG,IAAI,CAAA;IACZ,CAAC,CAAC,EACF,OAAO,CAAC,KAAK,EACb,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAC9D,CAAA;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAC9E,SAAS,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,CAAC,CAC7C,CAAA;IACD,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACvD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACxB,OAAO,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAChG,CAAA;IACF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,EAAE,EAAE,QAAQ,KAAK,EAAE,CAAA;IACrC,KAAK,IAAI,IAAI,GAAG,UAAU,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACtF,KAAK,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IACvE,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,CAAgB,CAAA;IAClF,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IAChC,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,EAAE,CAAC;QACjE,KAAK,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,QAAQ,CAAA;AAChB,CAAC,CAAC,CAAA;AAEF,oDAAoD;AACpD,SAAS,GAAG,CAAsB,GAAW;IAC5C,OAAO,OAAO,CAAC,OAAO,CAAc,GAAG,CAAC,CAAA;AACzC,CAAC;AAED,qFAAqF;AACrF,SAAS,KAAK,CACb,GAA0C,EAC1C,OAA2B;IAE3B,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;AACxC,CAAC;AAcD,iEAAiE;AACjE,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,EAAuB,OAAuB;IAC9F,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC7B,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5G,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,WAAW;KACrD,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAA4B,CAAA;AACrF,CAAC,CAAC,CAAA;AAEF,iCAAiC;AACjC,SAAS,SAAS;IACjB,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAA;AAYrE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAA"}

package/dist/database/driver.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Drives one sans-IO log machine. Requests and store responses go through one mailbox, so the
+ * machine steps strictly one input at a time; every `IoRequest` a step emits runs concurrently
+ * (bounded) and comes back as another input. Each request carries a ticket that settles exactly
+ * once, and closing the driver settles every ticket still open.
+ */
+import type { Scope } from "effect";
+import { Effect } from "effect";
+import { DbError } from "../errors.ts";
+import type { ExecutorOptions, IoRequest, IoResponse, ObjectStore } from "./io.ts";
+interface Step<Settled> {
+    readonly io: readonly IoRequest[];
+    readonly done: ReadonlyArray<{
+        readonly ticket: bigint;
+        readonly settled: Settled;
+    }>;
+}
+/** The machine as the driver sees it. The driver never calls it concurrently. */
+interface MachinePort<Request, Settled> {
+    readonly request: (ticket: bigint, request: Request) => Effect.Effect<Step<Settled>, DbError>;
+    readonly respond: (response: IoResponse) => Effect.Effect<Step<Settled>, DbError>;
+    /** Stops the machine; its step settles every open ticket. */
+    readonly close: Effect.Effect<Step<Settled>, DbError>;
+}
+interface DriverOptions {
+    /** Store calls in flight at once. */
+    readonly concurrency: number;
+    readonly executor: ExecutorOptions;
+}
+interface Driver<Request, Settled> {
+    /** Submits one request and waits for its settlement. */
+    readonly run: (request: Request) => Effect.Effect<Settled, DbError>;
+}
+declare const Driver: Readonly<{
+    make: <Request, Settled>(port: MachinePort<Request, Settled>, store: ObjectStore, options?: DriverOptions | undefined) => Effect.Effect<Driver<Request, Settled>, never, Scope.Scope>;
+    defaultOptions: DriverOptions;
+}>;
+export type { DriverOptions, MachinePort, Step };
+export { Driver };
+//# sourceMappingURL=driver.d.ts.map

package/dist/database/driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.d.ts","sourceRoot":"","sources":["../../src/database/driver.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AACnC,OAAO,EAAY,MAAM,EAAqC,MAAM,QAAQ,CAAA;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAA;AAGlF,UAAU,IAAI,CAAC,OAAO;IACrB,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;IACjC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CACpF;AAED,iFAAiF;AACjF,UAAU,WAAW,CAAC,OAAO,EAAE,OAAO;IACrC,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;IAC7F,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;IACjF,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;CACrD;AAED,UAAU,aAAa;IACtB,qCAAqC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;CAClC;AAED,UAAU,MAAM,CAAC,OAAO,EAAE,OAAO;IAChC,wDAAwD;IACxD,QAAQ,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CACnE;AAgGD,QAAA,MAAM,MAAM;WAtF8B,OAAO,EAAE,OAAO;;EAsFkB,CAAA;AAE5E,YAAY,EAAE,aAAa,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;AAChD,OAAO,EAAE,MAAM,EAAE,CAAA"}

package/dist/database/driver.js

@@ -0,0 +1,68 @@
+import { Deferred, Effect, Fiber, FiberSet, Queue, Semaphore } from "effect";
+import { DbError } from "../errors.js";
+import { defaultExecutorOptions, execute } from "./io.js";
+const defaultDriverOptions = { concurrency: 32, executor: defaultExecutorOptions };
+/** Starts a driver owned by the current scope; closing the scope closes the machine. */
+const make = Effect.fnUntraced(function* (port, store, options = defaultDriverOptions) {
+    const mailbox = yield* Queue.unbounded();
+    const permits = yield* Semaphore.make(options.concurrency);
+    const io = yield* FiberSet.make();
+    const tickets = new Map();
+    let nextTicket = 0n;
+    const closed = new DbError({ operation: "Database", reason: { _tag: "ClosedHandle" } });
+    const apply = (step) => Effect.gen(function* () {
+        for (const { ticket, settled } of step.done) {
+            const waiter = tickets.get(ticket);
+            tickets.delete(ticket);
+            if (waiter !== undefined)
+                yield* Deferred.succeed(waiter, settled);
+        }
+        for (const request of step.io) {
+            yield* FiberSet.run(io, Semaphore.withPermit(permits, execute(store, request, options.executor)).pipe(Effect.flatMap((response) => Queue.offer(mailbox, { _tag: "Response", response }))));
+        }
+    });
+    let stopped;
+    /** Ends the driver: later runs fail with `error`, and open tickets fail with it now. */
+    const stop = (error) => Effect.suspend(() => {
+        stopped ??= error;
+        const open = [...tickets.values()];
+        tickets.clear();
+        return Effect.forEach(open, (waiter) => Deferred.fail(waiter, error), { discard: true });
+    });
+    const stepFor = (message) => {
+        switch (message._tag) {
+            case "Request":
+                return port.request(message.ticket, message.request);
+            case "Response":
+                return port.respond(message.response);
+            case "Close":
+                return port.close;
+        }
+    };
+    const loop = Effect.gen(function* () {
+        while (true) {
+            const message = yield* Queue.take(mailbox);
+            const step = stepFor(message);
+            const failed = yield* step.pipe(Effect.flatMap(apply), Effect.as(false), Effect.catch((error) => Effect.as(stop(error), true)));
+            if (failed || message._tag === "Close")
+                return yield* stop(closed);
+        }
+    });
+    const machine = yield* Effect.forkScoped(loop);
+    yield* Effect.addFinalizer(() => Queue.offer(mailbox, { _tag: "Close" }).pipe(Effect.andThen(Fiber.await(machine)), Effect.andThen(FiberSet.clear(io))));
+    return {
+        run: (request) => Effect.suspend(() => {
+            if (stopped !== undefined)
+                return Effect.fail(stopped);
+            const waiter = Deferred.makeUnsafe();
+            const ticket = nextTicket;
+            nextTicket += 1n;
+            tickets.set(ticket, waiter);
+            Queue.offerUnsafe(mailbox, { _tag: "Request", ticket, request });
+            return Deferred.await(waiter);
+        })
+    };
+});
+const Driver = Object.freeze({ make, defaultOptions: defaultDriverOptions });
+export { Driver };
+//# sourceMappingURL=driver.js.map

package/dist/database/driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"driver.js","sourceRoot":"","sources":["../../src/database/driver.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAA;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAEtC,OAAO,EAAE,sBAAsB,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AA+BzD,MAAM,oBAAoB,GAAkB,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAA;AAEjG,wFAAwF;AACxF,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EACvC,IAAmC,EACnC,KAAkB,EAClB,OAAO,GAAkB,oBAAoB;IAE7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAoB,CAAA;IAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;IAC1D,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+C,CAAA;IACtE,IAAI,UAAU,GAAG,EAAE,CAAA;IACnB,MAAM,MAAM,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,CAAC,CAAA;IAEvF,MAAM,KAAK,GAAG,CAAC,IAAmB,EAAE,EAAE,CACrC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,KAAK,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAClC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACtB,IAAI,MAAM,KAAK,SAAS;gBAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QACnE,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YAC/B,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAClB,EAAE,EACF,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAC5E,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,CAClF,CACD,CAAA;QACF,CAAC;IACF,CAAC,CAAC,CAAA;IAEH,IAAI,OAA4B,CAAA;IAEhC,wFAAwF;IACxF,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,EAAE,CAC/B,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACnB,OAAO,KAAK,KAAK,CAAA;QACjB,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;QAClC,OAAO,CAAC,KAAK,EAAE,CAAA;QACf,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IACzF,CAAC,CAAC,CAAA;IAEH,MAAM,OAAO,GAAG,CAAC,OAAyB,EAAE,EAAE;QAC7C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACb,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;YACrD,KAAK,UAAU;gBACd,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;YACtC,KAAK,OAAO;gBACX,OAAO,IAAI,CAAC,KAAK,CAAA;QACnB,CAAC;IACF,CAAC,CAAA;IAED,MAAM,IAAI,GAAwB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACrD,OAAO,IAAI,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;YAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAC9B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAChB,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CACrD,CAAA;YACD,IAAI,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACnE,CAAC;IACF,CAAC,CAAC,CAAA;IAEF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IAC9C,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAC/B,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EACpC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAClC,CACD,CAAA;IAED,OAAO;QACN,GAAG,EAAE,CAAC,OAAgB,EAAE,EAAE,CACzB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YACnB,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACtD,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,EAAoB,CAAA;YACtD,MAAM,MAAM,GAAG,UAAU,CAAA;YACzB,UAAU,IAAI,EAAE,CAAA;YAChB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;YAC3B,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAA;YAChE,OAAO,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAC9B,CAAC,CAAC;KACH,CAAA;AACF,CAAC,CAAC,CAAA;AAEF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,oBAAoB,EAAE,CAAC,CAAA;AAG5E,OAAO,EAAE,MAAM,EAAE,CAAA"}

package/dist/database/fs.d.ts

@@ -0,0 +1,12 @@
+import type { ObjectStore } from "./io.ts";
+/**
+ * A store in a local directory, one file per key under `root`. A create writes a temporary file,
+ * fsyncs it, hard-links it into place (the link fails if the key exists) and fsyncs the directory,
+ * so a created key is durable and never torn. The store clock is the local clock.
+ */
+declare function make(root: string): ObjectStore;
+declare const FsStore: Readonly<{
+    make: typeof make;
+}>;
+export { FsStore };
+//# sourceMappingURL=fs.d.ts.map

package/dist/database/fs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs.d.ts","sourceRoot":"","sources":["../../src/database/fs.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAmD,WAAW,EAAiB,MAAM,SAAS,CAAA;AAmC1G;;;;GAIG;AACH,iBAAS,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAqEvC;AAED,QAAA,MAAM,OAAO;;EAA0B,CAAA;AAEvC,OAAO,EAAE,OAAO,EAAE,CAAA"}

package/dist/database/fs.js

@@ -0,0 +1,120 @@
+import { randomUUID } from "node:crypto";
+import * as fs from "node:fs/promises";
+import * as path from "node:path";
+import { Effect } from "effect";
+import { DbError } from "../errors.js";
+function code(cause) {
+    return typeof cause === "object" && cause !== null && "code" in cause && typeof cause.code === "string"
+        ? cause.code
+        : undefined;
+}
+function attempt(operation, run) {
+    return Effect.tryPromise({
+        try: run,
+        catch: (cause) => new DbError({ operation, reason: { _tag: "Io", kind: code(cause) ?? "Unknown" } })
+    });
+}
+async function syncDirectory(directory) {
+    const handle = await fs.open(directory, "r");
+    try {
+        await handle.sync();
+    }
+    finally {
+        await handle.close();
+    }
+}
+async function writeDurably(file, body) {
+    if (body._tag === "File")
+        await fs.copyFile(body.path, file, fs.constants.COPYFILE_EXCL);
+    const handle = await fs.open(file, body._tag === "File" ? "r+" : "wx");
+    try {
+        if (body._tag === "Bytes")
+            await handle.writeFile(body.bytes);
+        await handle.sync();
+    }
+    finally {
+        await handle.close();
+    }
+}
+/**
+ * A store in a local directory, one file per key under `root`. A create writes a temporary file,
+ * fsyncs it, hard-links it into place (the link fails if the key exists) and fsyncs the directory,
+ * so a created key is durable and never torn. The store clock is the local clock.
+ */
+function make(root) {
+    const file = (key) => path.join(root, ...key.split("/"));
+    const now = () => BigInt(Date.now());
+    return {
+        get: (_bucket, key, target) => attempt("FsStore.get", async () => {
+            try {
+                if (target._tag === "Memory") {
+                    const [bytes, stat] = await Promise.all([fs.readFile(file(key)), fs.stat(file(key), { bigint: true })]);
+                    return {
+                        date: now(),
+                        result: { _tag: "Body", bytes: new Uint8Array(bytes), lastModified: stat.mtimeMs }
+                    };
+                }
+                const stat = await fs.stat(file(key), { bigint: true });
+                await fs.copyFile(file(key), target.path);
+                return { date: now(), result: { _tag: "Saved", lastModified: stat.mtimeMs } };
+            }
+            catch (cause) {
+                if (code(cause) === "ENOENT")
+                    return { date: now(), result: { _tag: "Missing" } };
+                throw cause;
+            }
+        }),
+        putIfAbsent: (_bucket, key, body) => attempt("FsStore.putIfAbsent", async () => {
+            const target = file(key);
+            const directory = path.dirname(target);
+            await fs.mkdir(directory, { recursive: true });
+            const temporary = path.join(directory, `.tmp-${randomUUID()}`);
+            try {
+                await writeDurably(temporary, body);
+                try {
+                    await fs.link(temporary, target);
+                }
+                catch (cause) {
+                    if (code(cause) === "EEXIST")
+                        return { date: now(), result: { _tag: "Occupied" } };
+                    throw cause;
+                }
+            }
+            finally {
+                await fs.rm(temporary, { force: true });
+            }
+            await syncDirectory(directory);
+            return { date: now(), result: { _tag: "Created" } };
+        }),
+        list: (prefix, startAfter, maxKeys) => attempt("FsStore.list", async () => {
+            const directory = path.posix.dirname(`${prefix}_`);
+            let names;
+            try {
+                names = await fs.readdir(path.join(root, ...directory.split("/")));
+            }
+            catch (cause) {
+                if (code(cause) === "ENOENT")
+                    return { date: now(), result: { _tag: "Keys", keys: [] } };
+                throw cause;
+            }
+            const keys = names
+                .filter((name) => !name.startsWith(".tmp-"))
+                .map((name) => (directory === "." ? name : `${directory}/${name}`))
+                .filter((key) => key.startsWith(prefix) && (startAfter === null || key > startAfter))
+                .sort()
+                .slice(0, maxKeys);
+            return { date: now(), result: { _tag: "Keys", keys } };
+        }),
+        delete: (key) => attempt("FsStore.delete", async () => {
+            await fs.rm(file(key), { force: true });
+            await syncDirectory(path.dirname(file(key))).catch((cause) => {
+                if (code(cause) !== "ENOENT")
+                    throw cause;
+            });
+            return { date: now(), result: { _tag: "Deleted" } };
+        })
+    };
+}
+const FsStore = Object.freeze({ make });
+export { FsStore };
+//# sourceMappingURL=fs.js.map

package/dist/database/fs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fs.js","sourceRoot":"","sources":["../../src/database/fs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACtC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAGtC,SAAS,IAAI,CAAC,KAAc;IAC3B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QACtG,CAAC,CAAC,KAAK,CAAC,IAAI;QACZ,CAAC,CAAC,SAAS,CAAA;AACb,CAAC;AAED,SAAS,OAAO,CAAI,SAAiB,EAAE,GAAqB;IAC3D,OAAO,MAAM,CAAC,UAAU,CAAC;QACxB,GAAG,EAAE,GAAG;QACR,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,EAAE,EAAE,CAAC;KACpG,CAAC,CAAA;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,SAAiB;IAC7C,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;IAC5C,IAAI,CAAC;QACJ,MAAM,MAAM,CAAC,IAAI,EAAE,CAAA;IACpB,CAAC;YAAS,CAAC;QACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;AACF,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,IAAU;IACnD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IACxF,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACtE,IAAI,CAAC;QACJ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC7D,MAAM,MAAM,CAAC,IAAI,EAAE,CAAA;IACpB,CAAC;YAAS,CAAC;QACV,MAAM,MAAM,CAAC,KAAK,EAAE,CAAA;IACrB,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,IAAI,CAAC,IAAY;IACzB,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;IAChE,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;IACpC,OAAO;QACN,GAAG,EAAE,CAAC,OAAe,EAAE,GAAW,EAAE,MAAc,EAAE,EAAE,CACrD,OAAO,CAAC,aAAa,EAAE,KAAK,IAA6B,EAAE;YAC1D,IAAI,CAAC;gBACJ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC9B,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;oBACvG,OAAO;wBACN,IAAI,EAAE,GAAG,EAAE;wBACX,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE;qBAClF,CAAA;gBACF,CAAC;gBACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;gBACvD,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;gBACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAA;YAC9E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;oBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAA;gBACjF,MAAM,KAAK,CAAA;YACZ,CAAC;QACF,CAAC,CAAC;QACH,WAAW,EAAE,CAAC,OAAe,EAAE,GAAW,EAAE,IAAU,EAAE,EAAE,CACzD,OAAO,CAAC,qBAAqB,EAAE,KAAK,IAA6B,EAAE;YAClE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YACtC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,UAAU,EAAE,EAAE,CAAC,CAAA;YAC9D,IAAI,CAAC;gBACJ,MAAM,YAAY,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;gBACnC,IAAI,CAAC;oBACJ,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;gBACjC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBAChB,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;wBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAA;oBAClF,MAAM,KAAK,CAAA;gBACZ,CAAC;YACF,CAAC;oBAAS,CAAC;gBACV,MAAM,EAAE,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;YACxC,CAAC;YACD,MAAM,aAAa,CAAC,SAAS,CAAC,CAAA;YAC9B,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAA;QACpD,CAAC,CAAC;QACH,IAAI,EAAE,CAAC,MAAc,EAAE,UAAyB,EAAE,OAAe,EAAE,EAAE,CACpE,OAAO,CAAC,cAAc,EAAE,KAAK,IAA4B,EAAE;YAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,MAAM,GAAG,CAAC,CAAA;YAClD,IAAI,KAAe,CAAA;YACnB,IAAI,CAAC;gBACJ,KAAK,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;YACnE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;oBAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAA;gBACxF,MAAM,KAAK,CAAA;YACZ,CAAC;YACD,MAAM,IAAI,GAAG,KAAK;iBAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;iBAC3C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,IAAI,EAAE,CAAC,CAAC;iBAClE,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,GAAG,UAAU,CAAC,CAAC;iBACpF,IAAI,EAAE;iBACN,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;YACnB,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAA;QACvD,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,GAAW,EAAE,EAAE,CACvB,OAAO,CAAC,gBAAgB,EAAE,KAAK,IAA6B,EAAE;YAC7D,MAAM,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;YACvC,MAAM,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC5D,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,QAAQ;oBAAE,MAAM,KAAK,CAAA;YAC1C,CAAC,CAAC,CAAA;YACF,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAA;QACpD,CAAC,CAAC;KACH,CAAA;AACF,CAAC;AAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;AAEvC,OAAO,EAAE,OAAO,EAAE,CAAA"}

package/dist/database/generate.d.ts

@@ -0,0 +1,26 @@
+import type { AnySchema } from "../schema.ts";
+/** The `schema.json` text of a schema: its lowered spec, formatted for review. */
+declare function specText(theory: AnySchema): string;
+/** A migration's hash: sha256 over its id and its `schema.json` text. */
+declare function migrationHash(id: string, spec: string): string;
+/** The migration directories under `root`, in order. */
+declare function migrationIds(root: string): string[];
+type Generated = {
+    readonly _tag: "Unchanged";
+} | {
+    readonly _tag: "Created";
+    readonly id: string;
+};
+/**
+ * Adds a migration to `schema` under `root` when it differs from the last migration's schema, and
+ * rewrites `index.ts`.
+ */
+declare function generate(root: string, theory: AnySchema, name: string): Generated;
+/** Everything `check` found wrong; empty when the directory is consistent with `schema`. */
+declare function check(root: string, theory: AnySchema, bundled: readonly {
+    readonly id: string;
+    readonly hash: string;
+}[]): string[];
+export type { Generated };
+export { check, generate, migrationHash, migrationIds, specText };
+//# sourceMappingURL=generate.d.ts.map

package/dist/database/generate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../src/database/generate.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAK7C,kFAAkF;AAClF,iBAAS,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAE3C;AAED,yEAAyE;AACzE,iBAAS,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,wDAAwD;AACxD,iBAAS,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAO5C;AAoBD,KAAK,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEnG;;;GAGG;AACH,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CAsB1E;AAED,4FAA4F;AAC5F,iBAAS,KAAK,CACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS,EACjB,OAAO,EAAE,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAChE,MAAM,EAAE,CAqBV;AAED,YAAY,EAAE,SAAS,EAAE,CAAA;AACzB,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAA"}