@bjornpagen/bumbledb 1.3.1 → 2.0.0

package/dist/database/generate.js

@@ -0,0 +1,102 @@
+/**
+ * The migrations directory: one `NNNN_name/` per migration holding the schema it migrates to
+ * (`schema.json`, the engine's spec, and `schema.ts`, the same schema as SDK code) and its
+ * `migration.ts`; `index.ts` bundles them in order. A migration's hash covers its id and its
+ * `schema.json`, so editing either after it ran is caught by `check`.
+ */
+import { createHash } from "node:crypto";
+import * as fs from "node:fs";
+import * as path from "node:path";
+import { compiledOf } from "../compile.js";
+import { AuthoringError } from "../errors.js";
+import { lower } from "../lower.js";
+import { addon } from "../native/addon.js";
+import { schemaDescriptor } from "../schema.js";
+const DIRECTORY = /^([0-9]{4})_([A-Za-z0-9_]+)$/;
+/** The `schema.json` text of a schema: its lowered spec, formatted for review. */
+function specText(theory) {
+    return `${JSON.stringify(lower(schemaDescriptor(theory)), null, "\t")}\n`;
+}
+/** A migration's hash: sha256 over its id and its `schema.json` text. */
+function migrationHash(id, spec) {
+    return createHash("sha256").update(`${id}\n${spec}`).digest("hex");
+}
+/** The migration directories under `root`, in order. */
+function migrationIds(root) {
+    if (!fs.existsSync(root))
+        return [];
+    return fs
+        .readdirSync(root, { withFileTypes: true })
+        .filter((entry) => entry.isDirectory() && DIRECTORY.test(entry.name))
+        .map((entry) => entry.name)
+        .sort();
+}
+function indexText(ids) {
+    const imports = ids.map((id) => `import m${id.slice(0, 4)} from "./${id}/migration.ts"`);
+    const list = ids.map((id) => `m${id.slice(0, 4)}`).join(", ");
+    return `${imports.join("\n")}\n\nexport const migrations = [${list}] as const\n`;
+}
+function migrationText(id, hash, previous) {
+    const lines = ['import { Migration } from "@bjornpagen/bumbledb"'];
+    if (previous !== undefined)
+        lines.push(`import { schema as from } from "../${previous}/schema.ts"`);
+    lines.push('import { schema as to } from "./schema.ts"', "");
+    lines.push(previous === undefined
+        ? `export default Migration.make({ id: "${id}", hash: "${hash}", to })`
+        : `export default Migration.make({ id: "${id}", hash: "${hash}", from, to })`);
+    return `${lines.join("\n")}\n`;
+}
+/**
+ * Adds a migration to `schema` under `root` when it differs from the last migration's schema, and
+ * rewrites `index.ts`.
+ */
+function generate(root, theory, name) {
+    if (!/^[A-Za-z0-9_]+$/.test(name))
+        throw new AuthoringError({ message: `migration name ${name}: letters, digits and _` });
+    const ids = migrationIds(root);
+    const spec = specText(theory);
+    const previous = ids.at(-1);
+    if (previous !== undefined && fs.readFileSync(path.join(root, previous, "schema.json"), "utf8") === spec) {
+        return { _tag: "Unchanged" };
+    }
+    const bindings = addon.schemaBindings(compiledOf(schemaDescriptor(theory)).handle);
+    if (bindings._tag === "Unrepresentable") {
+        throw new AuthoringError({ message: `schema ${theory.name}: ${bindings.coordinate}: ${bindings.reason}` });
+    }
+    const number = previous === undefined ? 1 : Number(previous.slice(0, 4)) + 1;
+    const id = `${number.toString().padStart(4, "0")}_${name}`;
+    const directory = path.join(root, id);
+    fs.mkdirSync(directory, { recursive: true });
+    fs.writeFileSync(path.join(directory, "schema.json"), spec);
+    fs.writeFileSync(path.join(directory, "schema.ts"), bindings.source);
+    fs.writeFileSync(path.join(directory, "migration.ts"), migrationText(id, migrationHash(id, spec), previous));
+    fs.writeFileSync(path.join(root, "index.ts"), indexText([...ids, id]));
+    return { _tag: "Created", id };
+}
+/** Everything `check` found wrong; empty when the directory is consistent with `schema`. */
+function check(root, theory, bundled) {
+    const problems = [];
+    const ids = migrationIds(root);
+    if (ids.length === 0)
+        return [`${root}: no migrations; run bumbledb generate`];
+    if (fs.readFileSync(path.join(root, "index.ts"), "utf8") !== indexText(ids)) {
+        problems.push(`${root}/index.ts does not list the migration directories in order; run bumbledb generate`);
+    }
+    ids.forEach((id, index) => {
+        const spec = fs.readFileSync(path.join(root, id, "schema.json"), "utf8");
+        const migration = bundled[index];
+        if (migration === undefined || migration.id !== id) {
+            problems.push(`${id}: not bundled at position ${index + 1}`);
+        }
+        else if (migration.hash !== migrationHash(id, spec)) {
+            problems.push(`${id}: its hash does not match its schema.json; a migration is never edited after it runs`);
+        }
+    });
+    const last = ids.at(-1);
+    if (last !== undefined && fs.readFileSync(path.join(root, last, "schema.json"), "utf8") !== specText(theory)) {
+        problems.push(`the schema differs from ${last}; run bumbledb generate`);
+    }
+    return problems;
+}
+export { check, generate, migrationHash, migrationIds, specText };
+//# sourceMappingURL=generate.js.map

