@earendil-works/chord 1.5.0 → 1.5.1

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/next/store/index.ts"],"names":[],"mappings":"AAGA,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,KAAK,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC3D,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EACN,GAAG,EACH,GAAG,EACH,KAAK,SAAS,EACd,KAAK,SAAS,EACd,QAAQ,EACR,MAAM,EACN,KAAK,UAAU,EACf,EAAE,EACF,EAAE,EACF,GAAG,EACH,OAAO,EACP,MAAM,EACN,EAAE,EACF,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,GAAG,EACH,EAAE,EACF,MAAM,EACN,aAAa,EACb,KAAK,KAAK,EACV,GAAG,EACH,IAAI,GACJ,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,KAAK,iBAAiB,EAAE,KAAK,gBAAgB,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,SAAS,EAAE,KAAK,KAAK,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,KAAK,KAAK,EAAE,KAAK,eAAe,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAC9F,OAAO,EACN,KAAK,WAAW,EAChB,WAAW,EACX,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,eAAe,GACpB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/next/store/index.ts"],"names":[],"mappings":"AAAA,8GAA8G;AAC9G,0EAA0E;AAG1E,OAAO,EAAgB,aAAa,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,EACN,GAAG,EACH,GAAG,EAGH,QAAQ,EACR,MAAM,EAEN,EAAE,EACF,EAAE,EACF,GAAG,EACH,OAAO,EACP,MAAM,EACN,EAAE,EACF,GAAG,EACH,GAAG,EACH,GAAG,EACH,EAAE,EACF,GAAG,EACH,EAAE,EACF,MAAM,EACN,aAAa,EAEb,GAAG,EACH,IAAI,GACJ,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAiD,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACvF,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEtD,OAAO,EAA+B,KAAK,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAE,SAAS,EAAiC,MAAM,YAAY,CAAC;AACtE,OAAO,EAAE,WAAW,EAAuD,MAAM,YAAY,CAAC;AAC9F,OAAO,EAEN,WAAW,GAIX,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC","sourcesContent":["// The store for apps: opening it over a backend, tables with their queries, writes and migrations, export and\n// import of archives (with their JSONL encoding), the outbox, text order.\n\nexport type { ArchiveManifest, ArchivePart } from \"./archive.ts\";\nexport { type Backend, sqliteBackend } from \"./backend.ts\";\nexport type { Columns, PutRowOf, RowOf } from \"./columns.ts\";\nexport {\n\tadd,\n\tand,\n\ttype ColumnRef,\n\ttype Condition,\n\tcoalesce,\n\tconcat,\n\ttype Expression,\n\teq,\n\tgt,\n\tgte,\n\tinArray,\n\tisNull,\n\tlt,\n\tlte,\n\tmax,\n\tmin,\n\tne,\n\tnot,\n\tor,\n\tprefix,\n\treplacePrefix,\n\ttype SetOf,\n\tsub,\n\twhen,\n} from \"./expression.ts\";\nexport { importStore } from \"./import.ts\";\nexport { type JsonColumnOptions, type JsonColumnSchema, json } from \"./json-column.ts\";\nexport { decodeJsonl, encodeJsonl } from \"./jsonl.ts\";\nexport type { Outbox, OutboxCommit } from \"./outbox.ts\";\nexport { type ColumnRefs, type Query, query } from \"./query.ts\";\nexport { openStore, type Store, type StoreOptions } from \"./store.ts\";\nexport { defineTable, type KeyOf, type TableDefinition, type TableOptions } from \"./table.ts\";\nexport {\n\ttype AddedColumn,\n\tevolveTable,\n\ttype PatchOf,\n\ttype TableEditor,\n\ttype TableTailEditor,\n} from \"./table-evolve.ts\";\nexport type { Page, PageOptions, Table, TableOf } from \"./table-handle.ts\";\nexport { compareText } from \"./text.ts\";\nexport type { StoreWrite } from \"./writes.ts\";\n"]}

package/dist/next/store/json-column.d.ts

