@earendil-works/chord 1.4.0 → 1.5.1

package/dist/store/refusal.js

@@ -0,0 +1,36 @@
+// A refused commit as Chord's owners take it (slice 6b D4, §1.4): the store rejects a step it rolled back with the
+// step's own error, unchanged (Durable's Storage semantics); Chord classifies it: an `int` column's `CHECK` (a
+// plugin's value out of range) fails only its transaction, any other refusal means memory and disk disagree.
+import { ChordError, isChordError } from "../data/index.js";
+/** SQLite's extended result code `SQLITE_CONSTRAINT_CHECK`, which Node's binding reports as `errcode`. */
+const SQLITE_CONSTRAINT_CHECK = 275;
+/**
+ * The refusal behind `error`, a store commit's rejection; `undefined` when it is the store's own (`released` at
+ * admission or after close, `unavailable/storage_failed` once stopped), which the owner rethrows as it is.
+ */
+export function refusalOf(error, label) {
+    if (isChordError(error, "released") || (isChordError(error, "unavailable") && error.reason === "storage_failed")) {
+        return undefined;
+    }
+    const message = error instanceof Error ? error.message : String(error);
+    if (isCheck(error, message)) {
+        const refused = `${label}: a value is out of its column's range (${message})`;
+        return {
+            kind: "check",
+            error: new ChordError({ code: "invalid", reason: "args", message: refused }, { cause: error }),
+        };
+    }
+    const refused = `${label}: the store refused the commit (${message})`;
+    return { kind: "broken", error: new ChordError({ code: "unavailable", message: refused }, { cause: error }) };
+}
+/**
+ * Whether a refusal is a `CHECK` failure: SQLite's extended code where the binding has one (Node), the message
+ * otherwise (the Durable Object facade has no extended codes).
+ */
+function isCheck(error, message) {
+    const code = error?.errcode;
+    if (typeof code === "number")
+        return code === SQLITE_CONSTRAINT_CHECK;
+    return message.includes("CHECK constraint failed");
+}
+//# sourceMappingURL=refusal.js.map

package/dist/store/refusal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refusal.js","sourceRoot":"","sources":["../../src/store/refusal.ts"],"names":[],"mappings":"AAAA,mHAAmH;AACnH,+GAA+G;AAC/G,6GAA6G;AAE7G,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAO5D,0GAA0G;AAC1G,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAEpC;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAc,EAAE,KAAa;IACtD,IAAI,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,EAAE,CAAC;QAClH,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,KAAK,2CAA2C,OAAO,GAAG,CAAC;QAC9E,OAAO;YACN,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;SAC9F,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,KAAK,mCAAmC,OAAO,GAAG,CAAC;IACtE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED;;;GAGG;AACH,SAAS,OAAO,CAAC,KAAc,EAAE,OAAe;IAC/C,MAAM,IAAI,GAAI,KAAoD,EAAE,OAAO,CAAC;IAC5E,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,KAAK,uBAAuB,CAAC;IACtE,OAAO,OAAO,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;AACpD,CAAC","sourcesContent":["// A refused commit as Chord's owners take it (slice 6b D4, §1.4): the store rejects a step it rolled back with the\n// step's own error, unchanged (Durable's Storage semantics); Chord classifies it: an `int` column's `CHECK` (a\n// plugin's value out of range) fails only its transaction, any other refusal means memory and disk disagree.\n\nimport { ChordError, isChordError } from \"../data/index.ts\";\n\n/** How a Chord commit ended that the store rejected: `check` fails the transaction only, `broken` its object too. */\nexport type Refusal =\n\t| { readonly kind: \"check\"; readonly error: ChordError }\n\t| { readonly kind: \"broken\"; readonly error: ChordError };\n\n/** SQLite's extended result code `SQLITE_CONSTRAINT_CHECK`, which Node's binding reports as `errcode`. */\nconst SQLITE_CONSTRAINT_CHECK = 275;\n\n/**\n * The refusal behind `error`, a store commit's rejection; `undefined` when it is the store's own (`released` at\n * admission or after close, `unavailable/storage_failed` once stopped), which the owner rethrows as it is.\n */\nexport function refusalOf(error: unknown, label: string): Refusal | undefined {\n\tif (isChordError(error, \"released\") || (isChordError(error, \"unavailable\") && error.reason === \"storage_failed\")) {\n\t\treturn undefined;\n\t}\n\tconst message = error instanceof Error ? error.message : String(error);\n\tif (isCheck(error, message)) {\n\t\tconst refused = `${label}: a value is out of its column's range (${message})`;\n\t\treturn {\n\t\t\tkind: \"check\",\n\t\t\terror: new ChordError({ code: \"invalid\", reason: \"args\", message: refused }, { cause: error }),\n\t\t};\n\t}\n\tconst refused = `${label}: the store refused the commit (${message})`;\n\treturn { kind: \"broken\", error: new ChordError({ code: \"unavailable\", message: refused }, { cause: error }) };\n}\n\n/**\n * Whether a refusal is a `CHECK` failure: SQLite's extended code where the binding has one (Node), the message\n * otherwise (the Durable Object facade has no extended codes).\n */\nfunction isCheck(error: unknown, message: string): boolean {\n\tconst code = (error as { readonly errcode?: unknown } | undefined)?.errcode;\n\tif (typeof code === \"number\") return code === SQLITE_CONSTRAINT_CHECK;\n\treturn message.includes(\"CHECK constraint failed\");\n}\n"]}

package/dist/store/rows.d.ts

