@earendil-works/chord 1.5.0 → 1.5.1

package/dist/store/query.d.ts

@@ -0,0 +1,39 @@
+import type { SqliteValue } from "../sqlite/index.ts";
+import type { Columns, ColumnTypeOf, ValueOf } from "./columns.ts";
+import { type ColumnRef, type Condition, type WhereNode } from "./expression.ts";
+import type { Order } from "./sql.ts";
+import type { TableDefinition } from "./table.ts";
+/** The column references a table's callbacks get: `e.path`, `e.at`. */
+export type ColumnRefs<C extends Columns> = {
+    readonly [K in keyof C & string]: ColumnRef<ValueOf<C[K]>, ColumnTypeOf<C[K]>>;
+};
+/** A query of `table`: its rows, in key order. */
+export declare function query<C extends Columns, K extends readonly string[]>(table: TableDefinition<C, K>): Query<C, K>;
+/**
+ * An immutable query of one table: an optional condition (several `where`s are `and`ed) and an order (`orderBy`
+ * columns, one direction, the key appended unless already there).
+ */
+export declare class Query<C extends Columns = Columns, K extends readonly string[] = readonly string[]> {
+    #private;
+    readonly table: TableDefinition<C, K>;
+    readonly condition: WhereNode | undefined;
+    constructor(table: TableDefinition<C, K>, condition: WhereNode | undefined, orderBy: readonly string[], direction: "asc" | "desc" | undefined);
+    /** This query with `fn`'s condition too. */
+    where(fn: (row: ColumnRefs<C>) => Condition): Query<C, K>;
+    /**
+     * This query ordered by `fn`'s column next (a non-`opt` `str` or `int` one), in `direction`: one direction per
+     * query, no column twice (`invalid/args`).
+     */
+    orderBy(fn: (row: ColumnRefs<C>) => ColumnRef<unknown, "str" | "int">, direction?: "asc" | "desc"): Query<C, K>;
+    /** The order of its rows: the `orderBy` columns, then the key columns not among them. */
+    get order(): Order;
+}
+/** The cursor of the position after a row with the order values `values` in the table named `table` (its SQL name). */
+export declare function encodeCursor(table: string, order: Order, values: readonly SqliteValue[]): string;
+/**
+ * The order values of `cursor` (a trust boundary: an app hands it back): one made for `table`'s `order` (any
+ * condition) in the table named `sqlName` (another object's table of the same definition is another table), each value
+ * of its column's type; `invalid/args` otherwise.
+ */
+export declare function decodeCursor(table: TableDefinition, sqlName: string, order: Order, cursor: unknown): SqliteValue[];
+//# sourceMappingURL=query.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/store/query.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAgB,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE/F,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,uEAAuE;AACvE,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,OAAO,IAAI;IAC3C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC9E,CAAC;AAEF,kDAAkD;AAClD,wBAAgB,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAE/G;AAED;;;GAGG;AACH,qBAAa,KAAK,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE;;IAC9F,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAAC;IAI1C,YACC,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAC5B,SAAS,EAAE,SAAS,GAAG,SAAS,EAChC,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,SAAS,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,EAMrC;IAED,4CAA4C;IAC5C,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAKxD;IAED;;;OAGG;IACH,OAAO,CACN,EAAE,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,OAAO,EAAE,KAAK,GAAG,KAAK,CAAC,EAC7D,SAAS,GAAE,KAAK,GAAG,MAAc,GAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAab;IAED,yFAAyF;IACzF,IAAI,KAAK,IAAI,KAAK,CAGjB;CACD;AAED,uHAAuH;AACvH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAKhG;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,GAAG,WAAW,EAAE,CAuBlH"}