@@ -1,33 +0,0 @@
-import type { JsonSchema } from "@earendil-works/pi-schema";
-import type { Context } from "../../context/index.ts";
-import type { JsonValue } from "../../json.ts";
-import type { Schema, Static } from "../contracts/index.ts";
-/** What `json(...)` takes besides the schema. */
-export type JsonColumnOptions<T> = {
-    /** The version of the cells' shape; a cell stores the version it was written at. */
-    readonly version: number;
-    /** Maps a cell of an older version `from` to this version's shape; pure. Without it older cells are refused. */
-    readonly migrate?: (old: JsonValue, from: number) => T;
-};
-/** A `json(...)` column as `columns` takes it: a schema of the cells' type carrying the column. */
-export interface JsonColumnSchema<T> extends Schema<T> {
-    readonly json: JsonColumn;
-}
-/** A column holding one JSON value of `schema` per row, at `version`; wrap it in `opt(...)` to make it nullable. */
-export declare function json<S extends Schema>(schema: S, options: JsonColumnOptions<Static<S>>): JsonColumnSchema<Static<S>>;
-/** A `json(...)` column's definition: its schema snapshot, version and fingerprint, and the read of a stored cell. */
-export declare class JsonColumn {
-    #private;
-    readonly schema: JsonSchema;
-    readonly version: number;
-    /** The fingerprint of the schema's normal form, recorded with the table: the same version with another is `broken`. */
-    readonly fingerprint: string;
-    constructor(schema: Schema, version: number, migrate: ((old: JsonValue, from: number) => unknown) | undefined);
-    /**
-     * The value of a stored cell written at `version`: parsed; an older one migrated and checked once (R8, counted). A
-     * newer version, a missing or throwing `migrate` and an invalid result throw `unavailable` (`what` names the cell);
-     * the caller fails the owner (slice 6a §1.4), the data stays.
-     */
-    read(text: string, version: number, what: string, context: Context): unknown;
-}
-//# sourceMappingURL=json-column.d.ts.map

package/dist/next/store/json-column.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"json-column.d.ts","sourceRoot":"","sources":["../../../src/next/store/json-column.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAM5D,iDAAiD;AACjD,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI;IAClC,oFAAoF;IACpF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gHAAgH;IAChH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,KAAK,CAAC,CAAC;CACvD,CAAC;AAEF,mGAAmG;AACnG,MAAM,WAAW,gBAAgB,CAAC,CAAC,CAAE,SAAQ,MAAM,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC1B;AAED,oHAAoH;AACpH,wBAAgB,IAAI,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAGpH;AAED,sHAAsH;AACtH,qBAAa,UAAU;;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uHAAuH;IACvH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAG7B,YAAY,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,EAS5G;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAgB3E;CACD"}

package/dist/next/store/json-column.js