@@ -0,0 +1,80 @@
+import type { Context } from "../context/index.ts";
+import type { JsonValue } from "../json.ts";
+import type { SqliteValue } from "../sqlite/index.ts";
+import type { Column, ColumnType } from "./columns.ts";
+/** A scalar cell as the store keeps it in rows, writes and operands: a well-formed string, a number or a boolean. */
+export type Scalar = string | number | boolean;
+/** A row as the outbox records it: the stored values, `opt(...)` columns absent when `NULL`. */
+export type StoredRow = {
+    readonly [column: string]: Scalar | JsonValue;
+};
+/** A `put` ready for the step: its parameters in `physical` order and its record. */
+export type EncodedRow = {
+    readonly params: readonly SqliteValue[];
+    readonly row: StoredRow;
+    /** Each written `json(...)` column's version. */
+    readonly columns: {
+        readonly [column: string]: number;
+    };
+    /** The row's key identity, as `EncodedKey.id`. */
+    readonly id: string;
+};
+/** A key ready for the store: its parameters in key order, its record and its identity within one table. */
+export type EncodedKey = {
+    readonly params: readonly SqliteValue[];
+    readonly key: {
+        readonly [column: string]: Scalar;
+    };
+    /** `JSON.stringify` of the parameters: equal keys, equal ids. */
+    readonly id: string;
+};
+/** The physical name of a `json(...)` column's version column, and of the row's eager-step version. */
+export declare function versionColumn(column: string): string;
+/** The row's eager-step version column (W11): set by `put` and eager migration steps only. */
+export declare const ROW_VERSION = "$v";
+/** The physical column order of a stored row: the declared columns, each `json(...)` column's version, then `$v`. */
+export declare function physicalColumns(columns: readonly {
+    readonly name: string;
+    readonly type: ColumnType;
+}[]): string[];
+/** A scalar as SQLite binds it: booleans as 0 and 1. */
+export declare function toSqlite(scalar: Scalar): string | number;
+/**
+ * A table version's codec: `put` rows and keys checked and encoded, stored rows decoded. `physical` is the column
+ * order of an encoded row (`physicalColumns`).
+ */
+export declare class RowCodec {
+    #private;
+    readonly physical: readonly string[];
+    constructor(columns: readonly Column[], key: readonly string[], table: string);
+    /**
+     * Checks and encodes a `put` row of table version `version` (a trust boundary): a plain object with every
+     * non-`opt` column (a defaulted one filled in) and no other field; `invalid/args` otherwise.
+     */
+    put(row: unknown, version: number): EncodedRow;
+    /** Checks and encodes a key (a trust boundary): an object with exactly the key columns; `invalid/args` otherwise. */
+    key(key: unknown, what: string): EncodedKey;
+    /**
+     * A stored row as reads return it: booleans from 0 and 1, `opt(...)` columns absent when `NULL`, `json(...)` cells
+     * parsed and migrated on access (a cell the code cannot read throws, see `JsonColumn.read`).
+     */
+    decode(stored: {
+        readonly [column: string]: SqliteValue;
+    }, context: Context): {
+        [column: string]: unknown;
+    };
+}
+/** A checked cell: what is bound and what is recorded. */
+type Cell = {
+    readonly param: SqliteValue;
+    readonly stored: Scalar | JsonValue;
+};
+/** Checks and encodes a value of `column`; a `json(...)` value is serialized, not walked (R9). */
+export declare function encodeCell(column: Column, value: unknown, what: string): Cell;
+/**
+ * A value of a scalar column type as the store keeps it (a trust boundary): `str` well-formed without NUL, `int` a
+ * safe integer, `num` finite, `bool` a boolean; `invalid/args` otherwise.
+ */
+export declare function checkScalar(type: "str" | "int" | "num" | "bool", value: unknown, what: string): Scalar;
+export {};
+//# sourceMappingURL=rows.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rows.d.ts","sourceRoot":"","sources":["../../src/store/rows.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAGvD,qHAAqH;AACrH,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAE/C,gGAAgG;AAChG,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAE1E,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACxD,kDAAkD;IAClD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,4GAA4G;AAC5G,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACpD,iEAAiE;IACjE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,uGAAuG;AACvG,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,8FAA8F;AAC9F,eAAO,MAAM,WAAW,OAAO,CAAC;AAEhC,qHAAqH;AACrH,wBAAgB,eAAe,CAAC,OAAO,EAAE,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,EAAE,GAAG,MAAM,EAAE,CAMlH;AAED,wDAAwD;AACxD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAExD;AAED;;;GAGG;AACH,qBAAa,QAAQ;;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAUrC,YAAY,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAW5E;IAED;;;OAGG;IACH,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU,CA0B7C;IAED,qHAAqH;IACrH,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAa1C;IAED;;;OAGG;IACH,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAAA;KAAE,EAAE,OAAO,EAAE,OAAO,GAAG;QAAE,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAY1G;CAaD;AAED,0DAA0D;AAC1D,KAAK,IAAI,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEjF,kGAAkG;AAClG,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAgB7E;AAQD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAgBtG"}

package/dist/store/rows.js

@@ -0,0 +1,183 @@
+// Rows (slice 6a §5 "Values at write", §9): one compiled codec per table version between a plugin's rows and keys
+// (a trust boundary, checked closed) and what the store binds and reads; `json(...)` cells serialized at staging
+// (rule 8), never walked (R9), and migrated on access when read.
+import { invalid } from "../data/internal.js";
+import { storedText } from "./text.js";
+/** The physical name of a `json(...)` column's version column, and of the row's eager-step version. */
+export function versionColumn(column) {
+    return `${column}$v`;
+}
+/** The row's eager-step version column (W11): set by `put` and eager migration steps only. */
+export const ROW_VERSION = "$v";
+/** The physical column order of a stored row: the declared columns, each `json(...)` column's version, then `$v`. */
+export function physicalColumns(columns) {
+    return [
+        ...columns.map(({ name }) => name),
+        ...columns.filter(({ type }) => type === "json").map(({ name }) => versionColumn(name)),
+        ROW_VERSION,
+    ];
+}
+/** A scalar as SQLite binds it: booleans as 0 and 1. */
+export function toSqlite(scalar) {
+    return scalar === true ? 1 : scalar === false ? 0 : scalar;
+}
+/**
+ * A table version's codec: `put` rows and keys checked and encoded, stored rows decoded. `physical` is the column
+ * order of an encoded row (`physicalColumns`).
+ */
+export class RowCodec {
+    physical;
+    #columns;
+    #key;
+    #json;
+    #names;
+    #keyNames;
+    /** The positions of the key columns in `physical`. */
+    #keyPositions;
+    #table;
+    constructor(columns, key, table) {
+        this.#columns = columns;
+        this.#key = key.map((name) => columns.find((column) => column.name === name));
+        this.#json = columns.filter((column) => column.type === "json");
+        this.#names = new Set(columns.map(({ name }) => name));
+        this.#keyNames = new Set(key);
+        this.#keyPositions = key.map((name) => columns.findIndex((column) => column.name === name));
+        this.#table = table;
+        this.physical = physicalColumns(columns);
+    }
+    /**
+     * Checks and encodes a `put` row of table version `version` (a trust boundary): a plain object with every
+     * non-`opt` column (a defaulted one filled in) and no other field; `invalid/args` otherwise.
+     */
+    put(row, version) {
+        const what = `${this.#table}: put`;
+        const fields = this.#closed(row, this.#names, what);
+        const params = [];
+        const stored = {};
+        const versions = {};
+        for (const column of this.#columns) {
+            let value = fields[column.name];
+            if (value === undefined && column.type !== "json")
+                value = column.default;
+            if (value === undefined) {
+                if (!column.optional)
+                    throw invalid("args", `${what}: column "${column.name}" is missing`);
+                params.push(null);
+                continue;
+            }
+            const cell = encodeCell(column, value, `${what}: column "${column.name}"`);
+            params.push(cell.param);
+            stored[column.name] = cell.stored;
+        }
+        for (const column of this.#json) {
+            const present = Object.hasOwn(stored, column.name);
+            if (present)
+                versions[column.name] = column.json.version;
+            params.push(present ? column.json.version : null);
+        }
+        params.push(version);
+        const id = JSON.stringify(this.#keyPositions.map((position) => params[position]));
+        return { params, row: stored, columns: versions, id };
+    }
+    /** Checks and encodes a key (a trust boundary): an object with exactly the key columns; `invalid/args` otherwise. */
+    key(key, what) {
+        const fields = this.#closed(key, this.#keyNames, `${this.#table}: ${what}: the key`);
+        const params = [];
+        const stored = {};
+        for (const column of this.#key) {
+            const value = fields[column.name];
+            const where = `${this.#table}: ${what}: key column "${column.name}"`;
+            if (value === undefined)
+                throw invalid("args", `${where} is missing`);
+            const cell = encodeScalar(column, value, where);
+            params.push(cell);
+            stored[column.name] = cell;
+        }
+        return { params, key: stored, id: JSON.stringify(params) };
+    }
+    /**
+     * A stored row as reads return it: booleans from 0 and 1, `opt(...)` columns absent when `NULL`, `json(...)` cells
+     * parsed and migrated on access (a cell the code cannot read throws, see `JsonColumn.read`).
+     */
+    decode(stored, context) {
+        const row = {};
+        for (const column of this.#columns) {
+            const value = stored[column.name];
+            if (value === null || value === undefined)
+                continue;
+            if (column.type === "bool")
+                row[column.name] = value === 1;
+            else if (column.type === "json") {
+                const version = stored[versionColumn(column.name)];
+                row[column.name] = column.json.read(value, version, `${this.#table}.${column.name}`, context);
+            }
+            else
+                row[column.name] = value;
+        }
+        return row;
+    }
+    /** `value`'s own fields when it is a plain object with only fields of `names`; `invalid/args` otherwise. */
+    #closed(value, names, what) {
+        if (typeof value !== "object" || value === null || Array.isArray(value)) {
+            throw invalid("args", `${what}: expected an object`);
+        }
+        for (const field of Object.keys(value)) {
+            if (!names.has(field))
+                throw invalid("args", `${what}: unknown column "${field}"`);
+        }
+        // Checked above: a plain object with known fields.
+        return value;
+    }
+}
+/** Checks and encodes a value of `column`; a `json(...)` value is serialized, not walked (R9). */
+export function encodeCell(column, value, what) {
+    if (column.type !== "json") {
+        const stored = checkScalar(column.type, value, what);
+        return { param: toSqlite(stored), stored };
+    }
+    let text;
+    try {
+        text = JSON.stringify(value);
+    }
+    catch (error) {
+        throw invalid("args", `${what}: not JSON (${error instanceof Error ? error.message : String(error)})`);
+    }
+    if (text === undefined)
+        throw invalid("args", `${what}: not JSON`);
+    // `JSON.stringify` accepted it; the recorded value is the one serialized. It is kept, not copied or parsed back:
+    // same-host values are immutable by convention, so the outbox serializing it again in the step records this text
+    // (a plugin mutating a value after `tx.put` breaks that convention, as for any other value it hands over).
+    return { param: text, stored: value };
+}
+/** Checks a scalar value of `column` and returns what is bound (booleans as 0 and 1). */
+function encodeScalar(column, value, what) {
+    if (column.type === "json")
+        throw invalid("args", `${what}: a json(...) column has no scalar value`);
+    return toSqlite(checkScalar(column.type, value, what));
+}
+/**
+ * A value of a scalar column type as the store keeps it (a trust boundary): `str` well-formed without NUL, `int` a
+ * safe integer, `num` finite, `bool` a boolean; `invalid/args` otherwise.
+ */
+export function checkScalar(type, value, what) {
+    switch (type) {
+        case "str":
+            if (typeof value === "string")
+                return storedText(value, what);
+            break;
+        case "int":
+            if (Number.isSafeInteger(value))
+                return value;
+            break;
+        case "num":
+            if (typeof value === "number" && Number.isFinite(value))
+                return value;
+            break;
+        case "bool":
+            if (typeof value === "boolean")
+                return value;
+            break;
+    }
+    throw invalid("args", `${what}: ${JSON.stringify(value) ?? String(value)} is not a ${type} value`);
+}
+//# sourceMappingURL=rows.js.map

