@aotter/mantle 0.1.4 → 0.2.0-alpha.1

package/dist/d1/dialect.js

@@ -0,0 +1,13 @@
+import { decodeOutput, encodeInput } from "./codec.js";
+import { bindBox, d1Lowering } from "./lower.js";
+import { name, version } from "./compile/index.js";
+import { validateIr } from "./validator.js";
+export const d1Dialect = {
+    name,
+    version,
+    codec: { encode: encodeInput, decode: decodeOutput },
+    check: validateIr,
+    lowering: d1Lowering,
+    bind: bindBox,
+};
+//# sourceMappingURL=dialect.js.map

package/dist/d1/dialect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dialect.js","sourceRoot":"","sources":["../../src/d1/dialect.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,MAAM,CAAC,MAAM,SAAS,GAAkB;IACtC,IAAI;IACJ,OAAO;IACP,KAAK,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE;IACpD,KAAK,EAAE,UAAU;IACjB,QAAQ,EAAE,UAAU;IACpB,IAAI,EAAE,OAAO;CACd,CAAC"}

package/dist/d1/executor.d.ts

@@ -0,0 +1,13 @@
+import type { DatabaseDriver } from "../core/driver.js";
+import type { StoreExecutor, StoreRow } from "../core/store.js";
+type Statement = Parameters<StoreExecutor["select"]>[0];
+export declare class SqliteStoreExecutor implements StoreExecutor {
+    private readonly driver;
+    readonly maxBindings: number;
+    constructor(driver: DatabaseDriver, maxBindings?: number);
+    private prepared;
+    select(statement: Statement): Promise<readonly StoreRow[]>;
+    apply(batch: readonly Statement[]): ReturnType<StoreExecutor["apply"]>;
+}
+export {};
+//# sourceMappingURL=executor.d.ts.map

package/dist/d1/executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor.d.ts","sourceRoot":"","sources":["../../src/d1/executor.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAgB,MAAM,mBAAmB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGhE,KAAK,SAAS,GAAG,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AA0DxD,qBAAa,mBAAoB,YAAW,aAAa;IAC3C,OAAO,CAAC,QAAQ,CAAC,MAAM;IAAkB,QAAQ,CAAC,WAAW;gBAA5C,MAAM,EAAE,cAAc,EAAW,WAAW,SAAM;IAE/E,OAAO,CAAC,QAAQ;IAKV,MAAM,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,SAAS,QAAQ,EAAE,CAAC;IAK1D,KAAK,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;CAa7E"}

package/dist/d1/executor.js

@@ -0,0 +1,91 @@
+/** SqliteStoreExecutor: the only StoreExecutor (ADR-0034 decision 6). Prints IR and runs it on a DatabaseDriver. */
+import { DiagnosticError, runtimeDiagnostic } from "../spec/kernel/index.js";
+import { print } from "./print.js";
+const fail = (code, message, conflict) => new DiagnosticError(runtimeDiagnostic({ code, severity: "error", path: "store", message, ...(conflict ? { conflict } : {}) }));
+function mapError(kind, writes = []) {
+    return (e) => mapped(e, kind, writes);
+}
+/** The table a statement writes, lower-cased, or undefined for a read. */
+function writeTarget(ir) {
+    const node = ir;
+    const stmt = node.InsertStmt ?? node.UpdateStmt ?? node.DeleteStmt;
+    return stmt?.relation?.relname?.toLowerCase();
+}
+/** SQLite's primary codes that say nothing about the statement: a lock, memory, I/O, a full disk, an interrupt. */
+const TRANSIENT_CODES = new Set([5, 6, 7, 9, 10, 13]);
+const TRANSIENT = /SQLITE_(BUSY|LOCKED|NOMEM|IOERR|FULL|INTERRUPT)/;
+/**
+ * How the engine answered. D1 writes `SQLITE_…` into the message; bun:sqlite and libSQL put an extended code in `code` (bun only
+ * for extended codes: a plain SQLITE_ERROR is a `SQLiteError` with `errno` 1), node:sqlite gives a numeric `errcode`.
+ * `transient` (busy, I/O, full) says nothing about the statement and is treated as no answer: a commit that hit it may have landed.
+ */
+function engineAnswer(e, message) {
+    const { code, errcode, errno, name } = (e ?? {});
+    const primary = typeof errcode === "number" ? errcode & 0xff : name === "SQLiteError" && typeof errno === "number" ? errno & 0xff : undefined;
+    const text = `${message} ${typeof code === "string" ? code : ""}`;
+    if ((primary !== undefined && TRANSIENT_CODES.has(primary)) || TRANSIENT.test(text))
+        return "transient";
+    return /SQLITE_[A-Z_]+/.test(text) || primary !== undefined ? "refused" : "none";
+}
+function mapped(e, kind, writes = []) {
+    const message = e instanceof Error ? e.message : String(e);
+    const op = /CONFLICT op=(\d+)/.exec(message);
+    if (op)
+        throw fail("CONFLICT", `CONFLICT op=${op[1]}: the write matched a different number of rows than it expected`, { opIndex: Number(op[1]), reason: "expect" });
+    // the trigger's marker, then "<schema>: <expression>" up to the engine's own suffix (the expression may hold colons)
+    // D1 appends ": SQLITE_CONSTRAINT"; other drivers end the message at the check (the expression may hold colons)
+    const check = /MANTLE_CHECK (.*?)(?:: SQLITE_CONSTRAINT.*)?$/s.exec(message);
+    if (check)
+        throw fail("INPUT_VALIDATION_FAILED", `CHECK ${check[1]}`);
+    if (/cannot store \w+ value in \w+ column/.test(message))
+        throw fail("INPUT_VALIDATION_FAILED", "A value does not fit its column's type.");
+    // the driver's own text names tables and columns, so it stays out of the Diagnostic
+    const unique = /UNIQUE constraint failed: "?(\w+)"?\./.exec(message);
+    if (unique || /UNIQUE constraint failed/.test(message)) {
+        // the engine names the table, never the statement: the op is known when exactly one statement of the batch writes that table
+        const table = unique?.[1]?.toLowerCase();
+        const ops = table ? writes.flatMap((t, i) => (t === table ? [i] : [])) : [];
+        throw fail("CONFLICT", "A unique constraint of the Schema was violated.", { reason: "unique", ...(ops.length === 1 ? { opIndex: ops[0] } : {}) });
+    }
+    if (/ON CONFLICT clause does not match/.test(message))
+        throw fail("INPUT_VALIDATION_FAILED", "onConflict.columns must match a unique index of the Schema.");
+    if (/NOT NULL constraint failed/.test(message))
+        throw fail("INPUT_VALIDATION_FAILED", "A required column has no value; a scoped Schema needs a caller identity.");
+    // the engine answered and refused (a constraint, a type, a syntax problem): the write did not happen
+    if (engineAnswer(e, message) === "refused")
+        throw fail("INPUT_VALIDATION_FAILED", "The database refused the statement.");
+    // no answer (the connection dropped, a timeout): a read can be retried, a write may or may not have landed and must be reconciled
+    throw fail(kind === "apply" ? "OUTCOME_UNKNOWN" : "RESOURCE_UNAVAILABLE", kind === "apply" ? "The database did not answer; the write may or may not have been applied." : "The database did not answer.");
+}
+export class SqliteStoreExecutor {
+    driver;
+    maxBindings;
+    constructor(driver, maxBindings = 100) {
+        this.driver = driver;
+        this.maxBindings = maxBindings;
+    }
+    prepared(s) {
+        if (s.binds.length > this.maxBindings)
+            throw fail("INPUT_VALIDATION_FAILED", `a statement binds ${s.binds.length} values; the limit is ${this.maxBindings}`);
+        return { sql: print(s.ir), binds: s.binds };
+    }
+    async select(statement) {
+        const [res] = await this.driver.batch([this.prepared(statement)]).catch(mapError("select"));
+        return res.rows;
+    }
+    async apply(batch) {
+        const sent = [];
+        const at = [];
+        batch.forEach((s, i) => {
+            at[i] = sent.length;
+            sent.push(this.prepared(s));
+            // count with SQLite's changes(), not D1's meta.changes, which includes rows that triggers wrote
+            sent.push({ sql: "SELECT changes() AS n" });
+            if (s.expect !== undefined)
+                sent.push({ sql: `INSERT INTO _mantle_assert (op, ok) SELECT ${i}, changes() = ${Number(s.expect)}` });
+        });
+        const res = await this.driver.batch(sent).catch(mapError("apply", batch.map((s) => writeTarget(s.ir))));
+        return batch.map((_s, i) => ({ affected: Number(res[at[i] + 1].rows[0].n), rows: res[at[i]].rows }));
+    }
+}
+//# sourceMappingURL=executor.js.map

