@earendil-works/chord 1.3.0 → 1.5.0

package/dist/next/store/applier.js

@@ -0,0 +1,375 @@
+// The applier (slice 6a §13, slice 6b §1.6): recorded writes applied as they were recorded, inside a backend
+// transaction, checked against the store's own records (a trust boundary: archives, a replica's batches). One code
+// path for import, bootstrap and batch apply, for every write kind; a recorded count the store does not reproduce
+// stops applying (`Diverged`, S17).
+import { checkName } from "../contracts/internal.js";
+import { invalid } from "../data/internal.js";
+import { COLUMN_NAME } from "./columns.js";
+import { insertDocument, insertRevision, readDocument, retireRecord, writeContent, } from "./engine.js";
+import { checkScalar, ROW_VERSION, toSqlite, versionColumn } from "./rows.js";
+import { recordedPut, TableSql } from "./sql.js";
+import { INDEX_NAME } from "./table.js";
+import { applyAlter, applyDropIndex, applyIndex, applyTable } from "./table-writes.js";
+/** A recorded write the store does not reproduce (a count, a revision): applying stops, the store diverged (S17). */
+export class Diverged extends Error {
+}
+/** Applies `write` in `step`; a write the records refuse throws `invalid/args`, one they do not reproduce `Diverged`. */
+export async function applyWrite(step, write, what) {
+    switch (write.kind) {
+        case "table":
+            checkTable(write, what);
+            await applyTable(step, write);
+            return;
+        case "index":
+            checkIndex(recordOf(step, write.table, what), write, what);
+            await applyIndex(step, write);
+            return;
+        case "dropIndex":
+            if (!Object.hasOwn(recordOf(step, write.table, what).indexes, write.name)) {
+                throw invalid("args", `${what}: no index ${JSON.stringify(write.name)}`);
+            }
+            await applyDropIndex(step, write);
+            return;
+        case "alter":
+            checkAlter(recordOf(step, write.table, what), write, what);
+            await applyAlter(step, write);
+            return;
+        case "put": {
+            const record = recordOf(step, write.table, what);
+            const { sql, physical } = recordedPut(write.table, record.columns);
+            await step.run(sql, ...putParams(record, write, physical, what));
+            return;
+        }
+        case "update":
+        case "delete":
+        case "updateWhere":
+        case "deleteWhere":
+            return applyCounted(step, write, what);
+        default:
+            return applyDocument(step, write, what);
+    }
+}
+/** Applies a document write: a creation, a change or a retirement on its recorded revision, an archive's revision. */
+async function applyDocument(step, write, what) {
+    switch (write.kind) {
+        case "document.create":
+            await insertDocument(step, write.record, write.base === undefined ? undefined : json(write.base.value, what));
+            return;
+        case "document.revision": {
+            const { content } = write;
+            await insertRevision(step, write.id, write.seq, content.kind, content.version, contentText(content, what));
+            return;
+        }
+        case "document.change": {
+            const record = await liveAt(step, write.id, write.revision, what);
+            const { content } = write;
+            const text = contentText(content, what);
+            await writeContent(step, write.id, record.history, write.revision, content, text);
+            return;
+        }
+        case "document.retire":
+            await retireRecord(step, await liveAt(step, write.id, write.revision, what));
+            return;
+    }
+}
+/** A content's stored text: a base's value or a delta's ops, checked as JSON. */
+function contentText(content, what) {
+    return json(content.kind === "base" ? content.value : content.ops, what);
+}
+/** The live record `id` at `revision`; another revision, or none, is a divergence. */
+async function liveAt(step, id, revision, what) {
+    const record = await readDocument(step, id);
+    if (record === undefined || record.retiredAt !== undefined || record.revision !== revision) {
+        throw new Diverged(`${what}: document ${id} is not live at revision ${revision}`);
+    }
+    return record;
+}
+/** `value` serialized; one `JSON.stringify` cannot encode is refused. */
+function json(value, what) {
+    let text;
+    try {
+        text = JSON.stringify(value);
+    }
+    catch (error) {
+        throw invalid("args", `${what}: not JSON (${String(error)})`);
+    }
+    if (text === undefined)
+        throw invalid("args", `${what}: not JSON`);
+    return text;
+}
+/**
+ * Applies a counted table write: its statement rendered from the record's columns and the recorded `key`, `where` and
+ * `set` (checked: only recorded columns, well-formed nodes), and its count compared with the recorded one.
+ */
+async function applyCounted(step, write, what) {
+    const record = recordOf(step, write.table, what);
+    const columns = Object.entries(record.columns).map(([name, column]) => ({ name, type: column.type }));
+    const sql = new TableSql(write.table, columns, [], record.key);
+    let statement;
+    switch (write.kind) {
+        case "update":
+            statement = sql.update(setOf(record, write, what), keyParams(record, write.key, what), versionsOf(record, write, what));
+            break;
+        case "delete":
+            statement = { sql: sql.delete, params: keyParams(record, write.key, what) };
+            break;
+        case "updateWhere":
+            checkWhere(record, write.where, what);
+            statement = sql.updateWhere(write.where, setOf(record, write, what), versionsOf(record, write, what));
+            break;
+        case "deleteWhere":
+            checkWhere(record, write.where, what);
+            statement = sql.deleteWhere(write.where);
+            break;
+    }
+    const count = await step.runCounted(statement.sql, ...statement.params);
+    if (count !== write.count)
+        throw new Diverged(`${what}: changed ${count} rows, recorded ${write.count}`);
+}
+/** The recorded key as parameters in key order: exactly the key columns, each of its type. */
+function keyParams(record, key, what) {
+    if (Object.keys(key).length !== record.key.length)
+        throw invalid("args", `${what}: not a key of ${record.table}`);
+    return record.key.map((name) => {
+        if (!Object.hasOwn(key, name))
+            throw invalid("args", `${what}: key column ${JSON.stringify(name)} is missing`);
+        return toSqlite(checkScalar(scalarType(record.columns[name]), key[name], `${what}: key`));
+    });
+}
+/** A recorded `set` with the migration stamp `$v` when it carries one; key columns never change (rule 13). */
+function setOf(record, write, what) {
+    const { set } = write;
+    if (typeof set !== "object" || set === null || Object.keys(set).length === 0) {
+        throw invalid("args", `${what}: an empty or malformed set`);
+    }
+    for (const [column, node] of Object.entries(set)) {
+        if (!Object.hasOwn(record.columns, column) || record.key.includes(column)) {
+            throw invalid("args", `${what}: set writes ${JSON.stringify(column)}, no non-key column`);
+        }
+        checkExpr(record, node, what);
+    }
+    return write.version === undefined ? set : { ...set, [ROW_VERSION]: write.version };
+}
+/** The `json(...)` versions a `set` stamps: the recorded ones, of `json(...)` columns it sets, up to theirs. */
+function versionsOf(record, write, what) {
+    const versions = new Map();
+    for (const [name, column] of Object.entries(record.columns)) {
+        if (column.type !== "json" || !Object.hasOwn(write.set, name))
+            continue;
+        // A clear stamps `NULL` whatever the version; a value stamps its recorded version.
+        const version = write.columns[name] ?? column.version;
+        if (!Number.isSafeInteger(version) || version < 1 || version > column.version) {
+            throw invalid("args", `${what}: no readable version for ${JSON.stringify(name)}`);
+        }
+        versions.set(name, version);
+    }
+    return versions;
+}
+/** A scalar column's type; `json(...)` columns are not scalars. */
+function scalarType(column) {
+    return column.type === "json" ? "str" : column.type;
+}
+const COMPARISONS = ["eq", "ne", "lt", "lte", "gt", "gte"];
+/** A recorded condition: well-formed nodes over recorded scalar columns (and the row's `$v`). */
+function checkWhere(record, node, what) {
+    const refuse = () => {
+        throw invalid("args", `${what}: a malformed condition`);
+    };
+    if (typeof node !== "object" || node === null || Object.keys(node).length !== 1)
+        return refuse();
+    const [[op, operand]] = Object.entries(node);
+    const column = (name) => {
+        if (name === ROW_VERSION)
+            return;
+        if (typeof name !== "string" || record.columns[name] === undefined || record.columns[name].type === "json") {
+            refuse();
+        }
+    };
+    if (op === "and" || op === "or") {
+        if (!Array.isArray(operand))
+            return refuse();
+        for (const each of operand)
+            checkWhere(record, each, what);
+    }
+    else if (op === "not")
+        checkWhere(record, operand, what);
+    else if (op === "isNull")
+        column(operand);
+    else if (op === "inArray" || op === "prefix" || COMPARISONS.includes(op)) {
+        if (!Array.isArray(operand) || operand.length !== 2)
+            return refuse();
+        column(operand[0]);
+        const values = op === "inArray" ? operand[1] : [operand[1]];
+        if (!Array.isArray(values))
+            return refuse();
+        for (const value of values)
+            if (!isScalar(value) || (op === "prefix" && typeof value !== "string"))
+                refuse();
+    }
+    else
+        refuse();
+}
+const OPERATIONS = ["add", "sub", "max", "min", "concat", "coalesce"];
+/** A recorded expression: scalars, `null`, JSON literals, recorded columns and the vocabulary's operations. */
+function checkExpr(record, node, what) {
+    if (node === null || isScalar(node))
+        return;
+    const refuse = () => {
+        throw invalid("args", `${what}: a malformed expression`);
+    };
+    if (typeof node !== "object" || Object.keys(node).length !== 1)
+        return refuse();
+    const [[op, operand]] = Object.entries(node);
+    if (op === "col") {
+        if (typeof operand !== "string" || !Object.hasOwn(record.columns, operand))
+            refuse();
+        return;
+    }
+    if (op === "json")
+        return;
+    if (!Array.isArray(operand))
+        return refuse();
+    if (OPERATIONS.includes(op) && operand.length === 2) {
+        for (const each of operand)
+            checkExpr(record, each, what);
+    }
+    else if (op === "replacePrefix" && operand.length === 3) {
+        checkExpr(record, operand[0], what);
+        if (typeof operand[1] !== "string" || typeof operand[2] !== "string")
+            refuse();
+    }
+    else if (op === "when" && operand.length === 3) {
+        checkWhere(record, operand[0], what);
+        checkExpr(record, operand[1], what);
+        checkExpr(record, operand[2], what);
+    }
+    else
+        refuse();
+}
+function isScalar(value) {
+    return (typeof value === "string" || typeof value === "boolean" || (typeof value === "number" && Number.isFinite(value)));
+}
+/** A recorded table's SQL name (two names joined by `:`, R2), columns, key and json versions, by the name rules. */
+function checkTable(write, what) {
+    const parts = write.table.split(":");
+    if (parts.length !== 2)
+        throw invalid("args", `${what}: table ${JSON.stringify(write.table)}: not owner:table`);
+    try {
+        for (const part of parts)
+            checkName(part, `${what}: table name part`);
+    }
+    catch (error) {
+        // `checkName` throws plain Errors.
+        throw invalid("args", error.message);
+    }
+    const folded = new Set();
+    for (const [name, column] of Object.entries(write.columns)) {
+        const where = `${what}: column ${JSON.stringify(name)}`;
+        if (!COLUMN_NAME.test(name) || folded.has(name.toLowerCase()))
+            throw invalid("args", `${where}: not a column name`);
+        folded.add(name.toLowerCase());
+        checkColumn(column, where);
+    }
+    if (write.key.length === 0)
+        throw invalid("args", `${what}: the key has no column`);
+    checkOrderColumns(write.columns, write.key, `${what}: the key`);
+}
+function checkColumn(column, what) {
+    const json = column.type === "json";
+    if (json !== (column.version !== undefined) || json !== (column.fingerprint !== undefined)) {
+        throw invalid("args", `${what}: a json(...) column has a version and a fingerprint, no other column has`);
+    }
+    if (column.default === undefined)
+        return;
+    if (json || column.optional)
+        throw invalid("args", `${what}: only a non-opt scalar column has a default`);
+    checkScalar(column.type, column.default, `${what}: the default`);
+}
+/** A recorded column edit of `record`'s next version or its own (the edits after a data step). */
+function checkAlter(record, write, what) {
+    if (write.version !== record.version && write.version !== record.version + 1) {
+        throw invalid("args", `${what}: an edit of version ${write.version} on version ${record.version}`);
+    }
+    const { edit } = write;
+    const has = (name) => Object.hasOwn(record.columns, name);
+    const fresh = (name) => COLUMN_NAME.test(name) && !Object.keys(record.columns).some((each) => each.toLowerCase() === name.toLowerCase());
+    const indexed = (name) => record.key.includes(name) || Object.values(record.indexes).some((columns) => columns.includes(name));
+    const valid = edit.kind === "rename"
+        ? has(edit.from) && fresh(edit.to)
+        : edit.kind === "add"
+            ? fresh(edit.name) && (edit.column.optional === true || edit.column.default !== undefined)
+            : edit.kind === "drop"
+                ? has(edit.name) && !indexed(edit.name)
+                : has(edit.name) && record.columns[edit.name].type === "json" && edit.column.type === "json";
+    if (!valid)
+        throw invalid("args", `${what}: an ${edit.kind} edit the table cannot take`);
+    if (edit.kind === "add" || edit.kind === "json")
+        checkColumn(edit.column, `${what}: column ${JSON.stringify(edit.name)}`);
+}
+/** `names` are distinct, recorded, non-`opt` `str` or `int` columns. */
+function checkOrderColumns(columns, names, what) {
+    if (new Set(names).size !== names.length)
+        throw invalid("args", `${what}: a column occurs twice`);
+    for (const name of names) {
+        const column = Object.hasOwn(columns, name) ? columns[name] : undefined;
+        if (column === undefined || column.optional || (column.type !== "str" && column.type !== "int")) {
+            throw invalid("args", `${what}: ${JSON.stringify(name)} is not a non-opt str or int column`);
+        }
+    }
+}
+function checkIndex(record, write, what) {
+    if (!INDEX_NAME.test(write.name) || Object.hasOwn(record.indexes, write.name)) {
+        throw invalid("args", `${what}: index ${JSON.stringify(write.name)}: not a new index name`);
+    }
+    checkOrderColumns(record.columns, write.columns, `${what}: index ${write.name}`);
+}
+/** The record of `table` in `step`; a write for a table not recorded is refused. */
+function recordOf(step, table, what) {
+    const record = step.table(table);
+    if (record === undefined)
+        throw invalid("args", `${what}: table ${JSON.stringify(table)} is not recorded`);
+    return record;
+}
+/**
+ * The parameters of a `put` in `physical` order, checked against the recorded columns: every non-`opt` column, no
+ * other field, values of their types, `json(...)` cells as JSON (no plugin code runs) with a version up to the
+ * column's, and `version` up to the table's.
+ */
+function putParams(record, write, physical, what) {
+    const { row, columns: versions, version } = write;
+    for (const field of Object.keys(row)) {
+        if (!Object.hasOwn(record.columns, field))
+            throw invalid("args", `${what}: unknown column ${JSON.stringify(field)}`);
+    }
+    for (const field of Object.keys(versions)) {
+        if (record.columns[field]?.type !== "json" || !Object.hasOwn(row, field)) {
+            throw invalid("args", `${what}: a version for ${JSON.stringify(field)}, which is no json(...) cell of the row`);
+        }
+    }
+    if (version > record.version) {
+        throw invalid("args", `${what}: version ${version} is newer than the table's version ${record.version}`);
+    }
+    const cells = new Map();
+    for (const [name, column] of Object.entries(record.columns)) {
+        const where = `${what}: column ${JSON.stringify(name)}`;
+        const value = row[name];
+        // A row has no explicit `null`: an absent field is `NULL`; a `json(...)` cell's `null` is the JSON value.
+        if (column.type === "json" ? !Object.hasOwn(row, name) : value === undefined) {
+            if (!column.optional)
+                throw invalid("args", `${where} is missing`);
+            cells.set(name, null);
+            continue;
+        }
+        if (column.type !== "json") {
+            cells.set(name, toSqlite(checkScalar(column.type, value, where)));
+            continue;
+        }
+        const version = versions[name];
+        if (version === undefined || version > column.version)
+            throw invalid("args", `${where}: no readable version`);
+        cells.set(name, json(value, where));
+        cells.set(versionColumn(name), version);
+    }
+    return physical.map((name) => (name === ROW_VERSION ? version : (cells.get(name) ?? null)));
+}
+//# sourceMappingURL=applier.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"applier.js","sourceRoot":"","sources":["../../../src/next/store/applier.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,mHAAmH;AACnH,kHAAkH;AAClH,oCAAoC;AAGpC,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAqB,MAAM,cAAc,CAAC;AAC9D,OAAO,EAIN,cAAc,EACd,cAAc,EAEd,YAAY,EACZ,YAAY,EACZ,YAAY,GACZ,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAEjD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAmC,MAAM,mBAAmB,CAAC;AAGxH,qHAAqH;AACrH,MAAM,OAAO,QAAS,SAAQ,KAAK;CAAG;AAEtC,yHAAyH;AACzH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAU,EAAE,KAAiB,EAAE,IAAY;IAC3E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO;YACX,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxB,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO;QACR,KAAK,OAAO;YACX,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3D,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO;QACR,KAAK,WAAW;YACf,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClC,OAAO;QACR,KAAK,OAAO;YACX,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3D,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO;QACR,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;YACnE,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YACjE,OAAO;QACR,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa;YACjB,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC;YACC,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;AACF,CAAC;AAED,sHAAsH;AACtH,KAAK,UAAU,aAAa,CAAC,IAAU,EAAE,KAAoB,EAAE,IAAY;IAC1E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,iBAAiB;YACrB,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9G,OAAO;QACR,KAAK,mBAAmB,EAAE,CAAC;YAC1B,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;YAC1B,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3G,OAAO;QACR,CAAC;QACD,KAAK,iBAAiB,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;YAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACxC,MAAM,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAClF,OAAO;QACR,CAAC;QACD,KAAK,iBAAiB;YACrB,MAAM,YAAY,CAAC,IAAI,EAAE,MAAM,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7E,OAAO;IACT,CAAC;AACF,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAAC,OAA0C,EAAE,IAAY;IAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,sFAAsF;AACtF,KAAK,UAAU,MAAM,CAAC,IAAU,EAAE,EAAU,EAAE,QAAgB,EAAE,IAAY;IAC3E,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC5F,MAAM,IAAI,QAAQ,CAAC,GAAG,IAAI,cAAc,EAAE,4BAA4B,QAAQ,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,yEAAyE;AACzE,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY;IACzC,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,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,YAAY,CAC1B,IAAU,EACV,KAAkG,EAClG,IAAY;IAEZ,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/D,IAAI,SAAmE,CAAC;IACxE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACZ,SAAS,GAAG,GAAG,CAAC,MAAM,CACrB,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1B,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,EAClC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAC/B,CAAC;YACF,MAAM;QACP,KAAK,QAAQ;YACZ,SAAS,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5E,MAAM;QACP,KAAK,aAAa;YACjB,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtC,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YACtG,MAAM;QACP,KAAK,aAAa;YACjB,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtC,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM;IACR,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,KAAK,CAAC,KAAK;QAAE,MAAM,IAAI,QAAQ,CAAC,GAAG,IAAI,aAAa,KAAK,mBAAmB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AAC1G,CAAC;AAED,8FAA8F;AAC9F,SAAS,SAAS,CAAC,MAAmB,EAAE,GAAc,EAAE,IAAY;IACnE,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG,CAAC,MAAM;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAClH,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,gBAAgB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC/G,OAAO,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,8GAA8G;AAC9G,SAAS,KAAK,CACb,MAAmB,EACnB,KAAuE,EACvE,IAAY;IAEZ,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;IAC7D,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAC3F,CAAC;QACD,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AACrF,CAAC;AAED,gHAAgH;AAChH,SAAS,UAAU,CAClB,MAAmB,EACnB,KAAuE,EACvE,IAAY;IAEZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC;YAAE,SAAS;QACxE,mFAAmF;QACnF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAQ,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,MAAM,CAAC,OAAQ,EAAE,CAAC;YAChF,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,6BAA6B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,mEAAmE;AACnE,SAAS,UAAU,CAAC,MAAoB;IACvC,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAU,CAAC;AAEpE,iGAAiG;AACjG,SAAS,UAAU,CAAC,MAAmB,EAAE,IAAa,EAAE,IAAY;IACnE,MAAM,MAAM,GAAG,GAAU,EAAE;QAC1B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;IACzD,CAAC,CAAC;IACF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IACjG,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAwB,CAAC;IACpE,MAAM,MAAM,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,IAAI,KAAK,WAAW;YAAE,OAAO;QACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7G,MAAM,EAAE,CAAC;QACV,CAAC;IACF,CAAC,CAAC;IACF,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,CAAC;SAAM,IAAI,EAAE,KAAK,KAAK;QAAE,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;SACtD,IAAI,EAAE,KAAK,QAAQ;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC;SACrC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,QAAQ,IAAK,WAAiC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACjG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QACrE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;gBAAE,MAAM,EAAE,CAAC;IAC9G,CAAC;;QAAM,MAAM,EAAE,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAE/E,+GAA+G;AAC/G,SAAS,SAAS,CAAC,MAAmB,EAAE,IAAa,EAAE,IAAY;IAClE,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO;IAC5C,MAAM,MAAM,GAAG,GAAU,EAAE;QAC1B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IAChF,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAwB,CAAC;IACpE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAClB,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,MAAM,EAAE,CAAC;QACrF,OAAO;IACR,CAAC;IACD,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IAC7C,IAAK,UAAgC,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;SAAM,IAAI,EAAE,KAAK,eAAe,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,MAAM,EAAE,CAAC;IAChF,CAAC;SAAM,IAAI,EAAE,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;;QAAM,MAAM,EAAE,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAChH,CAAC;AACH,CAAC;AAED,oHAAoH;AACpH,SAAS,UAAU,CAAC,KAAsD,EAAE,IAAY;IACvF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAChH,IAAI,CAAC;QACJ,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,mCAAmC;QACnC,MAAM,OAAO,CAAC,MAAM,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,GAAG,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5D,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,qBAAqB,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/B,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;IACpF,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,MAAoB,EAAE,IAAY;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;IACpC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,EAAE,CAAC;QAC5F,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,2EAA2E,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO;IACzC,IAAI,IAAI,IAAI,MAAM,CAAC,QAAQ;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,8CAA8C,CAAC,CAAC;IAC1G,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,eAAe,CAAC,CAAC;AAClE,CAAC;AAED,kGAAkG;AAClG,SAAS,UAAU,CAAC,MAAmB,EAAE,KAAsD,EAAE,IAAY;IAC5G,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,wBAAwB,KAAK,CAAC,OAAO,eAAe,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE,CACvC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAClH,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACtG,MAAM,KAAK,GACV,IAAI,CAAC,IAAI,KAAK,QAAQ;QACrB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACpB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;YAC1F,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBACrB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBACvC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;IAClG,IAAI,CAAC,KAAK;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAC,IAAI,6BAA6B,CAAC,CAAC;IACzF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAC9C,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,wEAAwE;AACxE,SAAS,iBAAiB,CACzB,OAAkD,EAClD,KAAwB,EACxB,IAAY;IAEZ,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,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,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAC9F,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,MAAmB,EAAE,KAAsD,EAAE,IAAY;IAC5G,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC7F,CAAC;IACD,iBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,oFAAoF;AACpF,SAAS,QAAQ,CAAC,IAAU,EAAE,KAAa,EAAE,IAAY;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC3G,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CACjB,MAAmB,EACnB,KAAoD,EACpD,QAA2B,EAC3B,IAAY;IAEZ,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC;YACxC,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1E,MAAM,OAAO,CACZ,MAAM,EACN,GAAG,IAAI,mBAAmB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,yCAAyC,CACxF,CAAC;QACH,CAAC;IACF,CAAC;IACD,IAAI,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,OAAO,sCAAsC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,GAAG,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,0GAA0G;QAC1G,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9E,IAAI,CAAC,MAAM,CAAC,QAAQ;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;YACnE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtB,SAAS;QACV,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAClE,SAAS;QACV,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,OAAQ;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,uBAAuB,CAAC,CAAC;QAC/G,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC","sourcesContent":["// The applier (slice 6a §13, slice 6b §1.6): recorded writes applied as they were recorded, inside a backend\n// transaction, checked against the store's own records (a trust boundary: archives, a replica's batches). One code\n// path for import, bootstrap and batch apply, for every write kind; a recorded count the store does not reproduce\n// stops applying (`Diverged`, S17).\n\nimport type { SqliteValue } from \"../../sqlite/index.ts\";\nimport { checkName } from \"../contracts/internal.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { TableRecord } from \"./catalog.ts\";\nimport { COLUMN_NAME, type ColumnRecord } from \"./columns.ts\";\nimport {\n\ttype DocumentContent,\n\ttype DocumentRecord,\n\ttype DocumentWrite,\n\tinsertDocument,\n\tinsertRevision,\n\ttype RevisionContent,\n\treadDocument,\n\tretireRecord,\n\twriteContent,\n} from \"./engine.ts\";\nimport type { ExprNode, SetNode, WhereNode } from \"./expression.ts\";\nimport { checkScalar, ROW_VERSION, toSqlite, versionColumn } from \"./rows.ts\";\nimport { recordedPut, TableSql } from \"./sql.ts\";\nimport type { Step } from \"./step.ts\";\nimport { INDEX_NAME } from \"./table.ts\";\nimport { applyAlter, applyDropIndex, applyIndex, applyTable, type StoredKey, type TableWrite } from \"./table-writes.ts\";\nimport type { StoreWrite } from \"./writes.ts\";\n\n/** A recorded write the store does not reproduce (a count, a revision): applying stops, the store diverged (S17). */\nexport class Diverged extends Error {}\n\n/** Applies `write` in `step`; a write the records refuse throws `invalid/args`, one they do not reproduce `Diverged`. */\nexport async function applyWrite(step: Step, write: StoreWrite, what: string): Promise<void> {\n\tswitch (write.kind) {\n\t\tcase \"table\":\n\t\t\tcheckTable(write, what);\n\t\t\tawait applyTable(step, write);\n\t\t\treturn;\n\t\tcase \"index\":\n\t\t\tcheckIndex(recordOf(step, write.table, what), write, what);\n\t\t\tawait applyIndex(step, write);\n\t\t\treturn;\n\t\tcase \"dropIndex\":\n\t\t\tif (!Object.hasOwn(recordOf(step, write.table, what).indexes, write.name)) {\n\t\t\t\tthrow invalid(\"args\", `${what}: no index ${JSON.stringify(write.name)}`);\n\t\t\t}\n\t\t\tawait applyDropIndex(step, write);\n\t\t\treturn;\n\t\tcase \"alter\":\n\t\t\tcheckAlter(recordOf(step, write.table, what), write, what);\n\t\t\tawait applyAlter(step, write);\n\t\t\treturn;\n\t\tcase \"put\": {\n\t\t\tconst record = recordOf(step, write.table, what);\n\t\t\tconst { sql, physical } = recordedPut(write.table, record.columns);\n\t\t\tawait step.run(sql, ...putParams(record, write, physical, what));\n\t\t\treturn;\n\t\t}\n\t\tcase \"update\":\n\t\tcase \"delete\":\n\t\tcase \"updateWhere\":\n\t\tcase \"deleteWhere\":\n\t\t\treturn applyCounted(step, write, what);\n\t\tdefault:\n\t\t\treturn applyDocument(step, write, what);\n\t}\n}\n\n/** Applies a document write: a creation, a change or a retirement on its recorded revision, an archive's revision. */\nasync function applyDocument(step: Step, write: DocumentWrite, what: string): Promise<void> {\n\tswitch (write.kind) {\n\t\tcase \"document.create\":\n\t\t\tawait insertDocument(step, write.record, write.base === undefined ? undefined : json(write.base.value, what));\n\t\t\treturn;\n\t\tcase \"document.revision\": {\n\t\t\tconst { content } = write;\n\t\t\tawait insertRevision(step, write.id, write.seq, content.kind, content.version, contentText(content, what));\n\t\t\treturn;\n\t\t}\n\t\tcase \"document.change\": {\n\t\t\tconst record = await liveAt(step, write.id, write.revision, what);\n\t\t\tconst { content } = write;\n\t\t\tconst text = contentText(content, what);\n\t\t\tawait writeContent(step, write.id, record.history, write.revision, content, text);\n\t\t\treturn;\n\t\t}\n\t\tcase \"document.retire\":\n\t\t\tawait retireRecord(step, await liveAt(step, write.id, write.revision, what));\n\t\t\treturn;\n\t}\n}\n\n/** A content's stored text: a base's value or a delta's ops, checked as JSON. */\nfunction contentText(content: DocumentContent | RevisionContent, what: string): string {\n\treturn json(content.kind === \"base\" ? content.value : content.ops, what);\n}\n\n/** The live record `id` at `revision`; another revision, or none, is a divergence. */\nasync function liveAt(step: Step, id: number, revision: number, what: string): Promise<DocumentRecord> {\n\tconst record = await readDocument(step, id);\n\tif (record === undefined || record.retiredAt !== undefined || record.revision !== revision) {\n\t\tthrow new Diverged(`${what}: document ${id} is not live at revision ${revision}`);\n\t}\n\treturn record;\n}\n\n/** `value` serialized; one `JSON.stringify` cannot encode is refused. */\nfunction json(value: unknown, what: string): string {\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 (${String(error)})`);\n\t}\n\tif (text === undefined) throw invalid(\"args\", `${what}: not JSON`);\n\treturn text;\n}\n\n/**\n * Applies a counted table write: its statement rendered from the record's columns and the recorded `key`, `where` and\n * `set` (checked: only recorded columns, well-formed nodes), and its count compared with the recorded one.\n */\nasync function applyCounted(\n\tstep: Step,\n\twrite: Extract<TableWrite, { readonly kind: \"update\" | \"delete\" | \"updateWhere\" | \"deleteWhere\" }>,\n\twhat: string,\n): Promise<void> {\n\tconst record = recordOf(step, write.table, what);\n\tconst columns = Object.entries(record.columns).map(([name, column]) => ({ name, type: column.type }));\n\tconst sql = new TableSql(write.table, columns, [], record.key);\n\tlet statement: { readonly sql: string; readonly params: SqliteValue[] };\n\tswitch (write.kind) {\n\t\tcase \"update\":\n\t\t\tstatement = sql.update(\n\t\t\t\tsetOf(record, write, what),\n\t\t\t\tkeyParams(record, write.key, what),\n\t\t\t\tversionsOf(record, write, what),\n\t\t\t);\n\t\t\tbreak;\n\t\tcase \"delete\":\n\t\t\tstatement = { sql: sql.delete, params: keyParams(record, write.key, what) };\n\t\t\tbreak;\n\t\tcase \"updateWhere\":\n\t\t\tcheckWhere(record, write.where, what);\n\t\t\tstatement = sql.updateWhere(write.where, setOf(record, write, what), versionsOf(record, write, what));\n\t\t\tbreak;\n\t\tcase \"deleteWhere\":\n\t\t\tcheckWhere(record, write.where, what);\n\t\t\tstatement = sql.deleteWhere(write.where);\n\t\t\tbreak;\n\t}\n\tconst count = await step.runCounted(statement.sql, ...statement.params);\n\tif (count !== write.count) throw new Diverged(`${what}: changed ${count} rows, recorded ${write.count}`);\n}\n\n/** The recorded key as parameters in key order: exactly the key columns, each of its type. */\nfunction keyParams(record: TableRecord, key: StoredKey, what: string): SqliteValue[] {\n\tif (Object.keys(key).length !== record.key.length) throw invalid(\"args\", `${what}: not a key of ${record.table}`);\n\treturn record.key.map((name) => {\n\t\tif (!Object.hasOwn(key, name)) throw invalid(\"args\", `${what}: key column ${JSON.stringify(name)} is missing`);\n\t\treturn toSqlite(checkScalar(scalarType(record.columns[name]!), key[name], `${what}: key`));\n\t});\n}\n\n/** A recorded `set` with the migration stamp `$v` when it carries one; key columns never change (rule 13). */\nfunction setOf(\n\trecord: TableRecord,\n\twrite: Extract<TableWrite, { readonly kind: \"update\" | \"updateWhere\" }>,\n\twhat: string,\n): SetNode {\n\tconst { set } = write;\n\tif (typeof set !== \"object\" || set === null || Object.keys(set).length === 0) {\n\t\tthrow invalid(\"args\", `${what}: an empty or malformed set`);\n\t}\n\tfor (const [column, node] of Object.entries(set)) {\n\t\tif (!Object.hasOwn(record.columns, column) || record.key.includes(column)) {\n\t\t\tthrow invalid(\"args\", `${what}: set writes ${JSON.stringify(column)}, no non-key column`);\n\t\t}\n\t\tcheckExpr(record, node, what);\n\t}\n\treturn write.version === undefined ? set : { ...set, [ROW_VERSION]: write.version };\n}\n\n/** The `json(...)` versions a `set` stamps: the recorded ones, of `json(...)` columns it sets, up to theirs. */\nfunction versionsOf(\n\trecord: TableRecord,\n\twrite: Extract<TableWrite, { readonly kind: \"update\" | \"updateWhere\" }>,\n\twhat: string,\n): Map<string, number> {\n\tconst versions = new Map<string, number>();\n\tfor (const [name, column] of Object.entries(record.columns)) {\n\t\tif (column.type !== \"json\" || !Object.hasOwn(write.set, name)) continue;\n\t\t// A clear stamps `NULL` whatever the version; a value stamps its recorded version.\n\t\tconst version = write.columns[name] ?? column.version!;\n\t\tif (!Number.isSafeInteger(version) || version < 1 || version > column.version!) {\n\t\t\tthrow invalid(\"args\", `${what}: no readable version for ${JSON.stringify(name)}`);\n\t\t}\n\t\tversions.set(name, version);\n\t}\n\treturn versions;\n}\n\n/** A scalar column's type; `json(...)` columns are not scalars. */\nfunction scalarType(column: ColumnRecord): \"str\" | \"int\" | \"num\" | \"bool\" {\n\treturn column.type === \"json\" ? \"str\" : column.type;\n}\n\nconst COMPARISONS = [\"eq\", \"ne\", \"lt\", \"lte\", \"gt\", \"gte\"] as const;\n\n/** A recorded condition: well-formed nodes over recorded scalar columns (and the row's `$v`). */\nfunction checkWhere(record: TableRecord, node: unknown, what: string): asserts node is WhereNode {\n\tconst refuse = (): never => {\n\t\tthrow invalid(\"args\", `${what}: a malformed condition`);\n\t};\n\tif (typeof node !== \"object\" || node === null || Object.keys(node).length !== 1) return refuse();\n\tconst [[op, operand]] = Object.entries(node) as [[string, unknown]];\n\tconst column = (name: unknown): void => {\n\t\tif (name === ROW_VERSION) return;\n\t\tif (typeof name !== \"string\" || record.columns[name] === undefined || record.columns[name]!.type === \"json\") {\n\t\t\trefuse();\n\t\t}\n\t};\n\tif (op === \"and\" || op === \"or\") {\n\t\tif (!Array.isArray(operand)) return refuse();\n\t\tfor (const each of operand) checkWhere(record, each, what);\n\t} else if (op === \"not\") checkWhere(record, operand, what);\n\telse if (op === \"isNull\") column(operand);\n\telse if (op === \"inArray\" || op === \"prefix\" || (COMPARISONS as readonly string[]).includes(op)) {\n\t\tif (!Array.isArray(operand) || operand.length !== 2) return refuse();\n\t\tcolumn(operand[0]);\n\t\tconst values = op === \"inArray\" ? operand[1] : [operand[1]];\n\t\tif (!Array.isArray(values)) return refuse();\n\t\tfor (const value of values) if (!isScalar(value) || (op === \"prefix\" && typeof value !== \"string\")) refuse();\n\t} else refuse();\n}\n\nconst OPERATIONS = [\"add\", \"sub\", \"max\", \"min\", \"concat\", \"coalesce\"] as const;\n\n/** A recorded expression: scalars, `null`, JSON literals, recorded columns and the vocabulary's operations. */\nfunction checkExpr(record: TableRecord, node: unknown, what: string): asserts node is ExprNode {\n\tif (node === null || isScalar(node)) return;\n\tconst refuse = (): never => {\n\t\tthrow invalid(\"args\", `${what}: a malformed expression`);\n\t};\n\tif (typeof node !== \"object\" || Object.keys(node).length !== 1) return refuse();\n\tconst [[op, operand]] = Object.entries(node) as [[string, unknown]];\n\tif (op === \"col\") {\n\t\tif (typeof operand !== \"string\" || !Object.hasOwn(record.columns, operand)) refuse();\n\t\treturn;\n\t}\n\tif (op === \"json\") return;\n\tif (!Array.isArray(operand)) return refuse();\n\tif ((OPERATIONS as readonly string[]).includes(op) && operand.length === 2) {\n\t\tfor (const each of operand) checkExpr(record, each, what);\n\t} else if (op === \"replacePrefix\" && operand.length === 3) {\n\t\tcheckExpr(record, operand[0], what);\n\t\tif (typeof operand[1] !== \"string\" || typeof operand[2] !== \"string\") refuse();\n\t} else if (op === \"when\" && operand.length === 3) {\n\t\tcheckWhere(record, operand[0], what);\n\t\tcheckExpr(record, operand[1], what);\n\t\tcheckExpr(record, operand[2], what);\n\t} else refuse();\n}\n\nfunction isScalar(value: unknown): boolean {\n\treturn (\n\t\ttypeof value === \"string\" || typeof value === \"boolean\" || (typeof value === \"number\" && Number.isFinite(value))\n\t);\n}\n\n/** A recorded table's SQL name (two names joined by `:`, R2), columns, key and json versions, by the name rules. */\nfunction checkTable(write: Extract<TableWrite, { readonly kind: \"table\" }>, what: string): void {\n\tconst parts = write.table.split(\":\");\n\tif (parts.length !== 2) throw invalid(\"args\", `${what}: table ${JSON.stringify(write.table)}: not owner:table`);\n\ttry {\n\t\tfor (const part of parts) checkName(part, `${what}: table name part`);\n\t} catch (error) {\n\t\t// `checkName` throws plain Errors.\n\t\tthrow invalid(\"args\", (error as Error).message);\n\t}\n\tconst folded = new Set<string>();\n\tfor (const [name, column] of Object.entries(write.columns)) {\n\t\tconst where = `${what}: column ${JSON.stringify(name)}`;\n\t\tif (!COLUMN_NAME.test(name) || folded.has(name.toLowerCase()))\n\t\t\tthrow invalid(\"args\", `${where}: not a column name`);\n\t\tfolded.add(name.toLowerCase());\n\t\tcheckColumn(column, where);\n\t}\n\tif (write.key.length === 0) throw invalid(\"args\", `${what}: the key has no column`);\n\tcheckOrderColumns(write.columns, write.key, `${what}: the key`);\n}\n\nfunction checkColumn(column: ColumnRecord, what: string): void {\n\tconst json = column.type === \"json\";\n\tif (json !== (column.version !== undefined) || json !== (column.fingerprint !== undefined)) {\n\t\tthrow invalid(\"args\", `${what}: a json(...) column has a version and a fingerprint, no other column has`);\n\t}\n\tif (column.default === undefined) return;\n\tif (json || column.optional) throw invalid(\"args\", `${what}: only a non-opt scalar column has a default`);\n\tcheckScalar(column.type, column.default, `${what}: the default`);\n}\n\n/** A recorded column edit of `record`'s next version or its own (the edits after a data step). */\nfunction checkAlter(record: TableRecord, write: Extract<TableWrite, { readonly kind: \"alter\" }>, what: string): void {\n\tif (write.version !== record.version && write.version !== record.version + 1) {\n\t\tthrow invalid(\"args\", `${what}: an edit of version ${write.version} on version ${record.version}`);\n\t}\n\tconst { edit } = write;\n\tconst has = (name: string): boolean => Object.hasOwn(record.columns, name);\n\tconst fresh = (name: string): boolean =>\n\t\tCOLUMN_NAME.test(name) && !Object.keys(record.columns).some((each) => each.toLowerCase() === name.toLowerCase());\n\tconst indexed = (name: string): boolean =>\n\t\trecord.key.includes(name) || Object.values(record.indexes).some((columns) => columns.includes(name));\n\tconst valid =\n\t\tedit.kind === \"rename\"\n\t\t\t? has(edit.from) && fresh(edit.to)\n\t\t\t: edit.kind === \"add\"\n\t\t\t\t? fresh(edit.name) && (edit.column.optional === true || edit.column.default !== undefined)\n\t\t\t\t: edit.kind === \"drop\"\n\t\t\t\t\t? has(edit.name) && !indexed(edit.name)\n\t\t\t\t\t: has(edit.name) && record.columns[edit.name]!.type === \"json\" && edit.column.type === \"json\";\n\tif (!valid) throw invalid(\"args\", `${what}: an ${edit.kind} edit the table cannot take`);\n\tif (edit.kind === \"add\" || edit.kind === \"json\")\n\t\tcheckColumn(edit.column, `${what}: column ${JSON.stringify(edit.name)}`);\n}\n\n/** `names` are distinct, recorded, non-`opt` `str` or `int` columns. */\nfunction checkOrderColumns(\n\tcolumns: { readonly [name: string]: ColumnRecord },\n\tnames: readonly string[],\n\twhat: string,\n): void {\n\tif (new Set(names).size !== names.length) throw invalid(\"args\", `${what}: a column occurs twice`);\n\tfor (const name of names) {\n\t\tconst column = Object.hasOwn(columns, name) ? columns[name] : undefined;\n\t\tif (column === undefined || column.optional || (column.type !== \"str\" && column.type !== \"int\")) {\n\t\t\tthrow invalid(\"args\", `${what}: ${JSON.stringify(name)} is not a non-opt str or int column`);\n\t\t}\n\t}\n}\n\nfunction checkIndex(record: TableRecord, write: Extract<TableWrite, { readonly kind: \"index\" }>, what: string): void {\n\tif (!INDEX_NAME.test(write.name) || Object.hasOwn(record.indexes, write.name)) {\n\t\tthrow invalid(\"args\", `${what}: index ${JSON.stringify(write.name)}: not a new index name`);\n\t}\n\tcheckOrderColumns(record.columns, write.columns, `${what}: index ${write.name}`);\n}\n\n/** The record of `table` in `step`; a write for a table not recorded is refused. */\nfunction recordOf(step: Step, table: string, what: string): TableRecord {\n\tconst record = step.table(table);\n\tif (record === undefined) throw invalid(\"args\", `${what}: table ${JSON.stringify(table)} is not recorded`);\n\treturn record;\n}\n\n/**\n * The parameters of a `put` in `physical` order, checked against the recorded columns: every non-`opt` column, no\n * other field, values of their types, `json(...)` cells as JSON (no plugin code runs) with a version up to the\n * column's, and `version` up to the table's.\n */\nfunction putParams(\n\trecord: TableRecord,\n\twrite: Extract<TableWrite, { readonly kind: \"put\" }>,\n\tphysical: readonly string[],\n\twhat: string,\n): SqliteValue[] {\n\tconst { row, columns: versions, version } = write;\n\tfor (const field of Object.keys(row)) {\n\t\tif (!Object.hasOwn(record.columns, field))\n\t\t\tthrow invalid(\"args\", `${what}: unknown column ${JSON.stringify(field)}`);\n\t}\n\tfor (const field of Object.keys(versions)) {\n\t\tif (record.columns[field]?.type !== \"json\" || !Object.hasOwn(row, field)) {\n\t\t\tthrow invalid(\n\t\t\t\t\"args\",\n\t\t\t\t`${what}: a version for ${JSON.stringify(field)}, which is no json(...) cell of the row`,\n\t\t\t);\n\t\t}\n\t}\n\tif (version > record.version) {\n\t\tthrow invalid(\"args\", `${what}: version ${version} is newer than the table's version ${record.version}`);\n\t}\n\tconst cells = new Map<string, SqliteValue>();\n\tfor (const [name, column] of Object.entries(record.columns)) {\n\t\tconst where = `${what}: column ${JSON.stringify(name)}`;\n\t\tconst value = row[name];\n\t\t// A row has no explicit `null`: an absent field is `NULL`; a `json(...)` cell's `null` is the JSON value.\n\t\tif (column.type === \"json\" ? !Object.hasOwn(row, name) : value === undefined) {\n\t\t\tif (!column.optional) throw invalid(\"args\", `${where} is missing`);\n\t\t\tcells.set(name, null);\n\t\t\tcontinue;\n\t\t}\n\t\tif (column.type !== \"json\") {\n\t\t\tcells.set(name, toSqlite(checkScalar(column.type, value, where)));\n\t\t\tcontinue;\n\t\t}\n\t\tconst version = versions[name];\n\t\tif (version === undefined || version > column.version!) throw invalid(\"args\", `${where}: no readable version`);\n\t\tcells.set(name, json(value, where));\n\t\tcells.set(versionColumn(name), version);\n\t}\n\treturn physical.map((name) => (name === ROW_VERSION ? version : (cells.get(name) ?? null)));\n}\n"]}

