@earendil-works/chord 1.4.0 → 1.5.0

package/dist/next/store/archive.js

@@ -0,0 +1,129 @@
+// 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";
+/** 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) {
+    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) {
+    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/next/store/archive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"archive.js","sourceRoot":"","sources":["../../../src/next/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;AAK5D,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,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpE,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,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpE,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 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\tcontext.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\tcontext.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/next/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/next/store/backend.d.ts.map

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

@@ -0,0 +1,15 @@
+// Store backends (slice 6a §2): what a store runs on. One kind today, any `SqliteDatabase` (Node through
+// `chord/sqlite/node`, Durable Objects through `chord/sqlite/cloudflare`); its interface is internal to the store.
+/** A backend for `openStore` and `importStore`: opaque to apps, owned by the store once given to it. */
+export class Backend {
+    /** The database the store runs its SQL on. */
+    db;
+    constructor(db) {
+        this.db = db;
+    }
+}
+/** A backend over a SQLite database (`openNodeSqliteDatabase(path)`, a Durable Object's storage, `:memory:` in tests). */
+export function sqliteBackend(db) {
+    return new Backend(db);
+}
+//# sourceMappingURL=backend.js.map

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

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

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

@@ -0,0 +1,17 @@
+// The catalog (slice 6a §2, §5): the table definitions the store records (version, state, columns, key, fingerprint,
+// indexes), read once at open, changed only by `table`, `index`, `dropIndex` and `alter` writes inside a step, and in
+// memory again only after `COMMIT` returned.
+import { TABLES } from "./schema.js";
+/** Every recorded table, by SQL name. */
+export async function readCatalog(executor) {
+    const rows = await executor.all(`SELECT name, definition FROM ${TABLES.tables}`);
+    return new Map(rows.map(({ name, definition }) => [name, JSON.parse(definition)]));
+}
+/** Writes the table records `step` changed, once each, inside its backend transaction. */
+export async function writeCatalog(step) {
+    for (const [name, record] of step.tables) {
+        const definition = JSON.stringify(record);
+        await step.run(`INSERT OR REPLACE INTO ${TABLES.tables} (name, definition) VALUES (?, ?)`, name, definition);
+    }
+}
+//# sourceMappingURL=catalog.js.map

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

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

@@ -0,0 +1,23 @@
+/** Who holds claims: named in the refusal of a second claim. */
+export type Claimant = {
+    readonly label: string;
+};
+/** A store's claims, by key; one claimant per key. */
+export declare class Claims {
+    #private;
+    /** Whether any claimant holds a claim (batch apply is refused then: its memory would go stale). */
+    get held(): boolean;
+    /** Claims table `table` (its SQL name) for `claimant`; held by another: `invalid/args`. */
+    table(table: string, claimant: Claimant): void;
+    /** Claims the documents of `owner` in `namespace` for `claimant`; held by another: `invalid/args`. */
+    documents(owner: string, namespace: string, claimant: Claimant): void;
+    /** Throws as `table` would for `claimant`, claiming nothing (a reload's staging checks its declarations). */
+    assertTable(table: string, claimant: Claimant): void;
+    /** Throws as `documents` would for `claimant`, claiming nothing. */
+    assertDocuments(owner: string, namespace: string, claimant: Claimant): void;
+    /** Refuses every claim (`invalid/args`) until the returned unlock: a batch applies meanwhile. */
+    lock(): () => void;
+    /** Releases every claim `claimant` holds. */
+    release(claimant: Claimant): void;
+}
+//# sourceMappingURL=claims.d.ts.map

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

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