package/dist/d1/executor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor.js","sourceRoot":"","sources":["../../src/d1/executor.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAmB,MAAM,yBAAyB,CAAC;AAG9F,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAInC,MAAM,IAAI,GAAG,CAAC,IAAwB,EAAE,OAAe,EAAE,QAAiC,EAAE,EAAE,CAC5F,IAAI,eAAe,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEjI,SAAS,QAAQ,CAAC,IAAwB,EAAE,SAA0C,EAAE;IACtF,OAAO,CAAC,CAAU,EAAS,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AACxD,CAAC;AAED,0EAA0E;AAC1E,SAAS,WAAW,CAAC,EAAmB;IACtC,MAAM,IAAI,GAAI,EAA0D,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC;IACnE,OAAO,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,mHAAmH;AACnH,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AACtD,MAAM,SAAS,GAAG,iDAAiD,CAAC;AAEpE;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAAU,EAAE,OAAe;IAC/C,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAA2E,CAAC;IAC3H,MAAM,OAAO,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9I,MAAM,IAAI,GAAG,GAAG,OAAO,IAAI,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAClE,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IACxG,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;AACnF,CAAC;AAED,SAAS,MAAM,CAAC,CAAU,EAAE,IAAwB,EAAE,SAA0C,EAAE;IAChG,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,IAAI,EAAE;QAAE,MAAM,IAAI,CAAC,UAAU,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,iEAAiE,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACpK,qHAAqH;IACrH,gHAAgH;IAChH,MAAM,KAAK,GAAG,gDAAgD,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7E,IAAI,KAAK;QAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,IAAI,sCAAsC,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,yCAAyC,CAAC,CAAC;IAC3I,oFAAoF;IACpF,MAAM,MAAM,GAAG,uCAAuC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,MAAM,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,6HAA6H;QAC7H,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,CAAC,UAAU,EAAE,iDAAiD,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrJ,CAAC;IACD,IAAI,mCAAmC,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,6DAA6D,CAAC,CAAC;IAC5J,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,0EAA0E,CAAC,CAAC;IAClK,qGAAqG;IACrG,IAAI,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,qCAAqC,CAAC,CAAC;IACzH,kIAAkI;IAClI,MAAM,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,sBAAsB,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,0EAA0E,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;AAC5M,CAAC;AAED,MAAM,OAAO,mBAAmB;IACD;IAAiC;IAA9D,YAA6B,MAAsB,EAAW,cAAc,GAAG;QAAlD,WAAM,GAAN,MAAM,CAAgB;QAAW,gBAAW,GAAX,WAAW,CAAM;IAAG,CAAC;IAE3E,QAAQ,CAAC,CAAY;QAC3B,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,WAAW;YAAE,MAAM,IAAI,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAAC,KAAK,CAAC,MAAM,yBAAyB,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC7J,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,SAAoB;QAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5F,OAAO,GAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,KAA2B;QACrC,MAAM,IAAI,GAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAa,EAAE,CAAC;QACxB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,gGAAgG;YAChG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,uBAAuB,EAAE,CAAC,CAAC;YAC5C,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,8CAA8C,CAAC,iBAAiB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACrI,CAAC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxG,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5G,CAAC;CACF"}

package/dist/d1/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * `@aotter/mantle/d1`: the built-in dialect's runtime side (ADR-0035 decision 6). ADR-0034's subset check, the SQLite
+ * rendering and codec, FTS5 and R*Tree lowering, and trigger-based convergence, over any SQLite-family `DatabaseDriver`.
+ */
+export { sqliteStorage } from "./adapter.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/d1/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/d1/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/d1/index.js

@@ -0,0 +1,6 @@
+/**
+ * `@aotter/mantle/d1`: the built-in dialect's runtime side (ADR-0035 decision 6). ADR-0034's subset check, the SQLite
+ * rendering and codec, FTS5 and R*Tree lowering, and trigger-based convergence, over any SQLite-family `DatabaseDriver`.
+ */
+export { sqliteStorage } from "./adapter.js";
+//# sourceMappingURL=index.js.map

package/dist/d1/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/d1/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/d1/lower.d.ts

@@ -0,0 +1,8 @@
+import type { BindContext } from '../core/sql/compile.js';
+import type { PolicyLowering } from '../core/sql/policy.js';
+export declare const d1Lowering: PolicyLowering;
+/** Resolves the D1 dialect's own bind, a corner of a near() box, for one call. */
+export declare function bindBox(spec: {
+    readonly k: 'dialect';
+}, ctx: BindContext): number;
+//# sourceMappingURL=lower.d.ts.map