package/dist/next/store/apply-batch.d.ts

@@ -0,0 +1,12 @@
+import type { Context } from "../../context/index.ts";
+import { type OutboxCommit } from "./outbox.ts";
+import type { ChordStore } from "./store.ts";
+/**
+ * Applies `commits` (from an outbox, in seq order) to `store`: refused while an owner holds a claim on it, once it
+ * diverged, or when the first commit does not follow its `lastSeq` or one does not follow the one before; a write the
+ * store's records refuse rolls the whole batch back (`invalid/args`); a recorded count the store does not reproduce
+ * rolls it back and marks the store diverged, so every later batch is refused. Commits written to the store's outbox
+ * too when it has one.
+ */
+export declare function applyBatch(store: ChordStore, commits: readonly OutboxCommit[], context: Context): Promise<void>;
+//# sourceMappingURL=apply-batch.d.ts.map

package/dist/next/store/apply-batch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-batch.d.ts","sourceRoot":"","sources":["../../../src/next/store/apply-batch.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAOtD,OAAO,EAAiB,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAG/D,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,YAAY,CAAC;AAEvD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAW/G"}

package/dist/next/store/apply-batch.js

@@ -0,0 +1,83 @@
+// Batch apply (slice 6b §1.6, S5, S17): a replica takes commits `from..to` as an outbox gave them, in one backend
+// transaction through the store's commit queue, each write applied with its commit's seq by the applier (a trust
+// boundary), `lastSeq` and the allocator set from the last commit. Internal: the sync layer's entry point.
+import { invalid } from "../data/internal.js";
+import { IdAllocator } from "./allocator.js";
+import { applyWrite, Diverged } from "./applier.js";
+import { checkWrite } from "./archive.js";
+import { writeCatalog } from "./catalog.js";
+import { OUTBOX_FORMAT } from "./outbox.js";
+import { TABLES } from "./schema.js";
+import { Step } from "./step.js";
+/**
+ * Applies `commits` (from an outbox, in seq order) to `store`: refused while an owner holds a claim on it, once it
+ * diverged, or when the first commit does not follow its `lastSeq` or one does not follow the one before; a write the
+ * store's records refuse rolls the whole batch back (`invalid/args`); a recorded count the store does not reproduce
+ * rolls it back and marks the store diverged, so every later batch is refused. Commits written to the store's outbox
+ * too when it has one.
+ */
+export function applyBatch(store, commits, context) {
+    let checked;
+    try {
+        checked = commits.map((commit, index) => checkCommit(commit, `batch: commit ${index}`, context));
+    }
+    catch (error) {
+        return Promise.reject(error);
+    }
+    return store.replay((executor, catalog) => replay(store, checked, executor, catalog), (error) => error instanceof Diverged);
+}
+/** One commit's envelope and writes, checked (a trust boundary). */
+function checkCommit(commit, what, context) {
+    const { seq, nextId, writes } = commit;
+    if (!Number.isSafeInteger(seq) || !Number.isSafeInteger(nextId) || !Array.isArray(writes)) {
+        throw invalid("args", `${what}: not an outbox commit`);
+    }
+    return {
+        seq: seq,
+        nextId: nextId,
+        writes: writes.map((write, index) => checkWrite(write, `${what}: write ${index}`, context)),
+    };
+}
+/** The batch inside the store's turn: seqs continuous from `lastSeq`, allocator values never falling. */
+async function replay(store, commits, executor, catalog) {
+    const tables = new Map(catalog);
+    const changed = new Map();
+    let lastSeq = store.lastSeq;
+    let nextId = store.nextId;
+    for (const [index, commit] of commits.entries()) {
+        const what = `batch: commit ${index} (seq ${commit.seq})`;
+        if (commit.seq !== lastSeq + 1)
+            throw invalid("args", `${what}: does not follow seq ${lastSeq}`);
+        if (commit.nextId < nextId)
+            throw invalid("args", `${what}: its next id ${commit.nextId} is below ${nextId}`);
+        const step = new Step(executor, commit.seq, new IdAllocator(commit.nextId), tables);
+        for (const [position, write] of commit.writes.entries()) {
+            const where = `${what}: write ${position} (${write.kind})`;
+            if (write.kind === "document.create")
+                checkCreated(write.record.id, commit.nextId, where);
+            await applyWrite(step, write, where);
+        }
+        await writeCatalog(step);
+        for (const [name, record] of step.tables) {
+            tables.set(name, record);
+            changed.set(name, record);
+        }
+        if (store.recordsOutbox) {
+            await executor.run(`INSERT INTO ${TABLES.outbox} (seq, format, next_id, writes) VALUES (?, ?, ?, ?)`, commit.seq, OUTBOX_FORMAT, commit.nextId, JSON.stringify(commit.writes));
+        }
+        lastSeq = commit.seq;
+        nextId = commit.nextId;
+    }
+    await executor.run(`UPDATE ${TABLES.meta} SET last_seq = ?, next_id = ? WHERE singleton = 1`, lastSeq, nextId);
+    return { lastSeq, nextId, tables: changed };
+}
+/**
+ * A created document's id is below its commit's next id (the allocator never mints it again), or equal to a saturated
+ * next id (`Number.MAX_SAFE_INTEGER` may be written, as import allows).
+ */
+function checkCreated(id, nextId, what) {
+    if (id < nextId || (nextId === Number.MAX_SAFE_INTEGER && id === nextId))
+        return;
+    throw invalid("args", `${what}: id ${id} is not below the commit's next id ${nextId}`);
+}
+//# sourceMappingURL=apply-batch.js.map

