@earendil-works/chord 1.4.0 → 1.5.0

package/dist/next/store/sql.js

@@ -0,0 +1,234 @@
+// SQL of declared tables (slice 6a §5, §6, §7): the DDL a table definition renders, and the statements of its reads
+// and writes, generated from the compiled vocabulary with every value bound and every identifier quoted. Names were
+// checked at declaration (and at import), so no `"` occurs in them and quoting is always safe.
+import { physicalColumns, ROW_VERSION, toSqlite, versionColumn } from "./rows.js";
+import { prefixUpperBound } from "./text.js";
+/** A quoted SQL identifier. */
+export function quote(name) {
+    return `"${name}"`;
+}
+/** The SQL name of an owner's table: `<owner>:<table>` (R2), injective since neither part contains `:`. */
+export function tableSqlName(owner, table) {
+    return `${owner}:${table}`;
+}
+/**
+ * `CREATE TABLE` for `columns` (as recorded) and `key`: `STRICT`, the key as primary key (`WITHOUT ROWID`, except
+ * for a single `int` key, which becomes the rowid: the fastest point lookups, and rows of any size), an `int`
+ * column checked within ±(2^53 - 1) (rule 10), a `bool` one within 0 and 1, a `json(...)` one as `TEXT` with its
+ * version column, and the row's `$v`.
+ */
+export function createTableSql(table, columns, key) {
+    const definitions = Object.entries(columns).flatMap(([name, column]) => columnSql(name, column));
+    definitions.push(`${quote(ROW_VERSION)} INTEGER NOT NULL`);
+    definitions.push(`PRIMARY KEY (${key.map(quote).join(", ")})`);
+    const rowid = key.length === 1 && columns[key[0]].type === "int";
+    return `CREATE TABLE ${quote(table)} (${definitions.join(", ")}) STRICT${rowid ? "" : ", WITHOUT ROWID"}`;
+}
+const SAFE = Number.MAX_SAFE_INTEGER;
+/** The definitions of one column: itself, and a `json(...)` column's version column. */
+export function columnSql(name, column) {
+    const nullability = column.optional ? "" : " NOT NULL";
+    const defaulted = column.default === undefined ? "" : ` DEFAULT ${literal(column.default)}`;
+    const id = quote(name);
+    switch (column.type) {
+        case "str":
+            return [`${id} TEXT${nullability}${defaulted}`];
+        case "int":
+            return [`${id} INTEGER${nullability}${defaulted} CHECK (${id} BETWEEN ${-SAFE} AND ${SAFE})`];
+        case "num":
+            return [`${id} REAL${nullability}${defaulted}`];
+        case "bool":
+            return [`${id} INTEGER${nullability}${defaulted} CHECK (${id} IN (0, 1))`];
+        case "json":
+            return [`${id} TEXT${nullability}`, `${quote(versionColumn(name))} INTEGER${nullability}`];
+    }
+}
+/** A default as a SQL literal: declaration data (checked), which DDL cannot bind. */
+function literal(value) {
+    if (typeof value === "string")
+        return `'${value.replaceAll("'", "''")}'`;
+    return typeof value === "boolean" ? (value ? "1" : "0") : String(value);
+}
+/**
+ * The physical columns of a recorded table in the order `RowCodec.physical` uses (`physicalColumns`), and its
+ * whole-row `INSERT OR REPLACE` over them.
+ */
+export function recordedPut(table, columns) {
+    const physical = physicalColumns(Object.entries(columns).map(([name, { type }]) => ({ name, type })));
+    return { physical, sql: putSql(table, physical) };
+}
+/** `INSERT OR REPLACE` of a whole row over `physical` (`put` is an upsert). */
+function putSql(table, physical) {
+    return `INSERT OR REPLACE INTO ${quote(table)} (${physical.map(quote).join(", ")}) VALUES (${physical.map(() => "?").join(", ")})`;
+}
+/** `CREATE INDEX` named `<table>:<index>` over `columns`, the key appended (every index ends with it). */
+export function createIndexSql(table, index, columns, key) {
+    const all = [...columns, ...key.filter((column) => !columns.includes(column))];
+    return `CREATE INDEX ${quote(`${table}:${index}`)} ON ${quote(table)} (${all.map(quote).join(", ")})`;
+}
+/** `DROP INDEX` of `<table>:<index>`. */
+export function dropIndexSql(table, index) {
+    return `DROP INDEX ${quote(`${table}:${index}`)}`;
+}
+/**
+ * The statements of one table at one version, rendered once per table handle: the fixed ones as texts, the ones
+ * over compiled conditions and `set`s on demand.
+ */
+export class TableSql {
+    table;
+    /** The columns a read selects: the declared ones and each `json(...)` column's version. */
+    #select;
+    #byKey;
+    /** `INSERT OR REPLACE` of a whole row, in `RowCodec.physical`'s order (`put` is an upsert). */
+    put;
+    get;
+    delete;
+    constructor(table, columns, physical, key) {
+        this.table = table;
+        const id = quote(table);
+        this.#select = [
+            ...columns.map(({ name }) => quote(name)),
+            ...columns.filter(({ type }) => type === "json").map(({ name }) => quote(versionColumn(name))),
+        ].join(", ");
+        this.#byKey = key.map((column) => `${quote(column)} = ?`).join(" AND ");
+        this.put = putSql(table, physical);
+        this.get = `SELECT ${this.#select} FROM ${id} WHERE ${this.#byKey}`;
+        this.delete = `DELETE FROM ${id} WHERE ${this.#byKey}`;
+    }
+    /** `SELECT` of `columns` of one row by key: a point lookup, without the `ORDER BY` and `LIMIT` of a page. */
+    getColumns(columns) {
+        return `SELECT ${columns.map(quote).join(", ")} FROM ${quote(this.table)} WHERE ${this.#byKey}`;
+    }
+    /** `UPDATE` of one row by key; `versions` gives each `json(...)` column's version to stamp. */
+    update(set, key, versions) {
+        const params = [];
+        const assignments = setSql(set, versions, params);
+        params.push(...key);
+        return { sql: `UPDATE ${quote(this.table)} SET ${assignments} WHERE ${this.#byKey}`, params };
+    }
+    /** `UPDATE` of every row matching `where`. */
+    updateWhere(where, set, versions) {
+        const params = [];
+        const assignments = setSql(set, versions, params);
+        const condition = whereSql(where, params);
+        return { sql: `UPDATE ${quote(this.table)} SET ${assignments} WHERE ${condition}`, params };
+    }
+    /** `DELETE` of every row matching `where`. */
+    deleteWhere(where) {
+        const params = [];
+        return { sql: `DELETE FROM ${quote(this.table)} WHERE ${whereSql(where, params)}`, params };
+    }
+    /**
+     * A page: rows matching `where` in `order`, after the order values `after` (row-value comparison; the key in the
+     * order makes it total), at most `limit` (bound); every column, or only `columns`.
+     */
+    select(where, order, after, limit, columns) {
+        const params = [];
+        const conditions = [];
+        if (where !== undefined)
+            conditions.push(whereSql(where, params));
+        if (after !== undefined) {
+            const columns = order.columns.map(quote).join(", ");
+            conditions.push(`(${columns}) ${order.direction === "asc" ? ">" : "<"} (${after.map(() => "?").join(", ")})`);
+            params.push(...after);
+        }
+        const filter = conditions.length === 0 ? "" : ` WHERE ${conditions.join(" AND ")}`;
+        const direction = order.direction === "asc" ? "ASC" : "DESC";
+        const sorting = order.columns.map((column) => `${quote(column)} ${direction}`).join(", ");
+        params.push(limit);
+        const select = columns === undefined ? this.#select : columns.map(quote).join(", ");
+        return { sql: `SELECT ${select} FROM ${quote(this.table)}${filter} ORDER BY ${sorting} LIMIT ?`, params };
+    }
+    /** `count(*)` of the rows matching `where`. */
+    count(where) {
+        const params = [];
+        const filter = where === undefined ? "" : ` WHERE ${whereSql(where, params)}`;
+        return { sql: `SELECT count(*) AS count FROM ${quote(this.table)}${filter}`, params };
+    }
+}
+/** The assignments of `set`; a written `json(...)` column also stamps its version (a clear stamps `NULL`). */
+function setSql(set, versions, params) {
+    const assignments = [];
+    for (const [column, node] of Object.entries(set)) {
+        assignments.push(`${quote(column)} = ${exprSql(node, params)}`);
+        const version = versions.get(column);
+        if (version !== undefined) {
+            assignments.push(`${quote(versionColumn(column))} = ?`);
+            params.push(node === null ? null : version);
+        }
+    }
+    return assignments.join(", ");
+}
+function exprSql(node, params) {
+    if (node === null)
+        return "NULL";
+    if (typeof node !== "object") {
+        params.push(toSqlite(node));
+        return "?";
+    }
+    if ("col" in node)
+        return quote(node.col);
+    if ("json" in node) {
+        // Serialized once at staging already (rule 8): this cannot throw.
+        params.push(JSON.stringify(node.json));
+        return "?";
+    }
+    if ("when" in node) {
+        const [condition, a, b] = node.when;
+        return `(CASE WHEN ${whereSql(condition, params)} THEN ${exprSql(a, params)} ELSE ${exprSql(b, params)} END)`;
+    }
+    if ("replacePrefix" in node) {
+        const [subject, from, to] = node.replacePrefix;
+        const length = [...from].length;
+        // SQLite's `substr` counts characters of UTF-8 text: code points, as the prefix's length does.
+        // Parameters in the order their `?` occur in the text.
+        const value = exprSql(subject, params);
+        params.push(length, from, to);
+        const rest = exprSql(subject, params);
+        params.push(length + 1);
+        const unchanged = exprSql(subject, params);
+        return `(CASE WHEN substr(${value}, 1, ?) = ? THEN ? || substr(${rest}, ?) ELSE ${unchanged} END)`;
+    }
+    if ("coalesce" in node)
+        return `coalesce(${exprSql(node.coalesce[0], params)}, ${exprSql(node.coalesce[1], params)})`;
+    if ("add" in node)
+        return `(${exprSql(node.add[0], params)} + ${exprSql(node.add[1], params)})`;
+    if ("sub" in node)
+        return `(${exprSql(node.sub[0], params)} - ${exprSql(node.sub[1], params)})`;
+    if ("max" in node)
+        return `max(${exprSql(node.max[0], params)}, ${exprSql(node.max[1], params)})`;
+    if ("min" in node)
+        return `min(${exprSql(node.min[0], params)}, ${exprSql(node.min[1], params)})`;
+    return `(${exprSql(node.concat[0], params)} || ${exprSql(node.concat[1], params)})`;
+}
+const COMPARISONS = { eq: "=", ne: "<>", lt: "<", lte: "<=", gt: ">", gte: ">=" };
+/** A condition with its operands bound; SQL's `NULL` rules are the vocabulary's. */
+export function whereSql(node, params) {
+    if ("and" in node)
+        return node.and.length === 0 ? "1" : `(${node.and.map((each) => whereSql(each, params)).join(" AND ")})`;
+    if ("or" in node)
+        return node.or.length === 0 ? "0" : `(${node.or.map((each) => whereSql(each, params)).join(" OR ")})`;
+    if ("not" in node)
+        return `(NOT ${whereSql(node.not, params)})`;
+    if ("isNull" in node)
+        return `${quote(node.isNull)} IS NULL`;
+    if ("inArray" in node) {
+        const [column, values] = node.inArray;
+        params.push(JSON.stringify(values.map(toSqlite)));
+        return `${quote(column)} IN (SELECT value FROM json_each(?))`;
+    }
+    if ("prefix" in node) {
+        const [column, prefix] = node.prefix;
+        const upper = prefixUpperBound(prefix);
+        params.push(prefix);
+        if (upper === undefined)
+            return `${quote(column)} >= ?`;
+        params.push(upper);
+        return `(${quote(column)} >= ? AND ${quote(column)} < ?)`;
+    }
+    // The remaining nodes are the comparisons, one entry each; `Object.entries` loses that.
+    const [op, [column, value]] = Object.entries(node)[0];
+    params.push(toSqlite(value));
+    return `${quote(column)} ${COMPARISONS[op]} ?`;
+}
+//# sourceMappingURL=sql.js.map

