@earendil-works/pi-durable 1.3.0 → 1.5.0

package/dist/storage/store/commit.js

@@ -0,0 +1,286 @@
+// One Durable commit as one commit of the store's series (slice 6b §2.3): staged before the queue (rows encoded,
+// contents serialized, explicit ids raising the store's allocator), then inside the series' transaction what
+// `SqliteStorage` does inside its own, with the step's reader: Durable's checks of ids and documents and the copies
+// resolved from their sources (its messages, a refusal), then its one composite write: the table puts, and the
+// documents in two passes, existing ones first (their content, then their retirement, which frees the addresses this
+// commit's creations take), then the creations and copies.
+import { findDocument, insertDocument, readDocument, retireRecord, writeContent, } from "@earendil-works/chord/next";
+import { StorageRequestError } from "../../errors.js";
+import { addressOf, durableRecord, engineRecord, readAt } from "./documents.js";
+import { conversationRow, entryRow, submissionRow, taskRow } from "./tables.js";
+/** A Durable commit staged for the store's series: its checks, then itself as its one write. */
+export class DurableCommit {
+    order = "write";
+    writes;
+    #owner;
+    #tables;
+    #context;
+    /** Every id a write claims, in write order (documents created or copied included), for the id checks. */
+    #claims = [];
+    #rows = [];
+    #actions = new Map();
+    /** What `check` found for `apply`, in the same step: the stored types of the claimed ids, the changed documents. */
+    #checked;
+    /**
+     * Stages `writes` (rule 8: rows and contents encoded here, before the queue); `raise` makes room above each explicit
+     * id. A malformed batch (two content commands for one document, a second retirement) throws Durable's message.
+     */
+    constructor(writes, owner, tables, raise, context) {
+        this.#owner = owner;
+        this.#tables = tables;
+        this.#context = context;
+        for (const write of writes)
+            this.#stage(write, raise);
+        this.writes = [this];
+    }
+    /**
+     * Durable's checks against the state the series' earlier commits left, writing nothing: the ids, the documents and
+     * the copies; a throw refuses the commit.
+     */
+    async check(step) {
+        const claimed = await this.#checkIds(step);
+        const existing = await this.#checkDocuments(step);
+        await this.#resolveCopies(step);
+        this.#checked = { claimed, existing };
+    }
+    /**
+     * Resolves the copies (S11): each source read at its point and checked against the copy's record, entered as a
+     * creation carrying the source's value as its base.
+     */
+    async #resolveCopies(step) {
+        for (const [id, action] of this.#actions) {
+            const source = action.copy;
+            if (source === undefined)
+                continue;
+            if (this.#actions.has(source.id))
+                throw new Error(`Document copy ${id} source is changed in the copy batch`);
+            try {
+                const read = await readAt(step, source.id, source.at, this.#owner);
+                if (read.kind === "current_only") {
+                    throw new StorageRequestError(`Document ${read.id} does not retain historical content`);
+                }
+                const stored = read.document;
+                if (stored === undefined)
+                    throw new Error(`Fork source document ${source.id} cannot be read`);
+                const create = action.create;
+                if (stored.record.scope.kind !== "conversation" ||
+                    create.scope.kind !== "conversation" ||
+                    stored.record.kind !== create.kind ||
+                    stored.record.key !== create.key ||
+                    stored.record.history !== create.history ||
+                    stored.record.fork !== create.fork) {
+                    throw new Error(`Fork source document ${source.id} does not match the copied record`);
+                }
+                action.base = { version: stored.version, value: stored.value, text: JSON.stringify(stored.value) };
+            }
+            catch (error) {
+                throw new Error(`Document copy ${id} was rejected`, { cause: error });
+            }
+        }
+    }
+    /** The commit's writes, after its `check` in the same step. */
+    async apply(step) {
+        const recorded = [];
+        const { claimed, existing } = this.#checked;
+        for (const write of this.#rows) {
+            if (claimed.get(write.id) === undefined)
+                recorded.push(await this.#claim(step, write.id, write.type));
+            claimed.set(write.id, write.type);
+            const stamp = write.table === this.#tables.entries ? "commit_seq" : undefined;
+            recorded.push(await write.table.put(step, write.row, stamp));
+        }
+        // Existing documents first: a retirement frees its address before a creation of this commit takes it.
+        for (const [id, record] of existing)
+            recorded.push(...(await this.#change(step, record, this.#actions.get(id))));
+        for (const [id, action] of this.#actions) {
+            if (action.create === undefined)
+                continue;
+            recorded.push(await this.#claim(step, id, "document"));
+            recorded.push(await this.#create(step, action.create, action.base, action.retire));
+        }
+        return recorded;
+    }
+    /** Stages one write: a table row encoded, a document command into its action. */
+    #stage(write, raise) {
+        const tables = this.#tables;
+        switch (write.type) {
+            case "conversation":
+                this.#row(write.value.id, write.type, tables.conversations, conversationRow(write.value), raise);
+                return;
+            case "entry": {
+                const { id, conversationId, head } = write.value;
+                this.#row(id, write.type, tables.entries, entryRow(write.value), raise);
+                // Its claim is the entry's: `apply` claims an id once.
+                if (head !== undefined) {
+                    const row = tables.entryHeads.encode({ id, conversation_id: conversationId });
+                    this.#rows.push({ id, type: write.type, table: tables.entryHeads, row });
+                }
+                return;
+            }
+            case "task":
+                this.#row(write.value.id, write.type, tables.tasks, taskRow(write.value), raise);
+                return;
+            case "submission":
+                this.#row(write.value.id, write.type, tables.submissions, submissionRow(write.value), raise);
+                return;
+            case "document.create":
+            case "document.copy": {
+                const { id } = write.record;
+                const action = this.#action(id);
+                if (action.create !== undefined || action.content !== undefined || action.copy !== undefined) {
+                    throw new Error(`Document ${id} has more than one content command`);
+                }
+                action.create = write.record;
+                if (write.type === "document.copy")
+                    action.copy = write.source;
+                else
+                    action.base = { ...write.content, text: JSON.stringify(write.content.value) };
+                this.#claims.push({ id, type: "document" });
+                raise(id);
+                return;
+            }
+            case "document.change": {
+                const action = this.#action(write.id);
+                // A creation's base is its content command (`SqliteStorage` counts it so too), in either order.
+                if (action.create !== undefined || action.content !== undefined || action.copy !== undefined) {
+                    throw new Error(`Document ${write.id} has more than one content command`);
+                }
+                const { content } = write;
+                action.content = { content, text: JSON.stringify(content.kind === "base" ? content.value : content.ops) };
+                return;
+            }
+            case "document.retire": {
+                const action = this.#action(write.id);
+                if (action.retire)
+                    throw new Error(`Document ${write.id} is retired more than once`);
+                action.retire = true;
+                return;
+            }
+        }
+    }
+    #row(id, type, table, row, raise) {
+        this.#claims.push({ id, type });
+        this.#rows.push({ id, type, table, row: table.encode(row) });
+        raise(id);
+    }
+    #action(id) {
+        let action = this.#actions.get(id);
+        if (action === undefined) {
+            action = { retire: false };
+            this.#actions.set(id, action);
+        }
+        return action;
+    }
+    /**
+     * Durable's global id checks (`SqliteStorage.checkGlobalIds`): a conversation, entry or document id claimed by
+     * anything, or written twice; a task or submission id claimed by another type. Returns the stored types.
+     */
+    async #checkIds(step) {
+        const stored = new Map();
+        const claimed = new Map();
+        for (const { id, type } of this.#claims) {
+            let existing = stored.get(id);
+            if (!stored.has(id)) {
+                const row = await this.#tables.recordIds.get(step, [id], this.#context);
+                existing = row?.record_type;
+                stored.set(id, existing);
+            }
+            const earlier = claimed.get(id);
+            if (type === "conversation" || type === "entry" || type === "document") {
+                if (existing !== undefined)
+                    throw new Error(`ID ${id} already belongs to ${existing}`);
+                if (earlier !== undefined)
+                    throw new Error(`ID ${id} is written more than once`);
+            }
+            else {
+                if (existing !== undefined && existing !== type)
+                    throw new Error(`ID ${id} already belongs to ${existing}`);
+                if (earlier !== undefined && earlier !== type)
+                    throw new Error(`ID ${id} is written as two record types`);
+            }
+            claimed.set(id, type);
+        }
+        const types = new Map();
+        for (const [id, type] of stored)
+            if (type !== undefined)
+                types.set(id, type);
+        return types;
+    }
+    /**
+     * Durable's document checks (`SqliteStorage.checkDocumentActions`): a change or retirement of an unknown or retired
+     * document, a delta on another version, more than one live incarnation per address after the commit. Returns the
+     * existing records the commit changes or retires, in action order.
+     */
+    async #checkDocuments(step) {
+        const existing = new Map();
+        for (const [id, action] of this.#actions) {
+            if (action.create !== undefined)
+                continue;
+            const stored = await readDocument(step, id);
+            const record = stored === undefined ? undefined : durableRecord(stored, this.#owner);
+            if (record === undefined)
+                throw new Error(`Unknown document: ${id}`);
+            if (record.retiredAt !== undefined)
+                throw new Error(`Document ${id} is retired`);
+            const content = action.content?.content;
+            if (content?.kind === "delta" && content.version !== stored.version) {
+                throw new Error(`Document ${id} version transition requires a base`);
+            }
+            existing.set(id, stored);
+        }
+        /** Per address a live creation takes: its live incarnations after the commit so far. */
+        const live = new Map();
+        for (const action of this.#actions.values()) {
+            if (action.create === undefined || action.retire)
+                continue;
+            const address = addressOf(action.create, this.#owner);
+            const key = JSON.stringify([address.namespace, address.kind, address.key]);
+            let count = live.get(key);
+            if (count === undefined) {
+                // The incarnation live there now counts unless this commit retires it.
+                const current = await findDocument(step, address);
+                count = current === undefined || this.#actions.get(current.id)?.retire === true ? 0 : 1;
+            }
+            if (++count > 1)
+                throw new Error("Document address already has a current incarnation");
+            live.set(key, count);
+        }
+        return existing;
+    }
+    /** Puts `id`'s `record_ids` row: its record type. */
+    #claim(step, id, type) {
+        const table = this.#tables.recordIds;
+        return table.put(step, table.encode({ id, record_type: type }));
+    }
+    /** An existing document's content, then its retirement, as their writes. */
+    async #change(step, record, action) {
+        const writes = [];
+        let { revision } = record;
+        if (action.content !== undefined) {
+            const { content, text } = action.content;
+            const stored = engineContent(content);
+            await writeContent(step, record.id, record.history, revision, stored, text);
+            writes.push({ kind: "document.change", id: record.id, revision, content: stored });
+            revision++;
+        }
+        if (action.retire) {
+            await retireRecord(step, record);
+            writes.push({ kind: "document.retire", id: record.id, revision });
+        }
+        return writes;
+    }
+    /** A creation or a resolved copy (retired at once for a create-plus-retire, an empty lifetime), as its write. */
+    async #create(step, create, base, retired) {
+        const record = engineRecord(create, this.#owner, base.version, step.seq, retired);
+        await insertDocument(step, record, base.text);
+        const value = base.value;
+        return { kind: "document.create", record, base: { version: base.version, fingerprint: "", value } };
+    }
+}
+/** A Durable content as the engine stores it: its documents have no schema fingerprint. */
+function engineContent(content) {
+    return content.kind === "base"
+        ? { kind: "base", version: content.version, fingerprint: "", value: content.value }
+        : { kind: "delta", version: content.version, ops: content.ops };
+}
+//# sourceMappingURL=commit.js.map

package/dist/storage/store/commit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commit.js","sourceRoot":"","sources":["../../../src/storage/store/commit.ts"],"names":[],"mappings":"AAAA,iHAAiH;AACjH,6GAA6G;AAC7G,oHAAoH;AACpH,+GAA+G;AAC/G,qHAAqH;AACrH,2DAA2D;AAG3D,OAAO,EAIN,YAAY,EACZ,cAAc,EAEd,YAAY,EACZ,YAAY,EAKZ,YAAY,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAUtD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAoChF,gGAAgG;AAChG,MAAM,OAAO,aAAa;IAChB,KAAK,GAAG,OAAO,CAAC;IAChB,MAAM,CAAyB;IAC/B,MAAM,CAAS;IACf,OAAO,CAAe;IACtB,QAAQ,CAAU;IAC3B,yGAAyG;IAChG,OAAO,GAAyD,EAAE,CAAC;IACnE,KAAK,GAAe,EAAE,CAAC;IACvB,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC1D,oHAAoH;IACpH,QAAQ,CAEK;IAEb;;;OAGG;IACH,YACC,MAA+B,EAC/B,KAAa,EACb,MAAoB,EACpB,KAA2B,EAC3B,OAAgB;QAEhB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK,CAAC,IAAU;QACrB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAClD,MAAM,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IACvC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,cAAc,CAAC,IAAU;QAC9B,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;YAC3B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,EAAE,sCAAsC,CAAC,CAAC;YAC7G,IAAI,CAAC;gBACJ,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;gBACnE,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;oBAClC,MAAM,IAAI,mBAAmB,CAAC,YAAY,IAAI,CAAC,EAAE,qCAAqC,CAAC,CAAC;gBACzF,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAC7B,IAAI,MAAM,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;gBAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,MAAO,CAAC;gBAC9B,IACC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc;oBAC3C,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc;oBACpC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;oBAClC,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG;oBAChC,MAAM,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO;oBACxC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EACjC,CAAC;oBACF,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,CAAC,EAAE,mCAAmC,CAAC,CAAC;gBACvF,CAAC;gBACD,MAAM,CAAC,IAAI,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACpG,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,iBAAiB,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YACvE,CAAC;QACF,CAAC;IACF,CAAC;IAED,+DAA+D;IAC/D,KAAK,CAAC,KAAK,CAAC,IAAU;QACrB,MAAM,QAAQ,GAAiB,EAAE,CAAC;QAClC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAS,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACtG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9E,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,sGAAsG;QACtG,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC;QAClH,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAC1C,QAAQ,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,iFAAiF;IACjF,MAAM,CAAC,KAAmB,EAAE,KAA2B;QACtD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,cAAc;gBAClB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;gBACjG,OAAO;YACR,KAAK,OAAO,EAAE,CAAC;gBACd,MAAM,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;gBACjD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;gBACxE,uDAAuD;gBACvD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,cAAc,EAAE,CAAC,CAAC;oBAC9E,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;gBAC1E,CAAC;gBACD,OAAO;YACR,CAAC;YACD,KAAK,MAAM;gBACV,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;gBACjF,OAAO;YACR,KAAK,YAAY;gBAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;gBAC7F,OAAO;YACR,KAAK,iBAAiB,CAAC;YACvB,KAAK,eAAe,EAAE,CAAC;gBACtB,MAAM,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAChC,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9F,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,oCAAoC,CAAC,CAAC;gBACrE,CAAC;gBACD,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;oBAAE,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;;oBAC1D,MAAM,CAAC,IAAI,GAAG,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;gBAC5C,KAAK,CAAC,EAAE,CAAC,CAAC;gBACV,OAAO;YACR,CAAC;YACD,KAAK,iBAAiB,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACtC,gGAAgG;gBAChG,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9F,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,EAAE,oCAAoC,CAAC,CAAC;gBAC3E,CAAC;gBACD,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;gBAC1B,MAAM,CAAC,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1G,OAAO;YACR,CAAC;YACD,KAAK,iBAAiB,EAAE,CAAC;gBACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACtC,IAAI,MAAM,CAAC,MAAM;oBAAE,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,CAAC,EAAE,4BAA4B,CAAC,CAAC;gBACrF,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC;gBACrB,OAAO;YACR,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,CAAC,EAAc,EAAE,IAAsB,EAAE,KAAiB,EAAE,GAAW,EAAE,KAA2B;QACvG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7D,KAAK,CAAC,EAAE,CAAC,CAAC;IACX,CAAC;IAED,OAAO,CAAC,EAAc;QACrB,IAAI,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,SAAS,CAAC,IAAU;QACzB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkC,CAAC;QACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC9C,KAAK,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACzC,IAAI,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACxE,QAAQ,GAAG,GAAG,EAAE,WAAqC,CAAC;gBACtD,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YAC1B,CAAC;YACD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,IAAI,KAAK,cAAc,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;gBACxE,IAAI,QAAQ,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,uBAAuB,QAAQ,EAAE,CAAC,CAAC;gBACvF,IAAI,OAAO,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAAC;YAClF,CAAC;iBAAM,CAAC;gBACP,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,uBAAuB,QAAQ,EAAE,CAAC,CAAC;gBAC5G,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAAC;YAC3G,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,MAAM;YAAE,IAAI,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC7E,OAAO,KAAK,CAAC;IACd,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,eAAe,CAAC,IAAU;QAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;QACrD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAC1C,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACrF,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC;YACrE,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;YACjF,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;YACxC,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,MAAO,CAAC,OAAO,EAAE,CAAC;gBACtE,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,qCAAqC,CAAC,CAAC;YACtE,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,MAAO,CAAC,CAAC;QAC3B,CAAC;QACD,wFAAwF;QACxF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7C,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM;gBAAE,SAAS;YAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3E,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACzB,uEAAuE;gBACvE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAClD,KAAK,GAAG,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAgB,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvG,CAAC;YACD,IAAI,EAAE,KAAK,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;YACvF,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtB,CAAC;QACD,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,qDAAqD;IACrD,MAAM,CAAC,IAAU,EAAE,EAAU,EAAE,IAAgB;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QACrC,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC;IAED,4EAA4E;IAC5E,KAAK,CAAC,OAAO,CAAC,IAAU,EAAE,MAAoB,EAAE,MAAsB;QACrE,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;QAC1B,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;YACzC,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;YACtC,MAAM,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YACnF,QAAQ,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YACnB,MAAM,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC;IAED,iHAAiH;IACjH,KAAK,CAAC,OAAO,CAAC,IAAU,EAAE,MAAsB,EAAE,IAAgB,EAAE,OAAgB;QACnF,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAClF,MAAM,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAkB,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;IACrG,CAAC;CACD;AAED,2FAA2F;AAC3F,SAAS,aAAa,CAAC,OAAwB;IAC9C,OAAO,OAAO,CAAC,IAAI,KAAK,MAAM;QAC7B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE;QACnF,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;AAClE,CAAC","sourcesContent":["// One Durable commit as one commit of the store's series (slice 6b §2.3): staged before the queue (rows encoded,\n// contents serialized, explicit ids raising the store's allocator), then inside the series' transaction what\n// `SqliteStorage` does inside its own, with the step's reader: Durable's checks of ids and documents and the copies\n// resolved from their sources (its messages, a refusal), then its one composite write: the table puts, and the\n// documents in two passes, existing ones first (their content, then their retirement, which frees the addresses this\n// commit's creations take), then the creations and copies.\n\nimport type { Context, JsonValue } from \"@earendil-works/chord\";\nimport {\n\ttype EncodedRow,\n\ttype DocumentContent as EngineContent,\n\ttype DocumentRecord as EngineRecord,\n\tfindDocument,\n\tinsertDocument,\n\ttype OwnerTable,\n\treadDocument,\n\tretireRecord,\n\ttype SeriesCommit,\n\ttype StagedWrite,\n\ttype Step,\n\ttype StoreWrite,\n\twriteContent,\n} from \"@earendil-works/chord/next\";\nimport { StorageRequestError } from \"../../errors.ts\";\nimport type {\n\tDocumentContent,\n\tDocumentCopySource,\n\tDocumentCreate,\n\tDocumentId,\n\tId,\n\tJsonObject,\n\tStorageWrite,\n} from \"../../types.ts\";\nimport { addressOf, durableRecord, engineRecord, readAt } from \"./documents.ts\";\nimport { conversationRow, entryRow, submissionRow, taskRow } from \"./tables.ts\";\n\n/** Durable's record types, as `record_ids` names them. */\nexport type RecordType = \"conversation\" | \"entry\" | \"task\" | \"submission\" | \"document\";\n\n/** The storage's tables, as a commit writes them. */\nexport type CommitTables = {\n\treadonly recordIds: OwnerTable;\n\treadonly conversations: OwnerTable;\n\treadonly entries: OwnerTable;\n\treadonly entryHeads: OwnerTable;\n\treadonly tasks: OwnerTable;\n\treadonly submissions: OwnerTable;\n};\n\n/** A table write of the commit: its record's id and type, its table and its row encoded at staging. */\ntype RowWrite = {\n\treadonly id: number;\n\treadonly type: Exclude<RecordType, \"document\">;\n\treadonly table: OwnerTable;\n\treadonly row: EncodedRow;\n};\n\n/** A base as the commit stores it: its version and value, and the value serialized. */\ntype StagedBase = { readonly version: number; readonly value: JsonObject; readonly text: string };\n\n/** What one commit does with one document, as `SqliteStorage`'s action map has it. */\ntype DocumentAction = {\n\tcreate?: DocumentCreate;\n\tcopy?: DocumentCopySource;\n\t/** A creation's base: the write's own, or a copy's once resolved. */\n\tbase?: StagedBase;\n\tcontent?: { readonly content: DocumentContent; readonly text: string };\n\tretire: boolean;\n};\n\n/** A Durable commit staged for the store's series: its checks, then itself as its one write. */\nexport class DurableCommit implements SeriesCommit, StagedWrite {\n\treadonly order = \"write\";\n\treadonly writes: readonly StagedWrite[];\n\treadonly #owner: string;\n\treadonly #tables: CommitTables;\n\treadonly #context: Context;\n\t/** Every id a write claims, in write order (documents created or copied included), for the id checks. */\n\treadonly #claims: { readonly id: number; readonly type: RecordType }[] = [];\n\treadonly #rows: RowWrite[] = [];\n\treadonly #actions = new Map<DocumentId, DocumentAction>();\n\t/** What `check` found for `apply`, in the same step: the stored types of the claimed ids, the changed documents. */\n\t#checked:\n\t\t| { readonly claimed: Map<number, RecordType>; readonly existing: Map<DocumentId, EngineRecord> }\n\t\t| undefined;\n\n\t/**\n\t * Stages `writes` (rule 8: rows and contents encoded here, before the queue); `raise` makes room above each explicit\n\t * id. A malformed batch (two content commands for one document, a second retirement) throws Durable's message.\n\t */\n\tconstructor(\n\t\twrites: readonly StorageWrite[],\n\t\towner: string,\n\t\ttables: CommitTables,\n\t\traise: (id: number) => void,\n\t\tcontext: Context,\n\t) {\n\t\tthis.#owner = owner;\n\t\tthis.#tables = tables;\n\t\tthis.#context = context;\n\t\tfor (const write of writes) this.#stage(write, raise);\n\t\tthis.writes = [this];\n\t}\n\n\t/**\n\t * Durable's checks against the state the series' earlier commits left, writing nothing: the ids, the documents and\n\t * the copies; a throw refuses the commit.\n\t */\n\tasync check(step: Step): Promise<void> {\n\t\tconst claimed = await this.#checkIds(step);\n\t\tconst existing = await this.#checkDocuments(step);\n\t\tawait this.#resolveCopies(step);\n\t\tthis.#checked = { claimed, existing };\n\t}\n\n\t/**\n\t * Resolves the copies (S11): each source read at its point and checked against the copy's record, entered as a\n\t * creation carrying the source's value as its base.\n\t */\n\tasync #resolveCopies(step: Step): Promise<void> {\n\t\tfor (const [id, action] of this.#actions) {\n\t\t\tconst source = action.copy;\n\t\t\tif (source === undefined) continue;\n\t\t\tif (this.#actions.has(source.id)) throw new Error(`Document copy ${id} source is changed in the copy batch`);\n\t\t\ttry {\n\t\t\t\tconst read = await readAt(step, source.id, source.at, this.#owner);\n\t\t\t\tif (read.kind === \"current_only\") {\n\t\t\t\t\tthrow new StorageRequestError(`Document ${read.id} does not retain historical content`);\n\t\t\t\t}\n\t\t\t\tconst stored = read.document;\n\t\t\t\tif (stored === undefined) throw new Error(`Fork source document ${source.id} cannot be read`);\n\t\t\t\tconst create = action.create!;\n\t\t\t\tif (\n\t\t\t\t\tstored.record.scope.kind !== \"conversation\" ||\n\t\t\t\t\tcreate.scope.kind !== \"conversation\" ||\n\t\t\t\t\tstored.record.kind !== create.kind ||\n\t\t\t\t\tstored.record.key !== create.key ||\n\t\t\t\t\tstored.record.history !== create.history ||\n\t\t\t\t\tstored.record.fork !== create.fork\n\t\t\t\t) {\n\t\t\t\t\tthrow new Error(`Fork source document ${source.id} does not match the copied record`);\n\t\t\t\t}\n\t\t\t\taction.base = { version: stored.version, value: stored.value, text: JSON.stringify(stored.value) };\n\t\t\t} catch (error) {\n\t\t\t\tthrow new Error(`Document copy ${id} was rejected`, { cause: error });\n\t\t\t}\n\t\t}\n\t}\n\n\t/** The commit's writes, after its `check` in the same step. */\n\tasync apply(step: Step): Promise<readonly StoreWrite[]> {\n\t\tconst recorded: StoreWrite[] = [];\n\t\tconst { claimed, existing } = this.#checked!;\n\t\tfor (const write of this.#rows) {\n\t\t\tif (claimed.get(write.id) === undefined) recorded.push(await this.#claim(step, write.id, write.type));\n\t\t\tclaimed.set(write.id, write.type);\n\t\t\tconst stamp = write.table === this.#tables.entries ? \"commit_seq\" : undefined;\n\t\t\trecorded.push(await write.table.put(step, write.row, stamp));\n\t\t}\n\t\t// Existing documents first: a retirement frees its address before a creation of this commit takes it.\n\t\tfor (const [id, record] of existing) recorded.push(...(await this.#change(step, record, this.#actions.get(id)!)));\n\t\tfor (const [id, action] of this.#actions) {\n\t\t\tif (action.create === undefined) continue;\n\t\t\trecorded.push(await this.#claim(step, id, \"document\"));\n\t\t\trecorded.push(await this.#create(step, action.create, action.base!, action.retire));\n\t\t}\n\t\treturn recorded;\n\t}\n\n\t/** Stages one write: a table row encoded, a document command into its action. */\n\t#stage(write: StorageWrite, raise: (id: number) => void): void {\n\t\tconst tables = this.#tables;\n\t\tswitch (write.type) {\n\t\t\tcase \"conversation\":\n\t\t\t\tthis.#row(write.value.id, write.type, tables.conversations, conversationRow(write.value), raise);\n\t\t\t\treturn;\n\t\t\tcase \"entry\": {\n\t\t\t\tconst { id, conversationId, head } = write.value;\n\t\t\t\tthis.#row(id, write.type, tables.entries, entryRow(write.value), raise);\n\t\t\t\t// Its claim is the entry's: `apply` claims an id once.\n\t\t\t\tif (head !== undefined) {\n\t\t\t\t\tconst row = tables.entryHeads.encode({ id, conversation_id: conversationId });\n\t\t\t\t\tthis.#rows.push({ id, type: write.type, table: tables.entryHeads, row });\n\t\t\t\t}\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tcase \"task\":\n\t\t\t\tthis.#row(write.value.id, write.type, tables.tasks, taskRow(write.value), raise);\n\t\t\t\treturn;\n\t\t\tcase \"submission\":\n\t\t\t\tthis.#row(write.value.id, write.type, tables.submissions, submissionRow(write.value), raise);\n\t\t\t\treturn;\n\t\t\tcase \"document.create\":\n\t\t\tcase \"document.copy\": {\n\t\t\t\tconst { id } = write.record;\n\t\t\t\tconst action = this.#action(id);\n\t\t\t\tif (action.create !== undefined || action.content !== undefined || action.copy !== undefined) {\n\t\t\t\t\tthrow new Error(`Document ${id} has more than one content command`);\n\t\t\t\t}\n\t\t\t\taction.create = write.record;\n\t\t\t\tif (write.type === \"document.copy\") action.copy = write.source;\n\t\t\t\telse action.base = { ...write.content, text: JSON.stringify(write.content.value) };\n\t\t\t\tthis.#claims.push({ id, type: \"document\" });\n\t\t\t\traise(id);\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tcase \"document.change\": {\n\t\t\t\tconst action = this.#action(write.id);\n\t\t\t\t// A creation's base is its content command (`SqliteStorage` counts it so too), in either order.\n\t\t\t\tif (action.create !== undefined || action.content !== undefined || action.copy !== undefined) {\n\t\t\t\t\tthrow new Error(`Document ${write.id} has more than one content command`);\n\t\t\t\t}\n\t\t\t\tconst { content } = write;\n\t\t\t\taction.content = { content, text: JSON.stringify(content.kind === \"base\" ? content.value : content.ops) };\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tcase \"document.retire\": {\n\t\t\t\tconst action = this.#action(write.id);\n\t\t\t\tif (action.retire) throw new Error(`Document ${write.id} is retired more than once`);\n\t\t\t\taction.retire = true;\n\t\t\t\treturn;\n\t\t\t}\n\t\t}\n\t}\n\n\t#row(id: Id<string>, type: RowWrite[\"type\"], table: OwnerTable, row: object, raise: (id: number) => void): void {\n\t\tthis.#claims.push({ id, type });\n\t\tthis.#rows.push({ id, type, table, row: table.encode(row) });\n\t\traise(id);\n\t}\n\n\t#action(id: DocumentId): DocumentAction {\n\t\tlet action = this.#actions.get(id);\n\t\tif (action === undefined) {\n\t\t\taction = { retire: false };\n\t\t\tthis.#actions.set(id, action);\n\t\t}\n\t\treturn action;\n\t}\n\n\t/**\n\t * Durable's global id checks (`SqliteStorage.checkGlobalIds`): a conversation, entry or document id claimed by\n\t * anything, or written twice; a task or submission id claimed by another type. Returns the stored types.\n\t */\n\tasync #checkIds(step: Step): Promise<Map<number, RecordType>> {\n\t\tconst stored = new Map<number, RecordType | undefined>();\n\t\tconst claimed = new Map<number, RecordType>();\n\t\tfor (const { id, type } of this.#claims) {\n\t\t\tlet existing = stored.get(id);\n\t\t\tif (!stored.has(id)) {\n\t\t\t\tconst row = await this.#tables.recordIds.get(step, [id], this.#context);\n\t\t\t\texisting = row?.record_type as RecordType | undefined;\n\t\t\t\tstored.set(id, existing);\n\t\t\t}\n\t\t\tconst earlier = claimed.get(id);\n\t\t\tif (type === \"conversation\" || type === \"entry\" || type === \"document\") {\n\t\t\t\tif (existing !== undefined) throw new Error(`ID ${id} already belongs to ${existing}`);\n\t\t\t\tif (earlier !== undefined) throw new Error(`ID ${id} is written more than once`);\n\t\t\t} else {\n\t\t\t\tif (existing !== undefined && existing !== type) throw new Error(`ID ${id} already belongs to ${existing}`);\n\t\t\t\tif (earlier !== undefined && earlier !== type) throw new Error(`ID ${id} is written as two record types`);\n\t\t\t}\n\t\t\tclaimed.set(id, type);\n\t\t}\n\t\tconst types = new Map<number, RecordType>();\n\t\tfor (const [id, type] of stored) if (type !== undefined) types.set(id, type);\n\t\treturn types;\n\t}\n\n\t/**\n\t * Durable's document checks (`SqliteStorage.checkDocumentActions`): a change or retirement of an unknown or retired\n\t * document, a delta on another version, more than one live incarnation per address after the commit. Returns the\n\t * existing records the commit changes or retires, in action order.\n\t */\n\tasync #checkDocuments(step: Step): Promise<Map<DocumentId, EngineRecord>> {\n\t\tconst existing = new Map<DocumentId, EngineRecord>();\n\t\tfor (const [id, action] of this.#actions) {\n\t\t\tif (action.create !== undefined) continue;\n\t\t\tconst stored = await readDocument(step, id);\n\t\t\tconst record = stored === undefined ? undefined : durableRecord(stored, this.#owner);\n\t\t\tif (record === undefined) throw new Error(`Unknown document: ${id}`);\n\t\t\tif (record.retiredAt !== undefined) throw new Error(`Document ${id} is retired`);\n\t\t\tconst content = action.content?.content;\n\t\t\tif (content?.kind === \"delta\" && content.version !== stored!.version) {\n\t\t\t\tthrow new Error(`Document ${id} version transition requires a base`);\n\t\t\t}\n\t\t\texisting.set(id, stored!);\n\t\t}\n\t\t/** Per address a live creation takes: its live incarnations after the commit so far. */\n\t\tconst live = new Map<string, number>();\n\t\tfor (const action of this.#actions.values()) {\n\t\t\tif (action.create === undefined || action.retire) continue;\n\t\t\tconst address = addressOf(action.create, this.#owner);\n\t\t\tconst key = JSON.stringify([address.namespace, address.kind, address.key]);\n\t\t\tlet count = live.get(key);\n\t\t\tif (count === undefined) {\n\t\t\t\t// The incarnation live there now counts unless this commit retires it.\n\t\t\t\tconst current = await findDocument(step, address);\n\t\t\t\tcount = current === undefined || this.#actions.get(current.id as DocumentId)?.retire === true ? 0 : 1;\n\t\t\t}\n\t\t\tif (++count > 1) throw new Error(\"Document address already has a current incarnation\");\n\t\t\tlive.set(key, count);\n\t\t}\n\t\treturn existing;\n\t}\n\n\t/** Puts `id`'s `record_ids` row: its record type. */\n\t#claim(step: Step, id: number, type: RecordType): Promise<StoreWrite> {\n\t\tconst table = this.#tables.recordIds;\n\t\treturn table.put(step, table.encode({ id, record_type: type }));\n\t}\n\n\t/** An existing document's content, then its retirement, as their writes. */\n\tasync #change(step: Step, record: EngineRecord, action: DocumentAction): Promise<StoreWrite[]> {\n\t\tconst writes: StoreWrite[] = [];\n\t\tlet { revision } = record;\n\t\tif (action.content !== undefined) {\n\t\t\tconst { content, text } = action.content;\n\t\t\tconst stored = engineContent(content);\n\t\t\tawait writeContent(step, record.id, record.history, revision, stored, text);\n\t\t\twrites.push({ kind: \"document.change\", id: record.id, revision, content: stored });\n\t\t\trevision++;\n\t\t}\n\t\tif (action.retire) {\n\t\t\tawait retireRecord(step, record);\n\t\t\twrites.push({ kind: \"document.retire\", id: record.id, revision });\n\t\t}\n\t\treturn writes;\n\t}\n\n\t/** A creation or a resolved copy (retired at once for a create-plus-retire, an empty lifetime), as its write. */\n\tasync #create(step: Step, create: DocumentCreate, base: StagedBase, retired: boolean): Promise<StoreWrite> {\n\t\tconst record = engineRecord(create, this.#owner, base.version, step.seq, retired);\n\t\tawait insertDocument(step, record, base.text);\n\t\tconst value = base.value as JsonValue;\n\t\treturn { kind: \"document.create\", record, base: { version: base.version, fingerprint: \"\", value } };\n\t}\n}\n\n/** A Durable content as the engine stores it: its documents have no schema fingerprint. */\nfunction engineContent(content: DocumentContent): EngineContent {\n\treturn content.kind === \"base\"\n\t\t? { kind: \"base\", version: content.version, fingerprint: \"\", value: content.value }\n\t\t: { kind: \"delta\", version: content.version, ops: content.ops };\n}\n"]}

package/dist/storage/store/documents.d.ts

@@ -0,0 +1,43 @@
+import { type DocumentEntry, type DocumentHistory, type DocumentAddress as EngineAddress, type DocumentRecord as EngineRecord } from "@earendil-works/chord/next";
+import type { SqliteExecutor } from "@earendil-works/chord/sqlite";
+import type { DocumentAddress, DocumentCreate, DocumentId, DocumentPoint, DocumentRecord, StoredDocument } from "../../types.ts";
+/** The namespaces a storage claims under its owner: Durable's scopes (Chord's namespaces never contain a `:`). */
+export declare const SCOPE_NAMESPACES: readonly ["session", "conversation:", "task:"];
+/** The engine namespace of a Durable scope: `session`, `conversation:<id>`, `task:<id>`. */
+export declare function namespaceOf(scope: DocumentRecord["scope"]): string;
+/** The engine address of a Durable address under `owner`. */
+export declare function addressOf(address: DocumentAddress | DocumentCreate, owner: string): EngineAddress;
+/** What a record of `scope` keeps: session and task documents and latest conversation ones their latest state. */
+export declare function historyOf(record: DocumentCreate | DocumentRecord): DocumentHistory;
+/**
+ * The engine record of a Durable creation at `seq` (retired at once for an empty lifetime): the Durable record itself,
+ * its creation seq included, in `meta`, so a read of a live record parses one JSON text from one column, as
+ * `SqliteStorage`'s does (a retirement later sets only the engine's `retired_at`).
+ */
+export declare function engineRecord(create: DocumentCreate, owner: string, version: number, seq: number, retired: boolean): EngineRecord;
+/**
+ * The Durable record of an engine record of this storage's owner and scopes, `undefined` for anyone else's (a Chord
+ * document, another owner's): its id is unknown to this storage.
+ */
+export declare function durableRecord(record: EngineRecord, owner: string): DocumentRecord | undefined;
+/** The Durable record of an engine entry read at one of this storage's addresses or scopes (the record in `meta`). */
+export declare function recordOfEntry(entry: DocumentEntry): DocumentRecord;
+/** Whether a document is alive at `at` (the half-open lifetime). */
+export declare function aliveAt(record: DocumentRecord, at: DocumentPoint): boolean;
+/**
+ * A document read at a point, as a tagged result: request errors are told after the guarded read (slice 6b §1.4),
+ * never thrown inside it.
+ */
+export type DocumentRead = {
+    readonly kind: "found";
+    readonly document: StoredDocument | undefined;
+} | {
+    readonly kind: "current_only";
+    readonly id: DocumentId;
+};
+/**
+ * Document `id` of `owner` at `at`: absent (unknown, someone else's, not alive at `at`), a record whose history does
+ * not reach back to `at`, or its value from the base at or below `at` and the deltas up to it.
+ */
+export declare function readAt(executor: Pick<SqliteExecutor, "get" | "all">, id: DocumentId, at: DocumentPoint, owner: string): Promise<DocumentRead>;
+//# sourceMappingURL=documents.d.ts.map

package/dist/storage/store/documents.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"documents.d.ts","sourceRoot":"","sources":["../../../src/storage/store/documents.ts"],"names":[],"mappings":"AAKA,OAAO,EACN,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,eAAe,IAAI,aAAa,EAErC,KAAK,cAAc,IAAI,YAAY,EAGnC,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAEnE,OAAO,KAAK,EACX,eAAe,EACf,cAAc,EACd,UAAU,EACV,aAAa,EACb,cAAc,EAEd,cAAc,EACd,MAAM,gBAAgB,CAAC;AAGxB,kHAAkH;AAClH,eAAO,MAAM,gBAAgB,YAAI,SAAS,EAAE,eAAe,EAAE,OAAO,CAAU,CAAC;AAE/E,4FAA4F;AAC5F,wBAAgB,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,GAAG,MAAM,CASlE;AAED,6DAA6D;AAC7D,wBAAgB,SAAS,CAAC,OAAO,EAAE,eAAe,GAAG,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,aAAa,CAGjG;AAED,kHAAkH;AAClH,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,GAAG,eAAe,CAElF;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAC3B,MAAM,EAAE,cAAc,EACtB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,OAAO,EAAE,OAAO,GACd,YAAY,CAYd;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAI7F;AAED,sHAAsH;AACtH,wBAAgB,aAAa,CAAC,KAAK,EAAE,aAAa,GAAG,cAAc,CAKlE;AASD,oEAAoE;AACpE,wBAAgB,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,GAAG,OAAO,CAG1E;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAA;CAAE,CAAC;AAE9D;;;GAGG;AACH,wBAAsB,MAAM,CAC3B,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,GAAG,KAAK,CAAC,EAC7C,EAAE,EAAE,UAAU,EACd,EAAE,EAAE,aAAa,EACjB,KAAK,EAAE,MAAM,GACX,OAAO,CAAC,YAAY,CAAC,CAgBvB"}