package/dist/next/store/apply-batch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-batch.js","sourceRoot":"","sources":["../../../src/next/store/apply-batch.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,iHAAiH;AACjH,2GAA2G;AAI3G,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAoB,YAAY,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAqB,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAAiB,EAAE,OAAgC,EAAE,OAAgB;IAC/F,IAAI,OAAuB,CAAC;IAC5B,IAAI,CAAC;QACJ,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,iBAAiB,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAClG,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAClB,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAChE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,YAAY,QAAQ,CACpC,CAAC;AACH,CAAC;AAED,oEAAoE;AACpE,SAAS,WAAW,CAAC,MAAoB,EAAE,IAAY,EAAE,OAAgB;IACxE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAA+B,CAAC;IAChE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACxD,CAAC;IACD,OAAO;QACN,GAAG,EAAE,GAAI;QACT,MAAM,EAAE,MAAO;QACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;KAC3F,CAAC;AACH,CAAC;AAED,yGAAyG;AACzG,KAAK,UAAU,MAAM,CACpB,KAAiB,EACjB,OAAgC,EAChC,QAAwB,EACxB,OAAyC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,IAAI,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC5B,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,iBAAiB,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,CAAC;QAC1D,IAAI,MAAM,CAAC,GAAG,KAAK,OAAO,GAAG,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,OAAO,EAAE,CAAC,CAAC;QACjG,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,iBAAiB,MAAM,CAAC,MAAM,aAAa,MAAM,EAAE,CAAC,CAAC;QAC9G,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QACpF,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,GAAG,IAAI,WAAW,QAAQ,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC;YAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC1F,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACzB,MAAM,QAAQ,CAAC,GAAG,CACjB,eAAe,MAAM,CAAC,MAAM,qDAAqD,EACjF,MAAM,CAAC,GAAG,EACV,aAAa,EACb,MAAM,CAAC,MAAM,EACb,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAC7B,CAAC;QACH,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC;QACrB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,MAAM,QAAQ,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,oDAAoD,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/G,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,EAAU,EAAE,MAAc,EAAE,IAAY;IAC7D,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,gBAAgB,IAAI,EAAE,KAAK,MAAM,CAAC;QAAE,OAAO;IACjF,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,sCAAsC,MAAM,EAAE,CAAC,CAAC;AACxF,CAAC","sourcesContent":["// Batch apply (slice 6b §1.6, S5, S17): a replica takes commits `from..to` as an outbox gave them, in one backend\n// transaction through the store's commit queue, each write applied with its commit's seq by the applier (a trust\n// boundary), `lastSeq` and the allocator set from the last commit. Internal: the sync layer's entry point.\n\nimport type { Context } from \"../../context/index.ts\";\nimport type { SqliteExecutor } from \"../../sqlite/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport { IdAllocator } from \"./allocator.ts\";\nimport { applyWrite, Diverged } from \"./applier.ts\";\nimport { checkWrite } from \"./archive.ts\";\nimport { type TableRecord, writeCatalog } from \"./catalog.ts\";\nimport { OUTBOX_FORMAT, type OutboxCommit } from \"./outbox.ts\";\nimport { TABLES } from \"./schema.ts\";\nimport { Step } from \"./step.ts\";\nimport type { ChordStore, Replayed } from \"./store.ts\";\n\n/**\n * Applies `commits` (from an outbox, in seq order) to `store`: refused while an owner holds a claim on it, once it\n * diverged, or when the first commit does not follow its `lastSeq` or one does not follow the one before; a write the\n * store's records refuse rolls the whole batch back (`invalid/args`); a recorded count the store does not reproduce\n * rolls it back and marks the store diverged, so every later batch is refused. Commits written to the store's outbox\n * too when it has one.\n */\nexport function applyBatch(store: ChordStore, commits: readonly OutboxCommit[], context: Context): Promise<void> {\n\tlet checked: OutboxCommit[];\n\ttry {\n\t\tchecked = commits.map((commit, index) => checkCommit(commit, `batch: commit ${index}`, context));\n\t} catch (error) {\n\t\treturn Promise.reject(error);\n\t}\n\treturn store.replay(\n\t\t(executor, catalog) => replay(store, checked, executor, catalog),\n\t\t(error) => error instanceof Diverged,\n\t);\n}\n\n/** One commit's envelope and writes, checked (a trust boundary). */\nfunction checkCommit(commit: OutboxCommit, what: string, context: Context): OutboxCommit {\n\tconst { seq, nextId, writes } = commit as Partial<OutboxCommit>;\n\tif (!Number.isSafeInteger(seq) || !Number.isSafeInteger(nextId) || !Array.isArray(writes)) {\n\t\tthrow invalid(\"args\", `${what}: not an outbox commit`);\n\t}\n\treturn {\n\t\tseq: seq!,\n\t\tnextId: nextId!,\n\t\twrites: writes.map((write, index) => checkWrite(write, `${what}: write ${index}`, context)),\n\t};\n}\n\n/** The batch inside the store's turn: seqs continuous from `lastSeq`, allocator values never falling. */\nasync function replay(\n\tstore: ChordStore,\n\tcommits: readonly OutboxCommit[],\n\texecutor: SqliteExecutor,\n\tcatalog: ReadonlyMap<string, TableRecord>,\n): Promise<Replayed> {\n\tconst tables = new Map(catalog);\n\tconst changed = new Map<string, TableRecord>();\n\tlet lastSeq = store.lastSeq;\n\tlet nextId = store.nextId;\n\tfor (const [index, commit] of commits.entries()) {\n\t\tconst what = `batch: commit ${index} (seq ${commit.seq})`;\n\t\tif (commit.seq !== lastSeq + 1) throw invalid(\"args\", `${what}: does not follow seq ${lastSeq}`);\n\t\tif (commit.nextId < nextId) throw invalid(\"args\", `${what}: its next id ${commit.nextId} is below ${nextId}`);\n\t\tconst step = new Step(executor, commit.seq, new IdAllocator(commit.nextId), tables);\n\t\tfor (const [position, write] of commit.writes.entries()) {\n\t\t\tconst where = `${what}: write ${position} (${write.kind})`;\n\t\t\tif (write.kind === \"document.create\") checkCreated(write.record.id, commit.nextId, where);\n\t\t\tawait applyWrite(step, write, where);\n\t\t}\n\t\tawait writeCatalog(step);\n\t\tfor (const [name, record] of step.tables) {\n\t\t\ttables.set(name, record);\n\t\t\tchanged.set(name, record);\n\t\t}\n\t\tif (store.recordsOutbox) {\n\t\t\tawait executor.run(\n\t\t\t\t`INSERT INTO ${TABLES.outbox} (seq, format, next_id, writes) VALUES (?, ?, ?, ?)`,\n\t\t\t\tcommit.seq,\n\t\t\t\tOUTBOX_FORMAT,\n\t\t\t\tcommit.nextId,\n\t\t\t\tJSON.stringify(commit.writes),\n\t\t\t);\n\t\t}\n\t\tlastSeq = commit.seq;\n\t\tnextId = commit.nextId;\n\t}\n\tawait executor.run(`UPDATE ${TABLES.meta} SET last_seq = ?, next_id = ? WHERE singleton = 1`, lastSeq, nextId);\n\treturn { lastSeq, nextId, tables: changed };\n}\n\n/**\n * A created document's id is below its commit's next id (the allocator never mints it again), or equal to a saturated\n * next id (`Number.MAX_SAFE_INTEGER` may be written, as import allows).\n */\nfunction checkCreated(id: number, nextId: number, what: string): void {\n\tif (id < nextId || (nextId === Number.MAX_SAFE_INTEGER && id === nextId)) return;\n\tthrow invalid(\"args\", `${what}: id ${id} is not below the commit's next id ${nextId}`);\n}\n"]}

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