package/dist/database/generate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.js","sourceRoot":"","sources":["../../src/database/generate.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAE1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAE/C,MAAM,SAAS,GAAG,8BAA8B,CAAA;AAEhD,kFAAkF;AAClF,SAAS,QAAQ,CAAC,MAAiB;IAClC,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;AAC1E,CAAC;AAED,yEAAyE;AACzE,SAAS,aAAa,CAAC,EAAU,EAAE,IAAY;IAC9C,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACnE,CAAC;AAED,wDAAwD;AACxD,SAAS,YAAY,CAAC,IAAY;IACjC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAA;IACnC,OAAO,EAAE;SACP,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SAC1C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;SAC1B,IAAI,EAAE,CAAA;AACT,CAAC;AAED,SAAS,SAAS,CAAC,GAAsB;IACxC,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,gBAAgB,CAAC,CAAA;IACxF,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7D,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC,IAAI,cAAc,CAAA;AACjF,CAAC;AAED,SAAS,aAAa,CAAC,EAAU,EAAE,IAAY,EAAE,QAA4B;IAC5E,MAAM,KAAK,GAAG,CAAC,kDAAkD,CAAC,CAAA;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,sCAAsC,QAAQ,aAAa,CAAC,CAAA;IACnG,KAAK,CAAC,IAAI,CAAC,4CAA4C,EAAE,EAAE,CAAC,CAAA;IAC5D,KAAK,CAAC,IAAI,CACT,QAAQ,KAAK,SAAS;QACrB,CAAC,CAAC,wCAAwC,EAAE,aAAa,IAAI,UAAU;QACvE,CAAC,CAAC,wCAAwC,EAAE,aAAa,IAAI,gBAAgB,CAC9E,CAAA;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;AAC/B,CAAC;AAID;;;GAGG;AACH,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAiB,EAAE,IAAY;IAC9D,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,kBAAkB,IAAI,yBAAyB,EAAE,CAAC,CAAA;IACvF,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,IAAI,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1G,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAA;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IAClF,IAAI,QAAQ,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,UAAU,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;IAC3G,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC5E,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAA;IAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IACrC,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC5C,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,CAAA;IAC3D,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;IACpE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,aAAa,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC5G,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IACtE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;AAC/B,CAAC;AAED,4FAA4F;AAC5F,SAAS,KAAK,CACb,IAAY,EACZ,MAAiB,EACjB,OAAkE;IAElE,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAC9B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,IAAI,wCAAwC,CAAC,CAAA;IAC9E,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,mFAAmF,CAAC,CAAA;IAC1G,CAAC;IACD,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;QACzB,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,CAAA;QACxE,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;QAChC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,6BAA6B,KAAK,GAAG,CAAC,EAAE,CAAC,CAAA;QAC7D,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,sFAAsF,CAAC,CAAA;QAC3G,CAAC;IACF,CAAC,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACvB,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,QAAQ,CAAC,IAAI,CAAC,2BAA2B,IAAI,yBAAyB,CAAC,CAAA;IACxE,CAAC;IACD,OAAO,QAAQ,CAAA;AAChB,CAAC;AAGD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAA"}

package/dist/database/hosted.d.ts

@@ -0,0 +1,32 @@
+import type { ChangesRef } from "../native/addon.ts";
+import type { CopyPair, ExternalObject, HeadOut, HostedHandle, SettledOut } from "../native/binding.d.ts";
+import type { MachinePort } from "./driver.ts";
+type HostedRef = ExternalObject<HostedHandle>;
+/** One machine request. `request` ids are 32 hex digits; `revision` present is an exact-revision precondition. */
+type HostedRequest = {
+    readonly _tag: "Open";
+} | {
+    readonly _tag: "Sync";
+} | {
+    readonly _tag: "Resolve";
+    readonly request: string;
+} | {
+    readonly _tag: "Freeze";
+    readonly leaseMillis: bigint;
+} | {
+    readonly _tag: "Submit";
+    readonly request: string;
+    readonly revision: bigint | null;
+    readonly changes: ChangesRef;
+} | {
+    readonly _tag: "Migrate";
+    readonly step: number;
+    readonly base: bigint;
+    readonly copy: readonly CopyPair[];
+    readonly rows: ChangesRef;
+};
+/** A port over one hosted machine; `onHead` sees every head a step reports. */
+declare function hostedPort(hosted: HostedRef, onHead: (head: HeadOut) => void): MachinePort<HostedRequest, SettledOut>;
+export type { HostedRef, HostedRequest };
+export { hostedPort };
+//# sourceMappingURL=hosted.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hosted.d.ts","sourceRoot":"","sources":["../../src/database/hosted.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,UAAU,EAAgB,MAAM,oBAAoB,CAAA;AAElE,OAAO,KAAK,EACX,QAAQ,EACR,cAAc,EACd,OAAO,EACP,YAAY,EAEZ,UAAU,EAEV,MAAM,wBAAwB,CAAA;AAE/B,OAAO,KAAK,EAAE,WAAW,EAAQ,MAAM,aAAa,CAAA;AAGpD,KAAK,SAAS,GAAG,cAAc,CAAC,YAAY,CAAC,CAAA;AAE7C,kHAAkH;AAClH,KAAK,aAAa,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACzD;IACA,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAC3B,GACD;IACA,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAA;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CACxB,CAAA;AAMJ,+EAA+E;AAC/E,iBAAS,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,GAAG,WAAW,CAAC,aAAa,EAAE,UAAU,CAAC,CAiD9G;AAED,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,CAAA;AACxC,OAAO,EAAE,UAAU,EAAE,CAAA"}