package/dist/storage/store/documents.js

@@ -0,0 +1,102 @@
+// Durable's documents in the store's documents engine (slice 6b §1.5, R1): a Durable address as an engine address
+// under the storage's owner name (its scope as the namespace, its kind and key JSON-encoded as Durable's indexed
+// strings), a Durable record as an engine record and back (the Durable record in `meta`), and a document read at a
+// point.
+import { loadContent, readDocumentEntry, } from "@earendil-works/chord/next";
+import { seqFromNumber } from "../../ids.js";
+import { encodeIndexed } from "./tables.js";
+/** The namespaces a storage claims under its owner: Durable's scopes (Chord's namespaces never contain a `:`). */
+export const SCOPE_NAMESPACES = ["session", "conversation:", "task:"];
+/** The engine namespace of a Durable scope: `session`, `conversation:<id>`, `task:<id>`. */
+export function namespaceOf(scope) {
+    switch (scope.kind) {
+        case "session":
+            return "session";
+        case "conversation":
+            return `conversation:${scope.conversationId}`;
+        case "task":
+            return `task:${scope.taskId}`;
+    }
+}
+/** The engine address of a Durable address under `owner`. */
+export function addressOf(address, owner) {
+    const at = { owner, namespace: namespaceOf(address.scope), kind: encodeIndexed(address.kind) };
+    return address.key === undefined ? at : { ...at, key: encodeIndexed(address.key) };
+}
+/** What a record of `scope` keeps: session and task documents and latest conversation ones their latest state. */
+export function historyOf(record) {
+    return record.scope.kind === "conversation" && record.history === "rewindable" ? "rewindable" : "latest";
+}
+/**
+ * The engine record of a Durable creation at `seq` (retired at once for an empty lifetime): the Durable record itself,
+ * its creation seq included, in `meta`, so a read of a live record parses one JSON text from one column, as
+ * `SqliteStorage`'s does (a retirement later sets only the engine's `retired_at`).
+ */
+export function engineRecord(create, owner, version, seq, retired) {
+    return {
+        id: create.id,
+        ...addressOf(create, owner),
+        history: historyOf(create),
+        createdAt: seq,
+        ...(retired ? { retiredAt: seq } : {}),
+        meta: JSON.stringify({ ...create, createdAt: seq }),
+        revision: 1,
+        version,
+        fingerprint: "",
+    };
+}
+/**
+ * The Durable record of an engine record of this storage's owner and scopes, `undefined` for anyone else's (a Chord
+ * document, another owner's): its id is unknown to this storage.
+ */
+export function durableRecord(record, owner) {
+    const { meta } = record;
+    if (meta === undefined || !ownedHere(record, owner))
+        return undefined;
+    return recordOfEntry({ meta, retired_at: record.retiredAt ?? null });
+}
+/** The Durable record of an engine entry read at one of this storage's addresses or scopes (the record in `meta`). */
+export function recordOfEntry(entry) {
+    // Written by `engineRecord`, parsed fresh: a retirement since is set on it in place.
+    const record = JSON.parse(entry.meta);
+    if (entry.retired_at !== undefined && entry.retired_at !== null)
+        record.retiredAt = seqFromNumber(entry.retired_at);
+    return record;
+}
+/** Whether a record is this storage's: `owner`'s, in one of Durable's scopes (not a Chord document of the owner). */
+function ownedHere(record, owner) {
+    const { namespace } = record;
+    if (record.owner !== owner)
+        return false;
+    return namespace === "session" || namespace.startsWith("conversation:") || namespace.startsWith("task:");
+}
+/** Whether a document is alive at `at` (the half-open lifetime). */
+export function aliveAt(record, at) {
+    if (at === "current")
+        return record.retiredAt === undefined;
+    return record.createdAt <= at && (record.retiredAt === undefined || at < record.retiredAt);
+}
+/**
+ * Document `id` of `owner` at `at`: absent (unknown, someone else's, not alive at `at`), a record whose history does
+ * not reach back to `at`, or its value from the base at or below `at` and the deltas up to it.
+ */
+export async function readAt(executor, id, at, owner) {
+    const entry = await readDocumentEntry(executor, id);
+    if (entry === undefined || entry.meta === null || !ownedHere(entry, owner)) {
+        return { kind: "found", document: undefined };
+    }
+    const record = recordOfEntry(entry);
+    if (at !== "current" && entry.history !== "rewindable")
+        return { kind: "current_only", id };
+    if (!aliveAt(record, at))
+        return { kind: "found", document: undefined };
+    const point = at;
+    const loaded = await loadContent(executor, id, point);
+    // The engine stores what Durable's commits gave it: JSON objects.
+    const value = loaded.value;
+    return {
+        kind: "found",
+        document: { record, version: loaded.version, value, deltasSinceBase: loaded.deltasSinceBase },
+    };
+}
+//# sourceMappingURL=documents.js.map