package/dist/store/rows.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rows.js","sourceRoot":"","sources":["../../src/store/rows.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,iHAAiH;AACjH,iEAAiE;AAGjE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAI9C,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AA0BvC,uGAAuG;AACvG,MAAM,UAAU,aAAa,CAAC,MAAc;IAC3C,OAAO,GAAG,MAAM,IAAI,CAAC;AACtB,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC;AAEhC,qHAAqH;AACrH,MAAM,UAAU,eAAe,CAAC,OAAwE;IACvG,OAAO;QACN,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC;QAClC,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,aAAa,CAAC,IAAI,CAAC,CAAC;QACvF,WAAW;KACX,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,QAAQ,CAAC,MAAc;IACtC,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC5D,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,QAAQ;IACX,QAAQ,CAAoB;IAC5B,QAAQ,CAAoB;IAC5B,IAAI,CAAoB;IACxB,KAAK,CAAwD;IAC7D,MAAM,CAAsB;IAC5B,SAAS,CAAsB;IACxC,sDAAsD;IAC7C,aAAa,CAAoB;IACjC,MAAM,CAAS;IAExB,YAAY,OAA0B,EAAE,GAAsB,EAAE,KAAa;QAC5E,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,MAAM,CAC1B,CAAC,MAAM,EAAwD,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CACxF,CAAC;QACF,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,aAAa,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC;QAC5F,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED;;;OAGG;IACH,GAAG,CAAC,GAAY,EAAE,OAAe;QAChC,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,OAAO,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,MAAM,GAA6C,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAiC,EAAE,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC;YAC1E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC,MAAM,CAAC,QAAQ;oBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,MAAM,CAAC,IAAI,cAAc,CAAC,CAAC;gBAC3F,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClB,SAAS;YACV,CAAC;YACD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,aAAa,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;YAC3E,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACxB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QACnC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,OAAO;gBAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClF,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACvD,CAAC;IAED,qHAAqH;IACrH,GAAG,CAAC,GAAY,EAAE,IAAY;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,WAAW,CAAC,CAAC;QACrF,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,MAAM,GAAiC,EAAE,CAAC;QAChD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,iBAAiB,MAAM,CAAC,IAAI,GAAG,CAAC;YACrE,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;YACtE,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;IAC5D,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,MAAkD,EAAE,OAAgB;QAC1E,MAAM,GAAG,GAAkC,EAAE,CAAC;QAC9C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YACpD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC;iBACtD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAW,CAAC;gBAC7D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAe,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;YACzG,CAAC;;gBAAM,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACjC,CAAC;QACD,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,4GAA4G;IAC5G,OAAO,CAAC,KAAc,EAAE,KAA0B,EAAE,IAAY;QAC/D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,sBAAsB,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,qBAAqB,KAAK,GAAG,CAAC,CAAC;QACpF,CAAC;QACD,mDAAmD;QACnD,OAAO,KAA8C,CAAC;IACvD,CAAC;CACD;AAKD,kGAAkG;AAClG,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,KAAc,EAAE,IAAY;IACtE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACrD,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,IAAwB,CAAC;IAC7B,IAAI,CAAC;QACJ,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACnE,iHAAiH;IACjH,iHAAiH;IACjH,2GAA2G;IAC3G,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAkB,EAAE,CAAC;AACpD,CAAC;AAED,yFAAyF;AACzF,SAAS,YAAY,CAAC,MAAc,EAAE,KAAc,EAAE,IAAY;IACjE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,0CAA0C,CAAC,CAAC;IACrG,OAAO,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAoC,EAAE,KAAc,EAAE,IAAY;IAC7F,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,KAAK;YACT,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9D,MAAM;QACP,KAAK,KAAK;YACT,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAe,CAAC;YACxD,MAAM;QACP,KAAK,KAAK;YACT,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtE,MAAM;QACP,KAAK,MAAM;YACV,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM;IACR,CAAC;IACD,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,aAAa,IAAI,QAAQ,CAAC,CAAC;AACpG,CAAC","sourcesContent":["// Rows (slice 6a §5 \"Values at write\", §9): one compiled codec per table version between a plugin's rows and keys\n// (a trust boundary, checked closed) and what the store binds and reads; `json(...)` cells serialized at staging\n// (rule 8), never walked (R9), and migrated on access when read.\n\nimport type { Context } from \"../context/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport type { SqliteValue } from \"../sqlite/index.ts\";\nimport type { Column, ColumnType } from \"./columns.ts\";\nimport { storedText } from \"./text.ts\";\n\n/** A scalar cell as the store keeps it in rows, writes and operands: a well-formed string, a number or a boolean. */\nexport type Scalar = string | number | boolean;\n\n/** A row as the outbox records it: the stored values, `opt(...)` columns absent when `NULL`. */\nexport type StoredRow = { readonly [column: string]: Scalar | JsonValue };\n\n/** A `put` ready for the step: its parameters in `physical` order and its record. */\nexport type EncodedRow = {\n\treadonly params: readonly SqliteValue[];\n\treadonly row: StoredRow;\n\t/** Each written `json(...)` column's version. */\n\treadonly columns: { readonly [column: string]: number };\n\t/** The row's key identity, as `EncodedKey.id`. */\n\treadonly id: string;\n};\n\n/** A key ready for the store: its parameters in key order, its record and its identity within one table. */\nexport type EncodedKey = {\n\treadonly params: readonly SqliteValue[];\n\treadonly key: { readonly [column: string]: Scalar };\n\t/** `JSON.stringify` of the parameters: equal keys, equal ids. */\n\treadonly id: string;\n};\n\n/** The physical name of a `json(...)` column's version column, and of the row's eager-step version. */\nexport function versionColumn(column: string): string {\n\treturn `${column}$v`;\n}\n\n/** The row's eager-step version column (W11): set by `put` and eager migration steps only. */\nexport const ROW_VERSION = \"$v\";\n\n/** The physical column order of a stored row: the declared columns, each `json(...)` column's version, then `$v`. */\nexport function physicalColumns(columns: readonly { readonly name: string; readonly type: ColumnType }[]): string[] {\n\treturn [\n\t\t...columns.map(({ name }) => name),\n\t\t...columns.filter(({ type }) => type === \"json\").map(({ name }) => versionColumn(name)),\n\t\tROW_VERSION,\n\t];\n}\n\n/** A scalar as SQLite binds it: booleans as 0 and 1. */\nexport function toSqlite(scalar: Scalar): string | number {\n\treturn scalar === true ? 1 : scalar === false ? 0 : scalar;\n}\n\n/**\n * A table version's codec: `put` rows and keys checked and encoded, stored rows decoded. `physical` is the column\n * order of an encoded row (`physicalColumns`).\n */\nexport class RowCodec {\n\treadonly physical: readonly string[];\n\treadonly #columns: readonly Column[];\n\treadonly #key: readonly Column[];\n\treadonly #json: readonly Extract<Column, { readonly type: \"json\" }>[];\n\treadonly #names: ReadonlySet<string>;\n\treadonly #keyNames: ReadonlySet<string>;\n\t/** The positions of the key columns in `physical`. */\n\treadonly #keyPositions: readonly number[];\n\treadonly #table: string;\n\n\tconstructor(columns: readonly Column[], key: readonly string[], table: string) {\n\t\tthis.#columns = columns;\n\t\tthis.#key = key.map((name) => columns.find((column) => column.name === name)!);\n\t\tthis.#json = columns.filter(\n\t\t\t(column): column is Extract<Column, { readonly type: \"json\" }> => column.type === \"json\",\n\t\t);\n\t\tthis.#names = new Set(columns.map(({ name }) => name));\n\t\tthis.#keyNames = new Set(key);\n\t\tthis.#keyPositions = key.map((name) => columns.findIndex((column) => column.name === name));\n\t\tthis.#table = table;\n\t\tthis.physical = physicalColumns(columns);\n\t}\n\n\t/**\n\t * Checks and encodes a `put` row of table version `version` (a trust boundary): a plain object with every\n\t * non-`opt` column (a defaulted one filled in) and no other field; `invalid/args` otherwise.\n\t */\n\tput(row: unknown, version: number): EncodedRow {\n\t\tconst what = `${this.#table}: put`;\n\t\tconst fields = this.#closed(row, this.#names, what);\n\t\tconst params: SqliteValue[] = [];\n\t\tconst stored: { [column: string]: Scalar | JsonValue } = {};\n\t\tconst versions: { [column: string]: number } = {};\n\t\tfor (const column of this.#columns) {\n\t\t\tlet value = fields[column.name];\n\t\t\tif (value === undefined && column.type !== \"json\") value = column.default;\n\t\t\tif (value === undefined) {\n\t\t\t\tif (!column.optional) throw invalid(\"args\", `${what}: column \"${column.name}\" is missing`);\n\t\t\t\tparams.push(null);\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tconst cell = encodeCell(column, value, `${what}: column \"${column.name}\"`);\n\t\t\tparams.push(cell.param);\n\t\t\tstored[column.name] = cell.stored;\n\t\t}\n\t\tfor (const column of this.#json) {\n\t\t\tconst present = Object.hasOwn(stored, column.name);\n\t\t\tif (present) versions[column.name] = column.json.version;\n\t\t\tparams.push(present ? column.json.version : null);\n\t\t}\n\t\tparams.push(version);\n\t\tconst id = JSON.stringify(this.#keyPositions.map((position) => params[position]));\n\t\treturn { params, row: stored, columns: versions, id };\n\t}\n\n\t/** Checks and encodes a key (a trust boundary): an object with exactly the key columns; `invalid/args` otherwise. */\n\tkey(key: unknown, what: string): EncodedKey {\n\t\tconst fields = this.#closed(key, this.#keyNames, `${this.#table}: ${what}: the key`);\n\t\tconst params: SqliteValue[] = [];\n\t\tconst stored: { [column: string]: Scalar } = {};\n\t\tfor (const column of this.#key) {\n\t\t\tconst value = fields[column.name];\n\t\t\tconst where = `${this.#table}: ${what}: key column \"${column.name}\"`;\n\t\t\tif (value === undefined) throw invalid(\"args\", `${where} is missing`);\n\t\t\tconst cell = encodeScalar(column, value, where);\n\t\t\tparams.push(cell);\n\t\t\tstored[column.name] = cell;\n\t\t}\n\t\treturn { params, key: stored, id: JSON.stringify(params) };\n\t}\n\n\t/**\n\t * A stored row as reads return it: booleans from 0 and 1, `opt(...)` columns absent when `NULL`, `json(...)` cells\n\t * parsed and migrated on access (a cell the code cannot read throws, see `JsonColumn.read`).\n\t */\n\tdecode(stored: { readonly [column: string]: SqliteValue }, context: Context): { [column: string]: unknown } {\n\t\tconst row: { [column: string]: unknown } = {};\n\t\tfor (const column of this.#columns) {\n\t\t\tconst value = stored[column.name];\n\t\t\tif (value === null || value === undefined) continue;\n\t\t\tif (column.type === \"bool\") row[column.name] = value === 1;\n\t\t\telse if (column.type === \"json\") {\n\t\t\t\tconst version = stored[versionColumn(column.name)] as number;\n\t\t\t\trow[column.name] = column.json.read(value as string, version, `${this.#table}.${column.name}`, context);\n\t\t\t} else row[column.name] = value;\n\t\t}\n\t\treturn row;\n\t}\n\n\t/** `value`'s own fields when it is a plain object with only fields of `names`; `invalid/args` otherwise. */\n\t#closed(value: unknown, names: ReadonlySet<string>, what: string): { readonly [field: string]: unknown } {\n\t\tif (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n\t\t\tthrow invalid(\"args\", `${what}: expected an object`);\n\t\t}\n\t\tfor (const field of Object.keys(value)) {\n\t\t\tif (!names.has(field)) throw invalid(\"args\", `${what}: unknown column \"${field}\"`);\n\t\t}\n\t\t// Checked above: a plain object with known fields.\n\t\treturn value as { readonly [field: string]: unknown };\n\t}\n}\n\n/** A checked cell: what is bound and what is recorded. */\ntype Cell = { readonly param: SqliteValue; readonly stored: Scalar | JsonValue };\n\n/** Checks and encodes a value of `column`; a `json(...)` value is serialized, not walked (R9). */\nexport function encodeCell(column: Column, value: unknown, what: string): Cell {\n\tif (column.type !== \"json\") {\n\t\tconst stored = checkScalar(column.type, value, what);\n\t\treturn { param: toSqlite(stored), stored };\n\t}\n\tlet text: string | undefined;\n\ttry {\n\t\ttext = JSON.stringify(value);\n\t} catch (error) {\n\t\tthrow invalid(\"args\", `${what}: not JSON (${error instanceof Error ? error.message : String(error)})`);\n\t}\n\tif (text === undefined) throw invalid(\"args\", `${what}: not JSON`);\n\t// `JSON.stringify` accepted it; the recorded value is the one serialized. It is kept, not copied or parsed back:\n\t// same-host values are immutable by convention, so the outbox serializing it again in the step records this text\n\t// (a plugin mutating a value after `tx.put` breaks that convention, as for any other value it hands over).\n\treturn { param: text, stored: value as JsonValue };\n}\n\n/** Checks a scalar value of `column` and returns what is bound (booleans as 0 and 1). */\nfunction encodeScalar(column: Column, value: unknown, what: string): string | number {\n\tif (column.type === \"json\") throw invalid(\"args\", `${what}: a json(...) column has no scalar value`);\n\treturn toSqlite(checkScalar(column.type, value, what));\n}\n\n/**\n * A value of a scalar column type as the store keeps it (a trust boundary): `str` well-formed without NUL, `int` a\n * safe integer, `num` finite, `bool` a boolean; `invalid/args` otherwise.\n */\nexport function checkScalar(type: \"str\" | \"int\" | \"num\" | \"bool\", value: unknown, what: string): Scalar {\n\tswitch (type) {\n\t\tcase \"str\":\n\t\t\tif (typeof value === \"string\") return storedText(value, what);\n\t\t\tbreak;\n\t\tcase \"int\":\n\t\t\tif (Number.isSafeInteger(value)) return value as number;\n\t\t\tbreak;\n\t\tcase \"num\":\n\t\t\tif (typeof value === \"number\" && Number.isFinite(value)) return value;\n\t\t\tbreak;\n\t\tcase \"bool\":\n\t\t\tif (typeof value === \"boolean\") return value;\n\t\t\tbreak;\n\t}\n\tthrow invalid(\"args\", `${what}: ${JSON.stringify(value) ?? String(value)} is not a ${type} value`);\n}\n"]}

