@earendil-works/chord 1.5.0 → 1.5.1

package/dist/next/store/engine.js

@@ -1,283 +0,0 @@
-// The documents engine (S13, slice 6a §8, slice 6b §1.5): one record per incarnation of an address, revisions made of
-// bases and deltas, a history rule per record (R1); its writes inside the commit step, checked by the writes
-// themselves (the partial unique index on the live address, the counted conditional `UPDATE` on the record's
-// revision), and its reads, of the current state or at a point.
-import { apply } from "../../delta/index.js";
-import { TABLES } from "./schema.js";
-/**
- * Stages the creation of a Chord document at `address` with `base`; its id is taken from the allocator when it
- * applies (a saturated allocator refuses the commit) and handed to `created` (its owner adopts it after `COMMIT`).
- * `text` is the base's value serialized before the queue (rule 8).
- */
-export function createDocument(address, base, text, created) {
-    return {
-        order: "create",
-        apply: async (step) => {
-            const id = step.ids.mint();
-            step.created.push(id);
-            created?.(id);
-            const { version, fingerprint } = base;
-            const record = {
-                id,
-                ...address,
-                history: "none",
-                createdAt: step.seq,
-                revision: 1,
-                version,
-                fingerprint,
-            };
-            await insertDocument(step, record, text);
-            return [{ kind: "document.create", record, base }];
-        },
-    };
-}
-/**
- * Inserts `record` as it is (id, seqs and revision kept: a creation, an import, a batch), with its base at `createdAt`
- * when `text` (the base's value serialized) is given; a record created retired (an empty lifetime) keeps what its
- * history keeps.
- */
-export async function insertDocument(step, record, text) {
-    const { id, namespace, owner, kind, key, history, createdAt, retiredAt, meta, revision, version, fingerprint } = record;
-    await step.run(`INSERT INTO ${TABLES.documents}
-			(id, owner, namespace, kind, key, history, created_at, retired_at, meta, revision, version, fingerprint)
-			VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)`, id, owner, namespace, kind, key ?? "", history, createdAt, retiredAt ?? null, meta ?? null, revision, version, fingerprint);
-    if (text !== undefined)
-        await insertRevision(step, id, createdAt, "base", version, text);
-    if (retiredAt !== undefined)
-        await dropRetired(step, id, history);
-}
-/**
- * Stages a change of Chord document `id` prepared on `revision`: a delta on the current base's version, or a new base.
- * `text` is the content serialized before the queue.
- */
-export function changeDocument(id, revision, content, text) {
-    const write = { kind: "document.change", id, revision, content };
-    return {
-        order: "write",
-        apply: async (step) => {
-            await writeContent(step, id, "none", revision, content, text);
-            return [write];
-        },
-    };
-}
-/**
- * Writes `content` to document `id` (of `history`) prepared on `revision`, in the step's seq: its revision, the
- * counted conditional `UPDATE` (a delta only on the base's version), and at a new base the older revisions a
- * `none` or `latest` record drops. A record that is not live at `revision` throws (memory and disk disagree).
- */
-export async function writeContent(step, id, history, revision, content, text) {
-    // As ids: a revision past the safe range would stop counting exactly.
-    if (revision >= Number.MAX_SAFE_INTEGER)
-        throw new Error(`document ${id}: no revision past the safe range`);
-    await insertRevision(step, id, step.seq, content.kind, content.version, text);
-    const changed = content.kind === "delta"
-        ? await step.runCounted(`UPDATE ${TABLES.documents} SET revision = revision + 1
-						WHERE id = ? AND revision = ? AND version = ? AND retired_at IS NULL`, id, revision, content.version)
-        : await step.runCounted(`UPDATE ${TABLES.documents} SET revision = revision + 1, version = ?, fingerprint = ?
-						WHERE id = ? AND revision = ? AND retired_at IS NULL`, content.version, content.fingerprint, id, revision);
-    if (changed !== 1)
-        throw new Error(`document ${id}: not live at revision ${revision}`);
-    if (content.kind === "base" && history !== "rewindable") {
-        await step.run(`DELETE FROM ${TABLES.revisions} WHERE document_id = ? AND seq < ?`, id, step.seq);
-    }
-}
-/** Stages the retirement of Chord document `id` (history `none`) at `revision`: its row and its revisions go. */
-export function retireDocument(id, revision) {
-    const write = { kind: "document.retire", id, revision };
-    return {
-        order: "retire",
-        apply: async (step) => {
-            // A Chord document keeps no history (`none`): its row goes with a conditional, counted DELETE (6a's).
-            const deleted = await step.runCounted(`DELETE FROM ${TABLES.documents} WHERE id = ? AND revision = ? AND retired_at IS NULL`, id, revision);
-            if (deleted !== 1)
-                throw new Error(`document ${id}: not live at revision ${revision}`);
-            await step.run(`DELETE FROM ${TABLES.revisions} WHERE document_id = ?`, id);
-            return [write];
-        },
-    };
-}
-/**
- * Retires live `record` in the step's seq by its history (R1): a `none` record's row and revisions go, a `latest` one
- * keeps its row with `retired_at` and drops its revisions, a `rewindable` one keeps everything.
- */
-export async function retireRecord(step, record) {
-    const { id, history } = record;
-    if (history !== "none")
-        await step.run(`UPDATE ${TABLES.documents} SET retired_at = ? WHERE id = ?`, step.seq, id);
-    await dropRetired(step, id, history);
-}
-/** What a retired record of `history` drops: a `none` row too, every revision unless `rewindable`. */
-async function dropRetired(step, id, history) {
-    if (history === "rewindable")
-        return;
-    if (history === "none")
-        await step.run(`DELETE FROM ${TABLES.documents} WHERE id = ?`, id);
-    await step.run(`DELETE FROM ${TABLES.revisions} WHERE document_id = ?`, id);
-}
-/** Inserts one revision of document `id` at `seq`, `text` its serialized content. */
-export function insertRevision(step, id, seq, kind, version, text) {
-    return step.run(`INSERT INTO ${TABLES.revisions} (document_id, seq, kind, version, content) VALUES (?, ?, ?, ?, ?)`, id, seq, kind, version, text);
-}
-const RECORD_COLUMNS = "id, owner, namespace, kind, key, history, created_at, retired_at, meta, revision, version, fingerprint";
-const READ = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents} WHERE id = ?`;
-/** The record with `id`, live or retired, if there is one. */
-export async function readDocument(executor, id) {
-    const row = await executor.get(READ, id);
-    return row === undefined ? undefined : recordOf(row);
-}
-const FIND_CURRENT = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents}
-	WHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND retired_at IS NULL`;
-const FIND_AT = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents}
-	WHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?)
-	ORDER BY created_at DESC LIMIT 1`;
-/** The record at `address` live at `at` (the half-open lifetime `createdAt <= at < retiredAt`), if any. */
-export async function findDocument(executor, address, at = "current") {
-    const { owner, namespace, kind } = address;
-    const key = address.key ?? "";
-    const row = at === "current"
-        ? await executor.get(FIND_CURRENT, owner, namespace, kind, key)
-        : await executor.get(FIND_AT, owner, namespace, kind, key, at, at);
-    return row === undefined ? undefined : recordOf(row);
-}
-const READ_ENTRY = `SELECT meta, retired_at, owner, namespace, history FROM ${TABLES.documents} WHERE id = ?`;
-/** The entry of the record with `id`, live or retired, with its owner, namespace and history; `undefined` if none. */
-export function readDocumentEntry(executor, id) {
-    return executor.get(READ_ENTRY, id);
-}
-const FIND_ENTRY_CURRENT = `SELECT meta FROM ${TABLES.documents}
-	WHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND retired_at IS NULL`;
-const FIND_ENTRY_AT = `SELECT meta, retired_at FROM ${TABLES.documents}
-	WHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?)
-	ORDER BY created_at DESC LIMIT 1`;
-/** `findDocument` reading only what an adapter keeping its fields in `meta` needs (fewer columns, no record built). */
-export function findDocumentEntry(executor, address, at) {
-    const { owner, namespace, kind } = address;
-    const key = address.key ?? "";
-    return at === "current"
-        ? executor.get(FIND_ENTRY_CURRENT, owner, namespace, kind, key)
-        : executor.get(FIND_ENTRY_AT, owner, namespace, kind, key, at, at);
-}
-const LOAD = `SELECT seq, kind, version, content FROM ${TABLES.revisions} WHERE document_id = ? AND seq <= ? AND seq >= (
-	SELECT max(seq) FROM ${TABLES.revisions} WHERE document_id = ? AND kind = 'base' AND seq <= ?) ORDER BY seq`;
-/**
- * Loads `record` at `at`: its newest base at or below it and the deltas after that base up to it, applied once; the
- * version is the base's. A record without such a base (one that keeps no history from there) throws.
- */
-export async function loadDocument(executor, record, at = "current") {
-    return { record, ...(await loadContent(executor, record.id, at)) };
-}
-/** `loadDocument`'s content of document `id` at `at`, without its record (an adapter reads the fields it keeps). */
-export async function loadContent(executor, id, at) {
-    const upper = at === "current" ? Number.MAX_SAFE_INTEGER : at;
-    const revisions = await executor.all(LOAD, id, upper, id, upper);
-    const [base, ...deltas] = revisions;
-    if (base === undefined || base.kind !== "base")
-        throw new Error(`document ${id}: no base`);
-    let value = JSON.parse(base.content);
-    for (const delta of deltas) {
-        if (delta.version !== base.version)
-            throw new Error(`document ${id}: a delta crosses a version`);
-        value = apply(value, JSON.parse(delta.content));
-    }
-    return { value, version: base.version, deltasSinceBase: deltas.length };
-}
-/** Up to `limit` keys of live documents of `kind` under `owner` after `after` (from the first), in code point order. */
-export async function listDocumentKeys(executor, address, after, limit) {
-    // The first page has no lower bound: `""` is a key too.
-    const from = after === undefined ? "" : " AND key > ?";
-    const rows = await executor.all(`SELECT key FROM ${TABLES.documents} WHERE owner = ? AND namespace = ? AND kind = ?${from}
-			AND retired_at IS NULL ORDER BY key LIMIT ?`, address.owner, address.namespace, address.kind, ...(after === undefined ? [] : [after]), limit);
-    return rows.map(({ key }) => key);
-}
-/** The statements of `listDocuments`, by its shape: with a kind or not, current or at a point. */
-const LIST = (() => {
-    const from = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents} WHERE owner = ? AND namespace = ? AND id > ?`;
-    const current = " AND retired_at IS NULL ORDER BY id LIMIT ?";
-    const at = " AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?) ORDER BY id LIMIT ?";
-    return {
-        current: `${from}${current}`,
-        at: `${from}${at}`,
-        kindCurrent: `${from} AND kind = ?${current}`,
-        kindAt: `${from} AND kind = ?${at}`,
-    };
-})();
-/** Up to `limit` records of `scope` live at `at` with ids above `after`, by id. */
-export async function listDocuments(executor, scope, at, after, limit) {
-    const { owner, namespace, kind } = scope;
-    let rows;
-    if (kind === undefined) {
-        rows =
-            at === "current"
-                ? await executor.all(LIST.current, owner, namespace, after, limit)
-                : await executor.all(LIST.at, owner, namespace, after, at, at, limit);
-    }
-    else {
-        rows =
-            at === "current"
-                ? await executor.all(LIST.kindCurrent, owner, namespace, after, kind, limit)
-                : await executor.all(LIST.kindAt, owner, namespace, after, kind, at, at, limit);
-    }
-    return rows.map(recordOf);
-}
-/** The statements of `listDocumentEntries`, by shape, as `LIST`'s. */
-const LIST_ENTRIES = (() => {
-    const from = (columns) => `SELECT ${columns} FROM ${TABLES.documents} WHERE owner = ? AND namespace = ? AND id > ?`;
-    const current = " AND retired_at IS NULL ORDER BY id LIMIT ?";
-    const at = " AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?) ORDER BY id LIMIT ?";
-    return {
-        current: `${from("meta")}${current}`,
-        at: `${from("meta, retired_at")}${at}`,
-        kindCurrent: `${from("meta")} AND kind = ?${current}`,
-        kindAt: `${from("meta, retired_at")} AND kind = ?${at}`,
-    };
-})();
-/** `listDocuments` reading only what an adapter keeping its fields in `meta` needs. */
-export function listDocumentEntries(executor, scope, at, after, limit) {
-    const { owner, namespace, kind } = scope;
-    if (kind === undefined) {
-        return at === "current"
-            ? executor.all(LIST_ENTRIES.current, owner, namespace, after, limit)
-            : executor.all(LIST_ENTRIES.at, owner, namespace, after, at, at, limit);
-    }
-    return at === "current"
-        ? executor.all(LIST_ENTRIES.kindCurrent, owner, namespace, after, kind, limit)
-        : executor.all(LIST_ENTRIES.kindAt, owner, namespace, after, kind, at, at, limit);
-}
-/** Up to `limit` stored records, live and retired, with ids above `after`, by id (an export's pages). */
-export async function listRecords(executor, after, limit) {
-    const rows = await executor.all(`SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents} WHERE id > ? ORDER BY id LIMIT ?`, after, limit);
-    return rows.map(recordOf);
-}
-/** Up to `limit` stored revisions of document `id` after seq `after`, in seq order (an export's page). */
-export async function listRevisions(executor, id, after, limit) {
-    const rows = await executor.all(`SELECT seq, kind, version, content FROM ${TABLES.revisions} WHERE document_id = ? AND seq > ? ORDER BY seq LIMIT ?`, id, after, limit);
-    return rows.map(({ seq, kind, version, content }) => {
-        // Written by `insertRevision`: a base's value or a delta's ops, as JSON.
-        const parsed = JSON.parse(content);
-        return {
-            id,
-            seq,
-            content: kind === "base"
-                ? { kind, version, value: parsed }
-                : { kind, version, ops: parsed },
-        };
-    });
-}
-function recordOf(row) {
-    const { id, namespace, owner, kind, key, history, created_at, retired_at, meta, revision, version, fingerprint } = row;
-    return {
-        id,
-        owner,
-        namespace,
-        kind,
-        ...(key === "" ? {} : { key }),
-        history,
-        createdAt: created_at,
-        ...(retired_at === null ? {} : { retiredAt: retired_at }),
-        ...(meta === null ? {} : { meta }),
-        revision,
-        version,
-        fingerprint,
-    };
-}
-//# sourceMappingURL=engine.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../src/next/store/engine.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,6GAA6G;AAC7G,6GAA6G;AAC7G,gEAAgE;AAEhE,OAAO,EAAE,KAAK,EAAW,MAAM,sBAAsB,CAAC;AAGtD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAmFrC;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC7B,OAAwB,EACxB,IAAkB,EAClB,IAAY,EACZ,OAA8B;IAE9B,OAAO;QACN,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACrB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtB,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;YACd,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC;YACtC,MAAM,MAAM,GAAmB;gBAC9B,EAAE;gBACF,GAAG,OAAO;gBACV,OAAO,EAAE,MAAM;gBACf,SAAS,EAAE,IAAI,CAAC,GAAG;gBACnB,QAAQ,EAAE,CAAC;gBACX,OAAO;gBACP,WAAW;aACX,CAAC;YACF,MAAM,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACzC,OAAO,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,CAAC;KACD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAU,EAAE,MAAsB,EAAE,IAAwB;IAChG,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,GAC7G,MAAM,CAAC;IACR,MAAM,IAAI,CAAC,GAAG,CACb,eAAe,MAAM,CAAC,SAAS;;+CAEc,EAC7C,EAAE,EACF,KAAK,EACL,SAAS,EACT,IAAI,EACJ,GAAG,IAAI,EAAE,EACT,OAAO,EACP,SAAS,EACT,SAAS,IAAI,IAAI,EACjB,IAAI,IAAI,IAAI,EACZ,QAAQ,EACR,OAAO,EACP,WAAW,CACX,CAAC;IACF,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACzF,IAAI,SAAS,KAAK,SAAS;QAAE,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AACnE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,EAAU,EAAE,QAAgB,EAAE,OAAwB,EAAE,IAAY;IAClG,MAAM,KAAK,GAAkB,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAChF,OAAO;QACN,KAAK,EAAE,OAAO;QACd,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACrB,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC9D,OAAO,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;KACD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,IAAU,EACV,EAAU,EACV,OAAwB,EACxB,QAAgB,EAChB,OAAwB,EACxB,IAAY;IAEZ,sEAAsE;IACtE,IAAI,QAAQ,IAAI,MAAM,CAAC,gBAAgB;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,mCAAmC,CAAC,CAAC;IAC5G,MAAM,cAAc,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC9E,MAAM,OAAO,GACZ,OAAO,CAAC,IAAI,KAAK,OAAO;QACvB,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,CACrB,UAAU,MAAM,CAAC,SAAS;2EAC4C,EACtE,EAAE,EACF,QAAQ,EACR,OAAO,CAAC,OAAO,CACf;QACF,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,CACrB,UAAU,MAAM,CAAC,SAAS;2DAC4B,EACtD,OAAO,CAAC,OAAO,EACf,OAAO,CAAC,WAAW,EACnB,EAAE,EACF,QAAQ,CACR,CAAC;IACL,IAAI,OAAO,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,0BAA0B,QAAQ,EAAE,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QACzD,MAAM,IAAI,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,SAAS,oCAAoC,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACnG,CAAC;AACF,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,cAAc,CAAC,EAAU,EAAE,QAAgB;IAC1D,MAAM,KAAK,GAAkB,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;IACvE,OAAO;QACN,KAAK,EAAE,QAAQ;QACf,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACrB,sGAAsG;YACtG,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CACpC,eAAe,MAAM,CAAC,SAAS,uDAAuD,EACtF,EAAE,EACF,QAAQ,CACR,CAAC;YACF,IAAI,OAAO,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,0BAA0B,QAAQ,EAAE,CAAC,CAAC;YACvF,MAAM,IAAI,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,SAAS,wBAAwB,EAAE,EAAE,CAAC,CAAC;YAC5E,OAAO,CAAC,KAAK,CAAC,CAAC;QAChB,CAAC;KACD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAU,EAAE,MAAsB;IACpE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC/B,IAAI,OAAO,KAAK,MAAM;QAAE,MAAM,IAAI,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,SAAS,kCAAkC,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACnH,MAAM,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AACtC,CAAC;AAED,sGAAsG;AACtG,KAAK,UAAU,WAAW,CAAC,IAAU,EAAE,EAAU,EAAE,OAAwB;IAC1E,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO;IACrC,IAAI,OAAO,KAAK,MAAM;QAAE,MAAM,IAAI,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,SAAS,eAAe,EAAE,EAAE,CAAC,CAAC;IAC3F,MAAM,IAAI,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,SAAS,wBAAwB,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAC7B,IAAU,EACV,EAAU,EACV,GAAW,EACX,IAAsB,EACtB,OAAe,EACf,IAAY;IAEZ,OAAO,IAAI,CAAC,GAAG,CACd,eAAe,MAAM,CAAC,SAAS,oEAAoE,EACnG,EAAE,EACF,GAAG,EACH,IAAI,EACJ,OAAO,EACP,IAAI,CACJ,CAAC;AACH,CAAC;AAiBD,MAAM,cAAc,GACnB,wGAAwG,CAAC;AAE1G,MAAM,IAAI,GAAG,UAAU,cAAc,SAAS,MAAM,CAAC,SAAS,eAAe,CAAC;AAE9E,8DAA8D;AAC9D,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,QAAqC,EACrC,EAAU;IAEV,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAY,IAAI,EAAE,EAAE,CAAC,CAAC;IACpD,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,YAAY,GAAG,UAAU,cAAc,SAAS,MAAM,CAAC,SAAS;mFACa,CAAC;AAEpF,MAAM,OAAO,GAAG,UAAU,cAAc,SAAS,MAAM,CAAC,SAAS;;kCAE/B,CAAC;AAEnC,2GAA2G;AAC3G,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,QAAqC,EACrC,OAAwB,EACxB,EAAE,GAAkB,SAAS;IAE7B,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC;IAC9B,MAAM,GAAG,GACR,EAAE,KAAK,SAAS;QACf,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAY,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC;QAC1E,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAY,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAChF,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAeD,MAAM,UAAU,GAAG,2DAA2D,MAAM,CAAC,SAAS,eAAe,CAAC;AAE9G,sHAAsH;AACtH,MAAM,UAAU,iBAAiB,CAChC,QAAqC,EACrC,EAAU;IAEV,OAAO,QAAQ,CAAC,GAAG,CAAqB,UAAU,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,kBAAkB,GAAG,oBAAoB,MAAM,CAAC,SAAS;mFACoB,CAAC;AAEpF,MAAM,aAAa,GAAG,gCAAgC,MAAM,CAAC,SAAS;;kCAEpC,CAAC;AAEnC,uHAAuH;AACvH,MAAM,UAAU,iBAAiB,CAChC,QAAqC,EACrC,OAAwB,EACxB,EAAiB;IAEjB,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC;IAC9B,OAAO,EAAE,KAAK,SAAS;QACtB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAgB,kBAAkB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC;QAC9E,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAgB,aAAa,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AACpF,CAAC;AASD,MAAM,IAAI,GAAG,2CAA2C,MAAM,CAAC,SAAS;wBAChD,MAAM,CAAC,SAAS,qEAAqE,CAAC;AAE9G;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CACjC,QAAqC,EACrC,MAAsB,EACtB,EAAE,GAAkB,SAAS;IAE7B,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,oHAAoH;AACpH,MAAM,CAAC,KAAK,UAAU,WAAW,CAChC,QAAqC,EACrC,EAAU,EACV,EAAiB;IAEjB,MAAM,KAAK,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9D,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAc,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,SAAS,CAAC;IACpC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IAC3F,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAc,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,6BAA6B,CAAC,CAAC;QACjG,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAS,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACzE,CAAC;AAED,wHAAwH;AACxH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACrC,QAAwB,EACxB,OAAqC,EACrC,KAAyB,EACzB,KAAa;IAEb,wDAAwD;IACxD,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC;IACvD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,CAC9B,mBAAmB,MAAM,CAAC,SAAS,kDAAkD,IAAI;+CAC5C,EAC7C,OAAO,CAAC,KAAK,EACb,OAAO,CAAC,SAAS,EACjB,OAAO,CAAC,IAAI,EACZ,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EACvC,KAAK,CACL,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAKD,kGAAkG;AAClG,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE;IAClB,MAAM,IAAI,GAAG,UAAU,cAAc,SAAS,MAAM,CAAC,SAAS,+CAA+C,CAAC;IAC9G,MAAM,OAAO,GAAG,6CAA6C,CAAC;IAC9D,MAAM,EAAE,GAAG,qFAAqF,CAAC;IACjG,OAAO;QACN,OAAO,EAAE,GAAG,IAAI,GAAG,OAAO,EAAE;QAC5B,EAAE,EAAE,GAAG,IAAI,GAAG,EAAE,EAAE;QAClB,WAAW,EAAE,GAAG,IAAI,gBAAgB,OAAO,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAI,gBAAgB,EAAE,EAAE;KACnC,CAAC;AACH,CAAC,CAAC,EAAE,CAAC;AAEL,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,aAAa,CAClC,QAAqC,EACrC,KAAoB,EACpB,EAAiB,EACjB,KAAa,EACb,KAAa;IAEb,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACzC,IAAI,IAAiB,CAAC;IACtB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI;YACH,EAAE,KAAK,SAAS;gBACf,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAY,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC;gBAC7E,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAY,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACpF,CAAC;SAAM,CAAC;QACP,IAAI;YACH,EAAE,KAAK,SAAS;gBACf,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAY,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;gBACvF,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAY,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC3B,CAAC;AAED,sEAAsE;AACtE,MAAM,YAAY,GAAG,CAAC,GAAG,EAAE;IAC1B,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE,CAChC,UAAU,OAAO,SAAS,MAAM,CAAC,SAAS,+CAA+C,CAAC;IAC3F,MAAM,OAAO,GAAG,6CAA6C,CAAC;IAC9D,MAAM,EAAE,GAAG,qFAAqF,CAAC;IACjG,OAAO;QACN,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,OAAO,EAAE;QACpC,EAAE,EAAE,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,EAAE;QACtC,WAAW,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,gBAAgB,OAAO,EAAE;QACrD,MAAM,EAAE,GAAG,IAAI,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,EAAE;KACvD,CAAC;AACH,CAAC,CAAC,EAAE,CAAC;AAEL,uFAAuF;AACvF,MAAM,UAAU,mBAAmB,CAClC,QAAqC,EACrC,KAAoB,EACpB,EAAiB,EACjB,KAAa,EACb,KAAa;IAEb,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,SAAS;YACtB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAgB,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC;YACnF,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAgB,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,EAAE,KAAK,SAAS;QACtB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAgB,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC;QAC7F,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAgB,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;AACnG,CAAC;AAED,yGAAyG;AACzG,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAwB,EAAE,KAAa,EAAE,KAAa;IACvF,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,CAC9B,UAAU,cAAc,SAAS,MAAM,CAAC,SAAS,mCAAmC,EACpF,KAAK,EACL,KAAK,CACL,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC3B,CAAC;AAED,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,aAAa,CAClC,QAAwB,EACxB,EAAU,EACV,KAAa,EACb,KAAa;IAEb,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,CAC9B,2CAA2C,MAAM,CAAC,SAAS,yDAAyD,EACpH,EAAE,EACF,KAAK,EACL,KAAK,CACL,CAAC;IACF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE;QACnD,yEAAyE;QACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAY,CAAC;QAC9C,OAAO;YACN,EAAE;YACF,GAAG;YACH,OAAO,EACN,IAAI,KAAK,MAAM;gBACd,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAmB,EAAE;gBAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAuB,EAAE;SACnD,CAAC;IACH,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,GAAc;IAC/B,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,GAC/G,GAAG,CAAC;IACL,OAAO;QACN,EAAE;QACF,KAAK;QACL,SAAS;QACT,IAAI;QACJ,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QAC9B,OAAO;QACP,SAAS,EAAE,UAAU;QACrB,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QAClC,QAAQ;QACR,OAAO;QACP,WAAW;KACX,CAAC;AACH,CAAC","sourcesContent":["// The documents engine (S13, slice 6a §8, slice 6b §1.5): one record per incarnation of an address, revisions made of\n// bases and deltas, a history rule per record (R1); its writes inside the commit step, checked by the writes\n// themselves (the partial unique index on the live address, the counted conditional `UPDATE` on the record's\n// revision), and its reads, of the current state or at a point.\n\nimport { apply, type Op } from \"../../delta/index.ts\";\nimport type { JsonValue } from \"../../json.ts\";\nimport type { SqliteExecutor } from \"../../sqlite/index.ts\";\nimport { TABLES } from \"./schema.ts\";\nimport type { StagedWrite, Step } from \"./step.ts\";\n\n/**\n * A document's address: the owner name, the adapter's namespace (claimed with the owner: Chord's `chord`, `chord.jobs`,\n * `chord.job-states`; Durable's scopes), the kind and, for a keyed document, its key; a singleton has none. The column\n * keeps `\"\"` for it, which a keyed document's empty key shares (its definition says which it is).\n */\nexport type DocumentAddress = {\n\treadonly owner: string;\n\treadonly namespace: string;\n\treadonly kind: string;\n\treadonly key?: string;\n};\n\n/**\n * What a record keeps (R1), applied at a new base and at retirement: `none` (Chord) drops older revisions at a new base\n * and the row and its revisions at retirement; `latest` drops older revisions at a new base and its revisions at\n * retirement, keeping the row; `rewindable` keeps everything.\n */\nexport type DocumentHistory = \"none\" | \"latest\" | \"rewindable\";\n\n/** A stored record: one incarnation of an address, live from `createdAt` until `retiredAt` (half-open). */\nexport type DocumentRecord = DocumentAddress & {\n\treadonly id: number;\n\treadonly history: DocumentHistory;\n\t/** The seq that created it. */\n\treadonly createdAt: number;\n\t/** The seq that retired it, once retired. */\n\treadonly retiredAt?: number;\n\t/** The adapter's details (Durable: its fork policy and history). */\n\treadonly meta?: string;\n\t/** Counts its changes: a change names the revision it was prepared on. */\n\treadonly revision: number;\n\t/** The version and schema fingerprint of its current base. */\n\treadonly version: number;\n\treadonly fingerprint: string;\n};\n\n/** A base: a whole value at a version. */\nexport type DocumentBase = { readonly version: number; readonly fingerprint: string; readonly value: JsonValue };\n\n/** A change's content: a new base, or a delta on the current base's version. */\nexport type DocumentContent =\n\t| ({ readonly kind: \"base\" } & DocumentBase)\n\t| { readonly kind: \"delta\"; readonly version: number; readonly ops: readonly Op[] };\n\n/** A stored revision's content: a base's value or a delta's ops, at a version (a revision keeps no fingerprint). */\nexport type RevisionContent =\n\t| { readonly kind: \"base\"; readonly version: number; readonly value: JsonValue }\n\t| { readonly kind: \"delta\"; readonly version: number; readonly ops: readonly Op[] };\n\n/** One stored revision as archives carry it: its document, its seq, its content. */\nexport type DocumentRevision = { readonly id: number; readonly seq: number; readonly content: RevisionContent };\n\n/**\n * The engine's writes as the outbox and archives record them. A creation carries its base in a commit (stored at\n * `createdAt`); in an archive it has none and its `document.revision`s follow it.\n */\nexport type DocumentWrite =\n\t| { readonly kind: \"document.create\"; readonly record: DocumentRecord; readonly base?: DocumentBase }\n\t| {\n\t\t\treadonly kind: \"document.change\";\n\t\t\treadonly id: number;\n\t\t\treadonly revision: number;\n\t\t\treadonly content: DocumentContent;\n\t  }\n\t| { readonly kind: \"document.retire\"; readonly id: number; readonly revision: number }\n\t| ({ readonly kind: \"document.revision\" } & DocumentRevision);\n\n/** A loaded document: its record and its value (a base plus deltas applied once) at a point. */\nexport type StoredDocument = {\n\treadonly record: DocumentRecord;\n\treadonly value: JsonValue;\n\t/** The version of the base the value was built from. */\n\treadonly version: number;\n\t/** The deltas applied after its base (what `checkpointWhen` sees). */\n\treadonly deltasSinceBase: number;\n};\n\n/** Where a read looks: the current state, or the state after a seq. */\nexport type DocumentPoint = number | \"current\";\n\n/**\n * Stages the creation of a Chord document at `address` with `base`; its id is taken from the allocator when it\n * applies (a saturated allocator refuses the commit) and handed to `created` (its owner adopts it after `COMMIT`).\n * `text` is the base's value serialized before the queue (rule 8).\n */\nexport function createDocument(\n\taddress: DocumentAddress,\n\tbase: DocumentBase,\n\ttext: string,\n\tcreated?: (id: number) => void,\n): StagedWrite {\n\treturn {\n\t\torder: \"create\",\n\t\tapply: async (step) => {\n\t\t\tconst id = step.ids.mint();\n\t\t\tstep.created.push(id);\n\t\t\tcreated?.(id);\n\t\t\tconst { version, fingerprint } = base;\n\t\t\tconst record: DocumentRecord = {\n\t\t\t\tid,\n\t\t\t\t...address,\n\t\t\t\thistory: \"none\",\n\t\t\t\tcreatedAt: step.seq,\n\t\t\t\trevision: 1,\n\t\t\t\tversion,\n\t\t\t\tfingerprint,\n\t\t\t};\n\t\t\tawait insertDocument(step, record, text);\n\t\t\treturn [{ kind: \"document.create\", record, base }];\n\t\t},\n\t};\n}\n\n/**\n * Inserts `record` as it is (id, seqs and revision kept: a creation, an import, a batch), with its base at `createdAt`\n * when `text` (the base's value serialized) is given; a record created retired (an empty lifetime) keeps what its\n * history keeps.\n */\nexport async function insertDocument(step: Step, record: DocumentRecord, text: string | undefined): Promise<void> {\n\tconst { id, namespace, owner, kind, key, history, createdAt, retiredAt, meta, revision, version, fingerprint } =\n\t\trecord;\n\tawait step.run(\n\t\t`INSERT INTO ${TABLES.documents}\n\t\t\t(id, owner, namespace, kind, key, history, created_at, retired_at, meta, revision, version, fingerprint)\n\t\t\tVALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)`,\n\t\tid,\n\t\towner,\n\t\tnamespace,\n\t\tkind,\n\t\tkey ?? \"\",\n\t\thistory,\n\t\tcreatedAt,\n\t\tretiredAt ?? null,\n\t\tmeta ?? null,\n\t\trevision,\n\t\tversion,\n\t\tfingerprint,\n\t);\n\tif (text !== undefined) await insertRevision(step, id, createdAt, \"base\", version, text);\n\tif (retiredAt !== undefined) await dropRetired(step, id, history);\n}\n\n/**\n * Stages a change of Chord document `id` prepared on `revision`: a delta on the current base's version, or a new base.\n * `text` is the content serialized before the queue.\n */\nexport function changeDocument(id: number, revision: number, content: DocumentContent, text: string): StagedWrite {\n\tconst write: DocumentWrite = { kind: \"document.change\", id, revision, content };\n\treturn {\n\t\torder: \"write\",\n\t\tapply: async (step) => {\n\t\t\tawait writeContent(step, id, \"none\", revision, content, text);\n\t\t\treturn [write];\n\t\t},\n\t};\n}\n\n/**\n * Writes `content` to document `id` (of `history`) prepared on `revision`, in the step's seq: its revision, the\n * counted conditional `UPDATE` (a delta only on the base's version), and at a new base the older revisions a\n * `none` or `latest` record drops. A record that is not live at `revision` throws (memory and disk disagree).\n */\nexport async function writeContent(\n\tstep: Step,\n\tid: number,\n\thistory: DocumentHistory,\n\trevision: number,\n\tcontent: DocumentContent,\n\ttext: string,\n): Promise<void> {\n\t// As ids: a revision past the safe range would stop counting exactly.\n\tif (revision >= Number.MAX_SAFE_INTEGER) throw new Error(`document ${id}: no revision past the safe range`);\n\tawait insertRevision(step, id, step.seq, content.kind, content.version, text);\n\tconst changed =\n\t\tcontent.kind === \"delta\"\n\t\t\t? await step.runCounted(\n\t\t\t\t\t`UPDATE ${TABLES.documents} SET revision = revision + 1\n\t\t\t\t\t\tWHERE id = ? AND revision = ? AND version = ? AND retired_at IS NULL`,\n\t\t\t\t\tid,\n\t\t\t\t\trevision,\n\t\t\t\t\tcontent.version,\n\t\t\t\t)\n\t\t\t: await step.runCounted(\n\t\t\t\t\t`UPDATE ${TABLES.documents} SET revision = revision + 1, version = ?, fingerprint = ?\n\t\t\t\t\t\tWHERE id = ? AND revision = ? AND retired_at IS NULL`,\n\t\t\t\t\tcontent.version,\n\t\t\t\t\tcontent.fingerprint,\n\t\t\t\t\tid,\n\t\t\t\t\trevision,\n\t\t\t\t);\n\tif (changed !== 1) throw new Error(`document ${id}: not live at revision ${revision}`);\n\tif (content.kind === \"base\" && history !== \"rewindable\") {\n\t\tawait step.run(`DELETE FROM ${TABLES.revisions} WHERE document_id = ? AND seq < ?`, id, step.seq);\n\t}\n}\n\n/** Stages the retirement of Chord document `id` (history `none`) at `revision`: its row and its revisions go. */\nexport function retireDocument(id: number, revision: number): StagedWrite {\n\tconst write: DocumentWrite = { kind: \"document.retire\", id, revision };\n\treturn {\n\t\torder: \"retire\",\n\t\tapply: async (step) => {\n\t\t\t// A Chord document keeps no history (`none`): its row goes with a conditional, counted DELETE (6a's).\n\t\t\tconst deleted = await step.runCounted(\n\t\t\t\t`DELETE FROM ${TABLES.documents} WHERE id = ? AND revision = ? AND retired_at IS NULL`,\n\t\t\t\tid,\n\t\t\t\trevision,\n\t\t\t);\n\t\t\tif (deleted !== 1) throw new Error(`document ${id}: not live at revision ${revision}`);\n\t\t\tawait step.run(`DELETE FROM ${TABLES.revisions} WHERE document_id = ?`, id);\n\t\t\treturn [write];\n\t\t},\n\t};\n}\n\n/**\n * Retires live `record` in the step's seq by its history (R1): a `none` record's row and revisions go, a `latest` one\n * keeps its row with `retired_at` and drops its revisions, a `rewindable` one keeps everything.\n */\nexport async function retireRecord(step: Step, record: DocumentRecord): Promise<void> {\n\tconst { id, history } = record;\n\tif (history !== \"none\") await step.run(`UPDATE ${TABLES.documents} SET retired_at = ? WHERE id = ?`, step.seq, id);\n\tawait dropRetired(step, id, history);\n}\n\n/** What a retired record of `history` drops: a `none` row too, every revision unless `rewindable`. */\nasync function dropRetired(step: Step, id: number, history: DocumentHistory): Promise<void> {\n\tif (history === \"rewindable\") return;\n\tif (history === \"none\") await step.run(`DELETE FROM ${TABLES.documents} WHERE id = ?`, id);\n\tawait step.run(`DELETE FROM ${TABLES.revisions} WHERE document_id = ?`, id);\n}\n\n/** Inserts one revision of document `id` at `seq`, `text` its serialized content. */\nexport function insertRevision(\n\tstep: Step,\n\tid: number,\n\tseq: number,\n\tkind: \"base\" | \"delta\",\n\tversion: number,\n\ttext: string,\n): Promise<void> {\n\treturn step.run(\n\t\t`INSERT INTO ${TABLES.revisions} (document_id, seq, kind, version, content) VALUES (?, ?, ?, ?, ?)`,\n\t\tid,\n\t\tseq,\n\t\tkind,\n\t\tversion,\n\t\ttext,\n\t);\n}\n\ntype RecordRow = {\n\treadonly id: number;\n\treadonly owner: string;\n\treadonly namespace: string;\n\treadonly kind: string;\n\treadonly key: string;\n\treadonly history: DocumentHistory;\n\treadonly created_at: number;\n\treadonly retired_at: number | null;\n\treadonly meta: string | null;\n\treadonly revision: number;\n\treadonly version: number;\n\treadonly fingerprint: string;\n};\n\nconst RECORD_COLUMNS =\n\t\"id, owner, namespace, kind, key, history, created_at, retired_at, meta, revision, version, fingerprint\";\n\nconst READ = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents} WHERE id = ?`;\n\n/** The record with `id`, live or retired, if there is one. */\nexport async function readDocument(\n\texecutor: Pick<SqliteExecutor, \"get\">,\n\tid: number,\n): Promise<DocumentRecord | undefined> {\n\tconst row = await executor.get<RecordRow>(READ, id);\n\treturn row === undefined ? undefined : recordOf(row);\n}\n\nconst FIND_CURRENT = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents}\n\tWHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND retired_at IS NULL`;\n\nconst FIND_AT = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents}\n\tWHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?)\n\tORDER BY created_at DESC LIMIT 1`;\n\n/** The record at `address` live at `at` (the half-open lifetime `createdAt <= at < retiredAt`), if any. */\nexport async function findDocument(\n\texecutor: Pick<SqliteExecutor, \"get\">,\n\taddress: DocumentAddress,\n\tat: DocumentPoint = \"current\",\n): Promise<DocumentRecord | undefined> {\n\tconst { owner, namespace, kind } = address;\n\tconst key = address.key ?? \"\";\n\tconst row =\n\t\tat === \"current\"\n\t\t\t? await executor.get<RecordRow>(FIND_CURRENT, owner, namespace, kind, key)\n\t\t\t: await executor.get<RecordRow>(FIND_AT, owner, namespace, kind, key, at, at);\n\treturn row === undefined ? undefined : recordOf(row);\n}\n\n/**\n * A record as an adapter that keeps its own fields in `meta` reads it: the meta, and, where a read can find retired\n * records (at a point, by id), when it was retired. One or two columns: each column a read returns costs.\n */\nexport type DocumentEntry = { readonly meta: string | null; readonly retired_at?: number | null };\n\n/** A document entry with what tells whose it is and what it keeps, as a read by id needs. */\nexport type OwnedDocumentEntry = DocumentEntry & {\n\treadonly owner: string;\n\treadonly namespace: string;\n\treadonly history: DocumentHistory;\n};\n\nconst READ_ENTRY = `SELECT meta, retired_at, owner, namespace, history FROM ${TABLES.documents} WHERE id = ?`;\n\n/** The entry of the record with `id`, live or retired, with its owner, namespace and history; `undefined` if none. */\nexport function readDocumentEntry(\n\texecutor: Pick<SqliteExecutor, \"get\">,\n\tid: number,\n): Promise<OwnedDocumentEntry | undefined> {\n\treturn executor.get<OwnedDocumentEntry>(READ_ENTRY, id);\n}\n\nconst FIND_ENTRY_CURRENT = `SELECT meta FROM ${TABLES.documents}\n\tWHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND retired_at IS NULL`;\n\nconst FIND_ENTRY_AT = `SELECT meta, retired_at FROM ${TABLES.documents}\n\tWHERE owner = ? AND namespace = ? AND kind = ? AND key = ? AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?)\n\tORDER BY created_at DESC LIMIT 1`;\n\n/** `findDocument` reading only what an adapter keeping its fields in `meta` needs (fewer columns, no record built). */\nexport function findDocumentEntry(\n\texecutor: Pick<SqliteExecutor, \"get\">,\n\taddress: DocumentAddress,\n\tat: DocumentPoint,\n): Promise<DocumentEntry | undefined> {\n\tconst { owner, namespace, kind } = address;\n\tconst key = address.key ?? \"\";\n\treturn at === \"current\"\n\t\t? executor.get<DocumentEntry>(FIND_ENTRY_CURRENT, owner, namespace, kind, key)\n\t\t: executor.get<DocumentEntry>(FIND_ENTRY_AT, owner, namespace, kind, key, at, at);\n}\n\ntype RevisionRow = {\n\treadonly seq: number;\n\treadonly kind: \"base\" | \"delta\";\n\treadonly version: number;\n\treadonly content: string;\n};\n\nconst LOAD = `SELECT seq, kind, version, content FROM ${TABLES.revisions} WHERE document_id = ? AND seq <= ? AND seq >= (\n\tSELECT max(seq) FROM ${TABLES.revisions} WHERE document_id = ? AND kind = 'base' AND seq <= ?) ORDER BY seq`;\n\n/**\n * Loads `record` at `at`: its newest base at or below it and the deltas after that base up to it, applied once; the\n * version is the base's. A record without such a base (one that keeps no history from there) throws.\n */\nexport async function loadDocument(\n\texecutor: Pick<SqliteExecutor, \"all\">,\n\trecord: DocumentRecord,\n\tat: DocumentPoint = \"current\",\n): Promise<StoredDocument> {\n\treturn { record, ...(await loadContent(executor, record.id, at)) };\n}\n\n/** `loadDocument`'s content of document `id` at `at`, without its record (an adapter reads the fields it keeps). */\nexport async function loadContent(\n\texecutor: Pick<SqliteExecutor, \"all\">,\n\tid: number,\n\tat: DocumentPoint,\n): Promise<Omit<StoredDocument, \"record\">> {\n\tconst upper = at === \"current\" ? Number.MAX_SAFE_INTEGER : at;\n\tconst revisions = await executor.all<RevisionRow>(LOAD, id, upper, id, upper);\n\tconst [base, ...deltas] = revisions;\n\tif (base === undefined || base.kind !== \"base\") throw new Error(`document ${id}: no base`);\n\tlet value = JSON.parse(base.content) as JsonValue;\n\tfor (const delta of deltas) {\n\t\tif (delta.version !== base.version) throw new Error(`document ${id}: a delta crosses a version`);\n\t\tvalue = apply(value, JSON.parse(delta.content) as Op[]);\n\t}\n\treturn { value, version: base.version, deltasSinceBase: deltas.length };\n}\n\n/** Up to `limit` keys of live documents of `kind` under `owner` after `after` (from the first), in code point order. */\nexport async function listDocumentKeys(\n\texecutor: SqliteExecutor,\n\taddress: Omit<DocumentAddress, \"key\">,\n\tafter: string | undefined,\n\tlimit: number,\n): Promise<string[]> {\n\t// The first page has no lower bound: `\"\"` is a key too.\n\tconst from = after === undefined ? \"\" : \" AND key > ?\";\n\tconst rows = await executor.all<{ readonly key: string }>(\n\t\t`SELECT key FROM ${TABLES.documents} WHERE owner = ? AND namespace = ? AND kind = ?${from}\n\t\t\tAND retired_at IS NULL ORDER BY key LIMIT ?`,\n\t\taddress.owner,\n\t\taddress.namespace,\n\t\taddress.kind,\n\t\t...(after === undefined ? [] : [after]),\n\t\tlimit,\n\t);\n\treturn rows.map(({ key }) => key);\n}\n\n/** What `listDocuments` scans: one owner's namespace, optionally one kind. */\nexport type DocumentScope = { readonly owner: string; readonly namespace: string; readonly kind?: string };\n\n/** The statements of `listDocuments`, by its shape: with a kind or not, current or at a point. */\nconst LIST = (() => {\n\tconst from = `SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents} WHERE owner = ? AND namespace = ? AND id > ?`;\n\tconst current = \" AND retired_at IS NULL ORDER BY id LIMIT ?\";\n\tconst at = \" AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?) ORDER BY id LIMIT ?\";\n\treturn {\n\t\tcurrent: `${from}${current}`,\n\t\tat: `${from}${at}`,\n\t\tkindCurrent: `${from} AND kind = ?${current}`,\n\t\tkindAt: `${from} AND kind = ?${at}`,\n\t};\n})();\n\n/** Up to `limit` records of `scope` live at `at` with ids above `after`, by id. */\nexport async function listDocuments(\n\texecutor: Pick<SqliteExecutor, \"all\">,\n\tscope: DocumentScope,\n\tat: DocumentPoint,\n\tafter: number,\n\tlimit: number,\n): Promise<DocumentRecord[]> {\n\tconst { owner, namespace, kind } = scope;\n\tlet rows: RecordRow[];\n\tif (kind === undefined) {\n\t\trows =\n\t\t\tat === \"current\"\n\t\t\t\t? await executor.all<RecordRow>(LIST.current, owner, namespace, after, limit)\n\t\t\t\t: await executor.all<RecordRow>(LIST.at, owner, namespace, after, at, at, limit);\n\t} else {\n\t\trows =\n\t\t\tat === \"current\"\n\t\t\t\t? await executor.all<RecordRow>(LIST.kindCurrent, owner, namespace, after, kind, limit)\n\t\t\t\t: await executor.all<RecordRow>(LIST.kindAt, owner, namespace, after, kind, at, at, limit);\n\t}\n\treturn rows.map(recordOf);\n}\n\n/** The statements of `listDocumentEntries`, by shape, as `LIST`'s. */\nconst LIST_ENTRIES = (() => {\n\tconst from = (columns: string) =>\n\t\t`SELECT ${columns} FROM ${TABLES.documents} WHERE owner = ? AND namespace = ? AND id > ?`;\n\tconst current = \" AND retired_at IS NULL ORDER BY id LIMIT ?\";\n\tconst at = \" AND created_at <= ? AND (retired_at IS NULL OR retired_at > ?) ORDER BY id LIMIT ?\";\n\treturn {\n\t\tcurrent: `${from(\"meta\")}${current}`,\n\t\tat: `${from(\"meta, retired_at\")}${at}`,\n\t\tkindCurrent: `${from(\"meta\")} AND kind = ?${current}`,\n\t\tkindAt: `${from(\"meta, retired_at\")} AND kind = ?${at}`,\n\t};\n})();\n\n/** `listDocuments` reading only what an adapter keeping its fields in `meta` needs. */\nexport function listDocumentEntries(\n\texecutor: Pick<SqliteExecutor, \"all\">,\n\tscope: DocumentScope,\n\tat: DocumentPoint,\n\tafter: number,\n\tlimit: number,\n): Promise<DocumentEntry[]> {\n\tconst { owner, namespace, kind } = scope;\n\tif (kind === undefined) {\n\t\treturn at === \"current\"\n\t\t\t? executor.all<DocumentEntry>(LIST_ENTRIES.current, owner, namespace, after, limit)\n\t\t\t: executor.all<DocumentEntry>(LIST_ENTRIES.at, owner, namespace, after, at, at, limit);\n\t}\n\treturn at === \"current\"\n\t\t? executor.all<DocumentEntry>(LIST_ENTRIES.kindCurrent, owner, namespace, after, kind, limit)\n\t\t: executor.all<DocumentEntry>(LIST_ENTRIES.kindAt, owner, namespace, after, kind, at, at, limit);\n}\n\n/** Up to `limit` stored records, live and retired, with ids above `after`, by id (an export's pages). */\nexport async function listRecords(executor: SqliteExecutor, after: number, limit: number): Promise<DocumentRecord[]> {\n\tconst rows = await executor.all<RecordRow>(\n\t\t`SELECT ${RECORD_COLUMNS} FROM ${TABLES.documents} WHERE id > ? ORDER BY id LIMIT ?`,\n\t\tafter,\n\t\tlimit,\n\t);\n\treturn rows.map(recordOf);\n}\n\n/** Up to `limit` stored revisions of document `id` after seq `after`, in seq order (an export's page). */\nexport async function listRevisions(\n\texecutor: SqliteExecutor,\n\tid: number,\n\tafter: number,\n\tlimit: number,\n): Promise<DocumentRevision[]> {\n\tconst rows = await executor.all<RevisionRow>(\n\t\t`SELECT seq, kind, version, content FROM ${TABLES.revisions} WHERE document_id = ? AND seq > ? ORDER BY seq LIMIT ?`,\n\t\tid,\n\t\tafter,\n\t\tlimit,\n\t);\n\treturn rows.map(({ seq, kind, version, content }) => {\n\t\t// Written by `insertRevision`: a base's value or a delta's ops, as JSON.\n\t\tconst parsed = JSON.parse(content) as unknown;\n\t\treturn {\n\t\t\tid,\n\t\t\tseq,\n\t\t\tcontent:\n\t\t\t\tkind === \"base\"\n\t\t\t\t\t? { kind, version, value: parsed as JsonValue }\n\t\t\t\t\t: { kind, version, ops: parsed as readonly Op[] },\n\t\t};\n\t});\n}\n\nfunction recordOf(row: RecordRow): DocumentRecord {\n\tconst { id, namespace, owner, kind, key, history, created_at, retired_at, meta, revision, version, fingerprint } =\n\t\trow;\n\treturn {\n\t\tid,\n\t\towner,\n\t\tnamespace,\n\t\tkind,\n\t\t...(key === \"\" ? {} : { key }),\n\t\thistory,\n\t\tcreatedAt: created_at,\n\t\t...(retired_at === null ? {} : { retiredAt: retired_at }),\n\t\t...(meta === null ? {} : { meta }),\n\t\trevision,\n\t\tversion,\n\t\tfingerprint,\n\t};\n}\n"]}

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