package/dist/database/hosted.js

@@ -0,0 +1,44 @@
+/**
+ * The addon's hosted machine as a driver port. A hosted step is never cancelled: its output carries
+ * requests the machine then waits on, so every step runs to completion even when its caller is
+ * interrupted.
+ */
+import { Effect } from "effect";
+import { addon } from "../native/addon.js";
+import { call } from "../native/op.js";
+function outcomeIn(result) {
+    return result._tag === "Keys" ? { _tag: "Keys", keys: [...result.keys] } : result;
+}
+/** A port over one hosted machine; `onHead` sees every head a step reports. */
+function hostedPort(hosted, onHead) {
+    const step = (operation, start) => call(operation, start, addon.hostedStepTake).pipe(Effect.tap((out) => Effect.sync(() => {
+        if (out.head !== undefined)
+            onHead(out.head);
+    })), Effect.uninterruptible);
+    return {
+        request: (ticket, request) => {
+            switch (request._tag) {
+                case "Open":
+                case "Sync":
+                    return step(`Database.${request._tag}`, (done) => addon.hostedStep(hosted, { _tag: request._tag, ticket }, done));
+                case "Resolve":
+                    return step("Database.resolve", (done) => addon.hostedStep(hosted, { _tag: "Resolve", ticket, request: request.request }, done));
+                case "Freeze":
+                    return step("Database.freeze", (done) => addon.hostedStep(hosted, { _tag: "Freeze", ticket, leaseMillis: request.leaseMillis }, done));
+                case "Submit":
+                    return step("Database.submit", (done) => addon.hostedSubmit(hosted, ticket, request.request, request.revision, request.changes, done));
+                case "Migrate":
+                    return step("Database.migrate", (done) => addon.hostedMigrate(hosted, ticket, request.step, request.base, [...request.copy], request.rows, done));
+            }
+        },
+        respond: (response) => {
+            const { id, date, result } = response;
+            return result._tag === "Body"
+                ? step("Database.respond", (done) => addon.hostedRespondBody(hosted, id, date, result.lastModified, result.bytes, done))
+                : step("Database.respond", (done) => addon.hostedRespond(hosted, id, date, outcomeIn(result), done));
+        },
+        close: step("Database.close", (done) => addon.hostedStep(hosted, { _tag: "Close" }, done))
+    };
+}
+export { hostedPort };
+//# sourceMappingURL=hosted.js.map

package/dist/database/hosted.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hosted.js","sourceRoot":"","sources":["../../src/database/hosted.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAG/B,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAU1C,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AA0BtC,SAAS,SAAS,CAAC,MAAoD;IACtE,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAA;AAClF,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,MAAiB,EAAE,MAA+B;IACrE,MAAM,IAAI,GAAG,CACZ,SAAiB,EACjB,KAAyC,EACE,EAAE,CAC7C,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAY,EAAE,EAAE,CAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QAChB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC7C,CAAC,CAAC,CACF,EACD,MAAM,CAAC,eAAe,CACtB,CAAA;IACF,OAAO;QACN,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;YAC5B,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACtB,KAAK,MAAM,CAAC;gBACZ,KAAK,MAAM;oBACV,OAAO,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAChD,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,CAC9D,CAAA;gBACF,KAAK,SAAS;oBACb,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CACxC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CACrF,CAAA;gBACF,KAAK,QAAQ;oBACZ,OAAO,IAAI,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CACvC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,CAC5F,CAAA;gBACF,KAAK,QAAQ;oBACZ,OAAO,IAAI,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CACvC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAC5F,CAAA;gBACF,KAAK,SAAS;oBACb,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CACxC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CACtG,CAAA;YACH,CAAC;QACF,CAAC;QACD,OAAO,EAAE,CAAC,QAAoB,EAAE,EAAE;YACjC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAA;YACrC,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM;gBAC5B,CAAC,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAClC,KAAK,CAAC,iBAAiB,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAClF;gBACF,CAAC,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;QACtG,CAAC;QACD,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;KAC1F,CAAA;AACF,CAAC;AAGD,OAAO,EAAE,UAAU,EAAE,CAAA"}

package/dist/database/io.d.ts