package/dist/next/store/sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql.js","sourceRoot":"","sources":["../../../src/next/store/sql.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,oHAAoH;AACpH,+FAA+F;AAK/F,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAQ7C,+BAA+B;AAC/B,MAAM,UAAU,KAAK,CAAC,IAAY;IACjC,OAAO,IAAI,IAAI,GAAG,CAAC;AACpB,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,KAAa;IACxD,OAAO,GAAG,KAAK,IAAI,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAC7B,KAAa,EACb,OAAkD,EAClD,GAAsB;IAEtB,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACjG,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC3D,WAAW,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAE,CAAE,CAAC,IAAI,KAAK,KAAK,CAAC;IACnE,OAAO,gBAAgB,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC;AAC3G,CAAC;AAED,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC;AAErC,wFAAwF;AACxF,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,MAAoB;IAC3D,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;IACvD,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5F,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACvB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,KAAK;YACT,OAAO,CAAC,GAAG,EAAE,QAAQ,WAAW,GAAG,SAAS,EAAE,CAAC,CAAC;QACjD,KAAK,KAAK;YACT,OAAO,CAAC,GAAG,EAAE,WAAW,WAAW,GAAG,SAAS,WAAW,EAAE,YAAY,CAAC,IAAI,QAAQ,IAAI,GAAG,CAAC,CAAC;QAC/F,KAAK,KAAK;YACT,OAAO,CAAC,GAAG,EAAE,QAAQ,WAAW,GAAG,SAAS,EAAE,CAAC,CAAC;QACjD,KAAK,MAAM;YACV,OAAO,CAAC,GAAG,EAAE,WAAW,WAAW,GAAG,SAAS,WAAW,EAAE,aAAa,CAAC,CAAC;QAC5E,KAAK,MAAM;YACV,OAAO,CAAC,GAAG,EAAE,QAAQ,WAAW,EAAE,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,WAAW,WAAW,EAAE,CAAC,CAAC;IAC7F,CAAC;AACF,CAAC;AAED,qFAAqF;AACrF,SAAS,OAAO,CAAC,KAAgC;IAChD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;IACzE,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAC1B,KAAa,EACb,OAAkD;IAElD,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACtG,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,+EAA+E;AAC/E,SAAS,MAAM,CAAC,KAAa,EAAE,QAA2B;IACzD,OAAO,0BAA0B,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACpI,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,cAAc,CAC7B,KAAa,EACb,KAAa,EACb,OAA0B,EAC1B,GAAsB;IAEtB,MAAM,GAAG,GAAG,CAAC,GAAG,OAAO,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,gBAAgB,KAAK,CAAC,GAAG,KAAK,IAAI,KAAK,EAAE,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACvG,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,KAAa;IACxD,OAAO,cAAc,KAAK,CAAC,GAAG,KAAK,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,QAAQ;IACX,KAAK,CAAS;IACvB,2FAA2F;IAClF,OAAO,CAAS;IAChB,MAAM,CAAS;IACxB,+FAA+F;IACtF,GAAG,CAAS;IACZ,GAAG,CAAS;IACZ,MAAM,CAAS;IAExB,YACC,KAAa,EACb,OAAiD,EACjD,QAA2B,EAC3B,GAAsB;QAEtB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,OAAO,GAAG;YACd,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;SAC9F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxE,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,GAAG,UAAU,IAAI,CAAC,OAAO,SAAS,EAAE,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;QACpE,IAAI,CAAC,MAAM,GAAG,eAAe,EAAE,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;IACxD,CAAC;IAED,6GAA6G;IAC7G,UAAU,CAAC,OAA0B;QACpC,OAAO,UAAU,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC;IACjG,CAAC;IAED,+FAA+F;IAC/F,MAAM,CAAC,GAAY,EAAE,GAA2B,EAAE,QAAqC;QACtF,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACpB,OAAO,EAAE,GAAG,EAAE,UAAU,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,WAAW,UAAU,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC;IAC/F,CAAC;IAED,8CAA8C;IAC9C,WAAW,CAAC,KAAgB,EAAE,GAAY,EAAE,QAAqC;QAChF,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,GAAG,EAAE,UAAU,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,WAAW,UAAU,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC;IAC7F,CAAC;IAED,8CAA8C;IAC9C,WAAW,CAAC,KAAgB;QAC3B,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,OAAO,EAAE,GAAG,EAAE,eAAe,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC;IAC7F,CAAC;IAED;;;OAGG;IACH,MAAM,CACL,KAA4B,EAC5B,KAAY,EACZ,KAAyC,EACzC,KAAa,EACb,OAA2B;QAE3B,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS;YAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,KAAK,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9G,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACnF,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,OAAO,EAAE,GAAG,EAAE,UAAU,MAAM,SAAS,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,aAAa,OAAO,UAAU,EAAE,MAAM,EAAE,CAAC;IAC3G,CAAC;IAED,+CAA+C;IAC/C,KAAK,CAAC,KAA4B;QACjC,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,GAAG,EAAE,iCAAiC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC;IACvF,CAAC;CACD;AAED,8GAA8G;AAC9G,SAAS,MAAM,CAAC,GAAY,EAAE,QAAqC,EAAE,MAAqB;IACzF,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC;IACF,CAAC;IACD,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,OAAO,CAAC,IAAc,EAAE,MAAqB;IACrD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5B,OAAO,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACpB,kEAAkE;QAClE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,OAAO,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;QACpC,OAAO,cAAc,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC;IAC/G,CAAC;IACD,IAAI,eAAe,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC;QAChC,+FAA+F;QAC/F,uDAAuD;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxB,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC3C,OAAO,qBAAqB,KAAK,gCAAgC,IAAI,aAAa,SAAS,OAAO,CAAC;IACpG,CAAC;IACD,IAAI,UAAU,IAAI,IAAI;QACrB,OAAO,YAAY,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;IAC/F,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;IAChG,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;IAChG,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;IAClG,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;IAClG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;AACrF,CAAC;AAED,MAAM,WAAW,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAW,CAAC;AAE3F,oFAAoF;AACpF,MAAM,UAAU,QAAQ,CAAC,IAAe,EAAE,MAAqB;IAC9D,IAAI,KAAK,IAAI,IAAI;QAChB,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;IAC1G,IAAI,IAAI,IAAI,IAAI;QACf,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;IACvG,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,QAAQ,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;IAChE,IAAI,QAAQ,IAAI,IAAI;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;IAC7D,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClD,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,sCAAsC,CAAC;IAC/D,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACtB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QACrC,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpB,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,aAAa,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;IAC3D,CAAC;IACD,wFAAwF;IACxF,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAGnD,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7B,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC;AAChD,CAAC","sourcesContent":["// SQL of declared tables (slice 6a §5, §6, §7): the DDL a table definition renders, and the statements of its reads\n// and writes, generated from the compiled vocabulary with every value bound and every identifier quoted. Names were\n// checked at declaration (and at import), so no `\"` occurs in them and quoting is always safe.\n\nimport type { SqliteValue } from \"../../sqlite/index.ts\";\nimport type { Column, ColumnRecord } from \"./columns.ts\";\nimport type { ExprNode, SetNode, WhereNode } from \"./expression.ts\";\nimport { physicalColumns, ROW_VERSION, toSqlite, versionColumn } from \"./rows.ts\";\nimport { prefixUpperBound } from \"./text.ts\";\n\n/** A statement and its parameters. */\nexport type Statement = { readonly sql: string; readonly params: SqliteValue[] };\n\n/** An order of rows: the order columns (the key appended as the tie-break) and one direction. */\nexport type Order = { readonly columns: readonly string[]; readonly direction: \"asc\" | \"desc\" };\n\n/** A quoted SQL identifier. */\nexport function quote(name: string): string {\n\treturn `\"${name}\"`;\n}\n\n/** The SQL name of an owner's table: `<owner>:<table>` (R2), injective since neither part contains `:`. */\nexport function tableSqlName(owner: string, table: string): string {\n\treturn `${owner}:${table}`;\n}\n\n/**\n * `CREATE TABLE` for `columns` (as recorded) and `key`: `STRICT`, the key as primary key (`WITHOUT ROWID`, except\n * for a single `int` key, which becomes the rowid: the fastest point lookups, and rows of any size), an `int`\n * column checked within ±(2^53 - 1) (rule 10), a `bool` one within 0 and 1, a `json(...)` one as `TEXT` with its\n * version column, and the row's `$v`.\n */\nexport function createTableSql(\n\ttable: string,\n\tcolumns: { readonly [name: string]: ColumnRecord },\n\tkey: readonly string[],\n): string {\n\tconst definitions = Object.entries(columns).flatMap(([name, column]) => columnSql(name, column));\n\tdefinitions.push(`${quote(ROW_VERSION)} INTEGER NOT NULL`);\n\tdefinitions.push(`PRIMARY KEY (${key.map(quote).join(\", \")})`);\n\tconst rowid = key.length === 1 && columns[key[0]!]!.type === \"int\";\n\treturn `CREATE TABLE ${quote(table)} (${definitions.join(\", \")}) STRICT${rowid ? \"\" : \", WITHOUT ROWID\"}`;\n}\n\nconst SAFE = Number.MAX_SAFE_INTEGER;\n\n/** The definitions of one column: itself, and a `json(...)` column's version column. */\nexport function columnSql(name: string, column: ColumnRecord): string[] {\n\tconst nullability = column.optional ? \"\" : \" NOT NULL\";\n\tconst defaulted = column.default === undefined ? \"\" : ` DEFAULT ${literal(column.default)}`;\n\tconst id = quote(name);\n\tswitch (column.type) {\n\t\tcase \"str\":\n\t\t\treturn [`${id} TEXT${nullability}${defaulted}`];\n\t\tcase \"int\":\n\t\t\treturn [`${id} INTEGER${nullability}${defaulted} CHECK (${id} BETWEEN ${-SAFE} AND ${SAFE})`];\n\t\tcase \"num\":\n\t\t\treturn [`${id} REAL${nullability}${defaulted}`];\n\t\tcase \"bool\":\n\t\t\treturn [`${id} INTEGER${nullability}${defaulted} CHECK (${id} IN (0, 1))`];\n\t\tcase \"json\":\n\t\t\treturn [`${id} TEXT${nullability}`, `${quote(versionColumn(name))} INTEGER${nullability}`];\n\t}\n}\n\n/** A default as a SQL literal: declaration data (checked), which DDL cannot bind. */\nfunction literal(value: string | number | boolean): string {\n\tif (typeof value === \"string\") return `'${value.replaceAll(\"'\", \"''\")}'`;\n\treturn typeof value === \"boolean\" ? (value ? \"1\" : \"0\") : String(value);\n}\n\n/**\n * The physical columns of a recorded table in the order `RowCodec.physical` uses (`physicalColumns`), and its\n * whole-row `INSERT OR REPLACE` over them.\n */\nexport function recordedPut(\n\ttable: string,\n\tcolumns: { readonly [name: string]: ColumnRecord },\n): { readonly physical: readonly string[]; readonly sql: string } {\n\tconst physical = physicalColumns(Object.entries(columns).map(([name, { type }]) => ({ name, type })));\n\treturn { physical, sql: putSql(table, physical) };\n}\n\n/** `INSERT OR REPLACE` of a whole row over `physical` (`put` is an upsert). */\nfunction putSql(table: string, physical: readonly string[]): string {\n\treturn `INSERT OR REPLACE INTO ${quote(table)} (${physical.map(quote).join(\", \")}) VALUES (${physical.map(() => \"?\").join(\", \")})`;\n}\n\n/** `CREATE INDEX` named `<table>:<index>` over `columns`, the key appended (every index ends with it). */\nexport function createIndexSql(\n\ttable: string,\n\tindex: string,\n\tcolumns: readonly string[],\n\tkey: readonly string[],\n): string {\n\tconst all = [...columns, ...key.filter((column) => !columns.includes(column))];\n\treturn `CREATE INDEX ${quote(`${table}:${index}`)} ON ${quote(table)} (${all.map(quote).join(\", \")})`;\n}\n\n/** `DROP INDEX` of `<table>:<index>`. */\nexport function dropIndexSql(table: string, index: string): string {\n\treturn `DROP INDEX ${quote(`${table}:${index}`)}`;\n}\n\n/**\n * The statements of one table at one version, rendered once per table handle: the fixed ones as texts, the ones\n * over compiled conditions and `set`s on demand.\n */\nexport class TableSql {\n\treadonly table: string;\n\t/** The columns a read selects: the declared ones and each `json(...)` column's version. */\n\treadonly #select: string;\n\treadonly #byKey: string;\n\t/** `INSERT OR REPLACE` of a whole row, in `RowCodec.physical`'s order (`put` is an upsert). */\n\treadonly put: string;\n\treadonly get: string;\n\treadonly delete: string;\n\n\tconstructor(\n\t\ttable: string,\n\t\tcolumns: readonly Pick<Column, \"name\" | \"type\">[],\n\t\tphysical: readonly string[],\n\t\tkey: readonly string[],\n\t) {\n\t\tthis.table = table;\n\t\tconst id = quote(table);\n\t\tthis.#select = [\n\t\t\t...columns.map(({ name }) => quote(name)),\n\t\t\t...columns.filter(({ type }) => type === \"json\").map(({ name }) => quote(versionColumn(name))),\n\t\t].join(\", \");\n\t\tthis.#byKey = key.map((column) => `${quote(column)} = ?`).join(\" AND \");\n\t\tthis.put = putSql(table, physical);\n\t\tthis.get = `SELECT ${this.#select} FROM ${id} WHERE ${this.#byKey}`;\n\t\tthis.delete = `DELETE FROM ${id} WHERE ${this.#byKey}`;\n\t}\n\n\t/** `SELECT` of `columns` of one row by key: a point lookup, without the `ORDER BY` and `LIMIT` of a page. */\n\tgetColumns(columns: readonly string[]): string {\n\t\treturn `SELECT ${columns.map(quote).join(\", \")} FROM ${quote(this.table)} WHERE ${this.#byKey}`;\n\t}\n\n\t/** `UPDATE` of one row by key; `versions` gives each `json(...)` column's version to stamp. */\n\tupdate(set: SetNode, key: readonly SqliteValue[], versions: ReadonlyMap<string, number>): Statement {\n\t\tconst params: SqliteValue[] = [];\n\t\tconst assignments = setSql(set, versions, params);\n\t\tparams.push(...key);\n\t\treturn { sql: `UPDATE ${quote(this.table)} SET ${assignments} WHERE ${this.#byKey}`, params };\n\t}\n\n\t/** `UPDATE` of every row matching `where`. */\n\tupdateWhere(where: WhereNode, set: SetNode, versions: ReadonlyMap<string, number>): Statement {\n\t\tconst params: SqliteValue[] = [];\n\t\tconst assignments = setSql(set, versions, params);\n\t\tconst condition = whereSql(where, params);\n\t\treturn { sql: `UPDATE ${quote(this.table)} SET ${assignments} WHERE ${condition}`, params };\n\t}\n\n\t/** `DELETE` of every row matching `where`. */\n\tdeleteWhere(where: WhereNode): Statement {\n\t\tconst params: SqliteValue[] = [];\n\t\treturn { sql: `DELETE FROM ${quote(this.table)} WHERE ${whereSql(where, params)}`, params };\n\t}\n\n\t/**\n\t * A page: rows matching `where` in `order`, after the order values `after` (row-value comparison; the key in the\n\t * order makes it total), at most `limit` (bound); every column, or only `columns`.\n\t */\n\tselect(\n\t\twhere: WhereNode | undefined,\n\t\torder: Order,\n\t\tafter: readonly SqliteValue[] | undefined,\n\t\tlimit: number,\n\t\tcolumns?: readonly string[],\n\t): Statement {\n\t\tconst params: SqliteValue[] = [];\n\t\tconst conditions: string[] = [];\n\t\tif (where !== undefined) conditions.push(whereSql(where, params));\n\t\tif (after !== undefined) {\n\t\t\tconst columns = order.columns.map(quote).join(\", \");\n\t\t\tconditions.push(`(${columns}) ${order.direction === \"asc\" ? \">\" : \"<\"} (${after.map(() => \"?\").join(\", \")})`);\n\t\t\tparams.push(...after);\n\t\t}\n\t\tconst filter = conditions.length === 0 ? \"\" : ` WHERE ${conditions.join(\" AND \")}`;\n\t\tconst direction = order.direction === \"asc\" ? \"ASC\" : \"DESC\";\n\t\tconst sorting = order.columns.map((column) => `${quote(column)} ${direction}`).join(\", \");\n\t\tparams.push(limit);\n\t\tconst select = columns === undefined ? this.#select : columns.map(quote).join(\", \");\n\t\treturn { sql: `SELECT ${select} FROM ${quote(this.table)}${filter} ORDER BY ${sorting} LIMIT ?`, params };\n\t}\n\n\t/** `count(*)` of the rows matching `where`. */\n\tcount(where: WhereNode | undefined): Statement {\n\t\tconst params: SqliteValue[] = [];\n\t\tconst filter = where === undefined ? \"\" : ` WHERE ${whereSql(where, params)}`;\n\t\treturn { sql: `SELECT count(*) AS count FROM ${quote(this.table)}${filter}`, params };\n\t}\n}\n\n/** The assignments of `set`; a written `json(...)` column also stamps its version (a clear stamps `NULL`). */\nfunction setSql(set: SetNode, versions: ReadonlyMap<string, number>, params: SqliteValue[]): string {\n\tconst assignments: string[] = [];\n\tfor (const [column, node] of Object.entries(set)) {\n\t\tassignments.push(`${quote(column)} = ${exprSql(node, params)}`);\n\t\tconst version = versions.get(column);\n\t\tif (version !== undefined) {\n\t\t\tassignments.push(`${quote(versionColumn(column))} = ?`);\n\t\t\tparams.push(node === null ? null : version);\n\t\t}\n\t}\n\treturn assignments.join(\", \");\n}\n\nfunction exprSql(node: ExprNode, params: SqliteValue[]): string {\n\tif (node === null) return \"NULL\";\n\tif (typeof node !== \"object\") {\n\t\tparams.push(toSqlite(node));\n\t\treturn \"?\";\n\t}\n\tif (\"col\" in node) return quote(node.col);\n\tif (\"json\" in node) {\n\t\t// Serialized once at staging already (rule 8): this cannot throw.\n\t\tparams.push(JSON.stringify(node.json));\n\t\treturn \"?\";\n\t}\n\tif (\"when\" in node) {\n\t\tconst [condition, a, b] = node.when;\n\t\treturn `(CASE WHEN ${whereSql(condition, params)} THEN ${exprSql(a, params)} ELSE ${exprSql(b, params)} END)`;\n\t}\n\tif (\"replacePrefix\" in node) {\n\t\tconst [subject, from, to] = node.replacePrefix;\n\t\tconst length = [...from].length;\n\t\t// SQLite's `substr` counts characters of UTF-8 text: code points, as the prefix's length does.\n\t\t// Parameters in the order their `?` occur in the text.\n\t\tconst value = exprSql(subject, params);\n\t\tparams.push(length, from, to);\n\t\tconst rest = exprSql(subject, params);\n\t\tparams.push(length + 1);\n\t\tconst unchanged = exprSql(subject, params);\n\t\treturn `(CASE WHEN substr(${value}, 1, ?) = ? THEN ? || substr(${rest}, ?) ELSE ${unchanged} END)`;\n\t}\n\tif (\"coalesce\" in node)\n\t\treturn `coalesce(${exprSql(node.coalesce[0], params)}, ${exprSql(node.coalesce[1], params)})`;\n\tif (\"add\" in node) return `(${exprSql(node.add[0], params)} + ${exprSql(node.add[1], params)})`;\n\tif (\"sub\" in node) return `(${exprSql(node.sub[0], params)} - ${exprSql(node.sub[1], params)})`;\n\tif (\"max\" in node) return `max(${exprSql(node.max[0], params)}, ${exprSql(node.max[1], params)})`;\n\tif (\"min\" in node) return `min(${exprSql(node.min[0], params)}, ${exprSql(node.min[1], params)})`;\n\treturn `(${exprSql(node.concat[0], params)} || ${exprSql(node.concat[1], params)})`;\n}\n\nconst COMPARISONS = { eq: \"=\", ne: \"<>\", lt: \"<\", lte: \"<=\", gt: \">\", gte: \">=\" } as const;\n\n/** A condition with its operands bound; SQL's `NULL` rules are the vocabulary's. */\nexport function whereSql(node: WhereNode, params: SqliteValue[]): string {\n\tif (\"and\" in node)\n\t\treturn node.and.length === 0 ? \"1\" : `(${node.and.map((each) => whereSql(each, params)).join(\" AND \")})`;\n\tif (\"or\" in node)\n\t\treturn node.or.length === 0 ? \"0\" : `(${node.or.map((each) => whereSql(each, params)).join(\" OR \")})`;\n\tif (\"not\" in node) return `(NOT ${whereSql(node.not, params)})`;\n\tif (\"isNull\" in node) return `${quote(node.isNull)} IS NULL`;\n\tif (\"inArray\" in node) {\n\t\tconst [column, values] = node.inArray;\n\t\tparams.push(JSON.stringify(values.map(toSqlite)));\n\t\treturn `${quote(column)} IN (SELECT value FROM json_each(?))`;\n\t}\n\tif (\"prefix\" in node) {\n\t\tconst [column, prefix] = node.prefix;\n\t\tconst upper = prefixUpperBound(prefix);\n\t\tparams.push(prefix);\n\t\tif (upper === undefined) return `${quote(column)} >= ?`;\n\t\tparams.push(upper);\n\t\treturn `(${quote(column)} >= ? AND ${quote(column)} < ?)`;\n\t}\n\t// The remaining nodes are the comparisons, one entry each; `Object.entries` loses that.\n\tconst [op, [column, value]] = Object.entries(node)[0] as [\n\t\tkeyof typeof COMPARISONS,\n\t\treadonly [string, string | number | boolean],\n\t];\n\tparams.push(toSqlite(value));\n\treturn `${quote(column)} ${COMPARISONS[op]} ?`;\n}\n"]}