@@ -1,17 +0,0 @@
-import type { JsonValue } from "../../json.ts";
-import type { SetNode, WhereNode } from "./expression.ts";
-import type { Scalar } from "./rows.ts";
-/** A row as the evaluator reads it: stored cells, an absent column being `NULL`. */
-export type EvaluatedRow = {
-    readonly [column: string]: Scalar | JsonValue | undefined;
-};
-/** Whether `row` matches `node` under SQL's rules: unknown (`NULL`) does not match. */
-export declare function matches(node: WhereNode, row: EvaluatedRow): boolean;
-/** Orders two cells of one column as SQLite does: text by code point, booleans as 0 and 1, numbers numerically. */
-export declare function compareScalar(a: Scalar, b: Scalar): number;
-/**
- * `row` after `set`, every right side evaluated against `row` (simultaneous: `{ a: b, b: a }` swaps); an integer
- * result outside ±(2^53 - 1) throws `invalid/args` (rule 10), as the column's `CHECK` fails the step.
- */
-export declare function applySet(set: SetNode, row: EvaluatedRow, table: string): EvaluatedRow;
-//# sourceMappingURL=evaluate.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../src/next/store/evaluate.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,KAAK,EAAmC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAGxC,oFAAoF;AACpF,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;CAAE,CAAC;AAKzF,uFAAuF;AACvF,wBAAgB,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAEnE;AAuDD,mHAAmH;AACnH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAG1D;AAID;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAQrF"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../src/next/store/evaluate.ts"],"names":[],"mappings":"AAAA,iHAAiH;AACjH,mHAAmH;AACnH,4DAA4D;AAG5D,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAQxC,uFAAuF;AACvF,MAAM,UAAU,OAAO,CAAC,IAAe,EAAE,GAAiB;IACzD,OAAO,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,IAAI,CAAC;AAClC,CAAC;AAED,SAAS,KAAK,CAAC,IAAe,EAAE,GAAiB;IAChD,IAAI,KAAK,IAAI,IAAI;QAChB,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3G,IAAI,IAAI,IAAI,IAAI;QACf,OAAO,IAAI,CAAC,EAAE,CAAC,MAAM,CAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3G,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACvC,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;IAC5D,iGAAiG;IACjG,IAAI,SAAS,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QACtC,+CAA+C;QAC/C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACtC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAuB,CAAC;QAChD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAuB,CAAC;QACxD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,wFAAwF;IACxF,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAA4C,CAAC;IACnG,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAuB,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5C,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,IAAI;YACR,OAAO,KAAK,KAAK,CAAC,CAAC;QACpB,KAAK,IAAI;YACR,OAAO,KAAK,KAAK,CAAC,CAAC;QACpB,KAAK,IAAI;YACR,OAAO,KAAK,GAAG,CAAC,CAAC;QAClB,KAAK,KAAK;YACT,OAAO,KAAK,IAAI,CAAC,CAAC;QACnB,KAAK,IAAI;YACR,OAAO,KAAK,GAAG,CAAC,CAAC;QAClB,KAAK,KAAK;YACT,OAAO,KAAK,IAAI,CAAC,CAAC;IACpB,CAAC;AACF,CAAC;AAED,SAAS,IAAI,CAAC,CAAQ,EAAE,CAAQ;IAC/B,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,SAAS,MAAM,CAAC,CAAQ,EAAE,CAAQ;IACjC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAChD,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,aAAa,CAAC,CAAS,EAAE,CAAS;IACjD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC,CAAC,EAAE,CAAW,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,IAAI,GAAG,MAAM,CAAC,gBAAgB,CAAC;AAErC;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAY,EAAE,GAAiB,EAAE,KAAa;IACtE,MAAM,IAAI,GAAyD,EAAE,GAAG,GAAG,EAAE,CAAC;IAC9E,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;;YACxC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IAC3B,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc,EAAE,GAAiB,EAAE,KAAa;IACjE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,MAAM,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrC,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC;QACpC,OAAO,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,UAAU,IAAI,IAAI;QAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAChH,IAAI,eAAe,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC;QAC/C,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAuB,CAAC;QAClE,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/F,CAAC;IACD,kHAAkH;IAClH,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAA+C,CAAC;IAC3F,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAuB,CAAC;IACxD,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAuB,CAAC;IACxD,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzD,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,QAAQ;YACZ,OAAQ,CAAY,GAAI,CAAY,CAAC;QACtC,KAAK,KAAK;YACT,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,KAAK,KAAK;YACT,OAAO,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,SAAS,CAAC;YACT,MAAM,MAAM,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAE,CAAY,GAAI,CAAY,CAAC,CAAC,CAAE,CAAY,GAAI,CAAY,CAAC;YAC5F,IAAI,MAAM,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC,IAAI;gBAClC,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,KAAK,EAAE,UAAU,MAAM,uBAAuB,CAAC,CAAC;YAC/E,OAAO,MAAM,CAAC;QACf,CAAC;IACF,CAAC;AACF,CAAC","sourcesContent":["// The JavaScript evaluator of the compiled table vocabulary (slice 6a §6; rule 10): the `tx.get` overlay matches\n// `where` nodes and applies `set` nodes with SQL's three-valued `NULL` rules and code point text order, as the SQL\n// that `sql.ts` renders from the same nodes does in SQLite.\n\nimport type { JsonValue } from \"../../json.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { Comparison, ExprNode, Operation, SetNode, WhereNode } from \"./expression.ts\";\nimport type { Scalar } from \"./rows.ts\";\nimport { compareText } from \"./text.ts\";\n\n/** A row as the evaluator reads it: stored cells, an absent column being `NULL`. */\nexport type EvaluatedRow = { readonly [column: string]: Scalar | JsonValue | undefined };\n\n/** SQL's three-valued truth: `null` is unknown (a comparison with `NULL`). */\ntype Truth = boolean | null;\n\n/** Whether `row` matches `node` under SQL's rules: unknown (`NULL`) does not match. */\nexport function matches(node: WhereNode, row: EvaluatedRow): boolean {\n\treturn truth(node, row) === true;\n}\n\nfunction truth(node: WhereNode, row: EvaluatedRow): Truth {\n\tif (\"and\" in node)\n\t\treturn node.and.reduce<Truth>((all, each) => (all === false ? false : both(all, truth(each, row))), true);\n\tif (\"or\" in node)\n\t\treturn node.or.reduce<Truth>((any, each) => (any === true ? true : either(any, truth(each, row))), false);\n\tif (\"not\" in node) {\n\t\tconst inner = truth(node.not, row);\n\t\treturn inner === null ? null : !inner;\n\t}\n\tif (\"isNull\" in node) return row[node.isNull] === undefined;\n\t// The row is checked against the table the condition was compiled for: its columns hold scalars.\n\tif (\"inArray\" in node) {\n\t\tconst [column, values] = node.inArray;\n\t\t// SQL: `x IN ()` is false, for a `NULL` x too.\n\t\tif (values.length === 0) return false;\n\t\tconst value = row[column] as Scalar | undefined;\n\t\treturn value === undefined ? null : values.some((each) => compareScalar(value, each) === 0);\n\t}\n\tif (\"prefix\" in node) {\n\t\tconst value = row[node.prefix[0]] as string | undefined;\n\t\treturn value === undefined ? null : value.startsWith(node.prefix[1]);\n\t}\n\t// The remaining nodes are the comparisons, one entry each; `Object.entries` loses that.\n\tconst [op, [column, operand]] = Object.entries(node)[0] as [Comparison, readonly [string, Scalar]];\n\tconst value = row[column] as Scalar | undefined;\n\tif (value === undefined) return null;\n\tconst order = compareScalar(value, operand);\n\tswitch (op) {\n\t\tcase \"eq\":\n\t\t\treturn order === 0;\n\t\tcase \"ne\":\n\t\t\treturn order !== 0;\n\t\tcase \"lt\":\n\t\t\treturn order < 0;\n\t\tcase \"lte\":\n\t\t\treturn order <= 0;\n\t\tcase \"gt\":\n\t\t\treturn order > 0;\n\t\tcase \"gte\":\n\t\t\treturn order >= 0;\n\t}\n}\n\nfunction both(a: Truth, b: Truth): Truth {\n\tif (a === false || b === false) return false;\n\treturn a === null || b === null ? null : true;\n}\n\nfunction either(a: Truth, b: Truth): Truth {\n\tif (a === true || b === true) return true;\n\treturn a === null || b === null ? null : false;\n}\n\n/** Orders two cells of one column as SQLite does: text by code point, booleans as 0 and 1, numbers numerically. */\nexport function compareScalar(a: Scalar, b: Scalar): number {\n\tif (typeof a === \"string\") return compareText(a, b as string);\n\treturn Number(a) - Number(b);\n}\n\nconst SAFE = Number.MAX_SAFE_INTEGER;\n\n/**\n * `row` after `set`, every right side evaluated against `row` (simultaneous: `{ a: b, b: a }` swaps); an integer\n * result outside ±(2^53 - 1) throws `invalid/args` (rule 10), as the column's `CHECK` fails the step.\n */\nexport function applySet(set: SetNode, row: EvaluatedRow, table: string): EvaluatedRow {\n\tconst next: { [column: string]: Scalar | JsonValue | undefined } = { ...row };\n\tfor (const [column, node] of Object.entries(set)) {\n\t\tconst value = evaluate(node, row, table);\n\t\tif (value === undefined) delete next[column];\n\t\telse next[column] = value;\n\t}\n\treturn next;\n}\n\nfunction evaluate(node: ExprNode, row: EvaluatedRow, table: string): Scalar | JsonValue | undefined {\n\tif (node === null) return undefined;\n\tif (typeof node !== \"object\") return node;\n\tif (\"col\" in node) return row[node.col];\n\tif (\"json\" in node) return node.json;\n\tif (\"when\" in node) {\n\t\tconst [condition, a, b] = node.when;\n\t\treturn evaluate(matches(condition, row) ? a : b, row, table);\n\t}\n\tif (\"coalesce\" in node) return evaluate(node.coalesce[0], row, table) ?? evaluate(node.coalesce[1], row, table);\n\tif (\"replacePrefix\" in node) {\n\t\tconst [subject, from, to] = node.replacePrefix;\n\t\tconst value = evaluate(subject, row, table) as string | undefined;\n\t\treturn value === undefined || !value.startsWith(from) ? value : to + value.slice(from.length);\n\t}\n\t// The remaining nodes are the arithmetic and text operations, one entry each, over scalar operands (compiled so).\n\tconst [op, [x, y]] = Object.entries(node)[0] as [Operation, readonly [ExprNode, ExprNode]];\n\tconst a = evaluate(x, row, table) as Scalar | undefined;\n\tconst b = evaluate(y, row, table) as Scalar | undefined;\n\tif (a === undefined || b === undefined) return undefined;\n\tswitch (op) {\n\t\tcase \"concat\":\n\t\t\treturn (a as string) + (b as string);\n\t\tcase \"max\":\n\t\t\treturn compareScalar(a, b) >= 0 ? a : b;\n\t\tcase \"min\":\n\t\t\treturn compareScalar(a, b) <= 0 ? a : b;\n\t\tdefault: {\n\t\t\tconst result = op === \"add\" ? (a as number) + (b as number) : (a as number) - (b as number);\n\t\t\tif (result > SAFE || result < -SAFE)\n\t\t\t\tthrow invalid(\"args\", `${table}: ${op} gives ${result}, outside ±(2^53 - 1)`);\n\t\t\treturn result;\n\t\t}\n\t}\n}\n"]}

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