@@ -1,61 +0,0 @@
-// `json(schema, { version, migrate? })` table columns (decision "The `json(...)` column helper", W11): one JSON `TEXT`
-// cell with its own version, typed when read, migrated on access (the result checked once, R8), never walked on write
-// (R9).
-import { fingerprintOf } from "../contracts/internal.js";
-import { snapshotSchema } from "../contracts/snapshot.js";
-import { ChordError } from "../data/index.js";
-import { validatorFor } from "../data/internal.js";
-/** A column holding one JSON value of `schema` per row, at `version`; wrap it in `opt(...)` to make it nullable. */
-export function json(schema, options) {
-    // Typed as the cells' schema, so `opt(...)` and `Static` take it; the table reads its `json` field.
-    return { json: new JsonColumn(schema, options.version, options.migrate) };
-}
-/** A `json(...)` column's definition: its schema snapshot, version and fingerprint, and the read of a stored cell. */
-export class JsonColumn {
-    schema;
-    version;
-    /** The fingerprint of the schema's normal form, recorded with the table: the same version with another is `broken`. */
-    fingerprint;
-    #migrate;
-    constructor(schema, version, migrate) {
-        // Declaration policy: JavaScript callers reach this check.
-        if (!Number.isSafeInteger(version) || version < 1)
-            throw new Error(`json(...): version ${version} is not a positive integer`);
-        const snapshot = snapshotSchema(schema, "json(...)");
-        this.schema = snapshot.schema;
-        this.version = version;
-        this.fingerprint = fingerprintOf(snapshot.normal);
-        this.#migrate = migrate;
-    }
-    /**
-     * The value of a stored cell written at `version`: parsed; an older one migrated and checked once (R8, counted). A
-     * newer version, a missing or throwing `migrate` and an invalid result throw `unavailable` (`what` names the cell);
-     * the caller fails the owner (slice 6a §1.4), the data stays.
-     */
-    read(text, version, what, context) {
-        const value = JSON.parse(text);
-        if (version === this.version)
-            return value;
-        if (version > this.version)
-            throw refused(`${what}: stored at version ${version}, newer than ${this.version}`);
-        if (this.#migrate === undefined)
-            throw refused(`${what}: no migrate from version ${version} to ${this.version}`);
-        let migrated;
-        try {
-            migrated = this.#migrate(value, version);
-        }
-        catch (error) {
-            throw refused(`${what}: migrate from version ${version} threw`, error);
-        }
-        context.telemetry.metrics?.counter("chord.data.validations").add(1);
-        if (!validatorFor(this, context).check(migrated)) {
-            throw refused(`${what}: migrate from version ${version} does not match the schema`);
-        }
-        return migrated;
-    }
-}
-/** The error of a cell the code cannot read: the owner fails `broken` with it. */
-function refused(message, cause) {
-    return new ChordError({ code: "unavailable", message }, cause === undefined ? undefined : { cause });
-}
-//# sourceMappingURL=json-column.js.map

package/dist/next/store/json-column.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"json-column.js","sourceRoot":"","sources":["../../../src/next/store/json-column.ts"],"names":[],"mappings":"AAAA,uHAAuH;AACvH,sHAAsH;AACtH,QAAQ;AAMR,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAenD,oHAAoH;AACpH,MAAM,UAAU,IAAI,CAAmB,MAAS,EAAE,OAAqC;IACtF,oGAAoG;IACpG,OAAO,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,sHAAsH;AACtH,MAAM,OAAO,UAAU;IACb,MAAM,CAAa;IACnB,OAAO,CAAS;IACzB,uHAAuH;IAC9G,WAAW,CAAS;IACpB,QAAQ,CAA0D;IAE3E,YAAY,MAAc,EAAE,OAAe,EAAE,OAAgE;QAC5G,2DAA2D;QAC3D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,sBAAsB,OAAO,4BAA4B,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC9B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY,EAAE,OAAgB;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAc,CAAC;QAC5C,IAAI,OAAO,KAAK,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO;YAAE,MAAM,OAAO,CAAC,GAAG,IAAI,uBAAuB,OAAO,gBAAgB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/G,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,GAAG,IAAI,6BAA6B,OAAO,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACjH,IAAI,QAAiB,CAAC;QACtB,IAAI,CAAC;YACJ,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,OAAO,CAAC,GAAG,IAAI,0BAA0B,OAAO,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClD,MAAM,OAAO,CAAC,GAAG,IAAI,0BAA0B,OAAO,4BAA4B,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,QAAQ,CAAC;IACjB,CAAC;CACD;AAED,kFAAkF;AAClF,SAAS,OAAO,CAAC,OAAe,EAAE,KAAe;IAChD,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtG,CAAC","sourcesContent":["// `json(schema, { version, migrate? })` table columns (decision \"The `json(...)` column helper\", W11): one JSON `TEXT`\n// cell with its own version, typed when read, migrated on access (the result checked once, R8), never walked on write\n// (R9).\n\nimport type { JsonSchema } from \"@earendil-works/pi-schema\";\nimport type { Context } from \"../../context/index.ts\";\nimport type { JsonValue } from \"../../json.ts\";\nimport type { Schema, Static } from \"../contracts/index.ts\";\nimport { fingerprintOf } from \"../contracts/internal.ts\";\nimport { snapshotSchema } from \"../contracts/snapshot.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { validatorFor } from \"../data/internal.ts\";\n\n/** What `json(...)` takes besides the schema. */\nexport type JsonColumnOptions<T> = {\n\t/** The version of the cells' shape; a cell stores the version it was written at. */\n\treadonly version: number;\n\t/** Maps a cell of an older version `from` to this version's shape; pure. Without it older cells are refused. */\n\treadonly migrate?: (old: JsonValue, from: number) => T;\n};\n\n/** A `json(...)` column as `columns` takes it: a schema of the cells' type carrying the column. */\nexport interface JsonColumnSchema<T> extends Schema<T> {\n\treadonly json: JsonColumn;\n}\n\n/** A column holding one JSON value of `schema` per row, at `version`; wrap it in `opt(...)` to make it nullable. */\nexport function json<S extends Schema>(schema: S, options: JsonColumnOptions<Static<S>>): JsonColumnSchema<Static<S>> {\n\t// Typed as the cells' schema, so `opt(...)` and `Static` take it; the table reads its `json` field.\n\treturn { json: new JsonColumn(schema, options.version, options.migrate) };\n}\n\n/** A `json(...)` column's definition: its schema snapshot, version and fingerprint, and the read of a stored cell. */\nexport class JsonColumn {\n\treadonly schema: JsonSchema;\n\treadonly version: number;\n\t/** The fingerprint of the schema's normal form, recorded with the table: the same version with another is `broken`. */\n\treadonly fingerprint: string;\n\treadonly #migrate: ((old: JsonValue, from: number) => unknown) | undefined;\n\n\tconstructor(schema: Schema, version: number, migrate: ((old: JsonValue, from: number) => unknown) | undefined) {\n\t\t// Declaration policy: JavaScript callers reach this check.\n\t\tif (!Number.isSafeInteger(version) || version < 1)\n\t\t\tthrow new Error(`json(...): version ${version} is not a positive integer`);\n\t\tconst snapshot = snapshotSchema(schema, \"json(...)\");\n\t\tthis.schema = snapshot.schema;\n\t\tthis.version = version;\n\t\tthis.fingerprint = fingerprintOf(snapshot.normal);\n\t\tthis.#migrate = migrate;\n\t}\n\n\t/**\n\t * The value of a stored cell written at `version`: parsed; an older one migrated and checked once (R8, counted). A\n\t * newer version, a missing or throwing `migrate` and an invalid result throw `unavailable` (`what` names the cell);\n\t * the caller fails the owner (slice 6a §1.4), the data stays.\n\t */\n\tread(text: string, version: number, what: string, context: Context): unknown {\n\t\tconst value = JSON.parse(text) as JsonValue;\n\t\tif (version === this.version) return value;\n\t\tif (version > this.version) throw refused(`${what}: stored at version ${version}, newer than ${this.version}`);\n\t\tif (this.#migrate === undefined) throw refused(`${what}: no migrate from version ${version} to ${this.version}`);\n\t\tlet migrated: unknown;\n\t\ttry {\n\t\t\tmigrated = this.#migrate(value, version);\n\t\t} catch (error) {\n\t\t\tthrow refused(`${what}: migrate from version ${version} threw`, error);\n\t\t}\n\t\tcontext.telemetry.metrics?.counter(\"chord.data.validations\").add(1);\n\t\tif (!validatorFor(this, context).check(migrated)) {\n\t\t\tthrow refused(`${what}: migrate from version ${version} does not match the schema`);\n\t\t}\n\t\treturn migrated;\n\t}\n}\n\n/** The error of a cell the code cannot read: the owner fails `broken` with it. */\nfunction refused(message: string, cause?: unknown): ChordError {\n\treturn new ChordError({ code: \"unavailable\", message }, cause === undefined ? undefined : { cause });\n}\n"]}

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