package/dist/next/store/step.d.ts

@@ -0,0 +1,48 @@
+import type { SqliteExecutor, SqliteValue } from "../../sqlite/index.ts";
+import type { IdAllocator } from "./allocator.ts";
+import type { TableRecord } from "./catalog.ts";
+import type { StoreWrite } from "./writes.ts";
+/**
+ * Where a staged write goes in its commit: retirements, creations, then everything else, each phase in staging order.
+ * A retirement frees a live address before a creation takes it (the partial unique index); an adapter's composite
+ * write orders its own parts inside `write`.
+ */
+export type WriteOrder = "retire" | "create" | "write";
+/** A write staged for the commit step: its order and what it does there, returning the writes as recorded. */
+export type StagedWrite = {
+    readonly order: WriteOrder;
+    /**
+     * Applies the write inside the step's backend transaction; resolves with the writes as the outbox records them, in
+     * the order applied, with what only the step knows resolved (its seq, a record's revision).
+     */
+    apply(step: Step): Promise<readonly StoreWrite[]>;
+};
+/**
+ * One commit step: its backend transaction, its seq, the store's id allocator (D3: ids are taken from it as the
+ * writes apply, never copied), the ids of the documents it created, the table records it changed (the store's catalog
+ * takes them after `COMMIT`) and the statements it ran (`chord.store.statements`). Its reads are the step reader of
+ * adapters: they see the step's own writes.
+ */
+export declare class Step {
+    #private;
+    readonly executor: SqliteExecutor;
+    readonly seq: number;
+    readonly ids: IdAllocator;
+    /** The ids of the commit's created documents, in the order of their writes. */
+    readonly created: number[];
+    /** The table records this step changed, by SQL name. */
+    readonly tables: Map<string, TableRecord>;
+    statements: number;
+    constructor(executor: SqliteExecutor, seq: number, ids: IdAllocator, catalog: ReadonlyMap<string, TableRecord>);
+    /** The record of table `name` as this step leaves it so far. */
+    table(name: string): TableRecord | undefined;
+    /** Runs one statement. */
+    run(sql: string, ...params: SqliteValue[]): Promise<void>;
+    /** Runs one statement and resolves with the rows it changed. */
+    runCounted(sql: string, ...params: SqliteValue[]): Promise<number>;
+    /** Runs one query for its first row. */
+    get<T extends object>(sql: string, ...params: SqliteValue[]): Promise<T | undefined>;
+    /** Runs one query. */
+    all<T extends object>(sql: string, ...params: SqliteValue[]): Promise<T[]>;
+}
+//# sourceMappingURL=step.d.ts.map