package/dist/d1/lower.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/d1/lower.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,uBAAuB,CAAC;AAqI3E,eAAO,MAAM,UAAU,EAAE,cAmBxB,CAAC;AAEF,kFAAkF;AAClF,wBAAgB,OAAO,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAA;CAAE,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAKjF"}

package/dist/d1/lower.js

@@ -0,0 +1,167 @@
+// The D1 dialect's lowering (ADR-0034 decision 8, ADR-0035 decision 6): what Core's policy rewriter hands a dialect to spell
+// in SQLite. Casts become the storage encodings, Mantle's functions become FTS5, R*Tree and `_mantle_tz` lookups, and a
+// surviving function prints as a plain call. Runs in the tenant Worker: AST in, AST out, no parser.
+import { SqlRefusal as Refused, ftsTableName, geoTreeName, intervalMicros, parseNumeric } from '../spec/domain/index.js';
+import { S, num, ref as col, target as res } from '../core/sql/ast.js';
+import { runtimeDiagnostic, DiagnosticError } from '../spec/kernel/index.js';
+import { encodeDate, encodeNumeric, encodeTimestamptz, sqliteType } from './codec.js';
+const fn = (f, ...args) => ({ FuncCall: { funcname: [S(f)], args, funcformat: 'COERCE_EXPLICIT_CALL' } });
+const cast = (x, t) => ({ TypeCast: { arg: x, typeName: { names: [S(t)], typemod: -1 } } });
+const clone = (x) => structuredClone(x);
+/**
+ * A lowering written as SQLite text. `__name` splices a (cloned) sub-AST, in parentheses; everything else is
+ * emitted as written. The printer prints a `Raw` node as a parenthesized expression, so the runtime parses nothing.
+ */
+const TOKEN = /"(?:[^"]|"")*"|'(?:[^']|'')*'|__\w+/g;
+function sql(text, subst = {}) {
+    const parts = [];
+    let last = 0;
+    // a placeholder is only ever unquoted: a quoted identifier or string is text, so a user's alias `n__q` cannot be spliced into
+    for (const m of text.matchAll(TOKEN)) {
+        if (!m[0].startsWith('__'))
+            continue;
+        const node = subst[m[0]];
+        if (!node)
+            throw new Error(`lowering template names ${m[0]} but was not given it`);
+        if (m.index > last)
+            parts.push(text.slice(last, m.index));
+        parts.push('(', clone(node), ')');
+        last = m.index + m[0].length;
+    }
+    if (last < text.length)
+        parts.push(text.slice(last));
+    return { Raw: { parts } };
+}
+const q = (id) => `"${id.replace(/"/g, '""')}"`;
+const OFF = (x) => `coalesce((SELECT offset_us FROM _mantle_tz WHERE from_us <= ${x} ORDER BY from_us DESC LIMIT 1), 0)`;
+const FD = (a, b) => `((${a} - ((${a} % ${b}) + ${b}) % ${b}) / ${b})`; // exact integer floor division
+const LOCAL = `(__ts + ${OFF('__ts')})`; // wall-clock microseconds in the site time zone, read as if UTC
+const DAY = 86_400_000_000;
+const TRUNC = {
+    hour: `(${FD(LOCAL, 3_600_000_000)} * 3600000000)`,
+    day: `(${FD(LOCAL, DAY)} * ${DAY})`,
+    week: `((${FD(LOCAL, DAY)} - (((${FD(LOCAL, DAY)} + 3) % 7 + 7) % 7)) * ${DAY})`, // 1970-01-01 is a Thursday; ISO weeks start on Monday
+    month: `(unixepoch(strftime('%Y-%m-01 00:00:00', ${FD(LOCAL, 1_000_000)}, 'unixepoch')) * 1000000)`,
+    year: `(unixepoch(strftime('%Y-01-01 00:00:00', ${FD(LOCAL, 1_000_000)}, 'unixepoch')) * 1000000)`,
+};
+const EXTRACT = { year: '%Y', month: '%m', day: '%d', hour: '%H', dow: '%w' };
+const HAV = (lat1, lng1) => `(2 * 6371008.8 * asin(min(1.0, sqrt(sin(radians(__lat - ${lat1}) / 2) * sin(radians(__lat - ${lat1}) / 2) + cos(radians(${lat1})) * cos(radians(__lat)) * sin(radians(__lng - ${lng1}) / 2) * sin(radians(__lng - ${lng1}) / 2)))))`;
+const strConst = (n) => n?.A_Const?.sval?.sval;
+const argOf = (n, scope) => {
+    const k = n.ColumnRef?.fields?.length === 2 ? n.ColumnRef.fields[1].String.sval : undefined;
+    if (k)
+        return { input: k, type: scope.inputs[k] };
+    return { const: Number(n.A_Const?.ival?.ival ?? n.A_Const?.fval?.fval) };
+};
+function lowerFunc(f, n, scope) {
+    const args = n.args ?? [];
+    switch (f) {
+        case 'date_trunc': {
+            const ts = scope.tx(args[1]);
+            return sql(`(${TRUNC[strConst(args[0])]}) - ${OFF(`(${TRUNC[strConst(args[0])]}) - ${OFF('__ts')}`)}`, { __ts: ts });
+        }
+        case 'extract': {
+            const ts = scope.tx(args[1]);
+            return sql(`CAST(strftime('${EXTRACT[strConst(args[0])]}', ${FD(LOCAL, 1_000_000)}, 'unixepoch') AS INTEGER)`, { __ts: ts });
+        }
+        case 'mantle.search':
+        case 'mantle.search_rank': {
+            const alias = args[0].ColumnRef.fields[0].String.sval;
+            const { schema, def, searchQuery } = scope.alias(alias);
+            if (!def.search?.length)
+                throw new Refused('SQL_FUNCTION', `${schema} declares no search fields`);
+            scope.seen('search');
+            const fts = q(ftsTableName(schema)), a = q(alias);
+            const query = scope.tx(f === 'mantle.search' ? args[1] : searchQuery ?? (() => { throw new Refused('SQL_FUNCTION', `mantle.search_rank(${alias}) needs a mantle.search(${alias}, ...) in the same query`); })());
+            const phrase = `'"' || replace(__q, '"', '""') || '"'`; // a quoted phrase: FTS5 operators in the query are literal. `fts = q` is FTS5's spelling of `fts MATCH q`; PostgreSQL's grammar has no MATCH
+            if (f === 'mantle.search_rank')
+                return sql(`coalesce((SELECT bm25(${fts}) FROM ${fts} WHERE ${fts} = ${phrase} AND rowid = ${a}._rid), 0)`, { __q: query });
+            const like = def.search.map((fld) => `${a}.${q(fld)} LIKE '%' || replace(replace(replace(__q, '!', '!!'), '%', '!%'), '_', '!_') || '%' ESCAPE '!'`).join(' OR ');
+            // trigram cannot match under three characters: fall back to LIKE over the same fields
+            return sql(`CASE WHEN length(__q) >= 3 THEN ${a}._rid IN (SELECT rowid FROM ${fts} WHERE ${fts} = ${phrase}) ELSE (${like}) END`, { __q: query });
+        }
+        case 'mantle.near':
+        case 'mantle.distance': {
+            const [ref, latN, lngN] = args;
+            const alias = ref.ColumnRef.fields[0].String.sval, fld = ref.ColumnRef.fields[1].String.sval;
+            const { schema, def } = scope.alias(alias);
+            if (def.fields[fld] !== 'geo')
+                throw new Refused('SQL_FUNCTION', `${schema}.${fld} is not a geo field`);
+            const a = q(alias);
+            const dist = HAV(`${a}.${q(fld + '_lat')}`, `${a}.${q(fld + '_lng')}`);
+            const sub = { __lat: scope.tx(latN), __lng: scope.tx(lngN) };
+            if (f === 'mantle.distance')
+                return sql(dist, sub);
+            scope.seen('near');
+            const meters = Number(args[3].A_Const.ival?.ival ?? args[3].A_Const.fval?.fval);
+            const b = (which) => scope.param({ k: 'dialect', box: which, lat: argOf(latN, scope), lng: argOf(lngN, scope), meters });
+            const geo = q(geoTreeName(schema, fld));
+            return sql(`(${a}._rid IN (SELECT id FROM ${geo} WHERE minLat >= __b0 AND maxLat <= __b1 AND minLng >= __b2 AND maxLng <= __b3) AND ${dist} <= ${meters})`, { ...sub, __b0: b('minLat'), __b1: b('maxLat'), __b2: b('minLng'), __b3: b('maxLng') });
+        }
+    }
+    return undefined;
+}
+// A literal cast lowers to its encoded number as an expression: an integer in ORDER BY or GROUP BY, even parenthesized, is a
+// column position to SQLite, and `n + 0` is not
+const value = (x) => ({ Raw: { parts: [x, " + 0"] } });
+function lowerCast(n, scope) {
+    const t = n.typeName.names.at(-1).String.sval;
+    const lit = n.arg?.A_Const;
+    const litStr = lit?.sval?.sval ?? lit?.fval?.fval ?? (lit?.ival?.ival !== undefined ? String(lit.ival.ival) : undefined);
+    if (t === 'interval')
+        return value(num(intervalMicros(lit.sval.sval, n.typeName.typmods?.[0]?.A_Const?.ival?.ival)));
+    if (t === 'timestamptz')
+        return value(num(encodeTimestamptz(litStr)));
+    if (t === 'date')
+        return value(num(encodeDate(litStr)));
+    if (t === 'numeric') {
+        const [p, s] = n.typeName.typmods.map((m) => m.A_Const.ival.ival);
+        parseNumeric(`numeric(${p}, ${s})`);
+        return value(num(encodeNumeric(litStr, p, s)));
+    }
+    // PostgreSQL: a number is true when non-zero, text by its spelling; NULL stays NULL. A bare `x <> 0` is always true for text in SQLite ('false' <> 0 is 1)
+    if (t === 'bool')
+        return sql(`CASE WHEN typeof(__x) = 'text' THEN lower(__x) IN ('t', 'true', 'y', 'yes', 'on', '1') WHEN __x IS NULL THEN NULL ELSE __x <> 0 END`, { __x: scope.tx(n.arg) });
+    const target = t === 'int4' || t === 'int8' ? 'integer' : t === 'float8' ? 'real' : 'text';
+    return cast(scope.tx(n.arg), target);
+}
+/** The box a near() query binds to the R*Tree: a bounding box of the radius, padded for float32 storage. */
+function box(which, lat, lng, meters) {
+    const dLat = meters / 111_320;
+    const dLng = meters / (111_320 * Math.max(Math.cos((lat * Math.PI) / 180), 1e-9));
+    const pad = 1e-4;
+    if (Math.abs(lat) + dLat >= 90 || Math.abs(lng) + dLng >= 180)
+        throw new DiagnosticError(runtimeDiagnostic({ code: "INPUT_VALIDATION_FAILED", severity: "error", path: "store", message: "mantle.near(): a box that crosses the antimeridian or a pole is refused" }));
+    return { minLat: lat - dLat - pad, maxLat: lat + dLat + pad, minLng: lng - dLng - pad, maxLng: lng + dLng + pad }[which];
+}
+export const d1Lowering = {
+    // decision 5: every bind is CAST to its declared type
+    input: (param, type) => cast(param, sqliteType(type)),
+    func: lowerFunc,
+    /** A function that survives lowering prints as a plain call: no `pg_catalog.` prefix, no SQL-syntax form (TRIM(BOTH FROM x)). */
+    call(out) {
+        if (out.funcname[0].String.sval === 'pg_catalog')
+            out.funcname = out.funcname.slice(1);
+        if (out.funcname.length === 1 && out.funcname[0].String.sval === 'btrim')
+            out.funcname = [S('trim')]; // PostgreSQL's spelling of trim(x)
+        out.funcformat = 'COERCE_EXPLICIT_CALL';
+        return { FuncCall: out };
+    },
+    cast: lowerCast,
+    sublink(out) {
+        if (out.subLinkType === 'ANY_SUBLINK')
+            delete out.operName; // `x = ANY (subquery)` is `x IN (subquery)`; SQLite has no ANY
+        return { SubLink: out };
+    },
+    newId: () => fn('lower', fn('hex', fn('randomblob', num(16)))),
+    // the FTS5 and R*Tree tables join on SQLite's rowid
+    columns: (s) => (s.search?.length || Object.values(s.fields).includes('geo') ? [res(col('rowid'), '_rid')] : []),
+};
+/** Resolves the D1 dialect's own bind, a corner of a near() box, for one call. */
+export function bindBox(spec, ctx) {
+    const b = spec;
+    const input = ctx.input ?? {};
+    const arg = (a) => ('const' in a ? a.const : Number(input[a.input]));
+    return box(b.box, arg(b.lat), arg(b.lng), b.meters);
+}
+//# sourceMappingURL=lower.js.map