@@ -1,17 +0,0 @@
-import { type Context } from "../../context/index.ts";
-import { type ArchivePart } from "./archive.ts";
-import type { ChordStore } from "./store.ts";
-/** The rows and documents an export reads per page. */
-export declare const EXPORT_PAGE = 100;
-/**
- * An export of `store` under `context`: an async iterator of its parts. One pass; after an abort `next()` rejects
- * `aborted`, after the store closed `released`.
- */
-export declare class StoreExport implements AsyncIterableIterator<ArchivePart> {
-    #private;
-    constructor(store: ChordStore, context: Context);
-    [Symbol.asyncIterator](): this;
-    next(): Promise<IteratorResult<ArchivePart>>;
-    return(): Promise<IteratorResult<ArchivePart>>;
-}
-//# sourceMappingURL=export.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"export.d.ts","sourceRoot":"","sources":["../../../src/next/store/export.ts"],"names":[],"mappings":"AAMA,OAAO,EAAoB,KAAK,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAIxE,OAAO,EAAkB,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAMhE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C,uDAAuD;AACvD,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B;;;GAGG;AACH,qBAAa,WAAY,YAAW,qBAAqB,CAAC,WAAW,CAAC;;IASrE,YAAY,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAI9C;IAED,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,IAAI,CAE7B;IAEK,IAAI,IAAI,OAAO,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAmBjD;IAEK,MAAM,IAAI,OAAO,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAGnD;CA6BD"}

