@earendil-works/chord 1.5.0 → 1.5.1

package/dist/store/archive.d.ts

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

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

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

package/dist/store/archive.js

@@ -0,0 +1,130 @@
+// Archives and recorded commits as they cross a trust boundary (slice 6a §13, slice 6b §1.6; decisions "Export archives
+// are operations", "Writes carry their versions; archives are lossless"): the parts an export yields and an import
+// takes, their order, and the compiled schemas every imported part and every applied write is checked against first.
+import { arr, bool, int, lit, map, num, obj, opt, str, union, unknown, } from "../contracts/index.js";
+import { invalid, validatorFor } from "../data/internal.js";
+import { chordMetrics } from "../telemetry.js";
+/** The archive format `export` writes; `import` takes this one only. */
+export const ARCHIVE_FORMAT = 1;
+/** An integer from `min` up to 2^53 - 1: seqs, ids, versions and counts stay exact (a seq after 2^53 would repeat). */
+function safe(min) {
+    return int({ min, max: Number.MAX_SAFE_INTEGER });
+}
+const version = safe(1);
+const column = obj({
+    type: union([lit("str"), lit("int"), lit("num"), lit("bool"), lit("json")]),
+    optional: opt(lit(true)),
+    default: opt(union([str(), num(), bool()])),
+    version: opt(version),
+    fingerprint: opt(str()),
+});
+const versions = map(version);
+const TABLE = obj({
+    kind: lit("table"),
+    table: str(),
+    version,
+    state: union([lit("ready"), lit("migrating")]),
+    columns: map(column),
+    key: arr(str()),
+    fingerprint: str(),
+});
+const PUT = obj({
+    kind: lit("put"),
+    table: str(),
+    row: map(unknown()),
+    version,
+    columns: versions,
+});
+const INDEX = obj({ kind: lit("index"), table: str(), name: str(), columns: arr(str()) });
+const RECORD = obj({
+    id: safe(1),
+    owner: str(),
+    namespace: str(),
+    kind: str(),
+    // Absent for a singleton.
+    key: opt(str()),
+    history: union([lit("none"), lit("latest"), lit("rewindable")]),
+    createdAt: safe(1),
+    retiredAt: opt(safe(1)),
+    meta: opt(str()),
+    revision: safe(1),
+    version,
+    fingerprint: str(),
+});
+const BASE = obj({ version, fingerprint: str(), value: unknown() });
+/** A delta's ops; their shapes are checked where they are applied. */
+const ops = arr(unknown());
+const REVISION = obj({
+    kind: lit("document.revision"),
+    id: safe(1),
+    seq: safe(1),
+    content: union([obj({ kind: lit("base"), version, value: unknown() }), obj({ kind: lit("delta"), version, ops })]),
+});
+const PART = union([
+    obj({ kind: lit("manifest"), format: safe(1), schema: safe(1), lastSeq: safe(0), nextId: safe(1) }),
+    TABLE,
+    PUT,
+    INDEX,
+    obj({ kind: lit("document.create"), record: RECORD }),
+    REVISION,
+    obj({ kind: lit("end"), writes: safe(0) }),
+]);
+const count = safe(0);
+const edit = union([
+    obj({ kind: lit("rename"), from: str(), to: str() }),
+    obj({ kind: lit("add"), name: str(), column }),
+    obj({ kind: lit("drop"), name: str() }),
+    obj({ kind: lit("json"), name: str(), column }),
+]);
+const key = map(union([str(), num(), bool()]));
+/** One recorded write of a commit (a batch's); `where` and `set` nodes are checked by the applier. */
+const WRITE = union([
+    TABLE,
+    PUT,
+    INDEX,
+    obj({ kind: lit("dropIndex"), table: str(), name: str() }),
+    obj({ kind: lit("alter"), table: str(), version, edit }),
+    obj({ kind: lit("update"), table: str(), key, set: unknown(), columns: versions, count, version: opt(version) }),
+    obj({ kind: lit("delete"), table: str(), key, count }),
+    obj({
+        kind: lit("updateWhere"),
+        table: str(),
+        where: unknown(),
+        set: unknown(),
+        columns: versions,
+        count,
+        version: opt(version),
+    }),
+    obj({ kind: lit("deleteWhere"), table: str(), where: unknown(), count }),
+    obj({ kind: lit("document.create"), record: RECORD, base: BASE }),
+    obj({
+        kind: lit("document.change"),
+        id: safe(1),
+        revision: safe(1),
+        content: union([
+            obj({ kind: lit("base"), version, fingerprint: str(), value: unknown() }),
+            obj({ kind: lit("delta"), version, ops }),
+        ]),
+    }),
+    obj({ kind: lit("document.retire"), id: safe(1), revision: safe(1) }),
+]);
+const PART_SCHEMA = { schema: PART };
+const WRITE_SCHEMA = { schema: WRITE };
+/** Checks one imported part against the archive schema (a trust boundary); `invalid/args` naming its position. */
+export function checkPart(part, position, context) {
+    chordMetrics(context.telemetry.metrics).counter("chord.data.validations").add(1);
+    if (!validatorFor(PART_SCHEMA, context).check(part)) {
+        throw invalid("args", `import: part ${position}: not an archive part`);
+    }
+    // The check above establishes the type.
+    return part;
+}
+/** Checks one write of a batch's commit against the write schema (a trust boundary); `what` names its place. */
+export function checkWrite(write, what, context) {
+    chordMetrics(context.telemetry.metrics).counter("chord.data.validations").add(1);
+    if (!validatorFor(WRITE_SCHEMA, context).check(write))
+        throw invalid("args", `${what}: not a store write`);
+    // The check above establishes the type, the nodes aside (the applier checks them).
+    return write;
+}
+//# sourceMappingURL=archive.js.map