package/dist/d1/lower.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../src/d1/lower.ts"],"names":[],"mappings":"AAAA,6HAA6H;AAC7H,wHAAwH;AACxH,oGAAoG;AACpG,OAAO,EAAE,UAAU,IAAI,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAqB,MAAM,yBAAyB,CAAC;AAC5I,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,MAAM,IAAI,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAGvE,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAOtF,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,GAAG,IAAS,EAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;AAC1H,MAAM,IAAI,GAAG,CAAC,CAAI,EAAE,CAAS,EAAK,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAC1G,MAAM,KAAK,GAAG,CAAK,CAAI,EAAK,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;AAElD;;;GAGG;AACH,MAAM,KAAK,GAAG,sCAAsC,CAAC;AACrD,SAAS,GAAG,CAAC,IAAY,EAAE,QAA2B,EAAE;IACtD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,8HAA8H;IAC9H,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;QACnF,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/B,CAAC;IACD,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAoB,EAAE,CAAC;AAC9C,CAAC;AACD,MAAM,CAAC,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,+DAA+D,CAAC,qCAAqC,CAAC;AACjI,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,+BAA+B;AACvH,MAAM,KAAK,GAAG,WAAW,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,gEAAgE;AACzG,MAAM,GAAG,GAAG,cAAc,CAAC;AAC3B,MAAM,KAAK,GAA2B;IACpC,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,aAAa,CAAC,gBAAgB;IAClD,GAAG,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,GAAG,GAAG;IACnC,IAAI,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,0BAA0B,GAAG,GAAG,EAAE,sDAAsD;IACxI,KAAK,EAAE,4CAA4C,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,4BAA4B;IACnG,IAAI,EAAE,4CAA4C,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,4BAA4B;CACnG,CAAC;AACF,MAAM,OAAO,GAA2B,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;AACtG,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE,CACzC,2DAA2D,IAAI,gCAAgC,IAAI,wBAAwB,IAAI,kDAAkD,IAAI,gCAAgC,IAAI,YAAY,CAAC;AAExO,MAAM,QAAQ,GAAG,CAAC,CAAI,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAA0B,CAAC;AACxE,MAAM,KAAK,GAAG,CAAC,CAAI,EAAE,KAAoB,EAAO,EAAE;IAChD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5F,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC;IACnD,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC,CAAC;AAEF,SAAS,SAAS,CAAC,CAAS,EAAE,CAAI,EAAE,KAAoB;IACtD,MAAM,IAAI,GAAQ,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,OAAO,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3H,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,OAAO,GAAG,CAAC,kBAAkB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,4BAA4B,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACjI,CAAC;QACD,KAAK,eAAe,CAAC;QAAC,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YACvD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACxD,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM;gBAAE,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,GAAG,MAAM,4BAA4B,CAAC,CAAC;YAClG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,sBAAsB,KAAK,2BAA2B,KAAK,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjN,MAAM,MAAM,GAAG,uCAAuC,CAAC,CAAC,6IAA6I;YACrM,IAAI,CAAC,KAAK,oBAAoB;gBAAE,OAAO,GAAG,CAAC,yBAAyB,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,MAAM,gBAAgB,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5J,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,gGAAgG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClK,sFAAsF;YACtF,OAAO,GAAG,CAAC,mCAAmC,CAAC,+BAA+B,GAAG,UAAU,GAAG,MAAM,MAAM,WAAW,IAAI,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QACpJ,CAAC;QACD,KAAK,aAAa,CAAC;QAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;YAC/B,MAAM,KAAK,GAAG,GAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,GAAG,GAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAC/F,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK;gBAAE,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,GAAG,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC;YACxG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;YACvE,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,KAAK,iBAAiB;gBAAE,OAAO,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACnD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAClF,MAAM,CAAC,GAAG,CAAC,KAAqB,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,IAAK,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAK,EAAE,KAAK,CAAC,EAAE,MAAM,EAAoB,CAAC,CAAC;YAC7J,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YACxC,OAAO,GAAG,CAAC,IAAI,CAAC,4BAA4B,GAAG,uFAAuF,IAAI,OAAO,MAAM,GAAG,EACxJ,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,6HAA6H;AAC7H,gDAAgD;AAChD,MAAM,KAAK,GAAG,CAAC,CAAI,EAAK,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;AAE7D,SAAS,SAAS,CAAC,CAAI,EAAE,KAAoB;IAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAc,CAAC;IACxD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC;IAC3B,MAAM,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACzH,IAAI,CAAC,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACrH,IAAI,CAAC,KAAK,aAAa;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAO,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,MAAO,CAAC,CAAC,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACpB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAI,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,MAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,2JAA2J;IAC3J,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC,qIAAqI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9L,MAAM,MAAM,GAAG,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3F,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;AACvC,CAAC;AAED,4GAA4G;AAC5G,SAAS,GAAG,CAAC,KAAqB,EAAE,GAAW,EAAE,GAAW,EAAE,MAAc;IAC1E,MAAM,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC;IAC9B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,IAAI,CAAC;IACjB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,GAAG;QAC3D,MAAM,IAAI,eAAe,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,yEAAyE,EAAE,CAAC,CAAC,CAAC;IAC1M,OAAO,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;AAC3H,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAmB;IACxC,sDAAsD;IACtD,KAAK,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,EAAE,SAAS;IACf,iIAAiI;IACjI,IAAI,CAAC,GAAG;QACN,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,mCAAmC;QACzI,GAAG,CAAC,UAAU,GAAG,sBAAsB,CAAC;QACxC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,EAAE,SAAS;IACf,OAAO,CAAC,GAAG;QACT,IAAI,GAAG,CAAC,WAAW,KAAK,aAAa;YAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,+DAA+D;QAC3H,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC1B,CAAC;IACD,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,oDAAoD;IACpD,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;CACjH,CAAC;AAEF,kFAAkF;AAClF,MAAM,UAAU,OAAO,CAAC,IAA+B,EAAE,GAAgB;IACvE,MAAM,CAAC,GAAG,IAAe,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;AACtD,CAAC"}