package/dist/store/schema.d.ts

@@ -0,0 +1,25 @@
+import { type SqliteDatabase } from "../sqlite/index.ts";
+/** The store's tables. */
+export declare const TABLES: {
+    readonly meta: "chord_meta";
+    readonly tables: "chord_tables";
+    readonly documents: "chord_documents";
+    readonly revisions: "chord_revisions";
+    readonly outbox: "chord_outbox";
+};
+/** The store's schema version: the newest entry of its history (archives carry it). */
+export declare const STORE_SCHEMA: number;
+/** The store's metadata row, as `openStore` reads it once. */
+export type MetaRow = {
+    readonly last_seq: number;
+    readonly next_id: number;
+    readonly outbox: number;
+    readonly outbox_floor: number;
+};
+/**
+ * Brings `db` to the store's newest schema (one transaction) and checks that it stores text as UTF-8 (the store
+ * compares text by its bytes); returns the metadata row. A store already there is read in one statement, without the
+ * migrations' write transaction (most opens: the cost of a reopen).
+ */
+export declare function applyStoreSchema(db: SqliteDatabase): Promise<MetaRow>;
+//# sourceMappingURL=schema.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/store/schema.ts"],"names":[],"mappings":"AAIA,OAAO,EAAyB,KAAK,cAAc,EAAwB,MAAM,oBAAoB,CAAC;AAEtG,0BAA0B;AAC1B,eAAO,MAAM,MAAM;aAClB,IAAI,EAAE,YAAY;aAClB,MAAM,EAAE,cAAc;aACtB,SAAS,EAAE,iBAAiB;aAC5B,SAAS,EAAE,iBAAiB;aAC5B,MAAM,EAAE,cAAc;CACb,CAAC;AAmEX,uFAAuF;AACvF,eAAO,MAAM,YAAY,QAA6B,CAAC;AAEvD,8DAA8D;AAC9D,MAAM,MAAM,OAAO,GAAG;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAY3E"}