package/dist/store/archive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"archive.js","sourceRoot":"","sources":["../../src/store/archive.ts"],"names":[],"mappings":"AAAA,wHAAwH;AACxH,mHAAmH;AACnH,qHAAqH;AAGrH,OAAO,EACN,GAAG,EACH,IAAI,EAEJ,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,GAAG,EACH,KAAK,EACL,OAAO,GACP,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAK/C,wEAAwE;AACxE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAsBhC,uHAAuH;AACvH,SAAS,IAAI,CAAC,GAAW;IACxB,OAAO,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAExB,MAAM,MAAM,GAAG,GAAG,CAAC;IAClB,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC;IACrB,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;CACvB,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;AAE9B,MAAM,KAAK,GAAG,GAAG,CAAC;IACjB,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC;IAClB,KAAK,EAAE,GAAG,EAAE;IACZ,OAAO;IACP,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9C,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC;IACpB,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IACf,WAAW,EAAE,GAAG,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,GAAG,CAAC;IACf,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC;IAChB,KAAK,EAAE,GAAG,EAAE;IACZ,GAAG,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IACnB,OAAO;IACP,OAAO,EAAE,QAAQ;CACjB,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AAE1F,MAAM,MAAM,GAAG,GAAG,CAAC;IAClB,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACX,KAAK,EAAE,GAAG,EAAE;IACZ,SAAS,EAAE,GAAG,EAAE;IAChB,IAAI,EAAE,GAAG,EAAE;IACX,0BAA0B;IAC1B,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IACf,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAC/D,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;IAClB,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAChB,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACjB,OAAO;IACP,WAAW,EAAE,GAAG,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;AAEpE,sEAAsE;AACtE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;AAE3B,MAAM,QAAQ,GAAG,GAAG,CAAC;IACpB,IAAI,EAAE,GAAG,CAAC,mBAAmB,CAAC;IAC9B,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACX,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACZ,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAClH,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,KAAK,CAAC;IAClB,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IACnG,KAAK;IACL,GAAG;IACH,KAAK;IACL,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrD,QAAQ;IACR,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;CAC1C,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEtB,MAAM,IAAI,GAAG,KAAK,CAAC;IAClB,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC;IACpD,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;IAC9C,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;IACvC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC;CAC/C,CAAC,CAAC;AAEH,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAE/C,sGAAsG;AACtG,MAAM,KAAK,GAAG,KAAK,CAAC;IACnB,KAAK;IACL,GAAG;IACH,KAAK;IACL,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;IAC1D,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxD,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;IAChH,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACtD,GAAG,CAAC;QACH,IAAI,EAAE,GAAG,CAAC,aAAa,CAAC;QACxB,KAAK,EAAE,GAAG,EAAE;QACZ,KAAK,EAAE,OAAO,EAAE;QAChB,GAAG,EAAE,OAAO,EAAE;QACd,OAAO,EAAE,QAAQ;QACjB,KAAK;QACL,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC;KACrB,CAAC;IACF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC;IACxE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACjE,GAAG,CAAC;QACH,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC;QAC5B,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACX,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;QACjB,OAAO,EAAE,KAAK,CAAC;YACd,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC;YACzE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACzC,CAAC;KACF,CAAC;IACF,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;CACrE,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAErC,MAAM,YAAY,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAEvC,kHAAkH;AAClH,MAAM,UAAU,SAAS,CAAC,IAAa,EAAE,QAAgB,EAAE,OAAgB;IAC1E,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,OAAO,CAAC,MAAM,EAAE,gBAAgB,QAAQ,uBAAuB,CAAC,CAAC;IACxE,CAAC;IACD,wCAAwC;IACxC,OAAO,IAAmB,CAAC;AAC5B,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,UAAU,CAAC,KAAc,EAAE,IAAY,EAAE,OAAgB;IACxE,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;IAC3G,mFAAmF;IACnF,OAAO,KAAmB,CAAC;AAC5B,CAAC","sourcesContent":["// Archives and recorded commits as they cross a trust boundary (slice 6a §13, slice 6b §1.6; decisions \"Export archives\n// are operations\", \"Writes carry their versions; archives are lossless\"): the parts an export yields and an import\n// takes, their order, and the compiled schemas every imported part and every applied write is checked against first.\n\nimport type { Context } from \"../context/index.ts\";\nimport {\n\tarr,\n\tbool,\n\ttype IntegerSchema,\n\tint,\n\tlit,\n\tmap,\n\tnum,\n\tobj,\n\topt,\n\tstr,\n\tunion,\n\tunknown,\n} from \"../contracts/index.ts\";\nimport { invalid, validatorFor } from \"../data/internal.ts\";\nimport { chordMetrics } from \"../telemetry.ts\";\nimport type { DocumentWrite } from \"./engine.ts\";\nimport type { TableWrite } from \"./table-writes.ts\";\nimport type { StoreWrite } from \"./writes.ts\";\n\n/** The archive format `export` writes; `import` takes this one only. */\nexport const ARCHIVE_FORMAT = 1;\n\n/** The first part: the format, the store's schema version, its `lastSeq` and the allocator's next id (rule 24, D3). */\nexport type ArchiveManifest = {\n\treadonly kind: \"manifest\";\n\treadonly format: number;\n\treadonly schema: number;\n\treadonly lastSeq: number;\n\treadonly nextId: number;\n};\n\n/**\n * One part of an archive, in this order: the manifest; per table (by SQL name) its `table` write, its `put`s and its\n * `index` writes; per document record (by id, live and retired) its `document.create` without a base, then its kept\n * revisions in seq order; `end` with the count of the parts between.\n */\nexport type ArchivePart =\n\t| ArchiveManifest\n\t| Extract<TableWrite, { readonly kind: \"table\" | \"put\" | \"index\" }>\n\t| Extract<DocumentWrite, { readonly kind: \"document.create\" | \"document.revision\" }>\n\t| { readonly kind: \"end\"; readonly writes: number };\n\n/** An integer from `min` up to 2^53 - 1: seqs, ids, versions and counts stay exact (a seq after 2^53 would repeat). */\nfunction safe(min: number): IntegerSchema {\n\treturn int({ min, max: Number.MAX_SAFE_INTEGER });\n}\n\nconst version = safe(1);\n\nconst column = obj({\n\ttype: union([lit(\"str\"), lit(\"int\"), lit(\"num\"), lit(\"bool\"), lit(\"json\")]),\n\toptional: opt(lit(true)),\n\tdefault: opt(union([str(), num(), bool()])),\n\tversion: opt(version),\n\tfingerprint: opt(str()),\n});\n\nconst versions = map(version);\n\nconst TABLE = obj({\n\tkind: lit(\"table\"),\n\ttable: str(),\n\tversion,\n\tstate: union([lit(\"ready\"), lit(\"migrating\")]),\n\tcolumns: map(column),\n\tkey: arr(str()),\n\tfingerprint: str(),\n});\n\nconst PUT = obj({\n\tkind: lit(\"put\"),\n\ttable: str(),\n\trow: map(unknown()),\n\tversion,\n\tcolumns: versions,\n});\n\nconst INDEX = obj({ kind: lit(\"index\"), table: str(), name: str(), columns: arr(str()) });\n\nconst RECORD = obj({\n\tid: safe(1),\n\towner: str(),\n\tnamespace: str(),\n\tkind: str(),\n\t// Absent for a singleton.\n\tkey: opt(str()),\n\thistory: union([lit(\"none\"), lit(\"latest\"), lit(\"rewindable\")]),\n\tcreatedAt: safe(1),\n\tretiredAt: opt(safe(1)),\n\tmeta: opt(str()),\n\trevision: safe(1),\n\tversion,\n\tfingerprint: str(),\n});\n\nconst BASE = obj({ version, fingerprint: str(), value: unknown() });\n\n/** A delta's ops; their shapes are checked where they are applied. */\nconst ops = arr(unknown());\n\nconst REVISION = obj({\n\tkind: lit(\"document.revision\"),\n\tid: safe(1),\n\tseq: safe(1),\n\tcontent: union([obj({ kind: lit(\"base\"), version, value: unknown() }), obj({ kind: lit(\"delta\"), version, ops })]),\n});\n\nconst PART = union([\n\tobj({ kind: lit(\"manifest\"), format: safe(1), schema: safe(1), lastSeq: safe(0), nextId: safe(1) }),\n\tTABLE,\n\tPUT,\n\tINDEX,\n\tobj({ kind: lit(\"document.create\"), record: RECORD }),\n\tREVISION,\n\tobj({ kind: lit(\"end\"), writes: safe(0) }),\n]);\n\nconst count = safe(0);\n\nconst edit = union([\n\tobj({ kind: lit(\"rename\"), from: str(), to: str() }),\n\tobj({ kind: lit(\"add\"), name: str(), column }),\n\tobj({ kind: lit(\"drop\"), name: str() }),\n\tobj({ kind: lit(\"json\"), name: str(), column }),\n]);\n\nconst key = map(union([str(), num(), bool()]));\n\n/** One recorded write of a commit (a batch's); `where` and `set` nodes are checked by the applier. */\nconst WRITE = union([\n\tTABLE,\n\tPUT,\n\tINDEX,\n\tobj({ kind: lit(\"dropIndex\"), table: str(), name: str() }),\n\tobj({ kind: lit(\"alter\"), table: str(), version, edit }),\n\tobj({ kind: lit(\"update\"), table: str(), key, set: unknown(), columns: versions, count, version: opt(version) }),\n\tobj({ kind: lit(\"delete\"), table: str(), key, count }),\n\tobj({\n\t\tkind: lit(\"updateWhere\"),\n\t\ttable: str(),\n\t\twhere: unknown(),\n\t\tset: unknown(),\n\t\tcolumns: versions,\n\t\tcount,\n\t\tversion: opt(version),\n\t}),\n\tobj({ kind: lit(\"deleteWhere\"), table: str(), where: unknown(), count }),\n\tobj({ kind: lit(\"document.create\"), record: RECORD, base: BASE }),\n\tobj({\n\t\tkind: lit(\"document.change\"),\n\t\tid: safe(1),\n\t\trevision: safe(1),\n\t\tcontent: union([\n\t\t\tobj({ kind: lit(\"base\"), version, fingerprint: str(), value: unknown() }),\n\t\t\tobj({ kind: lit(\"delta\"), version, ops }),\n\t\t]),\n\t}),\n\tobj({ kind: lit(\"document.retire\"), id: safe(1), revision: safe(1) }),\n]);\n\nconst PART_SCHEMA = { schema: PART };\n\nconst WRITE_SCHEMA = { schema: WRITE };\n\n/** Checks one imported part against the archive schema (a trust boundary); `invalid/args` naming its position. */\nexport function checkPart(part: unknown, position: number, context: Context): ArchivePart {\n\tchordMetrics(context.telemetry.metrics).counter(\"chord.data.validations\").add(1);\n\tif (!validatorFor(PART_SCHEMA, context).check(part)) {\n\t\tthrow invalid(\"args\", `import: part ${position}: not an archive part`);\n\t}\n\t// The check above establishes the type.\n\treturn part as ArchivePart;\n}\n\n/** Checks one write of a batch's commit against the write schema (a trust boundary); `what` names its place. */\nexport function checkWrite(write: unknown, what: string, context: Context): StoreWrite {\n\tchordMetrics(context.telemetry.metrics).counter(\"chord.data.validations\").add(1);\n\tif (!validatorFor(WRITE_SCHEMA, context).check(write)) throw invalid(\"args\", `${what}: not a store write`);\n\t// The check above establishes the type, the nodes aside (the applier checks them).\n\treturn write as StoreWrite;\n}\n"]}