package/dist/d1/media.d.ts

@@ -0,0 +1,5 @@
+import { type MediaPurposePolicy } from "../spec/domain/index.js";
+import type { DatabaseDriver } from "../core/driver.js";
+import type { MediaLibrary, MediaStorage } from "../core/site.js";
+export declare function mediaLibrary(driver: DatabaseDriver, storage: MediaStorage, purposes: () => Promise<readonly MediaPurposePolicy[]>, now?: () => number): MediaLibrary;
+//# sourceMappingURL=media.d.ts.map

package/dist/d1/media.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"media.d.ts","sourceRoot":"","sources":["../../src/d1/media.ts"],"names":[],"mappings":"AAKA,OAAO,EAAwB,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACxF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,KAAK,EAAc,YAAY,EAAE,YAAY,EAAoB,MAAM,iBAAiB,CAAC;AAmEhG,wBAAgB,YAAY,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC,SAAS,kBAAkB,EAAE,CAAC,EAAE,GAAG,eAAW,GAAG,YAAY,CA4FhK"}

package/dist/d1/media.js

@@ -0,0 +1,157 @@
+/**
+ * The media use cases over `media_assets` and `pending_media_uploads`. Optimization runs where the bytes are made (the agent,
+ * the SPA); the Worker only enforces the purpose's policy and never transforms bytes. Times are milliseconds, as in 0.1.x rows.
+ */
+import { DiagnosticError, makeDiagnostic } from "../spec/kernel/index.js";
+import { expandPolicyRequired } from "../spec/domain/index.js";
+const P = "media";
+const fail = (code, message, extra = {}) => new DiagnosticError(makeDiagnostic({ code, phase: "runtime", severity: "error", path: P, message, ...extra }));
+const bad = (expected) => fail("INPUT_VALIDATION_FAILED", `expected ${expected}`, { expected });
+/** SVG is refused: object storage does not sanitize it, and an SVG can carry script. */
+const ALLOWED = new Set(["image/png", "image/jpeg", "image/webp", "image/avif", "image/gif"]);
+/** Modern formats a skipped optimization makes larger than the fallback. */
+const MODERN = new Set(["image/avif", "image/webp"]);
+const ROLES = new Set(["primary", "alternate", "fallback"]);
+const TTL_MS = 15 * 60 * 1000;
+const obj = (v) => (v !== null && typeof v === "object" && !Array.isArray(v) ? v : {});
+const MAX_TEXT = 1000;
+const MAX_FILENAME = 255;
+/** `alt` and `caption`: absent, or a string of at most 1000 characters. */
+function texts(body) {
+    const b = obj(body);
+    for (const k of ["alt", "caption"])
+        if (b[k] !== undefined && (typeof b[k] !== "string" || b[k].length > MAX_TEXT))
+            throw bad(`{ alt?: string, caption?: string }, each at most ${MAX_TEXT} characters`);
+    return { ...(typeof b["alt"] === "string" ? { alt: b["alt"] } : {}), ...(typeof b["caption"] === "string" ? { caption: b["caption"] } : {}) };
+}
+/** Exactly one variant per required slot, nothing outside them, and exactly one primary. */
+function checkVariants(policy, variants) {
+    const slots = expandPolicyRequired(policy.required);
+    const slotOf = new Map(slots.flatMap((mimes, i) => mimes.map((m) => [m, i])));
+    const filled = variants.map((v) => slotOf.get(v.mimeType));
+    if (filled.includes(undefined) || new Set(filled).size !== variants.length || filled.length !== slots.length || variants.filter((v) => v.role === "primary").length !== 1)
+        throw fail("MEDIA_VARIANTS_INCOMPLETE", `purpose '${policy.name}' takes one variant for each of ${JSON.stringify(policy.required)}, exactly one of them primary`, { value: variants.map((v) => v.mimeType) });
+    for (const v of variants) {
+        if (v.mimeType === "image/svg+xml")
+            throw fail("MEDIA_SVG_REJECTED", "SVG uploads are refused: object storage does not sanitize them");
+        if (!ALLOWED.has(v.mimeType))
+            throw fail("MEDIA_MIME_REJECTED", `${v.mimeType} is not an accepted image type`, { expected: [...ALLOWED].join(", ") });
+    }
+    for (const v of variants) {
+        const cap = policy.maxBytes[v.mimeType] ?? 0;
+        if (v.byteSize > cap)
+            throw fail("MEDIA_VARIANT_SIZE_EXCEEDED", `${v.mimeType} is ${v.byteSize} bytes; purpose '${policy.name}' allows ${cap}`, { expected: `${v.mimeType} byteSize <= ${cap}` });
+    }
+    const fallback = ["image/jpeg", "image/png", "image/gif"].map((m) => variants.find((v) => v.mimeType === m)).find(Boolean);
+    const heavy = fallback && variants.find((v) => MODERN.has(v.mimeType) && v.byteSize > fallback.byteSize);
+    if (heavy)
+        throw fail("MEDIA_VARIANTS_SUSPICIOUS_SIZE", `${heavy.mimeType} (${heavy.byteSize}B) is larger than ${fallback.mimeType} (${fallback.byteSize}B): optimize it before uploading`);
+}
+const COLUMNS = "id, created_at, alt, caption, variants, metadata";
+function assetOf(r) {
+    return {
+        id: String(r.id), variants: JSON.parse(String(r.variants)), createdAt: Number(r.created_at),
+        ...(r.alt === null ? {} : { alt: String(r.alt) }), ...(r.caption === null ? {} : { caption: String(r.caption) }),
+        ...(r.metadata === null ? {} : { metadata: JSON.parse(String(r.metadata)) }),
+    };
+}
+const save = (a) => ({
+    sql: "INSERT INTO media_assets (id, created_at, owner_id, alt, caption, variants, metadata) VALUES (?1, ?2, NULL, ?3, ?4, ?5, ?6)",
+    binds: [a.id, a.createdAt, a.alt ?? null, a.caption ?? null, JSON.stringify(a.variants), a.metadata ? JSON.stringify(a.metadata) : null],
+});
+export function mediaLibrary(driver, storage, purposes, now = Date.now) {
+    const one = async (sql, binds) => (await driver.batch([{ sql, binds }]))[0].rows[0];
+    const get = async (id) => {
+        const r = await one(`SELECT ${COLUMNS} FROM media_assets WHERE id = ?1`, [id]);
+        if (!r)
+            throw fail("MEDIA_ASSET_NOT_FOUND", `no media asset '${id}'`);
+        return assetOf(r);
+    };
+    return {
+        async createUpload(request) {
+            const b = obj(request);
+            const variants = Array.isArray(b["variants"]) ? b["variants"].map(obj) : null;
+            if (typeof b["filename"] !== "string" || b["filename"].length > MAX_FILENAME || typeof b["purpose"] !== "string" || !variants?.length
+                || variants.some((v) => typeof v["mimeType"] !== "string" || !Number.isSafeInteger(v["byteSize"]) || v["byteSize"] <= 0 || !ROLES.has(v["role"])))
+                throw bad("{ filename: string of at most 255 characters, purpose: string, variants: [{ mimeType: string, byteSize: positive integer, role: 'primary'|'alternate'|'fallback' }] }");
+            const { filename, purpose } = b;
+            const described = texts(b);
+            const declared = await purposes();
+            const policy = declared.find((p) => p.name === purpose);
+            if (!policy)
+                throw fail("MEDIA_PURPOSE_REJECTED", `purpose '${purpose}' is not declared`, { candidates: declared.map((p) => p.name) });
+            const asked = variants;
+            checkVariants(policy, asked);
+            const at = now();
+            const expiresAt = at + TTL_MS;
+            // bearer-equivalent until commit: storage keys under it must not be guessable
+            const uploadGroupId = crypto.randomUUID();
+            const specs = asked.map(({ mimeType, byteSize, role }) => ({ mimeType, byteSize, role, maxBytes: policy.maxBytes[mimeType] }));
+            const { capabilities } = await storage.createUpload({ uploadGroupId, purpose, filename, variants: specs, now: at, expiresAt });
+            const record = {
+                purpose, filename, ...described, expiresAt, createdAt: at,
+                variants: capabilities.map((c, i) => ({ mimeType: c.mimeType, role: c.role, storageKey: c.storageKey, expectedSize: specs[i].byteSize, maxBytes: specs[i].maxBytes })),
+            };
+            await driver.batch([
+                { sql: "DELETE FROM pending_media_uploads WHERE expires_at <= ?1", binds: [at] },
+                { sql: "INSERT INTO pending_media_uploads (id, record, expires_at) VALUES (?1, ?2, ?3)", binds: [uploadGroupId, JSON.stringify(record), expiresAt] },
+            ]);
+            return { uploadGroupId, capabilities: capabilities.map(({ mimeType, role, method, uploadUrl, requiredHeaders }) => ({ mimeType, role, method, uploadUrl, ...(requiredHeaders ? { requiredHeaders } : {}) })), expiresAt };
+        },
+        async commitUpload(uploadGroupId, request) {
+            const patch = texts(request);
+            const row = await one("SELECT record FROM pending_media_uploads WHERE id = ?1", [uploadGroupId]);
+            const record = row ? JSON.parse(String(row.record)) : null;
+            // a rejected group's objects are deleted: an upload URL takes any type and size, so what was PUT is not trusted
+            const discard = () => Promise.allSettled((record?.variants ?? []).map((v) => storage.deleteObject({ storageKey: v.storageKey })));
+            if (!record || record.expiresAt <= now()) {
+                if (record) {
+                    await discard();
+                    await driver.batch([{ sql: "DELETE FROM pending_media_uploads WHERE id = ?1", binds: [uploadGroupId] }]);
+                }
+                throw fail("MEDIA_UPLOAD_EXPIRED", `upload group '${uploadGroupId}' is unknown or expired; create a new upload`);
+            }
+            const asset = await storage.commitUpload({
+                uploadGroupId, filename: record.filename, now: now(),
+                // the declared size is the cap: a larger object than announced is refused
+                variants: record.variants.map((v) => ({ mimeType: v.mimeType, role: v.role, storageKey: v.storageKey, maxBytes: Math.min(v.maxBytes, v.expectedSize) })),
+                ...((patch.alt ?? record.alt) !== undefined ? { alt: patch.alt ?? record.alt } : {}),
+                ...((patch.caption ?? record.caption) !== undefined ? { caption: patch.caption ?? record.caption } : {}),
+            }).catch(async (e) => { await discard(); throw e; });
+            await driver.batch([save(asset), { sql: "DELETE FROM pending_media_uploads WHERE id = ?1", binds: [uploadGroupId] }]);
+            return asset;
+        },
+        async list({ limit, cursor, search }) {
+            const n = limit ?? 50;
+            const offset = cursor === undefined ? 0 : Number(cursor);
+            if (!Number.isInteger(n) || n < 1 || n > 500 || !Number.isSafeInteger(offset) || offset < 0 || (cursor !== undefined && String(offset) !== cursor))
+                throw bad("limit 1..500 and a cursor this list returned");
+            const term = search?.replace(/[\\%_]/g, (c) => `\\${c}`);
+            const where = term ? "WHERE id LIKE ?3 ESCAPE '\\' OR alt LIKE ?3 ESCAPE '\\' OR caption LIKE ?3 ESCAPE '\\'" : "";
+            const [page] = await driver.batch([{ sql: `SELECT ${COLUMNS} FROM media_assets ${where} ORDER BY created_at DESC, id DESC LIMIT ?1 OFFSET ?2`, binds: [n + 1, offset, ...(term ? [`%${term}%`] : [])] }]);
+            const rows = page.rows.slice(0, n).map(assetOf);
+            return { rows, ...(page.rows.length > n ? { nextCursor: String(offset + n) } : {}) };
+        },
+        get,
+        async update(id, request) {
+            const patch = Object.entries(texts(request));
+            if (!patch.length)
+                return get(id);
+            // only the patched columns, and only a row that still exists: a concurrent delete or edit of the other field stands
+            const [r] = (await driver.batch([{ sql: `UPDATE media_assets SET ${patch.map(([k], i) => `${k} = ?${i + 2}`).join(", ")} WHERE id = ?1 RETURNING ${COLUMNS}`, binds: [id, ...patch.map(([, v]) => v)] }]))[0].rows;
+            if (!r)
+                throw fail("MEDIA_ASSET_NOT_FOUND", `no media asset '${id}'`);
+            return assetOf(r);
+        },
+        async delete(id) {
+            const asset = await get(id);
+            const results = await Promise.allSettled(asset.variants.map((v) => storage.deleteObject({ storageKey: v.storageKey })));
+            const failed = results.filter((r) => r.status === "rejected");
+            if (failed.length)
+                throw new DiagnosticError(makeDiagnostic({ code: "PARTIAL_FAILURE", phase: "runtime", severity: "error", path: P, message: "Some objects could not be removed. Retry deleting the same asset.", failure: { outcome: "partial", retry: "safe", resource: "media" } }), { cause: new AggregateError(failed.map((r) => r.reason)) });
+            await driver.batch([{ sql: "DELETE FROM media_assets WHERE id = ?1", binds: [id] }]);
+            return { deleted: true, variantsRemoved: asset.variants.length };
+        },
+    };
+}
+//# sourceMappingURL=media.js.map