@@ -0,0 +1,94 @@
+/**
+ * The object-store side of the hosted log. The log machine emits `IoRequest`s as data; this module
+ * runs them against an `ObjectStore` and turns every outcome into an `IoResponse`. Reads are
+ * idempotent and retried here; a create-only PUT is never retried here, because the machine
+ * resolves an ambiguous PUT by reading the key back.
+ */
+import type { Duration } from "effect";
+import { Effect, Schedule } from "effect";
+import { DbError } from "../errors.ts";
+import type { BucketOut, IoRequestOut } from "../native/binding.d.ts";
+/** `Log` is the commit log (`log/`, an S3 Express directory bucket); `Checkpoints` holds `ckpt/` and `mig/`. */
+type Bucket = BucketOut;
+/** One request from the machine. `key` is relative to the database prefix. */
+type IoRequest = IoRequestOut;
+/** Unix milliseconds on the store's clock. */
+type Millis = bigint;
+/** Where a GET delivers the object: returned in memory, or written to a local file. */
+type Target = {
+    readonly _tag: "Memory";
+} | {
+    readonly _tag: "File";
+    readonly path: string;
+};
+/** What a create-only PUT uploads: bytes in memory, or a local file. */
+type Body = {
+    readonly _tag: "Bytes";
+    readonly bytes: Uint8Array;
+} | {
+    readonly _tag: "File";
+    readonly path: string;
+};
+type Fetched = {
+    readonly _tag: "Body";
+    readonly bytes: Uint8Array;
+    readonly lastModified: Millis;
+} | {
+    readonly _tag: "Saved";
+    readonly lastModified: Millis;
+} | {
+    readonly _tag: "Missing";
+};
+/** `Occupied`: the key exists, or, for a log object, another conditional write to it was in progress. */
+type Created = {
+    readonly _tag: "Created";
+} | {
+    readonly _tag: "Occupied";
+};
+type Listed = {
+    readonly _tag: "Keys";
+    readonly keys: readonly string[];
+};
+type Deleted = {
+    readonly _tag: "Deleted";
+};
+/** `Failed` covers everything a store could not answer definitively: 5xx, timeouts, transport. */
+type IoResult = Fetched | Created | Listed | Deleted | {
+    readonly _tag: "Failed";
+};
+interface IoResponse {
+    readonly id: bigint;
+    /** The store's `Date` header, when it sent one. */
+    readonly date: Millis | null;
+    readonly result: IoResult;
+}
+/** A store answer plus the store's clock reading. */
+interface Reply<R> {
+    readonly date: Millis | null;
+    readonly result: R;
+}
+/**
+ * The four verbs the log needs. Keys arrive relative; a store owns its own prefix. LIST and DELETE
+ * exist only for `Checkpoints`: LIST order on an Express bucket is not lexicographic, and a `log/`
+ * key must never disappear.
+ */
+interface ObjectStore {
+    readonly get: (bucket: Bucket, key: string, target: Target) => Effect.Effect<Reply<Fetched>, DbError>;
+    readonly putIfAbsent: (bucket: Bucket, key: string, body: Body) => Effect.Effect<Reply<Created>, DbError>;
+    /** Checkpoint keys under `prefix` after `startAfter`, in lexicographic order. */
+    readonly list: (prefix: string, startAfter: string | null, maxKeys: number) => Effect.Effect<Reply<Listed>, DbError>;
+    /** Deletes one checkpoint key; deleting a missing key succeeds. */
+    readonly delete: (key: string) => Effect.Effect<Reply<Deleted>, DbError>;
+}
+interface ExecutorOptions {
+    /** Bound on one store call; a call that exceeds it counts as `Failed` (or is retried, for a read). */
+    readonly timeout: Duration.Input;
+    /** Retry policy for GET, LIST and DELETE. */
+    readonly readRetry: Schedule.Schedule<unknown, unknown>;
+}
+declare const defaultExecutorOptions: ExecutorOptions;
+/** Runs one request to an `IoResponse`; it never fails. */
+declare function execute(store: ObjectStore, request: IoRequest, options?: ExecutorOptions): Effect.Effect<IoResponse>;
+export type { Body, Bucket, Created, Deleted, ExecutorOptions, Fetched, IoRequest, IoResponse, IoResult, Listed, Millis, ObjectStore, Reply, Target };
+export { defaultExecutorOptions, execute };
+//# sourceMappingURL=io.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../../src/database/io.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACtC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAErE,gHAAgH;AAChH,KAAK,MAAM,GAAG,SAAS,CAAA;AAEvB,8EAA8E;AAC9E,KAAK,SAAS,GAAG,YAAY,CAAA;AAE7B,8CAA8C;AAC9C,KAAK,MAAM,GAAG,MAAM,CAAA;AAEpB,uFAAuF;AACvF,KAAK,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE5F,wEAAwE;AACxE,KAAK,IAAI,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAErH,KAAK,OAAO,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACpF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAE/B,yGAAyG;AACzG,KAAK,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAA;AAE3E,KAAK,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAA;AAEzE,KAAK,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAE3C,kGAAkG;AAClG,KAAK,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAA;AAElF,UAAU,UAAU;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;CACzB;AAED,qDAAqD;AACrD,UAAU,KAAK,CAAC,CAAC;IAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAClB;AAED;;;;GAIG;AACH,UAAU,WAAW;IACpB,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;IACrG,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;IACzG,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;IACpH,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;CACxE;AAED,UAAU,eAAe;IACxB,sGAAsG;IACtG,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAA;IAChC,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;CACvD;AAED,QAAA,MAAM,sBAAsB,EAAE,eAG7B,CAAA;AAwBD,2DAA2D;AAC3D,iBAAS,OAAO,CACf,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,SAAS,EAClB,OAAO,GAAE,eAAwC,GAC/C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAQ3B;AAED,YAAY,EACX,IAAI,EACJ,MAAM,EACN,OAAO,EACP,OAAO,EACP,eAAe,EACf,OAAO,EACP,SAAS,EACT,UAAU,EACV,QAAQ,EACR,MAAM,EACN,MAAM,EACN,WAAW,EACX,KAAK,EACL,MAAM,EACN,CAAA;AACD,OAAO,EAAE,sBAAsB,EAAE,OAAO,EAAE,CAAA"}

package/dist/database/io.js