package/dist/store/query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.js","sourceRoot":"","sources":["../../src/store/query.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAChH,qHAAqH;AACrH,4EAA4E;AAE5E,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,OAAO,EAAkC,YAAY,EAAkB,MAAM,iBAAiB,CAAC;AAC/F,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AASxC,kDAAkD;AAClD,MAAM,UAAU,KAAK,CAAiD,KAA4B;IACjG,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,KAAK;IACR,KAAK,CAAwB;IAC7B,SAAS,CAAwB;IACjC,QAAQ,CAAoB;IAC5B,UAAU,CAA6B;IAEhD,YACC,KAA4B,EAC5B,SAAgC,EAChC,OAA0B,EAC1B,SAAqC;QAErC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,4CAA4C;IAC5C,KAAK,CAAC,EAAqC;QAC1C,kDAAkD;QAClD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAqB,CAAC,EAAE,OAAO,CAAC,CAAC;QACzF,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QAChG,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACzE,CAAC;IAED;;;OAGG;IACH,OAAO,CACN,EAA6D,EAC7D,SAAS,GAAmB,KAAK;QAEjC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,mFAAmF;QACnF,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,IAAqB,CAA0B,CAAC;QACrE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACjG,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,qDAAqD,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,eAAe,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC;QACjH,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,oCAAoC,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IACrF,CAAC;IAED,yFAAyF;IACzF,IAAI,KAAK;QACR,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1G,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK,EAAE,CAAC;IACzD,CAAC;CACD;AAED,uHAAuH;AACvH,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,KAAY,EAAE,MAA8B;IACvF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3F,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvF,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAClF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,KAAsB,EAAE,OAAe,EAAE,KAAY,EAAE,MAAe;IAClG,MAAM,MAAM,GAAG,GAAU,EAAE;QAC1B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,+CAA+C,CAAC,CAAC;IACrF,CAAC,CAAC;IACF,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,MAAM,EAAE,CAAC;IAChD,IAAI,OAAgB,CAAC;IACrB,IAAI,CAAC;QACJ,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,OAAO,GAAG,IAAI,CAAC,KAAK,CACnB,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CACjG,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,MAAM,EAAE,CAAC;IACjB,CAAC;IACD,4CAA4C;IAC5C,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,OAAO,IAAI,EAAE,CAA2D,CAAC;IACjG,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,MAAM,EAAE,CAAC;IAC5G,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,MAAM,EAAE,CAAC;IAC5E,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QACvC,+EAA+E;QAC/E,OAAO,WAAW,CAAC,MAAM,CAAC,IAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,UAAU,CAAoB,CAAC;IACxG,CAAC,CAAC,CAAC;AACJ,CAAC","sourcesContent":["// Queries (decision \"Query runner\"; slice 6a §6, rule 17): `query(Table).where(…).orderBy(…)` as immutable data\n// (the condition compiled when given, the order with the key appended as the tie-break), and the opaque cursors that\n// continue a page, bound to the table, the order columns and the direction.\n\nimport { invalid } from \"../data/internal.ts\";\nimport type { SqliteValue } from \"../sqlite/index.ts\";\nimport type { Columns, ColumnTypeOf, ValueOf } from \"./columns.ts\";\nimport { type ColumnRef, type Condition, compileWhere, type WhereNode } from \"./expression.ts\";\nimport { checkScalar } from \"./rows.ts\";\nimport type { Order } from \"./sql.ts\";\nimport type { TableDefinition } from \"./table.ts\";\n\n/** The column references a table's callbacks get: `e.path`, `e.at`. */\nexport type ColumnRefs<C extends Columns> = {\n\treadonly [K in keyof C & string]: ColumnRef<ValueOf<C[K]>, ColumnTypeOf<C[K]>>;\n};\n\n/** A query of `table`: its rows, in key order. */\nexport function query<C extends Columns, K extends readonly string[]>(table: TableDefinition<C, K>): Query<C, K> {\n\treturn new Query(table, undefined, [], undefined);\n}\n\n/**\n * An immutable query of one table: an optional condition (several `where`s are `and`ed) and an order (`orderBy`\n * columns, one direction, the key appended unless already there).\n */\nexport class Query<C extends Columns = Columns, K extends readonly string[] = readonly string[]> {\n\treadonly table: TableDefinition<C, K>;\n\treadonly condition: WhereNode | undefined;\n\treadonly #orderBy: readonly string[];\n\treadonly #direction: \"asc\" | \"desc\" | undefined;\n\n\tconstructor(\n\t\ttable: TableDefinition<C, K>,\n\t\tcondition: WhereNode | undefined,\n\t\torderBy: readonly string[],\n\t\tdirection: \"asc\" | \"desc\" | undefined,\n\t) {\n\t\tthis.table = table;\n\t\tthis.condition = condition;\n\t\tthis.#orderBy = orderBy;\n\t\tthis.#direction = direction;\n\t}\n\n\t/** This query with `fn`'s condition too. */\n\twhere(fn: (row: ColumnRefs<C>) => Condition): Query<C, K> {\n\t\t// The refs are the table's columns, typed by `C`.\n\t\tconst compiled = compileWhere(this.table, fn(this.table.refs as ColumnRefs<C>), \"where\");\n\t\tconst condition = this.condition === undefined ? compiled : { and: [this.condition, compiled] };\n\t\treturn new Query(this.table, condition, this.#orderBy, this.#direction);\n\t}\n\n\t/**\n\t * This query ordered by `fn`'s column next (a non-`opt` `str` or `int` one), in `direction`: one direction per\n\t * query, no column twice (`invalid/args`).\n\t */\n\torderBy(\n\t\tfn: (row: ColumnRefs<C>) => ColumnRef<unknown, \"str\" | \"int\">,\n\t\tdirection: \"asc\" | \"desc\" = \"asc\",\n\t): Query<C, K> {\n\t\tconst table = this.table;\n\t\t// The refs are `C`'s columns; what the plugin's callback returns is checked below.\n\t\tconst ref = fn(table.refs as ColumnRefs<C>) as ColumnRef | undefined;\n\t\tconst column = table.byName.get(ref?.column ?? \"\");\n\t\tif (column === undefined || column.optional || (column.type !== \"str\" && column.type !== \"int\")) {\n\t\t\tthrow invalid(\"args\", `${table.name}: orderBy: expected a non-opt str() or int() column`);\n\t\t}\n\t\tif (this.#orderBy.includes(column.name)) throw invalid(\"args\", `${table.name}: orderBy: \"${column.name}\" twice`);\n\t\tif (this.#direction !== undefined && this.#direction !== direction) {\n\t\t\tthrow invalid(\"args\", `${table.name}: orderBy: one direction per query`);\n\t\t}\n\t\treturn new Query(table, this.condition, [...this.#orderBy, column.name], direction);\n\t}\n\n\t/** The order of its rows: the `orderBy` columns, then the key columns not among them. */\n\tget order(): Order {\n\t\tconst columns = [...this.#orderBy, ...this.table.key.filter((column) => !this.#orderBy.includes(column))];\n\t\treturn { columns, direction: this.#direction ?? \"asc\" };\n\t}\n}\n\n/** The cursor of the position after a row with the order values `values` in the table named `table` (its SQL name). */\nexport function encodeCursor(table: string, order: Order, values: readonly SqliteValue[]): string {\n\tconst json = JSON.stringify({ t: table, o: order.columns, d: order.direction, v: values });\n\tlet binary = \"\";\n\tfor (const byte of new TextEncoder().encode(json)) binary += String.fromCharCode(byte);\n\treturn btoa(binary).replaceAll(\"+\", \"-\").replaceAll(\"/\", \"_\").replace(/=+$/, \"\");\n}\n\n/**\n * The order values of `cursor` (a trust boundary: an app hands it back): one made for `table`'s `order` (any\n * condition) in the table named `sqlName` (another object's table of the same definition is another table), each value\n * of its column's type; `invalid/args` otherwise.\n */\nexport function decodeCursor(table: TableDefinition, sqlName: string, order: Order, cursor: unknown): SqliteValue[] {\n\tconst refuse = (): never => {\n\t\tthrow invalid(\"args\", `${table.name}: the cursor is not one of this table's order`);\n\t};\n\tif (typeof cursor !== \"string\") return refuse();\n\tlet decoded: unknown;\n\ttry {\n\t\tconst binary = atob(cursor.replaceAll(\"-\", \"+\").replaceAll(\"_\", \"/\"));\n\t\tdecoded = JSON.parse(\n\t\t\tnew TextDecoder(\"utf-8\", { fatal: true }).decode(Uint8Array.from(binary, (c) => c.charCodeAt(0))),\n\t\t);\n\t} catch {\n\t\treturn refuse();\n\t}\n\t// Wire input: every field is checked below.\n\tconst { t, o, d, v } = (decoded ?? {}) as { t?: unknown; o?: unknown; d?: unknown; v?: unknown };\n\tif (t !== sqlName || d !== order.direction || JSON.stringify(o) !== JSON.stringify(order.columns)) refuse();\n\tif (!Array.isArray(v) || v.length !== order.columns.length) return refuse();\n\treturn order.columns.map((name, index) => {\n\t\tconst column = table.byName.get(name)!;\n\t\t// Order columns are non-opt `str` or `int` (checked when the query was built).\n\t\treturn checkScalar(column.type as \"str\" | \"int\", v[index], `${table.name}: cursor`) as string | number;\n\t});\n}\n"]}

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

@@ -0,0 +1 @@
+{"version":3,"file":"refusal.d.ts","sourceRoot":"","sources":["../../src/store/refusal.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAgB,MAAM,kBAAkB,CAAC;AAE5D,qHAAqH;AACrH,MAAM,MAAM,OAAO,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAK3D;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAc5E"}

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.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"}

package/dist/store/sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql.js","sourceRoot":"","sources":["../../src/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/store/step.d.ts

@@ -0,0 +1,50 @@
+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`), the statements it ran (`chord.store.statements`) and the table rows its writes changed
+ * (`chord.commit`'s `rows`). 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;
+    /** Table rows its writes changed: a `put` one, the others the count their statement returned. */
+    rows: 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/store/step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/store/step.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtE,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;IACf,iGAAiG;IACjG,IAAI,SAAK;IAET,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"}