package/dist/store/schema.js

@@ -0,0 +1,115 @@
+// The store's own SQL schema (slice 6a §2): its metadata, the recorded table definitions, the documents engine's
+// records and revisions, and the outbox; versioned by `applySqliteMigrations`. Declared tables are named
+// `"<owner>:<table>"`, so no name here can meet one of them.
+import { applySqliteMigrations } from "../sqlite/index.js";
+/** The store's tables. */
+export const TABLES = {
+    meta: "chord_meta",
+    tables: "chord_tables",
+    documents: "chord_documents",
+    revisions: "chord_revisions",
+    outbox: "chord_outbox",
+};
+/**
+ * The schema history; never change an entry, append one (nothing is deployed yet: slice 6b changed entry 1 in place).
+ * `chord_meta` is one row: `last_seq`, the allocator's next id (D3; from 2, id 1 is Durable's root conversation), and
+ * the outbox setting with its floor (the seq it starts after, advanced by `trim`). A document record keeps its
+ * history rule (R1), its current base's version and fingerprint and a `revision` counter for the conditional
+ * `UPDATE`; the partial unique index refuses two live records at one address. Entry 2 adds the indexes of reads at a
+ * point (slice 6b §1.5): an address's incarnations by creation, an owner's namespace by id, a document's bases (a
+ * partial index: deltas write no entry).
+ */
+const MIGRATIONS = [
+    {
+        version: 1,
+        statements: [
+            `CREATE TABLE ${TABLES.meta} (
+				singleton INTEGER PRIMARY KEY CHECK (singleton = 1),
+				last_seq INTEGER NOT NULL,
+				next_id INTEGER NOT NULL,
+				outbox INTEGER NOT NULL CHECK (outbox IN (0, 1)),
+				outbox_floor INTEGER NOT NULL
+			) STRICT`,
+            `INSERT INTO ${TABLES.meta} (singleton, last_seq, next_id, outbox, outbox_floor) VALUES (1, 0, 2, 0, 0)`,
+            `CREATE TABLE ${TABLES.tables} (name TEXT PRIMARY KEY, definition TEXT NOT NULL) STRICT, WITHOUT ROWID`,
+            `CREATE TABLE ${TABLES.documents} (
+				id INTEGER PRIMARY KEY,
+				owner TEXT NOT NULL,
+				namespace TEXT NOT NULL,
+				kind TEXT NOT NULL,
+				key TEXT NOT NULL,
+				history TEXT NOT NULL CHECK (history IN ('none', 'latest', 'rewindable')),
+				created_at INTEGER NOT NULL,
+				retired_at INTEGER,
+				meta TEXT,
+				revision INTEGER NOT NULL,
+				version INTEGER NOT NULL,
+				fingerprint TEXT NOT NULL
+			) STRICT`,
+            `CREATE UNIQUE INDEX chord_documents_live ON ${TABLES.documents} (owner, namespace, kind, key)
+				WHERE retired_at IS NULL`,
+            `CREATE TABLE ${TABLES.revisions} (
+				document_id INTEGER NOT NULL,
+				seq INTEGER NOT NULL,
+				kind TEXT NOT NULL CHECK (kind IN ('base', 'delta')),
+				version INTEGER NOT NULL,
+				content TEXT NOT NULL,
+				PRIMARY KEY (document_id, seq)
+			) STRICT, WITHOUT ROWID`,
+            `CREATE TABLE ${TABLES.outbox} (
+				seq INTEGER PRIMARY KEY,
+				format INTEGER NOT NULL,
+				next_id INTEGER NOT NULL,
+				writes TEXT NOT NULL
+			) STRICT`,
+        ],
+    },
+    {
+        version: 2,
+        statements: [
+            `CREATE INDEX chord_documents_address ON ${TABLES.documents} (owner, namespace, kind, key, created_at)`,
+            `CREATE INDEX chord_documents_scope ON ${TABLES.documents} (owner, namespace, id)`,
+            // Only bases are looked up by it (a load's newest base at or below a point): deltas write no entry.
+            `CREATE INDEX chord_revisions_bases ON ${TABLES.revisions} (document_id, seq) WHERE kind = 'base'`,
+        ],
+    },
+];
+/** The store's schema version: the newest entry of its history (archives carry it). */
+export const STORE_SCHEMA = MIGRATIONS.at(-1).version;
+/**
+ * Brings `db` to the store's newest schema (one transaction) and checks that it stores text as UTF-8 (the store
+ * compares text by its bytes); returns the metadata row. A store already there is read in one statement, without the
+ * migrations' write transaction (most opens: the cost of a reopen).
+ */
+export async function applyStoreSchema(db) {
+    const current = await currentMeta(db);
+    if (current !== undefined)
+        return current;
+    const encoding = await db.get("PRAGMA encoding");
+    if (encoding?.encoding !== "UTF-8")
+        throw new Error(`store: the database encoding is ${encoding?.encoding}, not UTF-8`);
+    await applySqliteMigrations(db, MIGRATIONS, { table: "chord_store_schema" });
+    const meta = await db.get(`SELECT last_seq, next_id, outbox, outbox_floor FROM ${TABLES.meta} WHERE singleton = 1`);
+    if (meta === undefined)
+        throw new Error("store: the metadata row is missing");
+    return meta;
+}
+/** The schema version, the encoding and the metadata row of a store, in one read. */
+const CURRENT_META = `SELECT s.version, e.encoding, m.last_seq, m.next_id, m.outbox, m.outbox_floor
+	FROM chord_store_schema s, pragma_encoding e, ${TABLES.meta} m WHERE s.singleton = 1 AND m.singleton = 1`;
+/** The metadata row of a store at the newest schema in UTF-8; `undefined` for any other database. */
+async function currentMeta(db) {
+    let row;
+    try {
+        row = await db.get(CURRENT_META);
+    }
+    catch {
+        // A database without the store's tables (new, or not a store) or a backend without `pragma_encoding`: the
+        // migrations' path creates, refuses or reads it.
+        return undefined;
+    }
+    if (row === undefined || row.version !== STORE_SCHEMA || row.encoding !== "UTF-8")
+        return undefined;
+    return { last_seq: row.last_seq, next_id: row.next_id, outbox: row.outbox, outbox_floor: row.outbox_floor };
+}
+//# sourceMappingURL=schema.js.map