package/dist/store/backend.d.ts

@@ -0,0 +1,10 @@
+import type { SqliteDatabase } from "../sqlite/index.ts";
+/** A backend for `openStore` and `importStore`: opaque to apps, owned by the store once given to it. */
+export declare class Backend {
+    /** The database the store runs its SQL on. */
+    readonly db: SqliteDatabase;
+    constructor(db: SqliteDatabase);
+}
+/** A backend over a SQLite database (`openNodeSqliteDatabase(path)`, a Durable Object's storage, `:memory:` in tests). */
+export declare function sqliteBackend(db: SqliteDatabase): Backend;
+//# sourceMappingURL=backend.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"backend.d.ts","sourceRoot":"","sources":["../../src/store/backend.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,wGAAwG;AACxG,qBAAa,OAAO;IACnB,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;IAE5B,YAAY,EAAE,EAAE,cAAc,EAE7B;CACD;AAED,0HAA0H;AAC1H,wBAAgB,aAAa,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAEzD"}

package/dist/store/backend.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend.js","sourceRoot":"","sources":["../../src/store/backend.ts"],"names":[],"mappings":"AAAA,yGAAyG;AACzG,mHAAmH;AAInH,wGAAwG;AACxG,MAAM,OAAO,OAAO;IACnB,8CAA8C;IACrC,EAAE,CAAiB;IAE5B,YAAY,EAAkB;QAC7B,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IACd,CAAC;CACD;AAED,0HAA0H;AAC1H,MAAM,UAAU,aAAa,CAAC,EAAkB;IAC/C,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC","sourcesContent":["// Store backends (slice 6a §2): what a store runs on. One kind today, any `SqliteDatabase` (Node through\n// `chord/sqlite/node`, Durable Objects through `chord/sqlite/cloudflare`); its interface is internal to the store.\n\nimport type { SqliteDatabase } from \"../sqlite/index.ts\";\n\n/** A backend for `openStore` and `importStore`: opaque to apps, owned by the store once given to it. */\nexport class Backend {\n\t/** The database the store runs its SQL on. */\n\treadonly db: SqliteDatabase;\n\n\tconstructor(db: SqliteDatabase) {\n\t\tthis.db = db;\n\t}\n}\n\n/** A backend over a SQLite database (`openNodeSqliteDatabase(path)`, a Durable Object's storage, `:memory:` in tests). */\nexport function sqliteBackend(db: SqliteDatabase): Backend {\n\treturn new Backend(db);\n}\n"]}

package/dist/store/catalog.d.ts

@@ -0,0 +1,24 @@
+import type { SqliteExecutor } from "../sqlite/index.ts";
+import type { ColumnRecord } from "./columns.ts";
+import type { Step } from "./step.ts";
+/** A table as the store records it, by its SQL name. */
+export type TableRecord = {
+    readonly table: string;
+    readonly version: number;
+    /** `migrating` while an eager migration of `version` runs (slice 6a §9). */
+    readonly state: "ready" | "migrating";
+    readonly columns: {
+        readonly [name: string]: ColumnRecord;
+    };
+    readonly key: readonly string[];
+    readonly fingerprint: string;
+    /** Index definitions by name: their declared columns (the key is appended when rendered). */
+    readonly indexes: {
+        readonly [name: string]: readonly string[];
+    };
+};
+/** Every recorded table, by SQL name. */
+export declare function readCatalog(executor: SqliteExecutor): Promise<Map<string, TableRecord>>;
+/** Writes the table records `step` changed, once each, inside its backend transaction. */
+export declare function writeCatalog(step: Step): Promise<void>;
+//# sourceMappingURL=catalog.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../src/store/catalog.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,wDAAwD;AACxD,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;KAAE,CAAC;IAC5D,QAAQ,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;CACjE,CAAC;AAEF,yCAAyC;AACzC,wBAAsB,WAAW,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAK7F;AAED,0FAA0F;AAC1F,wBAAsB,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAK5D"}