package/dist/storage/store/documents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documents.js","sourceRoot":"","sources":["../../../src/storage/store/documents.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,iHAAiH;AACjH,mHAAmH;AACnH,SAAS;AAET,OAAO,EAMN,WAAW,EACX,iBAAiB,GACjB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAU7C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,kHAAkH;AAClH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,eAAe,EAAE,OAAO,CAAU,CAAC;AAE/E,4FAA4F;AAC5F,MAAM,UAAU,WAAW,CAAC,KAA8B;IACzD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,SAAS;YACb,OAAO,SAAS,CAAC;QAClB,KAAK,cAAc;YAClB,OAAO,gBAAgB,KAAK,CAAC,cAAc,EAAE,CAAC;QAC/C,KAAK,MAAM;YACV,OAAO,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;IAChC,CAAC;AACF,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,SAAS,CAAC,OAAyC,EAAE,KAAa;IACjF,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC/F,OAAO,OAAO,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;AACpF,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,SAAS,CAAC,MAAuC;IAChE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,MAAM,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC3B,MAAsB,EACtB,KAAa,EACb,OAAe,EACf,GAAW,EACX,OAAgB;IAEhB,OAAO;QACN,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC;QAC3B,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC;QAC1B,SAAS,EAAE,GAAG;QACd,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QACnD,QAAQ,EAAE,CAAC;QACX,OAAO;QACP,WAAW,EAAE,EAAE;KACf,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,MAAoB,EAAE,KAAa;IAChE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACxB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACtE,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,aAAa,CAAC,KAAoB;IACjD,qFAAqF;IACrF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAK,CAAiE,CAAC;IACvG,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI;QAAE,MAAM,CAAC,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACpH,OAAO,MAAwB,CAAC;AACjC,CAAC;AAED,qHAAqH;AACrH,SAAS,SAAS,CAAC,MAA8D,EAAE,KAAa;IAC/F,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;IAC7B,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AAC1G,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,OAAO,CAAC,MAAsB,EAAE,EAAiB;IAChE,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC;IAC5D,OAAO,MAAM,CAAC,SAAS,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;AAC5F,CAAC;AAUD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAC3B,QAA6C,EAC7C,EAAc,EACd,EAAiB,EACjB,KAAa;IAEb,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;QAC5E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,EAAE,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC;IAC5F,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;IACxE,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACtD,kEAAkE;IAClE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAmB,CAAC;IACzC,OAAO;QACN,IAAI,EAAE,OAAO;QACb,QAAQ,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE;KAC7F,CAAC;AACH,CAAC","sourcesContent":["// Durable's documents in the store's documents engine (slice 6b §1.5, R1): a Durable address as an engine address\n// under the storage's owner name (its scope as the namespace, its kind and key JSON-encoded as Durable's indexed\n// strings), a Durable record as an engine record and back (the Durable record in `meta`), and a document read at a\n// point.\n\nimport {\n\ttype DocumentEntry,\n\ttype DocumentHistory,\n\ttype DocumentAddress as EngineAddress,\n\ttype DocumentPoint as EnginePoint,\n\ttype DocumentRecord as EngineRecord,\n\tloadContent,\n\treadDocumentEntry,\n} from \"@earendil-works/chord/next\";\nimport type { SqliteExecutor } from \"@earendil-works/chord/sqlite\";\nimport { seqFromNumber } from \"../../ids.ts\";\nimport type {\n\tDocumentAddress,\n\tDocumentCreate,\n\tDocumentId,\n\tDocumentPoint,\n\tDocumentRecord,\n\tJsonObject,\n\tStoredDocument,\n} from \"../../types.ts\";\nimport { encodeIndexed } from \"./tables.ts\";\n\n/** The namespaces a storage claims under its owner: Durable's scopes (Chord's namespaces never contain a `:`). */\nexport const SCOPE_NAMESPACES = [\"session\", \"conversation:\", \"task:\"] as const;\n\n/** The engine namespace of a Durable scope: `session`, `conversation:<id>`, `task:<id>`. */\nexport function namespaceOf(scope: DocumentRecord[\"scope\"]): string {\n\tswitch (scope.kind) {\n\t\tcase \"session\":\n\t\t\treturn \"session\";\n\t\tcase \"conversation\":\n\t\t\treturn `conversation:${scope.conversationId}`;\n\t\tcase \"task\":\n\t\t\treturn `task:${scope.taskId}`;\n\t}\n}\n\n/** The engine address of a Durable address under `owner`. */\nexport function addressOf(address: DocumentAddress | DocumentCreate, owner: string): EngineAddress {\n\tconst at = { owner, namespace: namespaceOf(address.scope), kind: encodeIndexed(address.kind) };\n\treturn address.key === undefined ? at : { ...at, key: encodeIndexed(address.key) };\n}\n\n/** What a record of `scope` keeps: session and task documents and latest conversation ones their latest state. */\nexport function historyOf(record: DocumentCreate | DocumentRecord): DocumentHistory {\n\treturn record.scope.kind === \"conversation\" && record.history === \"rewindable\" ? \"rewindable\" : \"latest\";\n}\n\n/**\n * The engine record of a Durable creation at `seq` (retired at once for an empty lifetime): the Durable record itself,\n * its creation seq included, in `meta`, so a read of a live record parses one JSON text from one column, as\n * `SqliteStorage`'s does (a retirement later sets only the engine's `retired_at`).\n */\nexport function engineRecord(\n\tcreate: DocumentCreate,\n\towner: string,\n\tversion: number,\n\tseq: number,\n\tretired: boolean,\n): EngineRecord {\n\treturn {\n\t\tid: create.id,\n\t\t...addressOf(create, owner),\n\t\thistory: historyOf(create),\n\t\tcreatedAt: seq,\n\t\t...(retired ? { retiredAt: seq } : {}),\n\t\tmeta: JSON.stringify({ ...create, createdAt: seq }),\n\t\trevision: 1,\n\t\tversion,\n\t\tfingerprint: \"\",\n\t};\n}\n\n/**\n * The Durable record of an engine record of this storage's owner and scopes, `undefined` for anyone else's (a Chord\n * document, another owner's): its id is unknown to this storage.\n */\nexport function durableRecord(record: EngineRecord, owner: string): DocumentRecord | undefined {\n\tconst { meta } = record;\n\tif (meta === undefined || !ownedHere(record, owner)) return undefined;\n\treturn recordOfEntry({ meta, retired_at: record.retiredAt ?? null });\n}\n\n/** The Durable record of an engine entry read at one of this storage's addresses or scopes (the record in `meta`). */\nexport function recordOfEntry(entry: DocumentEntry): DocumentRecord {\n\t// Written by `engineRecord`, parsed fresh: a retirement since is set on it in place.\n\tconst record = JSON.parse(entry.meta!) as { -readonly [K in keyof DocumentRecord]: DocumentRecord[K] };\n\tif (entry.retired_at !== undefined && entry.retired_at !== null) record.retiredAt = seqFromNumber(entry.retired_at);\n\treturn record as DocumentRecord;\n}\n\n/** Whether a record is this storage's: `owner`'s, in one of Durable's scopes (not a Chord document of the owner). */\nfunction ownedHere(record: { readonly owner: string; readonly namespace: string }, owner: string): boolean {\n\tconst { namespace } = record;\n\tif (record.owner !== owner) return false;\n\treturn namespace === \"session\" || namespace.startsWith(\"conversation:\") || namespace.startsWith(\"task:\");\n}\n\n/** Whether a document is alive at `at` (the half-open lifetime). */\nexport function aliveAt(record: DocumentRecord, at: DocumentPoint): boolean {\n\tif (at === \"current\") return record.retiredAt === undefined;\n\treturn record.createdAt <= at && (record.retiredAt === undefined || at < record.retiredAt);\n}\n\n/**\n * A document read at a point, as a tagged result: request errors are told after the guarded read (slice 6b §1.4),\n * never thrown inside it.\n */\nexport type DocumentRead =\n\t| { readonly kind: \"found\"; readonly document: StoredDocument | undefined }\n\t| { readonly kind: \"current_only\"; readonly id: DocumentId };\n\n/**\n * Document `id` of `owner` at `at`: absent (unknown, someone else's, not alive at `at`), a record whose history does\n * not reach back to `at`, or its value from the base at or below `at` and the deltas up to it.\n */\nexport async function readAt(\n\texecutor: Pick<SqliteExecutor, \"get\" | \"all\">,\n\tid: DocumentId,\n\tat: DocumentPoint,\n\towner: string,\n): Promise<DocumentRead> {\n\tconst entry = await readDocumentEntry(executor, id);\n\tif (entry === undefined || entry.meta === null || !ownedHere(entry, owner)) {\n\t\treturn { kind: \"found\", document: undefined };\n\t}\n\tconst record = recordOfEntry(entry);\n\tif (at !== \"current\" && entry.history !== \"rewindable\") return { kind: \"current_only\", id };\n\tif (!aliveAt(record, at)) return { kind: \"found\", document: undefined };\n\tconst point: EnginePoint = at;\n\tconst loaded = await loadContent(executor, id, point);\n\t// The engine stores what Durable's commits gave it: JSON objects.\n\tconst value = loaded.value as JsonObject;\n\treturn {\n\t\tkind: \"found\",\n\t\tdocument: { record, version: loaded.version, value, deltasSinceBase: loaded.deltasSinceBase },\n\t};\n}\n"]}