@@ -0,0 +1,35 @@
+import { Effect, Schedule } from "effect";
+import { DbError } from "../errors.js";
+const defaultExecutorOptions = {
+    timeout: "10 seconds",
+    readRetry: Schedule.exponential("20 millis").pipe(Schedule.jittered, Schedule.upTo({ times: 4 }))
+};
+function refused(request) {
+    return Effect.fail(new DbError({ operation: `ObjectStore.${request.op._tag}`, reason: { _tag: "InvalidArgument" } }));
+}
+function dispatch(store, request) {
+    const { bucket, key, op } = request;
+    switch (op._tag) {
+        case "GetMemory":
+            return store.get(bucket, key, { _tag: "Memory" });
+        case "GetFile":
+            return store.get(bucket, key, { _tag: "File", path: op.path });
+        case "PutBytes":
+            return store.putIfAbsent(bucket, key, { _tag: "Bytes", bytes: op.bytes });
+        case "PutFile":
+            return store.putIfAbsent(bucket, key, { _tag: "File", path: op.path });
+        case "List":
+            return bucket === "Checkpoints" ? store.list(key, op.startAfter ?? null, op.maxKeys) : refused(request);
+        case "Delete":
+            return bucket === "Checkpoints" ? store.delete(key) : refused(request);
+    }
+}
+/** Runs one request to an `IoResponse`; it never fails. */
+function execute(store, request, options = defaultExecutorOptions) {
+    const once = Effect.timeout(dispatch(store, request), options.timeout);
+    const write = request.op._tag === "PutBytes" || request.op._tag === "PutFile";
+    const attempts = write ? once : Effect.retry(once, options.readRetry);
+    return attempts.pipe(Effect.map((reply) => ({ id: request.id, date: reply.date, result: reply.result })), Effect.catch(() => Effect.succeed({ id: request.id, date: null, result: { _tag: "Failed" } })));
+}
+export { defaultExecutorOptions, execute };
+//# sourceMappingURL=io.js.map

package/dist/database/io.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"io.js","sourceRoot":"","sources":["../../src/database/io.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAmEtC,MAAM,sBAAsB,GAAoB;IAC/C,OAAO,EAAE,YAAY;IACrB,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;CACjG,CAAA;AAED,SAAS,OAAO,CAAC,OAAkB;IAClC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,eAAe,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAA;AACtH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAkB,EAAE,OAAkB;IACvD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,CAAA;IACnC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,WAAW;YACf,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;QAClD,KAAK,SAAS;YACb,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;QAC/D,KAAK,UAAU;YACd,OAAO,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;QAC1E,KAAK,SAAS;YACb,OAAO,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;QACvE,KAAK,MAAM;YACV,OAAO,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,IAAI,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACxG,KAAK,QAAQ;YACZ,OAAO,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IACxE,CAAC;AACF,CAAC;AAED,2DAA2D;AAC3D,SAAS,OAAO,CACf,KAAkB,EAClB,OAAkB,EAClB,OAAO,GAAoB,sBAAsB;IAEjD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAAA;IAC7E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAA;IACrE,OAAO,QAAQ,CAAC,IAAI,CACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAc,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAC/F,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAa,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAC1G,CAAA;AACF,CAAC;AAkBD,OAAO,EAAE,sBAAsB,EAAE,OAAO,EAAE,CAAA"}

package/dist/database/mem.d.ts

@@ -0,0 +1,26 @@
+import type { Bucket, Millis, ObjectStore } from "./io.ts";
+type Verb = "get" | "putIfAbsent" | "list" | "delete";
+/** `Fail`: the call fails before it has any effect. `Lose`: the call takes effect, then fails, like a lost response. */
+type Fault = "Fail" | "Lose";
+interface MemStoreOptions {
+    /** The store clock behind `Date` and `Last-Modified`. Defaults to a counter that ticks once per call. */
+    readonly clock?: () => Millis;
+    /** Picks the fault, if any, for each call. */
+    readonly fault?: (call: {
+        readonly verb: Verb;
+        readonly bucket: Bucket;
+        readonly key: string;
+    }) => Fault | undefined;
+}
+/** An in-memory store with the create-only semantics of S3, and deterministic fault injection for tests. */
+interface MemStore extends ObjectStore {
+    /** A copy of the objects currently in `bucket`, by key. */
+    readonly objects: (bucket: Bucket) => ReadonlyMap<string, Uint8Array>;
+}
+declare function make(options?: MemStoreOptions): MemStore;
+declare const MemStore: Readonly<{
+    make: typeof make;
+}>;
+export type { Fault, MemStoreOptions };
+export { MemStore };
+//# sourceMappingURL=mem.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mem.d.ts","sourceRoot":"","sources":["../../src/database/mem.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAQ,MAAM,EAAqC,MAAM,EAAE,WAAW,EAAiB,MAAM,SAAS,CAAA;AAElH,KAAK,IAAI,GAAG,KAAK,GAAG,aAAa,GAAG,MAAM,GAAG,QAAQ,CAAA;AAErD,wHAAwH;AACxH,KAAK,KAAK,GAAG,MAAM,GAAG,MAAM,CAAA;AAE5B,UAAU,eAAe;IACxB,yGAAyG;IACzG,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAA;IAC7B,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,KAAK,KAAK,GAAG,SAAS,CAAA;CACpH;AAOD,4GAA4G;AAC5G,UAAU,QAAS,SAAQ,WAAW;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CACrE;AAMD,iBAAS,IAAI,CAAC,OAAO,GAAE,eAAoB,GAAG,QAAQ,CA2ErD;AAED,QAAA,MAAM,QAAQ;;EAA0B,CAAA;AAExC,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,CAAA;AACtC,OAAO,EAAE,QAAQ,EAAE,CAAA"}

package/dist/database/mem.js