package/dist/store/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/store/catalog.ts"],"names":[],"mappings":"AAAA,qHAAqH;AACrH,sHAAsH;AACtH,6CAA6C;AAI7C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAgBrC,yCAAyC;AACzC,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAwB;IACzD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,GAAG,CAC9B,gCAAgC,MAAM,CAAC,MAAM,EAAE,CAC/C,CAAC;IACF,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAgB,CAAC,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,0FAA0F;AAC1F,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,IAAU;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,IAAI,CAAC,GAAG,CAAC,0BAA0B,MAAM,CAAC,MAAM,mCAAmC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IAC9G,CAAC;AACF,CAAC","sourcesContent":["// The catalog (slice 6a §2, §5): the table definitions the store records (version, state, columns, key, fingerprint,\n// indexes), read once at open, changed only by `table`, `index`, `dropIndex` and `alter` writes inside a step, and in\n// memory again only after `COMMIT` returned.\n\nimport type { SqliteExecutor } from \"../sqlite/index.ts\";\nimport type { ColumnRecord } from \"./columns.ts\";\nimport { TABLES } from \"./schema.ts\";\nimport type { Step } from \"./step.ts\";\n\n/** A table as the store records it, by its SQL name. */\nexport type TableRecord = {\n\treadonly table: string;\n\treadonly version: number;\n\t/** `migrating` while an eager migration of `version` runs (slice 6a §9). */\n\treadonly state: \"ready\" | \"migrating\";\n\treadonly columns: { readonly [name: string]: ColumnRecord };\n\treadonly key: readonly string[];\n\treadonly fingerprint: string;\n\t/** Index definitions by name: their declared columns (the key is appended when rendered). */\n\treadonly indexes: { readonly [name: string]: readonly string[] };\n};\n\n/** Every recorded table, by SQL name. */\nexport async function readCatalog(executor: SqliteExecutor): Promise<Map<string, TableRecord>> {\n\tconst rows = await executor.all<{ readonly name: string; readonly definition: string }>(\n\t\t`SELECT name, definition FROM ${TABLES.tables}`,\n\t);\n\treturn new Map(rows.map(({ name, definition }) => [name, JSON.parse(definition) as TableRecord]));\n}\n\n/** Writes the table records `step` changed, once each, inside its backend transaction. */\nexport async function writeCatalog(step: Step): Promise<void> {\n\tfor (const [name, record] of step.tables) {\n\t\tconst definition = JSON.stringify(record);\n\t\tawait step.run(`INSERT OR REPLACE INTO ${TABLES.tables} (name, definition) VALUES (?, ?)`, name, definition);\n\t}\n}\n"]}

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

@@ -0,0 +1 @@
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../src/store/claims.ts"],"names":[],"mappings":"AAOA,gEAAgE;AAChE,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAElD,sDAAsD;AACtD,qBAAa,MAAM;;IAMlB,mGAAmG;IACnG,IAAI,IAAI,IAAI,OAAO,CAElB;IAED,2FAA2F;IAC3F,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE7C;IAED,sGAAsG;IACtG,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAEpE;IAED,6GAA6G;IAC7G,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAEnD;IAED,oEAAoE;IACpE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE1E;IAED,iGAAiG;IACjG,IAAI,IAAI,MAAM,IAAI,CAKjB;IAED,6CAA6C;IAC7C,OAAO,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAGhC;CAkBD"}

package/dist/store/claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../src/store/claims.ts"],"names":[],"mappings":"AAAA,mHAAmH;AACnH,uHAAuH;AACvH,qHAAqH;AACrH,mEAAmE;AAEnE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAK9C,sDAAsD;AACtD,MAAM,OAAO,MAAM;IACT,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IACvC,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,gEAAgE;IAChE,OAAO,GAAG,KAAK,CAAC;IAEhB,mGAAmG;IACnG,IAAI,IAAI;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,2FAA2F;IAC3F,KAAK,CAAC,KAAa,EAAE,QAAkB;QACtC,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACzD,CAAC;IAED,sGAAsG;IACtG,SAAS,CAAC,KAAa,EAAE,SAAiB,EAAE,QAAkB;QAC7D,IAAI,CAAC,MAAM,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC1E,CAAC;IAED,6GAA6G;IAC7G,WAAW,CAAC,KAAa,EAAE,QAAkB;QAC5C,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC1D,CAAC;IAED,oEAAoE;IACpE,eAAe,CAAC,KAAa,EAAE,SAAiB,EAAE,QAAkB;QACnE,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC3E,CAAC;IAED,iGAAiG;IACjG,IAAI;QACH,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,OAAO,GAAG,EAAE;YACX,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACtB,CAAC,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,OAAO,CAAC,QAAkB;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5E,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,GAAW,EAAE,QAAkB;QACrC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ;YAAE,OAAO;QAChD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;;YACnD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IAED,sFAAsF;IACtF,OAAO,CAAC,GAAW,EAAE,QAAkB;QACtC,IAAI,IAAI,CAAC,OAAO;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,UAAU,GAAG,0CAA0C,CAAC,CAAC;QACjG,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ;YAC9C,MAAM,OAAO,CAAC,MAAM,EAAE,UAAU,GAAG,kBAAkB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACvE,CAAC;CACD","sourcesContent":["// Claims (slice 6b \"owner names and claims\", \"claims per table and per document namespace\"): what can collide in a\n// store is claimed once, in memory: a table by its SQL name, documents by `(owner, namespace)`. A claim is held by its\n// claimant (an object, a `StoreStorage`) until its end releases every claim it holds. While a batch applies, nothing\n// is claimed: batch apply and owners exclude each other both ways.\n\nimport { invalid } from \"../data/internal.ts\";\n\n/** Who holds claims: named in the refusal of a second claim. */\nexport type Claimant = { readonly label: string };\n\n/** A store's claims, by key; one claimant per key. */\nexport class Claims {\n\treadonly #holders = new Map<string, Claimant>();\n\treadonly #keys = new Map<Claimant, string[]>();\n\t/** Whether a batch applies now: no claim is taken meanwhile. */\n\t#locked = false;\n\n\t/** Whether any claimant holds a claim (batch apply is refused then: its memory would go stale). */\n\tget held(): boolean {\n\t\treturn this.#keys.size > 0;\n\t}\n\n\t/** Claims table `table` (its SQL name) for `claimant`; held by another: `invalid/args`. */\n\ttable(table: string, claimant: Claimant): void {\n\t\tthis.#claim(`table ${JSON.stringify(table)}`, claimant);\n\t}\n\n\t/** Claims the documents of `owner` in `namespace` for `claimant`; held by another: `invalid/args`. */\n\tdocuments(owner: string, namespace: string, claimant: Claimant): void {\n\t\tthis.#claim(`documents ${JSON.stringify([owner, namespace])}`, claimant);\n\t}\n\n\t/** Throws as `table` would for `claimant`, claiming nothing (a reload's staging checks its declarations). */\n\tassertTable(table: string, claimant: Claimant): void {\n\t\tthis.#assert(`table ${JSON.stringify(table)}`, claimant);\n\t}\n\n\t/** Throws as `documents` would for `claimant`, claiming nothing. */\n\tassertDocuments(owner: string, namespace: string, claimant: Claimant): void {\n\t\tthis.#assert(`documents ${JSON.stringify([owner, namespace])}`, claimant);\n\t}\n\n\t/** Refuses every claim (`invalid/args`) until the returned unlock: a batch applies meanwhile. */\n\tlock(): () => void {\n\t\tthis.#locked = true;\n\t\treturn () => {\n\t\t\tthis.#locked = false;\n\t\t};\n\t}\n\n\t/** Releases every claim `claimant` holds. */\n\trelease(claimant: Claimant): void {\n\t\tfor (const key of this.#keys.get(claimant) ?? []) this.#holders.delete(key);\n\t\tthis.#keys.delete(claimant);\n\t}\n\n\t#claim(key: string, claimant: Claimant): void {\n\t\tthis.#assert(key, claimant);\n\t\tif (this.#holders.get(key) === claimant) return;\n\t\tthis.#holders.set(key, claimant);\n\t\tconst keys = this.#keys.get(claimant);\n\t\tif (keys === undefined) this.#keys.set(claimant, [key]);\n\t\telse keys.push(key);\n\t}\n\n\t/** Refuses `key` to `claimant` while a batch applies or another claimant holds it. */\n\t#assert(key: string, claimant: Claimant): void {\n\t\tif (this.#locked) throw invalid(\"args\", `store: ${key} cannot be claimed while a batch applies`);\n\t\tconst holder = this.#holders.get(key);\n\t\tif (holder !== undefined && holder !== claimant)\n\t\t\tthrow invalid(\"args\", `store: ${key} is claimed by ${holder.label}`);\n\t}\n}\n"]}

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