package/dist/next/store/export.js

@@ -1,200 +0,0 @@
-// `store.export(ctx)` (slice 6a §13, rule 26): the store's state after its `lastSeq` as archive parts, read page by
-// page with plain reads while the export holds the commit queue (no commit can interleave, no long read transaction).
-// The queue is taken at the first `next()` and given back when the iteration ends, throws, is closed or `ctx` aborts;
-// an abort while the consumer is suspended gives it back at once and drops the pages and records the export held, and
-// an abort while it waits for the queue ends the wait. Closing the store ends it too (`released`).
-import { awaitWithContext } from "../../context/index.js";
-import { ChordError } from "../data/index.js";
-import { ARCHIVE_FORMAT } from "./archive.js";
-import { listRecords, listRevisions } from "./engine.js";
-import { ROW_VERSION, versionColumn } from "./rows.js";
-import { STORE_SCHEMA } from "./schema.js";
-import { quote, recordedPut } from "./sql.js";
-/** The rows and documents an export reads per page. */
-export const EXPORT_PAGE = 100;
-/**
- * An export of `store` under `context`: an async iterator of its parts. One pass; after an abort `next()` rejects
- * `aborted`, after the store closed `released`.
- */
-export class StoreExport {
-    #context;
-    /** The parts, until the export ends; dropped then, with the pages they hold. */
-    #parts;
-    #state = "open";
-    /** Gives the commit queue back while the export holds it. */
-    #release;
-    #abort = () => this.#end("aborted");
-    constructor(store, context) {
-        this.#context = context;
-        const hold = (release) => this.#hold(release);
-        this.#parts = parts(store, context, hold, () => this.#end("closed"));
-    }
-    [Symbol.asyncIterator]() {
-        return this;
-    }
-    async next() {
-        if (this.#context.abortSignal?.aborted)
-            this.#end("aborted");
-        this.#assertOpen();
-        if (this.#parts === undefined)
-            return { done: true, value: undefined };
-        const pending = this.#parts.next();
-        let result;
-        try {
-            // Until the export holds the queue only `context` ends the wait; from then on its abort listener does.
-            result = await (this.#release === undefined ? awaitWithContext(pending, this.#context) : pending);
-        }
-        catch (error) {
-            if (this.#context.abortSignal?.aborted)
-                this.#end("aborted");
-            this.#assertOpen();
-            this.#end("ended");
-            throw error;
-        }
-        // Ended meanwhile (an abort, the store's close): no part after that, even one that needed no read.
-        this.#assertOpen();
-        if (result.done)
-            this.#end("ended");
-        return result;
-    }
-    async return() {
-        this.#end("ended");
-        return { done: true, value: undefined };
-    }
-    /** The parts took the queue: the export holds it until it ends, and an abort ends it; ended already, it gives it back. */
-    #hold(release) {
-        if (this.#state !== "open") {
-            release();
-            return;
-        }
-        this.#release = release;
-        this.#context.abortSignal?.addEventListener("abort", this.#abort, { once: true });
-    }
-    /** Ends the export once: the queue given back, the parts closed (once they reach a `yield`) and dropped. */
-    #end(state) {
-        if (this.#state !== "open")
-            return;
-        this.#state = state;
-        this.#release?.();
-        this.#release = undefined;
-        this.#context.abortSignal?.removeEventListener("abort", this.#abort);
-        void this.#parts?.return(undefined).catch(() => { });
-        this.#parts = undefined;
-    }
-    /** Throws `aborted` after an abort, `released` after the store closed. */
-    #assertOpen() {
-        if (this.#state === "aborted")
-            throw aborted(this.#context);
-        if (this.#state === "closed")
-            throw new ChordError({ code: "released", reason: "closed", message: "store: closed" });
-    }
-}
-/** The error of a use of an aborted export: `aborted`, the signal's reason as the cause. */
-function aborted(context) {
-    return new ChordError({ code: "aborted", message: "store: export aborted" }, { cause: context.abortSignal?.reason });
-}
-/**
- * The parts in archive order, after taking the queue (handed to `hold`; the store's close calls `end`); the queue is
- * given back when they end.
- */
-async function* parts(store, context, hold, end) {
-    const release = await store.take(end);
-    hold(release);
-    try {
-        if (context.abortSignal?.aborted)
-            throw aborted(context);
-        const { lastSeq, nextId } = store;
-        yield { kind: "manifest", format: ARCHIVE_FORMAT, schema: STORE_SCHEMA, lastSeq, nextId };
-        let writes = 0;
-        const tables = [...store.tables.values()].sort((a, b) => (a.table < b.table ? -1 : 1));
-        for (const record of tables) {
-            const { table, version, state, columns, key, fingerprint } = record;
-            yield { kind: "table", table, version, state, columns, key, fingerprint };
-            writes++;
-            for await (const put of puts(store, record, context)) {
-                yield put;
-                writes++;
-            }
-            for (const [name, on] of Object.entries(record.indexes)) {
-                yield { kind: "index", table, name, columns: on };
-                writes++;
-            }
-        }
-        for await (const part of documents(store, context)) {
-            yield part;
-            writes++;
-        }
-        yield { kind: "end", writes };
-    }
-    finally {
-        release();
-    }
-}
-/** The `put`s of a recorded table in key order, a page per read: the stored values and their versions. */
-async function* puts(store, record, context) {
-    const { table, columns, key } = record;
-    const select = recordedPut(table, columns)
-        .physical.map((name) => quote(name))
-        .join(", ");
-    const order = key.map(quote).join(", ");
-    let after;
-    do {
-        const page = after;
-        const from = page === undefined ? "" : ` WHERE (${order}) > (${page.map(() => "?").join(", ")})`;
-        const sql = `SELECT ${select} FROM ${quote(table)}${from} ORDER BY ${order} LIMIT ?`;
-        const rows = await store.read((executor) => executor.all(sql, ...(page ?? []), EXPORT_PAGE), context);
-        for (const stored of rows)
-            yield putOf(record, stored);
-        after = rows.length < EXPORT_PAGE ? undefined : key.map((name) => rows.at(-1)[name]);
-    } while (after !== undefined);
-}
-/** A stored row as its `put`: `NULL` cells absent, booleans from 0 and 1, `json(...)` cells parsed with versions. */
-function putOf(record, stored) {
-    const row = {};
-    const versions = {};
-    for (const [name, column] of Object.entries(record.columns)) {
-        const value = stored[name];
-        if (value === null || value === undefined)
-            continue;
-        // The recorded columns' types say what SQLite stored (STRICT tables): text for `json(...)` with its version.
-        if (column.type === "bool")
-            row[name] = value === 1;
-        else if (column.type === "json") {
-            row[name] = JSON.parse(value);
-            versions[name] = stored[versionColumn(name)];
-        }
-        else
-            row[name] = value;
-    }
-    return { kind: "put", table: record.table, row, version: stored[ROW_VERSION], columns: versions };
-}
-/**
- * Every stored record by id, live and retired, as its creation without a base, then its kept revisions in seq order:
- * a `none` or `latest` record's current base and its deltas, a retired `latest` one none, a `rewindable` one all.
- */
-async function* documents(store, context) {
-    let after = 0;
-    for (;;) {
-        const records = await store.read((executor) => listRecords(executor, after, EXPORT_PAGE), context);
-        for (const record of records) {
-            yield { kind: "document.create", record };
-            yield* revisions(store, record.id, context);
-        }
-        if (records.length < EXPORT_PAGE)
-            return;
-        after = records.at(-1).id;
-    }
-}
-/** Document `id`'s kept revisions in seq order, read page by page (a long history is never one array). */
-async function* revisions(store, id, context) {
-    let after = 0;
-    for (;;) {
-        const page = await store.read((executor) => listRevisions(executor, id, after, EXPORT_PAGE), context);
-        for (const revision of page)
-            yield { kind: "document.revision", ...revision };
-        if (page.length < EXPORT_PAGE)
-            return;
-        after = page.at(-1).seq;
-    }
-}
-//# sourceMappingURL=export.js.map