package/dist/store/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/store/schema.ts"],"names":[],"mappings":"AAAA,iHAAiH;AACjH,yGAAyG;AACzG,6DAA6D;AAE7D,OAAO,EAAE,qBAAqB,EAA6C,MAAM,oBAAoB,CAAC;AAEtG,0BAA0B;AAC1B,MAAM,CAAC,MAAM,MAAM,GAAG;IACrB,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,cAAc;IACtB,SAAS,EAAE,iBAAiB;IAC5B,SAAS,EAAE,iBAAiB;IAC5B,MAAM,EAAE,cAAc;CACb,CAAC;AAEX;;;;;;;;GAQG;AACH,MAAM,UAAU,GAA+B;IAC9C;QACC,OAAO,EAAE,CAAC;QACV,UAAU,EAAE;YACX,gBAAgB,MAAM,CAAC,IAAI;;;;;;YAMlB;YACT,eAAe,MAAM,CAAC,IAAI,8EAA8E;YACxG,gBAAgB,MAAM,CAAC,MAAM,0EAA0E;YACvG,gBAAgB,MAAM,CAAC,SAAS;;;;;;;;;;;;;YAavB;YACT,+CAA+C,MAAM,CAAC,SAAS;6BACrC;YAC1B,gBAAgB,MAAM,CAAC,SAAS;;;;;;;2BAOR;YACxB,gBAAgB,MAAM,CAAC,MAAM;;;;;YAKpB;SACT;KACD;IACD;QACC,OAAO,EAAE,CAAC;QACV,UAAU,EAAE;YACX,2CAA2C,MAAM,CAAC,SAAS,4CAA4C;YACvG,yCAAyC,MAAM,CAAC,SAAS,yBAAyB;YAClF,oGAAoG;YACpG,yCAAyC,MAAM,CAAC,SAAS,yCAAyC;SAClG;KACD;CACD,CAAC;AAEF,uFAAuF;AACvF,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC;AAUvD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,EAAkB;IACxD,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,EAAE,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC1C,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,GAAG,CAAgC,iBAAiB,CAAC,CAAC;IAChF,IAAI,QAAQ,EAAE,QAAQ,KAAK,OAAO;QACjC,MAAM,IAAI,KAAK,CAAC,mCAAmC,QAAQ,EAAE,QAAQ,aAAa,CAAC,CAAC;IACrF,MAAM,qBAAqB,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,GAAG,CACxB,uDAAuD,MAAM,CAAC,IAAI,sBAAsB,CACxF,CAAC;IACF,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC9E,OAAO,IAAI,CAAC;AACb,CAAC;AAED,qFAAqF;AACrF,MAAM,YAAY,GAAG;iDAC4B,MAAM,CAAC,IAAI,8CAA8C,CAAC;AAE3G,qGAAqG;AACrG,KAAK,UAAU,WAAW,CAAC,EAAkB;IAC5C,IAAI,GAAoF,CAAC;IACzF,IAAI,CAAC;QACJ,GAAG,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACR,0GAA0G;QAC1G,iDAAiD;QACjD,OAAO,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,KAAK,YAAY,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IACpG,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;AAC7G,CAAC","sourcesContent":["// The store's own SQL schema (slice 6a §2): its metadata, the recorded table definitions, the documents engine's\n// records and revisions, and the outbox; versioned by `applySqliteMigrations`. Declared tables are named\n// `\"<owner>:<table>\"`, so no name here can meet one of them.\n\nimport { applySqliteMigrations, type SqliteDatabase, type SqliteMigration } from \"../sqlite/index.ts\";\n\n/** The store's tables. */\nexport const TABLES = {\n\tmeta: \"chord_meta\",\n\ttables: \"chord_tables\",\n\tdocuments: \"chord_documents\",\n\trevisions: \"chord_revisions\",\n\toutbox: \"chord_outbox\",\n} as const;\n\n/**\n * The schema history; never change an entry, append one (nothing is deployed yet: slice 6b changed entry 1 in place).\n * `chord_meta` is one row: `last_seq`, the allocator's next id (D3; from 2, id 1 is Durable's root conversation), and\n * the outbox setting with its floor (the seq it starts after, advanced by `trim`). A document record keeps its\n * history rule (R1), its current base's version and fingerprint and a `revision` counter for the conditional\n * `UPDATE`; the partial unique index refuses two live records at one address. Entry 2 adds the indexes of reads at a\n * point (slice 6b §1.5): an address's incarnations by creation, an owner's namespace by id, a document's bases (a\n * partial index: deltas write no entry).\n */\nconst MIGRATIONS: readonly SqliteMigration[] = [\n\t{\n\t\tversion: 1,\n\t\tstatements: [\n\t\t\t`CREATE TABLE ${TABLES.meta} (\n\t\t\t\tsingleton INTEGER PRIMARY KEY CHECK (singleton = 1),\n\t\t\t\tlast_seq INTEGER NOT NULL,\n\t\t\t\tnext_id INTEGER NOT NULL,\n\t\t\t\toutbox INTEGER NOT NULL CHECK (outbox IN (0, 1)),\n\t\t\t\toutbox_floor INTEGER NOT NULL\n\t\t\t) STRICT`,\n\t\t\t`INSERT INTO ${TABLES.meta} (singleton, last_seq, next_id, outbox, outbox_floor) VALUES (1, 0, 2, 0, 0)`,\n\t\t\t`CREATE TABLE ${TABLES.tables} (name TEXT PRIMARY KEY, definition TEXT NOT NULL) STRICT, WITHOUT ROWID`,\n\t\t\t`CREATE TABLE ${TABLES.documents} (\n\t\t\t\tid INTEGER PRIMARY KEY,\n\t\t\t\towner TEXT NOT NULL,\n\t\t\t\tnamespace TEXT NOT NULL,\n\t\t\t\tkind TEXT NOT NULL,\n\t\t\t\tkey TEXT NOT NULL,\n\t\t\t\thistory TEXT NOT NULL CHECK (history IN ('none', 'latest', 'rewindable')),\n\t\t\t\tcreated_at INTEGER NOT NULL,\n\t\t\t\tretired_at INTEGER,\n\t\t\t\tmeta TEXT,\n\t\t\t\trevision INTEGER NOT NULL,\n\t\t\t\tversion INTEGER NOT NULL,\n\t\t\t\tfingerprint TEXT NOT NULL\n\t\t\t) STRICT`,\n\t\t\t`CREATE UNIQUE INDEX chord_documents_live ON ${TABLES.documents} (owner, namespace, kind, key)\n\t\t\t\tWHERE retired_at IS NULL`,\n\t\t\t`CREATE TABLE ${TABLES.revisions} (\n\t\t\t\tdocument_id INTEGER NOT NULL,\n\t\t\t\tseq INTEGER NOT NULL,\n\t\t\t\tkind TEXT NOT NULL CHECK (kind IN ('base', 'delta')),\n\t\t\t\tversion INTEGER NOT NULL,\n\t\t\t\tcontent TEXT NOT NULL,\n\t\t\t\tPRIMARY KEY (document_id, seq)\n\t\t\t) STRICT, WITHOUT ROWID`,\n\t\t\t`CREATE TABLE ${TABLES.outbox} (\n\t\t\t\tseq INTEGER PRIMARY KEY,\n\t\t\t\tformat INTEGER NOT NULL,\n\t\t\t\tnext_id INTEGER NOT NULL,\n\t\t\t\twrites TEXT NOT NULL\n\t\t\t) STRICT`,\n\t\t],\n\t},\n\t{\n\t\tversion: 2,\n\t\tstatements: [\n\t\t\t`CREATE INDEX chord_documents_address ON ${TABLES.documents} (owner, namespace, kind, key, created_at)`,\n\t\t\t`CREATE INDEX chord_documents_scope ON ${TABLES.documents} (owner, namespace, id)`,\n\t\t\t// Only bases are looked up by it (a load's newest base at or below a point): deltas write no entry.\n\t\t\t`CREATE INDEX chord_revisions_bases ON ${TABLES.revisions} (document_id, seq) WHERE kind = 'base'`,\n\t\t],\n\t},\n];\n\n/** The store's schema version: the newest entry of its history (archives carry it). */\nexport const STORE_SCHEMA = MIGRATIONS.at(-1)!.version;\n\n/** The store's metadata row, as `openStore` reads it once. */\nexport type MetaRow = {\n\treadonly last_seq: number;\n\treadonly next_id: number;\n\treadonly outbox: number;\n\treadonly outbox_floor: number;\n};\n\n/**\n * Brings `db` to the store's newest schema (one transaction) and checks that it stores text as UTF-8 (the store\n * compares text by its bytes); returns the metadata row. A store already there is read in one statement, without the\n * migrations' write transaction (most opens: the cost of a reopen).\n */\nexport async function applyStoreSchema(db: SqliteDatabase): Promise<MetaRow> {\n\tconst current = await currentMeta(db);\n\tif (current !== undefined) return current;\n\tconst encoding = await db.get<{ readonly encoding: string }>(\"PRAGMA encoding\");\n\tif (encoding?.encoding !== \"UTF-8\")\n\t\tthrow new Error(`store: the database encoding is ${encoding?.encoding}, not UTF-8`);\n\tawait applySqliteMigrations(db, MIGRATIONS, { table: \"chord_store_schema\" });\n\tconst meta = await db.get<MetaRow>(\n\t\t`SELECT last_seq, next_id, outbox, outbox_floor FROM ${TABLES.meta} WHERE singleton = 1`,\n\t);\n\tif (meta === undefined) throw new Error(\"store: the metadata row is missing\");\n\treturn meta;\n}\n\n/** The schema version, the encoding and the metadata row of a store, in one read. */\nconst CURRENT_META = `SELECT s.version, e.encoding, m.last_seq, m.next_id, m.outbox, m.outbox_floor\n\tFROM chord_store_schema s, pragma_encoding e, ${TABLES.meta} m WHERE s.singleton = 1 AND m.singleton = 1`;\n\n/** The metadata row of a store at the newest schema in UTF-8; `undefined` for any other database. */\nasync function currentMeta(db: SqliteDatabase): Promise<MetaRow | undefined> {\n\tlet row: (MetaRow & { readonly version: number; readonly encoding: string }) | undefined;\n\ttry {\n\t\trow = await db.get(CURRENT_META);\n\t} catch {\n\t\t// A database without the store's tables (new, or not a store) or a backend without `pragma_encoding`: the\n\t\t// migrations' path creates, refuses or reads it.\n\t\treturn undefined;\n\t}\n\tif (row === undefined || row.version !== STORE_SCHEMA || row.encoding !== \"UTF-8\") return undefined;\n\treturn { last_seq: row.last_seq, next_id: row.next_id, outbox: row.outbox, outbox_floor: row.outbox_floor };\n}\n"]}