@@ -0,0 +1 @@
+{"version":3,"file":"columns.d.ts","sourceRoot":"","sources":["../../src/store/columns.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACtH,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGrE,qCAAqC;AACrC,MAAM,MAAM,YAAY,GACrB,YAAY,GACZ,gBAAgB,CAAC,OAAO,CAAC,GACzB,QAAQ,CAAC,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtD,KAAK,YAAY,GAAG,YAAY,GAAG,aAAa,GAAG,YAAY,GAAG,aAAa,CAAC;AAEhF,4DAA4D;AAC5D,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC;AAEhE,oCAAoC;AACpC,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC;AAEjE,2CAA2C;AAC3C,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GACtD,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,YAAY,GACrB,KAAK,GACL,CAAC,SAAS,aAAa,GACtB,KAAK,GACL,CAAC,SAAS,YAAY,GACrB,KAAK,GACL,CAAC,SAAS,aAAa,GACtB,MAAM,GACN,MAAM,CAAC;AAEd,uFAAuF;AACvF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAEzG,wDAAwD;AACxD,KAAK,aAAa,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEvG,wDAAwD;AACxD,KAAK,cAAc,CAAC,CAAC,SAAS,OAAO,IAAI;KACvC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACtE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,6FAA6F;AAC7F,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAClF,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACzD,CAAC;AAEF,8FAA8F;AAC9F,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KACjH,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACrF,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,IAAI;KAC3C,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,GAAG,aAAa,GAAG,CAAC,GAAG,KAAK;CACrG,CAAC,MAAM,CAAC,CAAC,GACT,MAAM,CAAC;AAER,6GAA6G;AAC7G,MAAM,MAAM,MAAM,GACf;IACA,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CACvD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAE3G,8GAA8G;AAC9G,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC7C,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,WAAW,QAA6B,CAAC;AAEtD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CASzE;AAED,kHAAkH;AAClH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAEhE;AAwCD,mDAAmD;AACnD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAMzD"}

package/dist/store/columns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"columns.js","sourceRoot":"","sources":["../../src/store/columns.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,mHAAmH;AACnH,4GAA4G;AAG5G,OAAO,EAAE,UAAU,EAAiB,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAyB,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AA4EvC,0DAA0D;AAC1D,MAAM,CAAC,MAAM,WAAW,GAAG,0BAA0B,CAAC;AAEtD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,KAAa;IAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE;QACrD,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,IAAI,qCAAqC,CAAC,CAAC;QACtG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,OAAO,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,aAAa,IAAI,GAAG,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,IAAY;IACzD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,aAAa,IAAI,oCAAoC,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,YAAY,GAAgE;IACjF,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,MAAM;CACf,CAAC;AAEF,SAAS,cAAc,CAAC,IAAY,EAAE,MAAoB,EAAE,IAAY;IACvE,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,uGAAuG;IACvG,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAwC,CAAC;IAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IAAI,IAAI,YAAY,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,+DAA+D,CAAC,CAAC;IAChH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,MAAM,GAAG,sCAAsC,CAAC,CAAC;IAClH,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,qCAAqC,CAAC,CAAC;QAC5E,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAA8C,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,YAAY,CAAC,IAAoC,EAAE,KAAc,EAAE,IAAY;IACvF,MAAM,KAAK,GACV,IAAI,KAAK,KAAK;QACb,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,KAAK;QAChE,CAAC,CAAC,IAAI,KAAK,KAAK;YACf,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;YAC7B,CAAC,CAAC,IAAI,KAAK,KAAK;gBACf,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACrD,CAAC,CAAC,OAAO,KAAK,KAAK,SAAS,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iBAAiB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,IAAI,QAAQ,CAAC,CAAC;AACrG,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,YAAY,CAAC,MAAc;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAC1G,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;AACjH,CAAC","sourcesContent":["// Table columns (decisions \"Flat columns\", \"Nullable columns and the `set` form\", \"Restricted names\"): the restricted\n// subset of L1's helpers a table's `columns` take (`str int num bool`, `opt(...)` of them, `json(...)`, defaults),\n// their types for rows, keys and column references, and the column descriptors and records the store keeps.\n\nimport type { BooleanSchema, IntegerSchema, NumberSchema, Schema, Static, StringSchema } from \"../contracts/index.ts\";\nimport { isOptional, type Optional } from \"../contracts/schema.ts\";\nimport { JsonColumn, type JsonColumnSchema } from \"./json-column.ts\";\nimport { storedText } from \"./text.ts\";\n\n/** A schema a table column takes. */\nexport type ColumnSchema =\n\t| ScalarSchema\n\t| JsonColumnSchema<unknown>\n\t| Optional<ScalarSchema | JsonColumnSchema<unknown>>;\n\ntype ScalarSchema = StringSchema | IntegerSchema | NumberSchema | BooleanSchema;\n\n/** A table's `columns`: a flat record of column schemas. */\nexport type Columns = { readonly [name: string]: ColumnSchema };\n\n/** A column's type in the store. */\nexport type ColumnType = \"str\" | \"int\" | \"num\" | \"bool\" | \"json\";\n\n/** The store type of column schema `S`. */\nexport type ColumnTypeOf<S> = S extends Optional<infer I>\n\t? ColumnTypeOf<I>\n\t: S extends StringSchema\n\t\t? \"str\"\n\t\t: S extends IntegerSchema\n\t\t\t? \"int\"\n\t\t\t: S extends NumberSchema\n\t\t\t\t? \"num\"\n\t\t\t\t: S extends BooleanSchema\n\t\t\t\t\t? \"bool\"\n\t\t\t\t\t: \"json\";\n\n/** The value type of column schema `S` (without `undefined` for an `opt(...)` one). */\nexport type ValueOf<S> = S extends Optional<infer I> ? ValueOf<I> : S extends Schema ? Static<S> : never;\n\n/** The names of the columns that are not `opt(...)`. */\ntype RequiredNames<C extends Columns> = { [K in keyof C]: C[K] extends Optional ? never : K }[keyof C];\n\n/** The names of the columns with a declared default. */\ntype DefaultedNames<C extends Columns> = {\n\t[K in keyof C]: C[K] extends { readonly default: unknown } ? K : never;\n}[keyof C];\n\n/** A row as reads return it: every non-`opt` column, the `opt(...)` ones when not `NULL`. */\nexport type RowOf<C extends Columns> = { [K in RequiredNames<C>]: ValueOf<C[K]> } & {\n\t[K in Exclude<keyof C, RequiredNames<C>>]?: ValueOf<C[K]>;\n};\n\n/** A row as `put` takes it: as read, the columns with a default may be left out (rule 15). */\nexport type PutRowOf<C extends Columns> = { [K in Exclude<RequiredNames<C>, DefaultedNames<C>>]: ValueOf<C[K]> } & {\n\t[K in Exclude<keyof C, Exclude<RequiredNames<C>, DefaultedNames<C>>>]?: ValueOf<C[K]>;\n};\n\n/** The columns a key, an index or an `orderBy` may use: non-`opt` `str` or `int`. */\nexport type OrderColumn<C extends Columns> = {\n\t[K in keyof C]: C[K] extends Optional ? never : C[K] extends StringSchema | IntegerSchema ? K : never;\n}[keyof C] &\n\tstring;\n\n/** A column of the store: its name, type, nullability and default; a `json(...)` one with its definition. */\nexport type Column =\n\t| {\n\t\t\treadonly name: string;\n\t\t\treadonly type: \"str\" | \"int\" | \"num\" | \"bool\";\n\t\t\treadonly optional: boolean;\n\t\t\treadonly default: string | number | boolean | undefined;\n\t  }\n\t| { readonly name: string; readonly type: \"json\"; readonly optional: boolean; readonly json: JsonColumn };\n\n/** A column as the `table` write records it (slice 6a §5): what a replica needs without the plugin's code. */\nexport type ColumnRecord = {\n\treadonly type: ColumnType;\n\treadonly optional?: true;\n\treadonly default?: string | number | boolean;\n\t/** A `json(...)` column's version and schema fingerprint. */\n\treadonly version?: number;\n\treadonly fingerprint?: string;\n};\n\n/** The column name rule (decision \"Restricted names\"). */\nexport const COLUMN_NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;\n\n/**\n * The columns of `columns` in declaration order, checked (declaration policy: JavaScript callers reach it): names\n * `[A-Za-z_][A-Za-z0-9_]*` without two equal ignoring ASCII case, only the helpers' types, no bounds or patterns (a\n * bulk `set` could not keep them), a default of the column's type and not on an `opt(...)` column.\n */\nexport function describeColumns(columns: Columns, table: string): Column[] {\n\tconst seen = new Set<string>();\n\treturn Object.entries(columns).map(([name, schema]) => {\n\t\tcheckColumnName(name, table);\n\t\tconst folded = name.toLowerCase();\n\t\tif (seen.has(folded)) throw new Error(`${table}: column \"${name}\" differs from another only in case`);\n\t\tseen.add(folded);\n\t\treturn describeColumn(name, schema, `${table}: column \"${name}\"`);\n\t});\n}\n\n/** Throws unless `name` follows the column name rule (declaration policy); `what` names the table or the edit. */\nexport function checkColumnName(name: string, what: string): void {\n\tif (!COLUMN_NAME.test(name)) throw new Error(`${what}: column \"${name}\": expected [A-Za-z_][A-Za-z0-9_]*`);\n}\n\nconst SCALAR_TYPES: { readonly [type: string]: \"str\" | \"int\" | \"num\" | \"bool\" } = {\n\tstring: \"str\",\n\tinteger: \"int\",\n\tnumber: \"num\",\n\tboolean: \"bool\",\n};\n\nfunction describeColumn(name: string, column: ColumnSchema, what: string): Column {\n\tconst optional = isOptional(column);\n\t// Declaration policy: a JavaScript caller may pass any schema, so its fields are read as unknown data.\n\tconst fields = (optional ? column.schema : column) as { readonly [key: string]: unknown };\n\tconst json = fields.json;\n\tif (json instanceof JsonColumn) return { name, type: \"json\", optional, json };\n\tconst type = SCALAR_TYPES[String(fields.type)];\n\tif (type === undefined) throw new Error(`${what}: expected str(), int(), num(), bool(), opt(...) or json(...)`);\n\tfor (const key of Object.keys(fields)) {\n\t\tif (key !== \"type\" && key !== \"default\") throw new Error(`${what}: \"${key}\" is not supported in a table column`);\n\t}\n\tconst value = fields.default;\n\tif (value !== undefined) {\n\t\tif (optional) throw new Error(`${what}: an opt(...) column has no default`);\n\t\tcheckDefault(type, value, what);\n\t}\n\treturn { name, type, optional, default: value as string | number | boolean | undefined };\n}\n\nfunction checkDefault(type: \"str\" | \"int\" | \"num\" | \"bool\", value: unknown, what: string): void {\n\tconst valid =\n\t\ttype === \"str\"\n\t\t\t? typeof value === \"string\" && storedText(value, what) === value\n\t\t\t: type === \"int\"\n\t\t\t\t? Number.isSafeInteger(value)\n\t\t\t\t: type === \"num\"\n\t\t\t\t\t? typeof value === \"number\" && Number.isFinite(value)\n\t\t\t\t\t: typeof value === \"boolean\";\n\tif (!valid) throw new Error(`${what}: the default ${JSON.stringify(value)} is not a ${type} value`);\n}\n\n/** The record of `column` in the `table` write. */\nexport function columnRecord(column: Column): ColumnRecord {\n\tconst optional = column.optional ? { optional: true as const } : {};\n\tif (column.type === \"json\") {\n\t\treturn { type: \"json\", ...optional, version: column.json.version, fingerprint: column.json.fingerprint };\n\t}\n\treturn { type: column.type, ...optional, ...(column.default === undefined ? {} : { default: column.default }) };\n}\n"]}

package/dist/store/engine.d.ts

@@ -0,0 +1,176 @@
+import { type Op } from "../delta/index.ts";
+import type { JsonValue } from "../json.ts";
+import type { SqliteExecutor } from "../sqlite/index.ts";
+import type { StagedWrite, Step } from "./step.ts";
+/**
+ * A document's address: the owner name, the adapter's namespace (claimed with the owner: Chord's `chord`, `chord.jobs`,
+ * `chord.job-states`; Durable's scopes), the kind and, for a keyed document, its key; a singleton has none. The column
+ * keeps `""` for it, which a keyed document's empty key shares (its definition says which it is).
+ */
+export type DocumentAddress = {
+    readonly owner: string;
+    readonly namespace: string;
+    readonly kind: string;
+    readonly key?: string;
+};
+/**
+ * What a record keeps (R1), applied at a new base and at retirement: `none` (Chord) drops older revisions at a new base
+ * and the row and its revisions at retirement; `latest` drops older revisions at a new base and its revisions at
+ * retirement, keeping the row; `rewindable` keeps everything.
+ */
+export type DocumentHistory = "none" | "latest" | "rewindable";
+/** A stored record: one incarnation of an address, live from `createdAt` until `retiredAt` (half-open). */
+export type DocumentRecord = DocumentAddress & {
+    readonly id: number;
+    readonly history: DocumentHistory;
+    /** The seq that created it. */
+    readonly createdAt: number;
+    /** The seq that retired it, once retired. */
+    readonly retiredAt?: number;
+    /** The adapter's details (Durable: its fork policy and history). */
+    readonly meta?: string;
+    /** Counts its changes: a change names the revision it was prepared on. */
+    readonly revision: number;
+    /** The version and schema fingerprint of its current base. */
+    readonly version: number;
+    readonly fingerprint: string;
+};
+/** A base: a whole value at a version. */
+export type DocumentBase = {
+    readonly version: number;
+    readonly fingerprint: string;
+    readonly value: JsonValue;
+};
+/** A change's content: a new base, or a delta on the current base's version. */
+export type DocumentContent = ({
+    readonly kind: "base";
+} & DocumentBase) | {
+    readonly kind: "delta";
+    readonly version: number;
+    readonly ops: readonly Op[];
+};
+/** A stored revision's content: a base's value or a delta's ops, at a version (a revision keeps no fingerprint). */
+export type RevisionContent = {
+    readonly kind: "base";
+    readonly version: number;
+    readonly value: JsonValue;
+} | {
+    readonly kind: "delta";
+    readonly version: number;
+    readonly ops: readonly Op[];
+};
+/** One stored revision as archives carry it: its document, its seq, its content. */
+export type DocumentRevision = {
+    readonly id: number;
+    readonly seq: number;
+    readonly content: RevisionContent;
+};
+/**
+ * The engine's writes as the outbox and archives record them. A creation carries its base in a commit (stored at
+ * `createdAt`); in an archive it has none and its `document.revision`s follow it.
+ */
+export type DocumentWrite = {
+    readonly kind: "document.create";
+    readonly record: DocumentRecord;
+    readonly base?: DocumentBase;
+} | {
+    readonly kind: "document.change";
+    readonly id: number;
+    readonly revision: number;
+    readonly content: DocumentContent;
+} | {
+    readonly kind: "document.retire";
+    readonly id: number;
+    readonly revision: number;
+} | ({
+    readonly kind: "document.revision";
+} & DocumentRevision);
+/** A loaded document: its record and its value (a base plus deltas applied once) at a point. */
+export type StoredDocument = {
+    readonly record: DocumentRecord;
+    readonly value: JsonValue;
+    /** The version of the base the value was built from. */
+    readonly version: number;
+    /** The deltas applied after its base (what `checkpointWhen` sees). */
+    readonly deltasSinceBase: number;
+};
+/** Where a read looks: the current state, or the state after a seq. */
+export type DocumentPoint = number | "current";
+/**
+ * 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 declare function createDocument(address: DocumentAddress, base: DocumentBase, text: string, created?: (id: number) => void): StagedWrite;
+/**
+ * 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 declare function insertDocument(step: Step, record: DocumentRecord, text: string | undefined): Promise<void>;
+/**
+ * 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 declare function changeDocument(id: number, revision: number, content: DocumentContent, text: string): StagedWrite;
+/**
+ * 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 declare function writeContent(step: Step, id: number, history: DocumentHistory, revision: number, content: DocumentContent, text: string): Promise<void>;
+/** Stages the retirement of Chord document `id` (history `none`) at `revision`: its row and its revisions go. */
+export declare function retireDocument(id: number, revision: number): StagedWrite;
+/**
+ * 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 declare function retireRecord(step: Step, record: DocumentRecord): Promise<void>;
+/** Inserts one revision of document `id` at `seq`, `text` its serialized content. */
+export declare function insertRevision(step: Step, id: number, seq: number, kind: "base" | "delta", version: number, text: string): Promise<void>;
+/** The record with `id`, live or retired, if there is one. */
+export declare function readDocument(executor: Pick<SqliteExecutor, "get">, id: number): Promise<DocumentRecord | undefined>;
+/** The record at `address` live at `at` (the half-open lifetime `createdAt <= at < retiredAt`), if any. */
+export declare function findDocument(executor: Pick<SqliteExecutor, "get">, address: DocumentAddress, at?: DocumentPoint): Promise<DocumentRecord | undefined>;
+/**
+ * A record as an adapter that keeps its own fields in `meta` reads it: the meta, and, where a read can find retired
+ * records (at a point, by id), when it was retired. One or two columns: each column a read returns costs.
+ */
+export type DocumentEntry = {
+    readonly meta: string | null;
+    readonly retired_at?: number | null;
+};
+/** A document entry with what tells whose it is and what it keeps, as a read by id needs. */
+export type OwnedDocumentEntry = DocumentEntry & {
+    readonly owner: string;
+    readonly namespace: string;
+    readonly history: DocumentHistory;
+};
+/** The entry of the record with `id`, live or retired, with its owner, namespace and history; `undefined` if none. */
+export declare function readDocumentEntry(executor: Pick<SqliteExecutor, "get">, id: number): Promise<OwnedDocumentEntry | undefined>;
+/** `findDocument` reading only what an adapter keeping its fields in `meta` needs (fewer columns, no record built). */
+export declare function findDocumentEntry(executor: Pick<SqliteExecutor, "get">, address: DocumentAddress, at: DocumentPoint): Promise<DocumentEntry | undefined>;
+/**
+ * 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 declare function loadDocument(executor: Pick<SqliteExecutor, "all">, record: DocumentRecord, at?: DocumentPoint): Promise<StoredDocument>;
+/** `loadDocument`'s content of document `id` at `at`, without its record (an adapter reads the fields it keeps). */
+export declare function loadContent(executor: Pick<SqliteExecutor, "all">, id: number, at: DocumentPoint): Promise<Omit<StoredDocument, "record">>;
+/** Up to `limit` keys of live documents of `kind` under `owner` after `after` (from the first), in code point order. */
+export declare function listDocumentKeys(executor: SqliteExecutor, address: Omit<DocumentAddress, "key">, after: string | undefined, limit: number): Promise<string[]>;
+/** What `listDocuments` scans: one owner's namespace, optionally one kind. */
+export type DocumentScope = {
+    readonly owner: string;
+    readonly namespace: string;
+    readonly kind?: string;
+};
+/** Up to `limit` records of `scope` live at `at` with ids above `after`, by id. */
+export declare function listDocuments(executor: Pick<SqliteExecutor, "all">, scope: DocumentScope, at: DocumentPoint, after: number, limit: number): Promise<DocumentRecord[]>;
+/** `listDocuments` reading only what an adapter keeping its fields in `meta` needs. */
+export declare function listDocumentEntries(executor: Pick<SqliteExecutor, "all">, scope: DocumentScope, at: DocumentPoint, after: number, limit: number): Promise<DocumentEntry[]>;
+/** Up to `limit` stored records, live and retired, with ids above `after`, by id (an export's pages). */
+export declare function listRecords(executor: SqliteExecutor, after: number, limit: number): Promise<DocumentRecord[]>;
+/** Up to `limit` stored revisions of document `id` after seq `after`, in seq order (an export's page). */
+export declare function listRevisions(executor: SqliteExecutor, id: number, after: number, limit: number): Promise<DocumentRevision[]>;
+//# sourceMappingURL=engine.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/store/engine.ts"],"names":[],"mappings":"AAKA,OAAO,EAAS,KAAK,EAAE,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEnD;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,QAAQ,GAAG,YAAY,CAAC;AAE/D,2GAA2G;AAC3G,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG;IAC9C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,+BAA+B;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,oEAAoE;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC;AAEjH,gFAAgF;AAChF,MAAM,MAAM,eAAe,GACxB,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,CAAC,GAC1C;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAA;CAAE,CAAC;AAErF,oHAAoH;AACpH,MAAM,MAAM,eAAe,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAA;CAAE,CAAC;AAErF,oFAAoF;AACpF,MAAM,MAAM,gBAAgB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AAEhH;;;GAGG;AACH,MAAM,MAAM,aAAa,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAA;CAAE,GACnG;IACA,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACjC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACpF,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;CAAE,GAAG,gBAAgB,CAAC,CAAC;AAE/D,gGAAgG;AAChG,MAAM,MAAM,cAAc,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,sEAAsE;IACtE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,uEAAuE;AACvE,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,SAAS,CAAC;AAE/C;;;;GAIG;AACH,wBAAgB,cAAc,CAC7B,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,IAAI,GAC5B,WAAW,CAqBb;AAED;;;;GAIG;AACH,wBAAsB,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBhH;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAShH;AAED;;;;GAIG;AACH,wBAAsB,YAAY,CACjC,IAAI,EAAE,IAAI,EACV,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,eAAe,EACxB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,eAAe,EACxB,IAAI,EAAE,MAAM,GACV,OAAO,CAAC,IAAI,CAAC,CAyBf;AAED,iHAAiH;AACjH,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,WAAW,CAgBxE;AAED;;;GAGG;AACH,wBAAsB,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAIpF;AASD,qFAAqF;AACrF,wBAAgB,cAAc,CAC7B,IAAI,EAAE,IAAI,EACV,EAAE,EAAE,MAAM,EACV,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,GAAG,OAAO,EACtB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,GACV,OAAO,CAAC,IAAI,CAAC,CASf;AAsBD,8DAA8D;AAC9D,wBAAsB,YAAY,CACjC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,EAAE,EAAE,MAAM,GACR,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,CAGrC;AASD,2GAA2G;AAC3G,wBAAsB,YAAY,CACjC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,OAAO,EAAE,eAAe,EACxB,EAAE,GAAE,aAAyB,GAC3B,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC,CAQrC;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAElG,6FAA6F;AAC7F,MAAM,MAAM,kBAAkB,GAAG,aAAa,GAAG;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CAClC,CAAC;AAIF,sHAAsH;AACtH,wBAAgB,iBAAiB,CAChC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,EAAE,EAAE,MAAM,GACR,OAAO,CAAC,kBAAkB,GAAG,SAAS,CAAC,CAEzC;AASD,uHAAuH;AACvH,wBAAgB,iBAAiB,CAChC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,OAAO,EAAE,eAAe,EACxB,EAAE,EAAE,aAAa,GACf,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAMpC;AAYD;;;GAGG;AACH,wBAAsB,YAAY,CACjC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,MAAM,EAAE,cAAc,EACtB,EAAE,GAAE,aAAyB,GAC3B,OAAO,CAAC,cAAc,CAAC,CAEzB;AAED,oHAAoH;AACpH,wBAAsB,WAAW,CAChC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,EAAE,EAAE,MAAM,EACV,EAAE,EAAE,aAAa,GACf,OAAO,CAAC,IAAI,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,CAWzC;AAED,wHAAwH;AACxH,wBAAsB,gBAAgB,CACrC,QAAQ,EAAE,cAAc,EACxB,OAAO,EAAE,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,EACrC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,KAAK,EAAE,MAAM,GACX,OAAO,CAAC,MAAM,EAAE,CAAC,CAanB;AAED,8EAA8E;AAC9E,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAe3G,mFAAmF;AACnF,wBAAsB,aAAa,CAClC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,KAAK,EAAE,aAAa,EACpB,EAAE,EAAE,aAAa,EACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACX,OAAO,CAAC,cAAc,EAAE,CAAC,CAe3B;AAgBD,uFAAuF;AACvF,wBAAgB,mBAAmB,CAClC,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,KAAK,EAAE,aAAa,EACpB,EAAE,EAAE,aAAa,EACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACX,OAAO,CAAC,aAAa,EAAE,CAAC,CAU1B;AAED,yGAAyG;AACzG,wBAAsB,WAAW,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC,CAOnH;AAED,0GAA0G;AAC1G,wBAAsB,aAAa,CAClC,QAAQ,EAAE,cAAc,EACxB,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACX,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAmB7B"}