@@ -0,0 +1,67 @@
+import * as fs from "node:fs/promises";
+import { Effect } from "effect";
+import { DbError } from "../errors.js";
+function failure(operation) {
+    return new DbError({ operation, reason: { _tag: "Io", kind: "Injected" } });
+}
+function make(options = {}) {
+    let ticks = 0n;
+    const clock = options.clock ??
+        (() => {
+            ticks += 1n;
+            return ticks;
+        });
+    const buckets = { Log: new Map(), Checkpoints: new Map() };
+    function run(verb, bucket, key, body) {
+        return Effect.suspend(() => {
+            const fault = options.fault?.({ verb, bucket, key });
+            const operation = `MemStore.${verb}`;
+            if (fault === "Fail")
+                return Effect.fail(failure(operation));
+            const now = clock();
+            return Effect.flatMap(body(now), (result) => fault === "Lose" ? Effect.fail(failure(operation)) : Effect.succeed({ date: now, result }));
+        });
+    }
+    const io = (operation, f) => Effect.tryPromise({
+        try: f,
+        catch: () => new DbError({ operation, reason: { _tag: "Io", kind: "File" } })
+    });
+    return {
+        get: (bucket, key, target) => run("get", bucket, key, () => {
+            const stored = buckets[bucket].get(key);
+            if (stored === undefined)
+                return Effect.succeed({ _tag: "Missing" });
+            if (target._tag === "Memory") {
+                return Effect.succeed({ _tag: "Body", bytes: stored.bytes.slice(), lastModified: stored.lastModified });
+            }
+            return io("MemStore.get", () => fs.writeFile(target.path, stored.bytes)).pipe(Effect.as({ _tag: "Saved", lastModified: stored.lastModified }));
+        }),
+        putIfAbsent: (bucket, key, body) => run("putIfAbsent", bucket, key, (now) => {
+            const bytes = body._tag === "Bytes"
+                ? Effect.succeed(body.bytes.slice())
+                : io("MemStore.putIfAbsent", () => fs.readFile(body.path)).pipe(Effect.map((buffer) => new Uint8Array(buffer)));
+            return Effect.map(bytes, (owned) => {
+                const objects = buckets[bucket];
+                if (objects.has(key))
+                    return { _tag: "Occupied" };
+                objects.set(key, { bytes: owned, lastModified: now });
+                return { _tag: "Created" };
+            });
+        }),
+        list: (prefix, startAfter, maxKeys) => run("list", "Checkpoints", prefix, () => {
+            const keys = [...buckets.Checkpoints.keys()]
+                .filter((key) => key.startsWith(prefix) && (startAfter === null || key > startAfter))
+                .sort()
+                .slice(0, maxKeys);
+            return Effect.succeed({ _tag: "Keys", keys });
+        }),
+        delete: (key) => run("delete", "Checkpoints", key, () => {
+            buckets.Checkpoints.delete(key);
+            return Effect.succeed({ _tag: "Deleted" });
+        }),
+        objects: (bucket) => new Map([...buckets[bucket]].map(([key, stored]) => [key, stored.bytes.slice()]))
+    };
+}
+const MemStore = Object.freeze({ make });
+export { MemStore };
+//# sourceMappingURL=mem.js.map

package/dist/database/mem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mem.js","sourceRoot":"","sources":["../../src/database/mem.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AA0BtC,SAAS,OAAO,CAAC,SAAiB;IACjC,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC,CAAA;AAC5E,CAAC;AAED,SAAS,IAAI,CAAC,OAAO,GAAoB,EAAE;IAC1C,IAAI,KAAK,GAAG,EAAE,CAAA;IACd,MAAM,KAAK,GACV,OAAO,CAAC,KAAK;QACb,CAAC,GAAG,EAAE;YACL,KAAK,IAAI,EAAE,CAAA;YACX,OAAO,KAAK,CAAA;QACb,CAAC,CAAC,CAAA;IACH,MAAM,OAAO,GAAwC,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,CAAA;IAE/F,SAAS,GAAG,CACX,IAAU,EACV,MAAc,EACd,GAAW,EACX,IAAgD;QAEhD,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;YAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAA;YACpD,MAAM,SAAS,GAAG,YAAY,IAAI,EAAE,CAAA;YACpC,IAAI,KAAK,KAAK,MAAM;gBAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;YAC5D,MAAM,GAAG,GAAG,KAAK,EAAE,CAAA;YACnB,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAC3C,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAC1F,CAAA;QACF,CAAC,CAAC,CAAA;IACH,CAAC;IAED,MAAM,EAAE,GAAG,CAAI,SAAiB,EAAE,CAAmB,EAAE,EAAE,CACxD,MAAM,CAAC,UAAU,CAAC;QACjB,GAAG,EAAE,CAAC;QACN,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;KAC7E,CAAC,CAAA;IAEH,OAAO;QACN,GAAG,EAAE,CAAC,MAAc,EAAE,GAAW,EAAE,MAAc,EAAE,EAAE,CACpD,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,GAAoC,EAAE;YAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACvC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;YACpE,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;YACxG,CAAC;YACD,OAAO,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAC5E,MAAM,CAAC,EAAE,CAAU,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CACxE,CAAA;QACF,CAAC,CAAC;QACH,WAAW,EAAE,CAAC,MAAc,EAAE,GAAW,EAAE,IAAU,EAAE,EAAE,CACxD,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,EAAmC,EAAE;YACxE,MAAM,KAAK,GACV,IAAI,CAAC,IAAI,KAAK,OAAO;gBACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBACpC,CAAC,CAAC,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAC9C,CAAA;YACJ,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,EAAW,EAAE;gBAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;gBAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAA;gBACjD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAA;gBACrD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;YAC3B,CAAC,CAAC,CAAA;QACH,CAAC,CAAC;QACH,IAAI,EAAE,CAAC,MAAc,EAAE,UAAyB,EAAE,OAAe,EAAE,EAAE,CACpE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAA0B,EAAE;YAC9D,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;iBAC1C,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,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;QAC9C,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,GAAW,EAAE,EAAE,CACvB,GAAG,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,GAA2B,EAAE;YAC9D,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAC/B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAA;QAC3C,CAAC,CAAC;QACH,OAAO,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;KAC9G,CAAA;AACF,CAAC;AAED,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;AAGxC,OAAO,EAAE,QAAQ,EAAE,CAAA"}