package/dist/store/sql.d.ts

@@ -0,0 +1,73 @@
+import type { SqliteValue } from "../sqlite/index.ts";
+import type { Column, ColumnRecord } from "./columns.ts";
+import type { SetNode, WhereNode } from "./expression.ts";
+/** A statement and its parameters. */
+export type Statement = {
+    readonly sql: string;
+    readonly params: SqliteValue[];
+};
+/** An order of rows: the order columns (the key appended as the tie-break) and one direction. */
+export type Order = {
+    readonly columns: readonly string[];
+    readonly direction: "asc" | "desc";
+};
+/** A quoted SQL identifier. */
+export declare function quote(name: string): string;
+/** The SQL name of an owner's table: `<owner>:<table>` (R2), injective since neither part contains `:`. */
+export declare function tableSqlName(owner: string, table: string): string;
+/**
+ * `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 declare function createTableSql(table: string, columns: {
+    readonly [name: string]: ColumnRecord;
+}, key: readonly string[]): string;
+/** The definitions of one column: itself, and a `json(...)` column's version column. */
+export declare function columnSql(name: string, column: ColumnRecord): string[];
+/**
+ * The physical columns of a recorded table in the order `RowCodec.physical` uses (`physicalColumns`), and its
+ * whole-row `INSERT OR REPLACE` over them.
+ */
+export declare function recordedPut(table: string, columns: {
+    readonly [name: string]: ColumnRecord;
+}): {
+    readonly physical: readonly string[];
+    readonly sql: string;
+};
+/** `CREATE INDEX` named `<table>:<index>` over `columns`, the key appended (every index ends with it). */
+export declare function createIndexSql(table: string, index: string, columns: readonly string[], key: readonly string[]): string;
+/** `DROP INDEX` of `<table>:<index>`. */
+export declare function dropIndexSql(table: string, index: string): string;
+/**
+ * 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 declare class TableSql {
+    #private;
+    readonly table: string;
+    /** `INSERT OR REPLACE` of a whole row, in `RowCodec.physical`'s order (`put` is an upsert). */
+    readonly put: string;
+    readonly get: string;
+    readonly delete: string;
+    constructor(table: string, columns: readonly Pick<Column, "name" | "type">[], physical: readonly string[], key: readonly string[]);
+    /** `SELECT` of `columns` of one row by key: a point lookup, without the `ORDER BY` and `LIMIT` of a page. */
+    getColumns(columns: readonly string[]): string;
+    /** `UPDATE` of one row by key; `versions` gives each `json(...)` column's version to stamp. */
+    update(set: SetNode, key: readonly SqliteValue[], versions: ReadonlyMap<string, number>): Statement;
+    /** `UPDATE` of every row matching `where`. */
+    updateWhere(where: WhereNode, set: SetNode, versions: ReadonlyMap<string, number>): Statement;
+    /** `DELETE` of every row matching `where`. */
+    deleteWhere(where: WhereNode): Statement;
+    /**
+     * 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: WhereNode | undefined, order: Order, after: readonly SqliteValue[] | undefined, limit: number, columns?: readonly string[]): Statement;
+    /** `count(*)` of the rows matching `where`. */
+    count(where: WhereNode | undefined): Statement;
+}
+/** A condition with its operands bound; SQL's `NULL` rules are the vocabulary's. */
+export declare function whereSql(node: WhereNode, params: SqliteValue[]): string;
+//# sourceMappingURL=sql.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sql.d.ts","sourceRoot":"","sources":["../../src/store/sql.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,KAAK,EAAY,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAIpE,sCAAsC;AACtC,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,CAAA;CAAE,CAAC;AAEjF,iGAAiG;AACjG,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAA;CAAE,CAAC;AAEhG,+BAA+B;AAC/B,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1C;AAED,2GAA2G;AAC3G,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAC7B,KAAK,EAAE,MAAM,EACb,OAAO,EAAE;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,EAClD,GAAG,EAAE,SAAS,MAAM,EAAE,GACpB,MAAM,CAMR;AAID,wFAAwF;AACxF,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,MAAM,EAAE,CAgBtE;AAQD;;;GAGG;AACH,wBAAgB,WAAW,CAC1B,KAAK,EAAE,MAAM,EACb,OAAO,EAAE;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAGhE;AAOD,0GAA0G;AAC1G,wBAAgB,cAAc,CAC7B,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,GAAG,EAAE,SAAS,MAAM,EAAE,GACpB,MAAM,CAGR;AAED,yCAAyC;AACzC,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjE;AAED;;;GAGG;AACH,qBAAa,QAAQ;;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAIvB,+FAA+F;IAC/F,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,YACC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,EACjD,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,GAAG,EAAE,SAAS,MAAM,EAAE,EAYtB;IAED,6GAA6G;IAC7G,UAAU,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAE7C;IAED,+FAA+F;IAC/F,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,WAAW,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAKlG;IAED,8CAA8C;IAC9C,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAK5F;IAED,8CAA8C;IAC9C,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAGvC;IAED;;;OAGG;IACH,MAAM,CACL,KAAK,EAAE,SAAS,GAAG,SAAS,EAC5B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,EACzC,KAAK,EAAE,MAAM,EACb,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS,CAeX;IAED,+CAA+C;IAC/C,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CAI7C;CACD;AAuDD,oFAAoF;AACpF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,CA2BvE"}