@@ -1 +0,0 @@
-{"version":3,"file":"jsonl.d.ts","sourceRoot":"","sources":["../../../src/next/store/jsonl.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAKhD,wDAAwD;AACxD,wBAAuB,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,CAW/F;AAED;;;GAGG;AACH,wBAAuB,WAAW,CAAC,KAAK,EAAE,aAAa,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,CAgC3F"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"jsonl.js","sourceRoot":"","sources":["../../../src/next/store/jsonl.ts"],"names":[],"mappings":"AAAA,mHAAmH;AACnH,wFAAwF;AAExF,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,wEAAwE;AACxE,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC;AAExB,wDAAwD;AACxD,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,WAAW,CAAC,KAAiC;IACnE,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAChC,KAAK,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;YAC3B,MAAM,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5B,KAAK,GAAG,EAAE,CAAC;QACZ,CAAC;IACF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,WAAW,CAAC,KAAgC;IAClE,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE;QACvC,IAAI,CAAC;YACJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QAAC,MAAM,CAAC;YACR,MAAM,OAAO,CAAC,MAAM,EAAE,eAAe,IAAI,cAAc,CAAC,CAAC;QAC1D,CAAC;IACF,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,KAAkB,EAAU,EAAE;QAC7C,IAAI,CAAC;YACJ,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,CAAC;QAAC,MAAM,CAAC;YACR,MAAM,OAAO,CAAC,MAAM,EAAE,eAAe,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC;QAC/D,CAAC;IACF,CAAC,CAAC;IACF,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACpC,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC;YAChB,IAAI,EAAE,CAAC;YACP,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,IAAI,MAAM,EAAE,CAAC;IACjB,IAAI,EAAE,CAAC;IACP,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC","sourcesContent":["// Plain JSONL for archives (slice 6a §13): one part per line, UTF-8. The store yields and takes parts; this is the\n// encoding it ships (others, compressed ones, come later without touching the applier).\n\nimport { invalid } from \"../data/internal.ts\";\nimport type { ArchivePart } from \"./archive.ts\";\n\n/** The bytes a chunk of encoded lines collects before it is yielded. */\nconst CHUNK = 64 * 1024;\n\n/** `parts` as JSONL bytes, in chunks of whole lines. */\nexport async function* encodeJsonl(parts: AsyncIterable<ArchivePart>): AsyncIterable<Uint8Array> {\n\tconst encoder = new TextEncoder();\n\tlet lines = \"\";\n\tfor await (const part of parts) {\n\t\tlines += `${JSON.stringify(part)}\\n`;\n\t\tif (lines.length >= CHUNK) {\n\t\t\tyield encoder.encode(lines);\n\t\t\tlines = \"\";\n\t\t}\n\t}\n\tif (lines.length > 0) yield encoder.encode(lines);\n}\n\n/**\n * The values of JSONL `bytes`, one per nonempty line, for `importStore` to check (a trust boundary: bytes that are\n * no UTF-8 and a line that is no JSON are `invalid/args`).\n */\nexport async function* decodeJsonl(bytes: AsyncIterable<Uint8Array>): AsyncIterable<unknown> {\n\tconst decoder = new TextDecoder(\"utf-8\", { fatal: true });\n\tlet rest = \"\";\n\tlet line = 0;\n\tconst parse = (text: string): unknown => {\n\t\ttry {\n\t\t\treturn JSON.parse(text);\n\t\t} catch {\n\t\t\tthrow invalid(\"args\", `jsonl: line ${line} is not JSON`);\n\t\t}\n\t};\n\tconst decode = (chunk?: Uint8Array): string => {\n\t\ttry {\n\t\t\treturn chunk === undefined ? decoder.decode() : decoder.decode(chunk, { stream: true });\n\t\t} catch {\n\t\t\tthrow invalid(\"args\", `jsonl: line ${line + 1} is not UTF-8`);\n\t\t}\n\t};\n\tfor await (const chunk of bytes) {\n\t\trest += decode(chunk);\n\t\tlet start = 0;\n\t\tfor (let end = rest.indexOf(\"\\n\"); end >= 0; end = rest.indexOf(\"\\n\", start)) {\n\t\t\tconst text = rest.slice(start, end);\n\t\t\tstart = end + 1;\n\t\t\tline++;\n\t\t\tif (text.trim().length > 0) yield parse(text);\n\t\t}\n\t\trest = rest.slice(start);\n\t}\n\trest += decode();\n\tline++;\n\tif (rest.trim().length > 0) yield parse(rest);\n}\n"]}

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

@@ -1,26 +0,0 @@
-import type { Context } from "../../context/index.ts";
-import type { ChordStore } from "./store.ts";
-import type { StoreWrite } from "./writes.ts";
-/** The write vocabulary's version an outbox commit is stored in; a newer one is refused, data intact. */
-export declare const OUTBOX_FORMAT = 1;
-/** One commit as the outbox gives it: its seq, the allocator's value it persisted (D3) and its writes in applied order. */
-export type OutboxCommit = {
-    readonly seq: number;
-    readonly nextId: number;
-    readonly writes: readonly StoreWrite[];
-};
-/** A store's outbox: its commits after the floor (the seq it was turned on at, advanced by `trim`). */
-export declare class Outbox {
-    #private;
-    constructor(store: ChordStore, floor: number);
-    /** The seq the outbox starts after: `read` takes any `afterSeq` from it to `lastSeq`. */
-    get floor(): number;
-    /** Up to `limit` commits after `afterSeq`, in seq order; `afterSeq` outside floor..lastSeq is `invalid/args`. */
-    read(afterSeq: number, limit: number, context: Context): Promise<OutboxCommit[]>;
-    /**
-     * Drops the commits through `throughSeq` and advances the floor; idempotent; beyond `lastSeq` is `invalid/args`.
-     * Trims run one at a time, so the stored floor only rises and equals the one in memory.
-     */
-    trim(throughSeq: number, context: Context): Promise<void>;
-}
-//# sourceMappingURL=outbox.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"outbox.d.ts","sourceRoot":"","sources":["../../../src/next/store/outbox.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAItD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,yGAAyG;AACzG,eAAO,MAAM,aAAa,IAAI,CAAC;AAE/B,2HAA2H;AAC3H,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAAC;AAIrH,uGAAuG;AACvG,qBAAa,MAAM;;IASlB,YAAY,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAG3C;IAED,yFAAyF;IACzF,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,iHAAiH;IAC3G,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAIrF;IAED;;;OAGG;IACH,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAUxD;CA6CD"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"outbox.js","sourceRoot":"","sources":["../../../src/next/store/outbox.ts"],"names":[],"mappings":"AAAA,qHAAqH;AACrH,mHAAmH;AAGnH,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAIrC,yGAAyG;AACzG,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAK/B,MAAM,OAAO,GAAG,GAAS,EAAE,GAAE,CAAC,CAAC;AAE/B,uGAAuG;AACvG,MAAM,OAAO,MAAM;IACT,MAAM,CAAa;IAC5B,MAAM,CAAS;IACf;;;OAGG;IACH,MAAM,GAAkB,OAAO,CAAC,OAAO,EAAE,CAAC;IAE1C,YAAY,KAAiB,EAAE,KAAa;QAC3C,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,yFAAyF;IACzF,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,iHAAiH;IACjH,KAAK,CAAC,IAAI,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAgB;QAC3D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,sBAAsB,QAAQ,kBAAkB,CAAC,CAAC;QAC7G,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,qCAAqC,CAAC,CAAC;QAC5G,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACjE,CAAC;IAED;;;OAGG;IACH,IAAI,CAAC,UAAkB,EAAE,OAAgB;QACxC,IAAI,CAAC;YACJ,OAAO,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC3E,MAAM,OAAO,CAAC,MAAM,EAAE,wBAAwB,UAAU,YAAY,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5F,CAAC;QACF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,qEAAqE;IACrE,OAAO,CAAI,SAA2B;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO,GAAG,CAAC;IACZ,CAAC;IAED,4DAA4D;IAC5D,KAAK,CAAC,KAAK,CAAC,QAAgB,EAAE,KAAa,EAAE,OAAgB;QAC5D,IAAI,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YAC9D,MAAM,OAAO,CAAC,MAAM,EAAE,sBAAsB,QAAQ,aAAa,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACzG,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAClC,CAAC,QAAQ,EAAE,EAAE,CACZ,QAAQ,CAAC,GAAG,CAMX,4CAA4C,MAAM,CAAC,MAAM,qCAAqC,EAC9F,QAAQ,EACR,KAAK,CACL,EACF,OAAO,CACP,CAAC;QACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE;YACpD,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,kBAAkB,GAAG,iBAAiB,MAAM,gBAAgB,aAAa,EAAE,CAAC;gBAC5F,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC;YACxD,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAiB,EAAE,CAAC;QAC7E,CAAC,CAAC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,UAAkB;QAC7B,IAAI,UAAU,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACtC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;YAC7C,MAAM,QAAQ,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,MAAM,iBAAiB,EAAE,UAAU,CAAC,CAAC;YAC9E,MAAM,QAAQ,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,2CAA2C,EAAE,UAAU,CAAC,CAAC;QAClG,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC;IAC1B,CAAC;CACD","sourcesContent":["// The outbox (slice 6a §2; decisions \"The outbox is optional, internal and versioned\", small items 3-4): the store's\n// commits as the sync layer reads them, one `{ seq, writes }` per commit from its floor on, in the current format.\n\nimport type { Context } from \"../../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport { TABLES } from \"./schema.ts\";\nimport type { ChordStore } from \"./store.ts\";\nimport type { StoreWrite } from \"./writes.ts\";\n\n/** The write vocabulary's version an outbox commit is stored in; a newer one is refused, data intact. */\nexport const OUTBOX_FORMAT = 1;\n\n/** One commit as the outbox gives it: its seq, the allocator's value it persisted (D3) and its writes in applied order. */\nexport type OutboxCommit = { readonly seq: number; readonly nextId: number; readonly writes: readonly StoreWrite[] };\n\nconst NOTHING = (): void => {};\n\n/** A store's outbox: its commits after the floor (the seq it was turned on at, advanced by `trim`). */\nexport class Outbox {\n\treadonly #store: ChordStore;\n\t#floor: number;\n\t/**\n\t * The outbox's reads and trims, one at a time: a read checks the floor and reads with no trim running (a trim's\n\t * commit may have deleted rows before its floor is set), a trim waits for the reads in flight.\n\t */\n\t#queue: Promise<void> = Promise.resolve();\n\n\tconstructor(store: ChordStore, floor: number) {\n\t\tthis.#store = store;\n\t\tthis.#floor = floor;\n\t}\n\n\t/** The seq the outbox starts after: `read` takes any `afterSeq` from it to `lastSeq`. */\n\tget floor(): number {\n\t\treturn this.#floor;\n\t}\n\n\t/** Up to `limit` commits after `afterSeq`, in seq order; `afterSeq` outside floor..lastSeq is `invalid/args`. */\n\tasync read(afterSeq: number, limit: number, context: Context): Promise<OutboxCommit[]> {\n\t\tif (!Number.isSafeInteger(afterSeq)) throw invalid(\"args\", `outbox: read after ${afterSeq}, not an integer`);\n\t\tif (!Number.isSafeInteger(limit) || limit < 1) throw invalid(\"args\", \"outbox: limit is a positive integer\");\n\t\treturn this.#queued(() => this.#read(afterSeq, limit, context));\n\t}\n\n\t/**\n\t * Drops the commits through `throughSeq` and advances the floor; idempotent; beyond `lastSeq` is `invalid/args`.\n\t * Trims run one at a time, so the stored floor only rises and equals the one in memory.\n\t */\n\ttrim(throughSeq: number, context: Context): Promise<void> {\n\t\ttry {\n\t\t\tcontext.abortSignal?.throwIfAborted();\n\t\t\tif (!Number.isSafeInteger(throughSeq) || throughSeq > this.#store.lastSeq) {\n\t\t\t\tthrow invalid(\"args\", `outbox: trim through ${throughSeq}, beyond ${this.#store.lastSeq}`);\n\t\t\t}\n\t\t} catch (error) {\n\t\t\treturn Promise.reject(error);\n\t\t}\n\t\treturn this.#queued(() => this.#trim(throughSeq));\n\t}\n\n\t/** Runs `operation` once the outbox operations before it settled. */\n\t#queued<T>(operation: () => Promise<T>): Promise<T> {\n\t\tconst run = this.#queue.then(operation);\n\t\tthis.#queue = run.then(NOTHING, NOTHING);\n\t\treturn run;\n\t}\n\n\t/** `read`, its turn come: the floor as no trim moves it. */\n\tasync #read(afterSeq: number, limit: number, context: Context): Promise<OutboxCommit[]> {\n\t\tif (afterSeq < this.#floor || afterSeq > this.#store.lastSeq) {\n\t\t\tthrow invalid(\"args\", `outbox: read after ${afterSeq}, outside ${this.#floor}..${this.#store.lastSeq}`);\n\t\t}\n\t\tconst rows = await this.#store.read(\n\t\t\t(executor) =>\n\t\t\t\texecutor.all<{\n\t\t\t\t\treadonly seq: number;\n\t\t\t\t\treadonly format: number;\n\t\t\t\t\treadonly next_id: number;\n\t\t\t\t\treadonly writes: string;\n\t\t\t\t}>(\n\t\t\t\t\t`SELECT seq, format, next_id, writes FROM ${TABLES.outbox} WHERE seq > ? ORDER BY seq LIMIT ?`,\n\t\t\t\t\tafterSeq,\n\t\t\t\t\tlimit,\n\t\t\t\t),\n\t\t\tcontext,\n\t\t);\n\t\treturn rows.map(({ seq, format, next_id, writes }) => {\n\t\t\tif (format !== OUTBOX_FORMAT) {\n\t\t\t\tconst message = `outbox: commit ${seq} is in format ${format}, newer than ${OUTBOX_FORMAT}`;\n\t\t\t\tthrow new ChordError({ code: \"unavailable\", message });\n\t\t\t}\n\t\t\treturn { seq, nextId: next_id, writes: JSON.parse(writes) as StoreWrite[] };\n\t\t});\n\t}\n\n\tasync #trim(throughSeq: number): Promise<void> {\n\t\tif (throughSeq <= this.#floor) return;\n\t\tawait this.#store.maintain(async (executor) => {\n\t\t\tawait executor.run(`DELETE FROM ${TABLES.outbox} WHERE seq <= ?`, throughSeq);\n\t\t\tawait executor.run(`UPDATE ${TABLES.meta} SET outbox_floor = ? WHERE singleton = 1`, throughSeq);\n\t\t});\n\t\tthis.#floor = throughSeq;\n\t}\n}\n"]}

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

@@ -1,39 +0,0 @@
-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/next/store/query.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../../src/next/store/query.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,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/next/store/query.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"query.js","sourceRoot":"","sources":["../../../src/next/store/query.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAChH,qHAAqH;AACrH,4EAA4E;AAG5E,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,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 type { SqliteValue } from \"../../sqlite/index.ts\";\nimport { invalid } from \"../data/internal.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/next/store/refusal.d.ts.map

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

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

@@ -1,80 +0,0 @@
-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/next/store/rows.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"rows.d.ts","sourceRoot":"","sources":["../../../src/next/store/rows.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD,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/next/store/rows.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"rows.js","sourceRoot":"","sources":["../../../src/next/store/rows.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,iHAAiH;AACjH,iEAAiE;AAKjE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,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 type { JsonValue } from \"../../json.ts\";\nimport type { SqliteValue } from \"../../sqlite/index.ts\";\nimport { invalid } from \"../data/internal.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/next/store/schema.d.ts

@@ -1,25 +0,0 @@
-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/next/store/schema.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/next/store/schema.ts"],"names":[],"mappings":"AAIA,OAAO,EAAyB,KAAK,cAAc,EAAwB,MAAM,uBAAuB,CAAC;AAEzG,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/next/store/schema.js

@@ -1,115 +0,0 @@
-// 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/next/store/schema.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/next/store/schema.ts"],"names":[],"mappings":"AAAA,iHAAiH;AACjH,yGAAyG;AACzG,6DAA6D;AAE7D,OAAO,EAAE,qBAAqB,EAA6C,MAAM,uBAAuB,CAAC;AAEzG,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"]}