package/dist/next/store/step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../../src/next/store/step.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEvD,8GAA8G;AAC9G,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B;;;OAGG;IACH,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,SAAS,UAAU,EAAE,CAAC,CAAC;CAClD,CAAC;AAEF;;;;;GAKG;AACH,qBAAa,IAAI;;IAChB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAM;IAChC,wDAAwD;IACxD,QAAQ,CAAC,MAAM,2BAAkC;IAEjD,UAAU,SAAK;IAEf,YAAY,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAK7G;IAED,gEAAgE;IAChE,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAE3C;IAED,0BAA0B;IAC1B,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAGxD;IAED,gEAAgE;IAChE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAGjE;IAED,wCAAwC;IACxC,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAGnF;IAED,sBAAsB;IACtB,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAGzE;CACD"}

package/dist/next/store/step.js

@@ -0,0 +1,50 @@
+// The commit step's working state (slice 6a §3, slice 6b §1.3) and the shape every write takes into it: a write staged
+// before the queue (serialized, rule 8), applied inside the step, returning the writes it recorded.
+/**
+ * One commit step: its backend transaction, its seq, the store's id allocator (D3: ids are taken from it as the
+ * writes apply, never copied), the ids of the documents it created, the table records it changed (the store's catalog
+ * takes them after `COMMIT`) and the statements it ran (`chord.store.statements`). Its reads are the step reader of
+ * adapters: they see the step's own writes.
+ */
+export class Step {
+    executor;
+    seq;
+    ids;
+    /** The ids of the commit's created documents, in the order of their writes. */
+    created = [];
+    /** The table records this step changed, by SQL name. */
+    tables = new Map();
+    #catalog;
+    statements = 0;
+    constructor(executor, seq, ids, catalog) {
+        this.executor = executor;
+        this.seq = seq;
+        this.ids = ids;
+        this.#catalog = catalog;
+    }
+    /** The record of table `name` as this step leaves it so far. */
+    table(name) {
+        return this.tables.get(name) ?? this.#catalog.get(name);
+    }
+    /** Runs one statement. */
+    run(sql, ...params) {
+        this.statements++;
+        return this.executor.run(sql, ...params);
+    }
+    /** Runs one statement and resolves with the rows it changed. */
+    runCounted(sql, ...params) {
+        this.statements++;
+        return this.executor.runCounted(sql, ...params);
+    }
+    /** Runs one query for its first row. */
+    get(sql, ...params) {
+        this.statements++;
+        return this.executor.get(sql, ...params);
+    }
+    /** Runs one query. */
+    all(sql, ...params) {
+        this.statements++;
+        return this.executor.all(sql, ...params);
+    }
+}
+//# sourceMappingURL=step.js.map