package/dist/database/migration.d.ts

@@ -0,0 +1,55 @@
+import type { Effect, Scope } from "effect";
+import type { ChangeDraft } from "../changes.ts";
+import type { QueryReader } from "../db.ts";
+import type { DbError } from "../errors.ts";
+import type { AnySchema } from "../schema.ts";
+/** What `populate` reads from (the database at the old schema) and writes into (rows at the new one). */
+interface PopulateContext<From extends AnySchema, To extends AnySchema> {
+    readonly from: QueryReader<From>;
+    readonly into: ChangeDraft<To>;
+}
+/**
+ * Computes the rows a migration adds at its new schema, reading the database at the old one.
+ * Relations that keep their name and fields are copied unchanged without code.
+ */
+type Populate<From extends AnySchema, To extends AnySchema> = (context: PopulateContext<From, To>) => Effect.Effect<void, DbError, Scope.Scope>;
+/**
+ * One bundled migration: its stable `id` (the directory name), the content `hash` that
+ * `bumbledb generate` wrote (64 hex digits), and the schema it migrates to. The first migration of a
+ * bundle has no `from`: it is the initial schema, and its `populate` seeds a newly created database
+ * once.
+ */
+interface Migration<From extends AnySchema | undefined = AnySchema | undefined, To extends AnySchema = AnySchema> {
+    readonly id: string;
+    readonly hash: string;
+    readonly from: From;
+    readonly to: To;
+    readonly populate?: Populate<From extends AnySchema ? From : To, To>;
+}
+/** Any migration of a bundle; its `populate` is read back through {@link populateOf}. */
+interface AnyMigration {
+    readonly id: string;
+    readonly hash: string;
+    readonly from: AnySchema | undefined;
+    readonly to: AnySchema;
+    readonly populate?: unknown;
+}
+/** A bundle: the initial migration first, then each migration from its predecessor's schema. */
+type Migrations = readonly [AnyMigration, ...AnyMigration[]];
+declare function make<To extends AnySchema, From extends AnySchema = never>(input: {
+    readonly id: string;
+    readonly hash: string;
+    readonly from?: From;
+    readonly to: To;
+    readonly populate?: Populate<[From] extends [never] ? To : From, To>;
+}): Migration<[From] extends [never] ? undefined : From, To>;
+/** The populate step of a migration `make` built. */
+declare function populateOf(migration: AnyMigration): Populate<AnySchema, AnySchema> | undefined;
+/** Checks that each migration starts from its predecessor's schema and that ids are unique. */
+declare function verifyBundle(migrations: Migrations): void;
+declare const Migration: Readonly<{
+    make: typeof make;
+}>;
+export type { AnyMigration, Migrations, Populate, PopulateContext };
+export { Migration, populateOf, verifyBundle };
+//# sourceMappingURL=migration.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"migration.d.ts","sourceRoot":"","sources":["../../src/database/migration.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAG7C,yGAAyG;AACzG,UAAU,eAAe,CAAC,IAAI,SAAS,SAAS,EAAE,EAAE,SAAS,SAAS;IACrE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAA;IAChC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC,CAAA;CAC9B;AAED;;;GAGG;AACH,KAAK,QAAQ,CAAC,IAAI,SAAS,SAAS,EAAE,EAAE,SAAS,SAAS,IAAI,CAC7D,OAAO,EAAE,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,KAC9B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;AAE9C;;;;;GAKG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,EAAE,EAAE,SAAS,SAAS,GAAG,SAAS;IAC/G,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,IAAI,SAAS,SAAS,GAAG,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,CAAA;CACpE;AAED,yFAAyF;AACzF,UAAU,YAAY;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAA;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,gGAAgG;AAChG,KAAK,UAAU,GAAG,SAAS,CAAC,YAAY,EAAE,GAAG,YAAY,EAAE,CAAC,CAAA;AAK5D,iBAAS,IAAI,CAAC,EAAE,SAAS,SAAS,EAAE,IAAI,SAAS,SAAS,GAAG,KAAK,EAAE,KAAK,EAAE;IAC1E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACpB,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAA;IACf,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC,CAAA;CACpE,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,GAAG,IAAI,EAAE,EAAE,CAAC,CAAA;AAoB5D,qDAAqD;AACrD,iBAAS,UAAU,CAAC,SAAS,EAAE,YAAY,GAAG,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,SAAS,CAEvF;AAED,+FAA+F;AAC/F,iBAAS,YAAY,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAkBlD;AAED,QAAA,MAAM,SAAS;;EAA0B,CAAA;AAEzC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAA;AACnE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,CAAA"}

package/dist/database/migration.js