@@ -0,0 +1,32 @@
+import type { Context } from "../../context/index.ts";
+import type { DocumentWrite } from "./engine.ts";
+import type { TableWrite } from "./table-writes.ts";
+import type { StoreWrite } from "./writes.ts";
+/** The archive format `export` writes; `import` takes this one only. */
+export declare const ARCHIVE_FORMAT = 1;
+/** The first part: the format, the store's schema version, its `lastSeq` and the allocator's next id (rule 24, D3). */
+export type ArchiveManifest = {
+    readonly kind: "manifest";
+    readonly format: number;
+    readonly schema: number;
+    readonly lastSeq: number;
+    readonly nextId: number;
+};
+/**
+ * One part of an archive, in this order: the manifest; per table (by SQL name) its `table` write, its `put`s and its
+ * `index` writes; per document record (by id, live and retired) its `document.create` without a base, then its kept
+ * revisions in seq order; `end` with the count of the parts between.
+ */
+export type ArchivePart = ArchiveManifest | Extract<TableWrite, {
+    readonly kind: "table" | "put" | "index";
+}> | Extract<DocumentWrite, {
+    readonly kind: "document.create" | "document.revision";
+}> | {
+    readonly kind: "end";
+    readonly writes: number;
+};
+/** Checks one imported part against the archive schema (a trust boundary); `invalid/args` naming its position. */
+export declare function checkPart(part: unknown, position: number, context: Context): ArchivePart;
+/** Checks one write of a batch's commit against the write schema (a trust boundary); `what` names its place. */
+export declare function checkWrite(write: unknown, what: string, context: Context): StoreWrite;
+//# sourceMappingURL=archive.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"archive.d.ts","sourceRoot":"","sources":["../../../src/next/store/archive.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAgBtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,wEAAwE;AACxE,eAAO,MAAM,cAAc,IAAI,CAAC;AAEhC,uHAAuH;AACvH,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,WAAW,GACpB,eAAe,GACf,OAAO,CAAC,UAAU,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,KAAK,GAAG,OAAO,CAAA;CAAE,CAAC,GACjE,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,GAAG,mBAAmB,CAAA;CAAE,CAAC,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AA4HrD,kHAAkH;AAClH,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,WAAW,CAOxF;AAED,gHAAgH;AAChH,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU,CAKrF"}