package/dist/next/store/step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.js","sourceRoot":"","sources":["../../../src/next/store/step.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,oGAAoG;AAwBpG;;;;;GAKG;AACH,MAAM,OAAO,IAAI;IACP,QAAQ,CAAiB;IACzB,GAAG,CAAS;IACZ,GAAG,CAAc;IAC1B,+EAA+E;IACtE,OAAO,GAAa,EAAE,CAAC;IAChC,wDAAwD;IAC/C,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IACxC,QAAQ,CAAmC;IACpD,UAAU,GAAG,CAAC,CAAC;IAEf,YAAY,QAAwB,EAAE,GAAW,EAAE,GAAgB,EAAE,OAAyC;QAC7G,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,gEAAgE;IAChE,KAAK,CAAC,IAAY;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IAED,0BAA0B;IAC1B,GAAG,CAAC,GAAW,EAAE,GAAG,MAAqB;QACxC,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED,gEAAgE;IAChE,UAAU,CAAC,GAAW,EAAE,GAAG,MAAqB;QAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,wCAAwC;IACxC,GAAG,CAAmB,GAAW,EAAE,GAAG,MAAqB;QAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAI,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,sBAAsB;IACtB,GAAG,CAAmB,GAAW,EAAE,GAAG,MAAqB;QAC1D,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAI,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;IAC7C,CAAC;CACD","sourcesContent":["// The commit step's working state (slice 6a §3, slice 6b §1.3) and the shape every write takes into it: a write staged\n// before the queue (serialized, rule 8), applied inside the step, returning the writes it recorded.\n\nimport type { SqliteExecutor, SqliteValue } from \"../../sqlite/index.ts\";\nimport type { IdAllocator } from \"./allocator.ts\";\nimport type { TableRecord } from \"./catalog.ts\";\nimport type { StoreWrite } from \"./writes.ts\";\n\n/**\n * Where a staged write goes in its commit: retirements, creations, then everything else, each phase in staging order.\n * A retirement frees a live address before a creation takes it (the partial unique index); an adapter's composite\n * write orders its own parts inside `write`.\n */\nexport type WriteOrder = \"retire\" | \"create\" | \"write\";\n\n/** A write staged for the commit step: its order and what it does there, returning the writes as recorded. */\nexport type StagedWrite = {\n\treadonly order: WriteOrder;\n\t/**\n\t * Applies the write inside the step's backend transaction; resolves with the writes as the outbox records them, in\n\t * the order applied, with what only the step knows resolved (its seq, a record's revision).\n\t */\n\tapply(step: Step): Promise<readonly StoreWrite[]>;\n};\n\n/**\n * One commit step: its backend transaction, its seq, the store's id allocator (D3: ids are taken from it as the\n * writes apply, never copied), the ids of the documents it created, the table records it changed (the store's catalog\n * takes them after `COMMIT`) and the statements it ran (`chord.store.statements`). Its reads are the step reader of\n * adapters: they see the step's own writes.\n */\nexport class Step {\n\treadonly executor: SqliteExecutor;\n\treadonly seq: number;\n\treadonly ids: IdAllocator;\n\t/** The ids of the commit's created documents, in the order of their writes. */\n\treadonly created: number[] = [];\n\t/** The table records this step changed, by SQL name. */\n\treadonly tables = new Map<string, TableRecord>();\n\treadonly #catalog: ReadonlyMap<string, TableRecord>;\n\tstatements = 0;\n\n\tconstructor(executor: SqliteExecutor, seq: number, ids: IdAllocator, catalog: ReadonlyMap<string, TableRecord>) {\n\t\tthis.executor = executor;\n\t\tthis.seq = seq;\n\t\tthis.ids = ids;\n\t\tthis.#catalog = catalog;\n\t}\n\n\t/** The record of table `name` as this step leaves it so far. */\n\ttable(name: string): TableRecord | undefined {\n\t\treturn this.tables.get(name) ?? this.#catalog.get(name);\n\t}\n\n\t/** Runs one statement. */\n\trun(sql: string, ...params: SqliteValue[]): Promise<void> {\n\t\tthis.statements++;\n\t\treturn this.executor.run(sql, ...params);\n\t}\n\n\t/** Runs one statement and resolves with the rows it changed. */\n\trunCounted(sql: string, ...params: SqliteValue[]): Promise<number> {\n\t\tthis.statements++;\n\t\treturn this.executor.runCounted(sql, ...params);\n\t}\n\n\t/** Runs one query for its first row. */\n\tget<T extends object>(sql: string, ...params: SqliteValue[]): Promise<T | undefined> {\n\t\tthis.statements++;\n\t\treturn this.executor.get<T>(sql, ...params);\n\t}\n\n\t/** Runs one query. */\n\tall<T extends object>(sql: string, ...params: SqliteValue[]): Promise<T[]> {\n\t\tthis.statements++;\n\t\treturn this.executor.all<T>(sql, ...params);\n\t}\n}\n"]}