package/dist/d1/media.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"media.js","sourceRoot":"","sources":["../../src/d1/media.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,eAAe,EAAE,cAAc,EAAwC,MAAM,yBAAyB,CAAC;AAChH,OAAO,EAAE,oBAAoB,EAA2B,MAAM,yBAAyB,CAAC;AAIxF,MAAM,CAAC,GAAG,OAAO,CAAC;AAClB,MAAM,IAAI,GAAG,CAAC,IAAoB,EAAE,OAAe,EAAE,QAA6B,EAAE,EAAE,EAAE,CACtF,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;AACjH,MAAM,GAAG,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,yBAAyB,EAAE,YAAY,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;AAExG,wFAAwF;AACxF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AAC9F,4EAA4E;AAC5E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;AACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAU,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;AACrE,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAY9B,MAAM,GAAG,GAAG,CAAC,CAAU,EAA2B,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAA4B,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACpJ,MAAM,QAAQ,GAAG,IAAI,CAAC;AACtB,MAAM,YAAY,GAAG,GAAG,CAAC;AACzB,2EAA2E;AAC3E,SAAS,KAAK,CAAC,IAAa;IAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,QAAQ,CAAC;YAAE,MAAM,GAAG,CAAC,oDAAoD,QAAQ,aAAa,CAAC,CAAC;IACzM,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAwC,CAAC;AACtL,CAAC;AAED,4FAA4F;AAC5F,SAAS,aAAa,CAAC,MAA0B,EAAE,QAAmF;IACpI,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3D,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;QACvK,MAAM,IAAI,CAAC,2BAA2B,EAAE,YAAY,MAAM,CAAC,IAAI,mCAAmC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,+BAA+B,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAChN,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,QAAQ,KAAK,eAAe;YAAE,MAAM,IAAI,CAAC,oBAAoB,EAAE,gEAAgE,CAAC,CAAC;QACvI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAC,QAAQ,gCAAgC,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,QAAQ,GAAG,GAAG;YAAE,MAAM,IAAI,CAAC,6BAA6B,EAAE,GAAG,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,QAAQ,oBAAoB,MAAM,CAAC,IAAI,YAAY,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,QAAQ,gBAAgB,GAAG,EAAE,EAAE,CAAC,CAAC;IACpM,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,YAAY,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3H,MAAM,KAAK,GAAG,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzG,IAAI,KAAK;QAAE,MAAM,IAAI,CAAC,gCAAgC,EAAE,GAAG,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,qBAAqB,QAAS,CAAC,QAAQ,KAAK,QAAS,CAAC,QAAQ,kCAAkC,CAAC,CAAC;AAChM,CAAC;AAED,MAAM,OAAO,GAAG,kDAAkD,CAAC;AACnE,SAAS,OAAO,CAAC,CAA0B;IACzC,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC;QAC3F,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAChH,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;KAC7E,CAAC;AACJ,CAAC;AACD,MAAM,IAAI,GAAG,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC;IAC/B,GAAG,EAAE,6HAA6H;IAClI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;CACzI,CAAC,CAAC;AAEH,MAAM,UAAU,YAAY,CAAC,MAAsB,EAAE,OAAqB,EAAE,QAAsD,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG;IAChJ,MAAM,GAAG,GAAG,KAAK,EAAE,GAAW,EAAE,KAAgB,EAAE,EAAE,CAAC,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxG,MAAM,GAAG,GAAG,KAAK,EAAE,EAAU,EAAE,EAAE;QAC/B,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,UAAU,OAAO,kCAAkC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/E,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,GAAG,CAAC,CAAC;QACtE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO;QACL,KAAK,CAAC,YAAY,CAAC,OAAO;YACxB,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9E,IAAI,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,YAAY,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,CAAC,QAAQ,EAAE,MAAM;mBAChI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAK,CAAC,CAAC,UAAU,CAAY,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC7J,MAAM,GAAG,CAAC,uKAAuK,CAAC,CAAC;YACrL,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAA0C,CAAC;YACzE,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAG,MAAM,QAAQ,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACxD,IAAI,CAAC,MAAM;gBAAE,MAAM,IAAI,CAAC,wBAAwB,EAAE,YAAY,OAAO,mBAAmB,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvI,MAAM,KAAK,GAAG,QAAuF,CAAC;YACtG,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;YACjB,MAAM,SAAS,GAAG,EAAE,GAAG,MAAM,CAAC;YAC9B,8EAA8E;YAC9E,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAE,EAAE,CAAC,CAAC,CAAC;YAChI,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;YAC/H,MAAM,MAAM,GAAY;gBACtB,OAAO,EAAE,QAAQ,EAAE,GAAG,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE;gBACzD,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;aACzK,CAAC;YACF,MAAM,MAAM,CAAC,KAAK,CAAC;gBACjB,EAAE,GAAG,EAAE,0DAA0D,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE;gBAChF,EAAE,GAAG,EAAE,gFAAgF,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,EAAE;aACrJ,CAAC,CAAC;YACH,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QAC5N,CAAC;QAED,KAAK,CAAC,YAAY,CAAC,aAAa,EAAE,OAAO;YACvC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wDAAwD,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;YACjG,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YACtE,gHAAgH;YAChH,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;YAClI,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,IAAI,GAAG,EAAE,EAAE,CAAC;gBACzC,IAAI,MAAM,EAAE,CAAC;oBAAC,MAAM,OAAO,EAAE,CAAC;oBAAC,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,iDAAiD,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;gBAAC,CAAC;gBAC1I,MAAM,IAAI,CAAC,sBAAsB,EAAE,iBAAiB,aAAa,8CAA8C,CAAC,CAAC;YACnH,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,YAAY,CAAC;gBACvC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE;gBACpD,0EAA0E;gBAC1E,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;gBACxJ,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpF,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACzG,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,iDAAiD,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC;YACtH,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;YAClC,MAAM,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC;gBAAE,MAAM,GAAG,CAAC,8CAA8C,CAAC,CAAC;YAC9M,MAAM,IAAI,GAAG,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,wFAAwF,CAAC,CAAC,CAAC,EAAE,CAAC;YACnH,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,OAAO,sBAAsB,KAAK,uDAAuD,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1M,MAAM,IAAI,GAAG,IAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjD,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACxF,CAAC;QAED,GAAG;QAEH,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO;YACtB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;YAClC,oHAAoH;YACpH,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,2BAA2B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4BAA4B,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;YACpN,IAAI,CAAC,CAAC;gBAAE,MAAM,IAAI,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,GAAG,CAAC,CAAC;YACtE,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QAED,KAAK,CAAC,MAAM,CAAC,EAAE;YACb,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;YACxH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;YAC1F,IAAI,MAAM,CAAC,MAAM;gBACf,MAAM,IAAI,eAAe,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,mEAAmE,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;YACpU,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,wCAAwC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACrF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACnE,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/d1/migrations.d.ts

@@ -0,0 +1,12 @@
+import type { DatabaseDriver } from "../core/driver.js";
+export interface Migration {
+    readonly id: string;
+    readonly sql: string;
+    /** The product tables it creates (ADR-0032 decision 11): one that exists before its ledger row is someone else's, and boot stops. */
+    readonly tables?: readonly string[];
+}
+/** Applies each migration not yet in the ledger, its statements and its ledger row in one batch, so it lands whole or not at all. */
+export declare function runMigrations(driver: DatabaseDriver, migrations: readonly Migration[]): Promise<void>;
+/** A migration is SQL text with several statements; D1 takes one per prepared statement. Splits at `;` outside strings, identifiers and comments. */
+export declare function splitSqlStatements(sql: string): string[];
+//# sourceMappingURL=migrations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"migrations.d.ts","sourceRoot":"","sources":["../../src/d1/migrations.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,qIAAqI;IACrI,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAID,qIAAqI;AACrI,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAyB3G;AAED,qJAAqJ;AACrJ,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CA0BxD"}