@@ -0,0 +1,65 @@
+// Claims (slice 6b "owner names and claims", "claims per table and per document namespace"): what can collide in a
+// store is claimed once, in memory: a table by its SQL name, documents by `(owner, namespace)`. A claim is held by its
+// claimant (an object, a `StoreStorage`) until its end releases every claim it holds. While a batch applies, nothing
+// is claimed: batch apply and owners exclude each other both ways.
+import { invalid } from "../data/internal.js";
+/** A store's claims, by key; one claimant per key. */
+export class Claims {
+    #holders = new Map();
+    #keys = new Map();
+    /** Whether a batch applies now: no claim is taken meanwhile. */
+    #locked = false;
+    /** Whether any claimant holds a claim (batch apply is refused then: its memory would go stale). */
+    get held() {
+        return this.#keys.size > 0;
+    }
+    /** Claims table `table` (its SQL name) for `claimant`; held by another: `invalid/args`. */
+    table(table, claimant) {
+        this.#claim(`table ${JSON.stringify(table)}`, claimant);
+    }
+    /** Claims the documents of `owner` in `namespace` for `claimant`; held by another: `invalid/args`. */
+    documents(owner, namespace, claimant) {
+        this.#claim(`documents ${JSON.stringify([owner, namespace])}`, claimant);
+    }
+    /** Throws as `table` would for `claimant`, claiming nothing (a reload's staging checks its declarations). */
+    assertTable(table, claimant) {
+        this.#assert(`table ${JSON.stringify(table)}`, claimant);
+    }
+    /** Throws as `documents` would for `claimant`, claiming nothing. */
+    assertDocuments(owner, namespace, claimant) {
+        this.#assert(`documents ${JSON.stringify([owner, namespace])}`, claimant);
+    }
+    /** Refuses every claim (`invalid/args`) until the returned unlock: a batch applies meanwhile. */
+    lock() {
+        this.#locked = true;
+        return () => {
+            this.#locked = false;
+        };
+    }
+    /** Releases every claim `claimant` holds. */
+    release(claimant) {
+        for (const key of this.#keys.get(claimant) ?? [])
+            this.#holders.delete(key);
+        this.#keys.delete(claimant);
+    }
+    #claim(key, claimant) {
+        this.#assert(key, claimant);
+        if (this.#holders.get(key) === claimant)
+            return;
+        this.#holders.set(key, claimant);
+        const keys = this.#keys.get(claimant);
+        if (keys === undefined)
+            this.#keys.set(claimant, [key]);
+        else
+            keys.push(key);
+    }
+    /** Refuses `key` to `claimant` while a batch applies or another claimant holds it. */
+    #assert(key, claimant) {
+        if (this.#locked)
+            throw invalid("args", `store: ${key} cannot be claimed while a batch applies`);
+        const holder = this.#holders.get(key);
+        if (holder !== undefined && holder !== claimant)
+            throw invalid("args", `store: ${key} is claimed by ${holder.label}`);
+    }
+}
+//# sourceMappingURL=claims.js.map

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

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

@@ -0,0 +1,77 @@
+import type { BooleanSchema, IntegerSchema, NumberSchema, Schema, Static, StringSchema } from "../contracts/index.ts";
+import { type Optional } from "../contracts/schema.ts";
+import { JsonColumn, type JsonColumnSchema } from "./json-column.ts";
+/** A schema a table column takes. */
+export type ColumnSchema = ScalarSchema | JsonColumnSchema<unknown> | Optional<ScalarSchema | JsonColumnSchema<unknown>>;
+type ScalarSchema = StringSchema | IntegerSchema | NumberSchema | BooleanSchema;
+/** A table's `columns`: a flat record of column schemas. */
+export type Columns = {
+    readonly [name: string]: ColumnSchema;
+};
+/** A column's type in the store. */
+export type ColumnType = "str" | "int" | "num" | "bool" | "json";
+/** The store type of column schema `S`. */
+export type ColumnTypeOf<S> = S extends Optional<infer I> ? ColumnTypeOf<I> : S extends StringSchema ? "str" : S extends IntegerSchema ? "int" : S extends NumberSchema ? "num" : S extends BooleanSchema ? "bool" : "json";
+/** The value type of column schema `S` (without `undefined` for an `opt(...)` one). */
+export type ValueOf<S> = S extends Optional<infer I> ? ValueOf<I> : S extends Schema ? Static<S> : never;
+/** The names of the columns that are not `opt(...)`. */
+type RequiredNames<C extends Columns> = {
+    [K in keyof C]: C[K] extends Optional ? never : K;
+}[keyof C];
+/** The names of the columns with a declared default. */
+type DefaultedNames<C extends Columns> = {
+    [K in keyof C]: C[K] extends {
+        readonly default: unknown;
+    } ? K : never;
+}[keyof C];
+/** A row as reads return it: every non-`opt` column, the `opt(...)` ones when not `NULL`. */
+export type RowOf<C extends Columns> = {
+    [K in RequiredNames<C>]: ValueOf<C[K]>;
+} & {
+    [K in Exclude<keyof C, RequiredNames<C>>]?: ValueOf<C[K]>;
+};
+/** A row as `put` takes it: as read, the columns with a default may be left out (rule 15). */
+export type PutRowOf<C extends Columns> = {
+    [K in Exclude<RequiredNames<C>, DefaultedNames<C>>]: ValueOf<C[K]>;
+} & {
+    [K in Exclude<keyof C, Exclude<RequiredNames<C>, DefaultedNames<C>>>]?: ValueOf<C[K]>;
+};
+/** The columns a key, an index or an `orderBy` may use: non-`opt` `str` or `int`. */
+export type OrderColumn<C extends Columns> = {
+    [K in keyof C]: C[K] extends Optional ? never : C[K] extends StringSchema | IntegerSchema ? K : never;
+}[keyof C] & string;
+/** A column of the store: its name, type, nullability and default; a `json(...)` one with its definition. */
+export type Column = {
+    readonly name: string;
+    readonly type: "str" | "int" | "num" | "bool";
+    readonly optional: boolean;
+    readonly default: string | number | boolean | undefined;
+} | {
+    readonly name: string;
+    readonly type: "json";
+    readonly optional: boolean;
+    readonly json: JsonColumn;
+};
+/** A column as the `table` write records it (slice 6a §5): what a replica needs without the plugin's code. */
+export type ColumnRecord = {
+    readonly type: ColumnType;
+    readonly optional?: true;
+    readonly default?: string | number | boolean;
+    /** A `json(...)` column's version and schema fingerprint. */
+    readonly version?: number;
+    readonly fingerprint?: string;
+};
+/** The column name rule (decision "Restricted names"). */
+export declare const COLUMN_NAME: RegExp;
+/**
+ * The columns of `columns` in declaration order, checked (declaration policy: JavaScript callers reach it): names
+ * `[A-Za-z_][A-Za-z0-9_]*` without two equal ignoring ASCII case, only the helpers' types, no bounds or patterns (a
+ * bulk `set` could not keep them), a default of the column's type and not on an `opt(...)` column.
+ */
+export declare function describeColumns(columns: Columns, table: string): Column[];
+/** Throws unless `name` follows the column name rule (declaration policy); `what` names the table or the edit. */
+export declare function checkColumnName(name: string, what: string): void;
+/** The record of `column` in the `table` write. */
+export declare function columnRecord(column: Column): ColumnRecord;
+export {};
+//# sourceMappingURL=columns.d.ts.map

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

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

@@ -0,0 +1,77 @@
+// Table columns (decisions "Flat columns", "Nullable columns and the `set` form", "Restricted names"): the restricted
+// subset of L1's helpers a table's `columns` take (`str int num bool`, `opt(...)` of them, `json(...)`, defaults),
+// their types for rows, keys and column references, and the column descriptors and records the store keeps.
+import { isOptional } from "../contracts/schema.js";
+import { JsonColumn } from "./json-column.js";
+import { storedText } from "./text.js";
+/** The column name rule (decision "Restricted names"). */
+export const COLUMN_NAME = /^[A-Za-z_][A-Za-z0-9_]*$/;
+/**
+ * The columns of `columns` in declaration order, checked (declaration policy: JavaScript callers reach it): names
+ * `[A-Za-z_][A-Za-z0-9_]*` without two equal ignoring ASCII case, only the helpers' types, no bounds or patterns (a
+ * bulk `set` could not keep them), a default of the column's type and not on an `opt(...)` column.
+ */
+export function describeColumns(columns, table) {
+    const seen = new Set();
+    return Object.entries(columns).map(([name, schema]) => {
+        checkColumnName(name, table);
+        const folded = name.toLowerCase();
+        if (seen.has(folded))
+            throw new Error(`${table}: column "${name}" differs from another only in case`);
+        seen.add(folded);
+        return describeColumn(name, schema, `${table}: column "${name}"`);
+    });
+}
+/** Throws unless `name` follows the column name rule (declaration policy); `what` names the table or the edit. */
+export function checkColumnName(name, what) {
+    if (!COLUMN_NAME.test(name))
+        throw new Error(`${what}: column "${name}": expected [A-Za-z_][A-Za-z0-9_]*`);
+}
+const SCALAR_TYPES = {
+    string: "str",
+    integer: "int",
+    number: "num",
+    boolean: "bool",
+};
+function describeColumn(name, column, what) {
+    const optional = isOptional(column);
+    // Declaration policy: a JavaScript caller may pass any schema, so its fields are read as unknown data.
+    const fields = (optional ? column.schema : column);
+    const json = fields.json;
+    if (json instanceof JsonColumn)
+        return { name, type: "json", optional, json };
+    const type = SCALAR_TYPES[String(fields.type)];
+    if (type === undefined)
+        throw new Error(`${what}: expected str(), int(), num(), bool(), opt(...) or json(...)`);
+    for (const key of Object.keys(fields)) {
+        if (key !== "type" && key !== "default")
+            throw new Error(`${what}: "${key}" is not supported in a table column`);
+    }
+    const value = fields.default;
+    if (value !== undefined) {
+        if (optional)
+            throw new Error(`${what}: an opt(...) column has no default`);
+        checkDefault(type, value, what);
+    }
+    return { name, type, optional, default: value };
+}
+function checkDefault(type, value, what) {
+    const valid = type === "str"
+        ? typeof value === "string" && storedText(value, what) === value
+        : type === "int"
+            ? Number.isSafeInteger(value)
+            : type === "num"
+                ? typeof value === "number" && Number.isFinite(value)
+                : typeof value === "boolean";
+    if (!valid)
+        throw new Error(`${what}: the default ${JSON.stringify(value)} is not a ${type} value`);
+}
+/** The record of `column` in the `table` write. */
+export function columnRecord(column) {
+    const optional = column.optional ? { optional: true } : {};
+    if (column.type === "json") {
+        return { type: "json", ...optional, version: column.json.version, fingerprint: column.json.fingerprint };
+    }
+    return { type: column.type, ...optional, ...(column.default === undefined ? {} : { default: column.default }) };
+}
+//# sourceMappingURL=columns.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"columns.js","sourceRoot":"","sources":["../../../src/next/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"]}