package/dist/next/store/store.d.ts

@@ -0,0 +1,161 @@
+import { type Context } from "../../context/index.ts";
+import type { SqliteDatabase, SqliteExecutor } from "../../sqlite/index.ts";
+import type { Batch } from "../state/internal.ts";
+import { IdAllocator } from "./allocator.ts";
+import type { ArchivePart } from "./archive.ts";
+import type { Backend } from "./backend.ts";
+import { type TableRecord } from "./catalog.ts";
+import { Claims } from "./claims.ts";
+import { Outbox } from "./outbox.ts";
+import { type MetaRow } from "./schema.ts";
+import { type StagedWrite, Step } from "./step.ts";
+/** A store as apps hold it: opened by `openStore`, owned and closed by the app. */
+export interface Store {
+    /** The seq of the store's last commit (0 for a new store). */
+    readonly lastSeq: number;
+    /** The outbox the sync layer reads; `undefined` without one. */
+    readonly outbox: Outbox | undefined;
+    /**
+     * The store's state after its `lastSeq` as archive parts (slice 6a §13), holding the commit queue from the first
+     * `next()` until the iteration ends, throws, is closed or `context` aborts.
+     */
+    export(context: Context): AsyncIterableIterator<ArchivePart>;
+    /**
+     * Closes the store: waits for a running commit step, rejects queued commits and reads `released`, closes the
+     * backend. Idempotent, also after `storage_failed`; `context` ends only this caller's wait (the close goes on).
+     */
+    close(context: Context): Promise<void>;
+}
+/** What `openStore` takes besides the backend. */
+export type StoreOptions = {
+    /** Turns the outbox on (`true`) or off (`false`); omitted, the persisted setting stays (a new store: off). */
+    readonly outbox?: boolean;
+};
+/**
+ * Opens a store over `backend`: the store's schema migrations, the UTF-8 check, the metadata read once, the outbox
+ * switched when asked. A failure closes the backend and rejects (rule 12).
+ */
+export declare function openStore(backend: Backend, context: Context, options?: StoreOptions): Promise<Store>;
+/** The seal fence's two checks of a commit (§1.3), as the commit step calls them. */
+export type CommitFence = {
+    /** At the step's entry: `false` rejects the commit `released` and writes nothing. */
+    admit(): boolean;
+    /** After `COMMIT`: adopts the commit, `ids` being its created documents' ids in the order of their writes. */
+    adopt(seq: number, ids: readonly number[]): void;
+};
+/**
+ * One commit of a series (`ChordStore.commitSeries`): its own checks, which write nothing, and its writes. The checks
+ * read through the commit's step, which sees what the series' earlier commits wrote.
+ */
+export type SeriesCommit = {
+    /** Throws to refuse the commit: the series stops before it, the commits before it stand. */
+    check(step: Step): Promise<void>;
+    readonly writes: readonly StagedWrite[];
+};
+/** What a series stored: how many of its commits, and why the next one was refused, if one was. */
+export type SeriesResult = {
+    readonly stored: number;
+    readonly refused?: unknown;
+};
+/** What the open host gives the store: its `storage_failed` listener and its batch, in which adapters publish (§1.3). */
+export type Attachment = {
+    readonly failed: (error: unknown) => void;
+    readonly batch: Batch;
+};
+/** Where a replayed batch leaves the store: its last commit's seq and allocator value, the tables it changed. */
+export type Replayed = {
+    readonly lastSeq: number;
+    readonly nextId: number;
+    readonly tables: ReadonlyMap<string, TableRecord>;
+};
+/** The store behind `Store`, with what Chord's layers use: commits, guarded reads, the host's failure listener. */
+export declare class ChordStore implements Store {
+    #private;
+    /** The claims of its tables and documents (slice 6b). */
+    readonly claims: Claims;
+    constructor(db: SqliteDatabase, meta: MetaRow, catalog: Map<string, TableRecord>);
+    get lastSeq(): number;
+    get outbox(): Outbox | undefined;
+    /** The allocator's value as the last commit persisted it. */
+    get nextId(): number;
+    /** The id allocator: `mint` takes the next id, `raise` makes room above an explicit one (D3). */
+    get ids(): IdAllocator;
+    /** Takes the next id from the allocator (Durable's `mintId`); refused once the store stopped or closed. */
+    mintId(): number;
+    /** The open host's batch, in which an adapter publishes its commits; `undefined` without a host. */
+    get batch(): Batch | undefined;
+    /** Every recorded table, by SQL name, as of the last commit. */
+    get tables(): ReadonlyMap<string, TableRecord>;
+    export(context: Context): AsyncIterableIterator<ArchivePart>;
+    /**
+     * Takes the commit queue (an export): resolves once every earlier commit settled, with the release that lets the
+     * later ones run (idempotent). Closing the store calls `end` (from the call on, also while waiting, and at once for a
+     * store closed before the call took the queue), which must release.
+     */
+    take(end: () => void): Promise<() => void>;
+    /** The recorded table `name` (its SQL name), as of the last commit. */
+    table(name: string): TableRecord | undefined;
+    /**
+     * The version table `name` is at or is being migrated to: the recorded one, or a higher one a migration announced
+     * before its first commit (`announceTable`), so an old handle is refused before its SQL could queue behind the
+     * migration's DDL (fix round 1, Sol 8).
+     */
+    tableVersion(name: string): number | undefined;
+    /** Announces a migration of table `name` to `version` until the returned withdrawal (after its last commit). */
+    announceTable(name: string, version: number): () => void;
+    /** Attaches the open host; a store attached to an open host is refused (rule 7). */
+    attach(attachment: Attachment): void;
+    /** The host closed: the store may serve another one. */
+    detach(): void;
+    /**
+     * Commits `writes` as one seq when the commit queue reaches it: `fence.admit()` at the step's entry, the writes in
+     * their order (retirements, creations, the rest), the outbox commit, `lastSeq` and the allocator's value, `COMMIT`,
+     * then `fence.adopt` before the next step starts. Resolves with the seq. A refused admission rejects `released`. A
+     * step the backend rolled back after the step's own code threw (a refusal, D4) rejects with that error unchanged and
+     * the store goes on; any other failure (`BEGIN`, `COMMIT`, `ROLLBACK`, a throwing `adopt`) is an unknown outcome
+     * that stops the store (`storage_failed`). `context` counts the step (no abort once queued).
+     */
+    commit(writes: readonly StagedWrite[], fence: CommitFence, context: Context): Promise<number>;
+    /**
+     * Commits `commits` in one backend transaction when the commit queue reaches them, one seq each, in order: each
+     * commit's `check`, which writes nothing, then its writes as `commit` writes them, with its own outbox commit and the
+     * metadata (a commit without writes takes no seq: it stands at the one before). A `check` that throws refuses its
+     * commit: the series stops there and the transaction commits the ones before it. A check whose backend statement
+     * failed, and a throw of a commit's writes, roll the whole series back and reject with that error, the store going
+     * on (D4); any other failure is an unknown outcome that stops the store, as for `commit`. After `COMMIT`,
+     * `receive(index, seq, ids)` is called per stored commit, in order, before the next step starts (`ids`: its created
+     * documents). Resolves with what it stored.
+     */
+    commitSeries(commits: readonly SeriesCommit[], receive: (index: number, seq: number, ids: readonly number[]) => void, context: Context): Promise<SeriesResult>;
+    /**
+     * Runs `read` on the backend under the guard (rule 11, Durable's `GuardedStorage`): refused once the store stopped
+     * or closed; a backend error fails the store unless `context` was aborted (then `aborted`); a read settling after
+     * the store stopped rejects `unavailable/storage_failed`. `read` returns data and never throws for a request: an
+     * adapter checks a request from what it returned, after the guard (slice 6b §1.4).
+     */
+    read<T>(read: (executor: SqliteExecutor) => Promise<T>, context: Context): Promise<T>;
+    /**
+     * `read` for several queries that must see one state (S4, a document from its record and revisions): one backend
+     * transaction, guarded as `read`.
+     */
+    readTransaction<T>(read: (executor: SqliteExecutor) => Promise<T>, context: Context): Promise<T>;
+    /**
+     * Runs `write` on the backend outside the commit queue (the outbox's `trim`), in a backend transaction, guarded as
+     * a read without a context: any error stops the store.
+     */
+    maintain(write: (executor: SqliteExecutor) => Promise<void>): Promise<void>;
+    close(context: Context): Promise<void>;
+    /**
+     * Batch apply's turn (slice 6b §1.6, S5): refused (`invalid/args`) while an owner holds a claim (its memory would
+     * go stale) and once the store diverged; otherwise `apply` runs in the commit queue, in one backend transaction, and
+     * returns the position its last commit leaves (`lastSeq`, the allocator's value) and the tables it changed, which
+     * memory takes after `COMMIT`. `apply`'s own error rolls back and rejects as a refusal (a `Diverged` one marks the
+     * store diverged); any other failure stops the store.
+     */
+    replay(apply: (executor: SqliteExecutor, catalog: ReadonlyMap<string, TableRecord>) => Promise<Replayed>, isDivergence: (error: unknown) => boolean): Promise<void>;
+    /** Whether the store has an outbox, which a replayed batch writes too. */
+    get recordsOutbox(): boolean;
+    /** Throws `unavailable/storage_failed` once the store stopped, `released` once it closed. */
+    assertUsable(): void;
+}
+//# sourceMappingURL=store.d.ts.map