package/dist/storage/store/index.d.ts

@@ -0,0 +1,2 @@
+export { StoreStorage } from "./storage.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/storage/store/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/storage/store/index.js

@@ -0,0 +1,2 @@
+export { StoreStorage } from "./storage.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/storage/store/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC","sourcesContent":["export { StoreStorage } from \"./storage.ts\";\n"]}

package/dist/storage/store/queries.d.ts

@@ -0,0 +1,49 @@
+import type { Context } from "@earendil-works/chord";
+import type { OwnerTable } from "@earendil-works/chord/next";
+import type { SqliteExecutor, SqliteValue } from "@earendil-works/chord/sqlite";
+import type { CommitTables } from "./commit.ts";
+/**
+ * A stored row as a query selects it: the record cell, its version (selected only once the column has versions past
+ * 1), and an entry's commit seq.
+ */
+type RecordRow = {
+    readonly record: string;
+    readonly record$v?: number;
+    readonly commit_seq?: number;
+};
+/** One condition of a read: a column, how it compares, its value; a call site keeps one order of them. */
+export type Condition = readonly [string, "eq" | "gt" | "lt" | "gte" | "lte", SqliteValue];
+/**
+ * One table's compiled reads: by id (with the `byIdExtra` columns), and by shape (conditions in binding order, an
+ * order; the record only), each shape compiled at its first use.
+ */
+export declare class TableQueries {
+    #private;
+    constructor(table: OwnerTable, byIdExtra?: readonly string[]);
+    /** The row with `id`, `undefined` when absent. */
+    byId(executor: Pick<SqliteExecutor, "get">, id: number): Promise<RecordRow | undefined>;
+    /** Up to `limit` rows whose `conditions` hold, by id in `direction`. */
+    select(executor: Pick<SqliteExecutor, "all">, conditions: readonly Condition[], direction: "ascending" | "descending", limit: number): Promise<RecordRow[]>;
+    /** The first row whose `conditions` hold, by id in `direction`; `undefined` when none does. */
+    first(executor: Pick<SqliteExecutor, "get">, conditions: readonly Condition[], direction: "ascending" | "descending"): Promise<RecordRow | undefined>;
+    /** A row's record, read as its column's (version checked, migrated on access). */
+    record<T>(row: RecordRow, context: Context): T;
+    /** Appends the records of `rows` to `into`, in order, each read as `record` reads it (one check per call). */
+    records<T>(rows: readonly RecordRow[], into: T[], context: Context): void;
+}
+/** The compiled reads of the storage's tables. */
+export type StorageQueries = {
+    readonly conversations: TableQueries;
+    readonly entries: TableQueries;
+    /** The id of a conversation's newest entry with a head marker: any, or at or before an id (bound second). */
+    readonly latestHead: {
+        readonly any: string;
+        readonly atOrBefore: string;
+    };
+    readonly tasks: TableQueries;
+    readonly submissions: TableQueries;
+};
+/** The reads of `tables`. */
+export declare function storageQueries(tables: CommitTables): StorageQueries;
+export {};
+//# sourceMappingURL=queries.d.ts.map