@@ -0,0 +1,46 @@
+import { AuthoringError } from "../errors.js";
+import { schemaDescriptor, schemasAgree } from "../schema.js";
+const HASH = /^[0-9a-f]{64}$/;
+const ID = /^[0-9]{4}_[A-Za-z0-9_]+$/;
+function make(input) {
+    if (!ID.test(input.id))
+        throw new AuthoringError({ message: `migration ${input.id}: an id is NNNN_name` });
+    if (!HASH.test(input.hash))
+        throw new AuthoringError({ message: `migration ${input.id}: a hash is 64 hex digits` });
+    const migration = {
+        id: input.id,
+        hash: input.hash,
+        from: input.from === undefined ? undefined : schemaDescriptor(input.from),
+        to: schemaDescriptor(input.to),
+        ...(input.populate === undefined ? {} : { populate: input.populate })
+    };
+    return Object.freeze(migration);
+}
+/** The populate step of a migration `make` built. */
+function populateOf(migration) {
+    return migration.populate;
+}
+/** Checks that each migration starts from its predecessor's schema and that ids are unique. */
+function verifyBundle(migrations) {
+    const ids = new Set();
+    migrations.forEach((migration, index) => {
+        if (ids.has(migration.id))
+            throw new AuthoringError({ message: `migrations: ${migration.id} appears twice` });
+        ids.add(migration.id);
+        const previous = migrations[index - 1];
+        if (previous === undefined) {
+            if (migration.from !== undefined) {
+                throw new AuthoringError({ message: `migrations: the first migration ${migration.id} has no from schema` });
+            }
+            return;
+        }
+        if (migration.from === undefined || !schemasAgree(migration.from, previous.to)) {
+            throw new AuthoringError({
+                message: `migrations: ${migration.id} must start from the schema ${previous.id} migrates to`
+            });
+        }
+    });
+}
+const Migration = Object.freeze({ make });
+export { Migration, populateOf, verifyBundle };
+//# sourceMappingURL=migration.js.map

package/dist/database/migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration.js","sourceRoot":"","sources":["../../src/database/migration.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE7C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AA0C7D,MAAM,IAAI,GAAG,gBAAgB,CAAA;AAC7B,MAAM,EAAE,GAAG,0BAA0B,CAAA;AASrC,SAAS,IAAI,CAAC,KAMb;IACA,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,aAAa,KAAK,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAA;IAC1G,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,aAAa,KAAK,CAAC,EAAE,2BAA2B,EAAE,CAAC,CAAA;IACnH,MAAM,SAAS,GAAG;QACjB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;QACzE,EAAE,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;KACrE,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;AAChC,CAAC;AAED,qDAAqD;AACrD,SAAS,UAAU,CAAC,SAAuB;IAC1C,OAAO,SAAS,CAAC,QAAsD,CAAA;AACxE,CAAC;AAED,+FAA+F;AAC/F,SAAS,YAAY,CAAC,UAAsB;IAC3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,eAAe,SAAS,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAA;QAC7G,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;QACrB,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,mCAAmC,SAAS,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAA;YAC5G,CAAC;YACD,OAAM;QACP,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,eAAe,SAAS,CAAC,EAAE,+BAA+B,QAAQ,CAAC,EAAE,cAAc;aAC5F,CAAC,CAAA;QACH,CAAC;IACF,CAAC,CAAC,CAAA;AACH,CAAC;AAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;AAGzC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,CAAA"}

package/dist/database/s3.d.ts

@@ -0,0 +1,36 @@
+import type { ObjectStore } from "./io.ts";
+/**
+ * The part of an AWS SDK v3 `S3Client` the store calls. Declared here so the package's types do not
+ * require the optional `@aws-sdk/client-s3` peer.
+ */
+interface S3Sender {
+    send(command: never, options: {
+        readonly abortSignal: AbortSignal;
+    }): Promise<unknown>;
+}
+interface S3StoreOptions {
+    /**
+     * The application's own `S3Client`: it owns credentials, region, endpoint and SDK retries. Its
+     * connections resolve DNS on libuv's thread pool, 4 threads by default, which serializes a cold
+     * open's parallel reads where lookups are slow.
+     */
+    readonly client: S3Sender;
+    /** The commit log bucket, ideally an S3 Express directory bucket (`name--azid--x-s3`). */
+    readonly log: {
+        readonly bucket: string;
+    };
+    /** The checkpoint bucket: an S3 Standard bucket, whose LIST is lexicographic. */
+    readonly checkpoints: {
+        readonly bucket: string;
+    };
+    /** Prepended to every key; empty, or ending in `/`. */
+    readonly prefix: string;
+}
+/** A store over the application's AWS SDK v3 client. Every key lives under `prefix`. */
+declare function make(options: S3StoreOptions): ObjectStore;
+declare const S3Store: Readonly<{
+    make: typeof make;
+}>;
+export type { S3Sender, S3StoreOptions };
+export { S3Store };
+//# sourceMappingURL=s3.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"s3.d.ts","sourceRoot":"","sources":["../../src/database/s3.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAA2D,WAAW,EAAiB,MAAM,SAAS,CAAA;AAMlH;;;GAGG;AACH,UAAU,QAAQ;IACjB,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;QAAE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAA;KAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACtF;AAED,UAAU,cAAc;IACvB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,0FAA0F;IAC1F,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACzC,iFAAiF;IACjF,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IACjD,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AA8ED,wFAAwF;AACxF,iBAAS,IAAI,CAAC,OAAO,EAAE,cAAc,GAAG,WAAW,CAiHlD;AAED,QAAA,MAAM,OAAO;;EAA0B,CAAA;AAEvC,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,CAAA"}