package/dist/next/store/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../../src/next/store/store.ts"],"names":[],"mappings":"AAMA,OAAO,EAAoB,KAAK,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5E,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAe,KAAK,WAAW,EAAgB,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAiB,MAAM,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAoB,KAAK,OAAO,EAAU,MAAM,aAAa,CAAC;AACrE,OAAO,EAAE,KAAK,WAAW,EAAE,IAAI,EAAmB,MAAM,WAAW,CAAC;AAGpE,mFAAmF;AACnF,MAAM,WAAW,KAAK;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC;;;OAGG;IACH,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IAC7D;;;OAGG;IACH,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACvC;AAED,kDAAkD;AAClD,MAAM,MAAM,YAAY,GAAG;IAC1B,8GAA8G;IAC9G,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;;GAGG;AACH,wBAAsB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,KAAK,CAAC,CAc9G;AAiBD,qFAAqF;AACrF,MAAM,MAAM,WAAW,GAAG;IACzB,qFAAqF;IACrF,KAAK,IAAI,OAAO,CAAC;IACjB,8GAA8G;IAC9G,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CACjD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG;IAC1B,4FAA4F;IAC5F,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;CACxC,CAAC;AAEF,mGAAmG;AACnG,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AA6BnF,yHAAyH;AACzH,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,iHAAiH;AACjH,MAAM,MAAM,QAAQ,GAAG;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CAClD,CAAC;AAeF,mHAAmH;AACnH,qBAAa,UAAW,YAAW,KAAK;;IAMvC,yDAAyD;IACzD,QAAQ,CAAC,MAAM,SAAgB;IAqB/B,YAAY,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,EAO/E;IAED,IAAI,OAAO,IAAI,MAAM,CAEpB;IAED,IAAI,MAAM,IAAI,MAAM,GAAG,SAAS,CAE/B;IAED,6DAA6D;IAC7D,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED,iGAAiG;IACjG,IAAI,GAAG,IAAI,WAAW,CAErB;IAED,2GAA2G;IAC3G,MAAM,IAAI,MAAM,CAGf;IAED,oGAAoG;IACpG,IAAI,KAAK,IAAI,KAAK,GAAG,SAAS,CAE7B;IAED,gEAAgE;IAChE,IAAI,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAE7C;IAED,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAG3D;IAED;;;;OAIG;IACH,IAAI,CAAC,GAAG,EAAE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,CAiBzC;IAED,uEAAuE;IACvE,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAE3C;IAED;;;;OAIG;IACH,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAI7C;IAED,gHAAgH;IAChH,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,IAAI,CAKvD;IAED,oFAAoF;IACpF,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAKnC;IAED,wDAAwD;IACxD,MAAM,IAAI,IAAI,CAEb;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAS5F;IAED;;;;;;;;;OASG;IACH,YAAY,CACX,OAAO,EAAE,SAAS,YAAY,EAAE,EAChC,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,KAAK,IAAI,EACrE,OAAO,EAAE,OAAO,GACd,OAAO,CAAC,YAAY,CAAC,CASvB;IAED;;;;;OAKG;IACH,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAEpF;IAED;;;OAGG;IACH,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAE/F;IA2BD;;;OAGG;IACG,QAAQ,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAWhF;IAED,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAGrC;IAgPD;;;;;;OAMG;IACH,MAAM,CACL,KAAK,EAAE,CAAC,QAAQ,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,EACjG,YAAY,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,GACvC,OAAO,CAAC,IAAI,CAAC,CASf;IAiDD,0EAA0E;IAC1E,IAAI,aAAa,IAAI,OAAO,CAE3B;IAED,6FAA6F;IAC7F,YAAY,IAAI,IAAI,CAKnB;CAUD"}