package/dist/storage/store/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../../../src/storage/store/queries.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,KAAK,EAAS,UAAU,EAAa,MAAM,4BAA4B,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD;;;GAGG;AACH,KAAK,SAAS,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvG,0GAA0G;AAC1G,MAAM,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,EAAE,WAAW,CAAC,CAAC;AAW3F;;;GAGG;AACH,qBAAa,YAAY;;IAQxB,YAAY,KAAK,EAAE,UAAU,EAAE,SAAS,GAAE,SAAS,MAAM,EAAO,EAM/D;IAED,kDAAkD;IAClD,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAEtF;IAED,wEAAwE;IACxE,MAAM,CACL,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,SAAS,EAAE,WAAW,GAAG,YAAY,EACrC,KAAK,EAAE,MAAM,GACX,OAAO,CAAC,SAAS,EAAE,CAAC,CAGtB;IAED,+FAA+F;IAC/F,KAAK,CACJ,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,SAAS,EAAE,WAAW,GAAG,YAAY,GACnC,OAAO,CAAC,SAAS,GAAG,SAAS,CAAC,CAGhC;IAED,kFAAkF;IAClF,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,GAAG,CAAC,CAI7C;IAED,8GAA8G;IAC9G,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAOxE;CAmBD;AAED,kDAAkD;AAClD,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,aAAa,EAAE,YAAY,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,6GAA6G;IAC7G,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3E,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC;CACnC,CAAC;AAEF,6BAA6B;AAC7B,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,cAAc,CAgBnE"}