@earendil-works/chord 1.5.0 → 1.5.1

package/dist/store/export.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"export.js","sourceRoot":"","sources":["../../src/store/export.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,sHAAsH;AACtH,sHAAsH;AACtH,sHAAsH;AACtH,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAgB,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,cAAc,EAAoB,MAAM,cAAc,CAAC;AAEhE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,WAAW,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAG9C,uDAAuD;AACvD,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAE/B;;;GAGG;AACH,MAAM,OAAO,WAAW;IACd,QAAQ,CAAU;IAC3B,gFAAgF;IAChF,MAAM,CAA0C;IAChD,MAAM,GAA4C,MAAM,CAAC;IACzD,6DAA6D;IAC7D,QAAQ,CAA2B;IAC1B,MAAM,GAAG,GAAS,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAEnD,YAAY,KAAiB,EAAE,OAAgB;QAC9C,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,OAAmB,EAAQ,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,CAAC,MAAM,CAAC,aAAa,CAAC;QACrB,OAAO,IAAI,CAAC;IACb,CAAC;IAED,KAAK,CAAC,IAAI;QACT,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,MAAmC,CAAC;QACxC,IAAI,CAAC;YACJ,uGAAuG;YACvG,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC7D,IAAI,CAAC,WAAW,EAAE,CAAC;YACnB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,MAAM,KAAK,CAAC;QACb,CAAC;QACD,mGAAmG;QACnG,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,MAAM,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,OAAO,MAAM,CAAC;IACf,CAAC;IAED,KAAK,CAAC,MAAM;QACX,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACzC,CAAC;IAED,0HAA0H;IAC1H,KAAK,CAAC,OAAmB;QACxB,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,EAAE,CAAC;YACV,OAAO;QACR,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,4GAA4G;IAC5G,IAAI,CAAC,KAAqC;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;YAAE,OAAO;QACnC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;QAClB,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACrE,KAAK,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;IACzB,CAAC;IAED,0EAA0E;IAC1E,WAAW;QACV,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;YAC3B,MAAM,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;IACzF,CAAC;CACD;AAED,4FAA4F;AAC5F,SAAS,OAAO,CAAC,OAAgB;IAChC,OAAO,IAAI,UAAU,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;AACtH,CAAC;AAED;;;GAGG;AACH,KAAK,SAAS,CAAC,CAAC,KAAK,CACpB,KAAiB,EACjB,OAAgB,EAChB,IAAmC,EACnC,GAAe;IAEf,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,CAAC;IACd,IAAI,CAAC;QACJ,IAAI,OAAO,CAAC,WAAW,EAAE,OAAO;YAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;QACzD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;QAClC,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC1F,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;YAC7B,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC;YACpE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;YAC1E,MAAM,EAAE,CAAC;YACT,IAAI,KAAK,EAAE,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;gBACtD,MAAM,GAAG,CAAC;gBACV,MAAM,EAAE,CAAC;YACV,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;gBAClD,MAAM,EAAE,CAAC;YACV,CAAC;QACF,CAAC;QACD,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,CAAC;YACX,MAAM,EAAE,CAAC;QACV,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC/B,CAAC;YAAS,CAAC;QACV,OAAO,EAAE,CAAC;IACX,CAAC;AACF,CAAC;AAED,0GAA0G;AAC1G,KAAK,SAAS,CAAC,CAAC,IAAI,CACnB,KAAiB,EACjB,MAAmB,EACnB,OAAgB;IAEhB,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IACvC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;SACxC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SACnC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,KAAgC,CAAC;IACrC,GAAG,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACjG,MAAM,GAAG,GAAG,UAAU,MAAM,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,aAAa,KAAK,UAAU,CAAC;QACrF,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAC5B,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAA6C,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,WAAW,CAAC,EACzG,OAAO,CACP,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,IAAI;YAAE,MAAM,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvD,KAAK,GAAG,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAE,CAAC,CAAC;IACxF,CAAC,QAAQ,KAAK,KAAK,SAAS,EAAE;AAC/B,CAAC;AAED,qHAAqH;AACrH,SAAS,KAAK,CACb,MAAmB,EACnB,MAAkD;IAElD,MAAM,GAAG,GAA6C,EAAE,CAAC;IACzD,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QACpD,6GAA6G;QAC7G,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC;aAC/C,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAe,CAAc,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAW,CAAC;QACxD,CAAC;;YAAM,GAAG,CAAC,IAAI,CAAC,GAAG,KAAe,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC7G,CAAC;AAED;;;GAGG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,CACxB,KAAiB,EACjB,OAAgB;IAEhB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,SAAS,CAAC;QACT,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;QACnG,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC9B,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC;YAC1C,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,WAAW;YAAE,OAAO;QACzC,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;IAC5B,CAAC;AACF,CAAC;AAED,0GAA0G;AAC1G,KAAK,SAAS,CAAC,CAAC,SAAS,CACxB,KAAiB,EACjB,EAAU,EACV,OAAgB;IAEhB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,SAAS,CAAC;QACT,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,CAAC;QACtG,KAAK,MAAM,QAAQ,IAAI,IAAI;YAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,QAAQ,EAAE,CAAC;QAC9E,IAAI,IAAI,CAAC,MAAM,GAAG,WAAW;YAAE,OAAO;QACtC,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC;IAC1B,CAAC;AACF,CAAC","sourcesContent":["// `store.export(ctx)` (slice 6a §13, rule 26): the store's state after its `lastSeq` as archive parts, read page by\n// page with plain reads while the export holds the commit queue (no commit can interleave, no long read transaction).\n// The queue is taken at the first `next()` and given back when the iteration ends, throws, is closed or `ctx` aborts;\n// an abort while the consumer is suspended gives it back at once and drops the pages and records the export held, and\n// an abort while it waits for the queue ends the wait. Closing the store ends it too (`released`).\n\nimport { awaitWithContext, type Context } from \"../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport type { SqliteValue } from \"../sqlite/index.ts\";\nimport { ARCHIVE_FORMAT, type ArchivePart } from \"./archive.ts\";\nimport type { TableRecord } from \"./catalog.ts\";\nimport { listRecords, listRevisions } from \"./engine.ts\";\nimport { ROW_VERSION, type Scalar, versionColumn } from \"./rows.ts\";\nimport { STORE_SCHEMA } from \"./schema.ts\";\nimport { quote, recordedPut } from \"./sql.ts\";\nimport type { ChordStore } from \"./store.ts\";\n\n/** The rows and documents an export reads per page. */\nexport const EXPORT_PAGE = 100;\n\n/**\n * An export of `store` under `context`: an async iterator of its parts. One pass; after an abort `next()` rejects\n * `aborted`, after the store closed `released`.\n */\nexport class StoreExport implements AsyncIterableIterator<ArchivePart> {\n\treadonly #context: Context;\n\t/** The parts, until the export ends; dropped then, with the pages they hold. */\n\t#parts: AsyncGenerator<ArchivePart> | undefined;\n\t#state: \"open\" | \"aborted\" | \"closed\" | \"ended\" = \"open\";\n\t/** Gives the commit queue back while the export holds it. */\n\t#release: (() => void) | undefined;\n\treadonly #abort = (): void => this.#end(\"aborted\");\n\n\tconstructor(store: ChordStore, context: Context) {\n\t\tthis.#context = context;\n\t\tconst hold = (release: () => void): void => this.#hold(release);\n\t\tthis.#parts = parts(store, context, hold, () => this.#end(\"closed\"));\n\t}\n\n\t[Symbol.asyncIterator](): this {\n\t\treturn this;\n\t}\n\n\tasync next(): Promise<IteratorResult<ArchivePart>> {\n\t\tif (this.#context.abortSignal?.aborted) this.#end(\"aborted\");\n\t\tthis.#assertOpen();\n\t\tif (this.#parts === undefined) return { done: true, value: undefined };\n\t\tconst pending = this.#parts.next();\n\t\tlet result: IteratorResult<ArchivePart>;\n\t\ttry {\n\t\t\t// Until the export holds the queue only `context` ends the wait; from then on its abort listener does.\n\t\t\tresult = await (this.#release === undefined ? awaitWithContext(pending, this.#context) : pending);\n\t\t} catch (error) {\n\t\t\tif (this.#context.abortSignal?.aborted) this.#end(\"aborted\");\n\t\t\tthis.#assertOpen();\n\t\t\tthis.#end(\"ended\");\n\t\t\tthrow error;\n\t\t}\n\t\t// Ended meanwhile (an abort, the store's close): no part after that, even one that needed no read.\n\t\tthis.#assertOpen();\n\t\tif (result.done) this.#end(\"ended\");\n\t\treturn result;\n\t}\n\n\tasync return(): Promise<IteratorResult<ArchivePart>> {\n\t\tthis.#end(\"ended\");\n\t\treturn { done: true, value: undefined };\n\t}\n\n\t/** The parts took the queue: the export holds it until it ends, and an abort ends it; ended already, it gives it back. */\n\t#hold(release: () => void): void {\n\t\tif (this.#state !== \"open\") {\n\t\t\trelease();\n\t\t\treturn;\n\t\t}\n\t\tthis.#release = release;\n\t\tthis.#context.abortSignal?.addEventListener(\"abort\", this.#abort, { once: true });\n\t}\n\n\t/** Ends the export once: the queue given back, the parts closed (once they reach a `yield`) and dropped. */\n\t#end(state: \"aborted\" | \"closed\" | \"ended\"): void {\n\t\tif (this.#state !== \"open\") return;\n\t\tthis.#state = state;\n\t\tthis.#release?.();\n\t\tthis.#release = undefined;\n\t\tthis.#context.abortSignal?.removeEventListener(\"abort\", this.#abort);\n\t\tvoid this.#parts?.return(undefined).catch(() => {});\n\t\tthis.#parts = undefined;\n\t}\n\n\t/** Throws `aborted` after an abort, `released` after the store closed. */\n\t#assertOpen(): void {\n\t\tif (this.#state === \"aborted\") throw aborted(this.#context);\n\t\tif (this.#state === \"closed\")\n\t\t\tthrow new ChordError({ code: \"released\", reason: \"closed\", message: \"store: closed\" });\n\t}\n}\n\n/** The error of a use of an aborted export: `aborted`, the signal's reason as the cause. */\nfunction aborted(context: Context): ChordError {\n\treturn new ChordError({ code: \"aborted\", message: \"store: export aborted\" }, { cause: context.abortSignal?.reason });\n}\n\n/**\n * The parts in archive order, after taking the queue (handed to `hold`; the store's close calls `end`); the queue is\n * given back when they end.\n */\nasync function* parts(\n\tstore: ChordStore,\n\tcontext: Context,\n\thold: (release: () => void) => void,\n\tend: () => void,\n): AsyncGenerator<ArchivePart> {\n\tconst release = await store.take(end);\n\thold(release);\n\ttry {\n\t\tif (context.abortSignal?.aborted) throw aborted(context);\n\t\tconst { lastSeq, nextId } = store;\n\t\tyield { kind: \"manifest\", format: ARCHIVE_FORMAT, schema: STORE_SCHEMA, lastSeq, nextId };\n\t\tlet writes = 0;\n\t\tconst tables = [...store.tables.values()].sort((a, b) => (a.table < b.table ? -1 : 1));\n\t\tfor (const record of tables) {\n\t\t\tconst { table, version, state, columns, key, fingerprint } = record;\n\t\t\tyield { kind: \"table\", table, version, state, columns, key, fingerprint };\n\t\t\twrites++;\n\t\t\tfor await (const put of puts(store, record, context)) {\n\t\t\t\tyield put;\n\t\t\t\twrites++;\n\t\t\t}\n\t\t\tfor (const [name, on] of Object.entries(record.indexes)) {\n\t\t\t\tyield { kind: \"index\", table, name, columns: on };\n\t\t\t\twrites++;\n\t\t\t}\n\t\t}\n\t\tfor await (const part of documents(store, context)) {\n\t\t\tyield part;\n\t\t\twrites++;\n\t\t}\n\t\tyield { kind: \"end\", writes };\n\t} finally {\n\t\trelease();\n\t}\n}\n\n/** The `put`s of a recorded table in key order, a page per read: the stored values and their versions. */\nasync function* puts(\n\tstore: ChordStore,\n\trecord: TableRecord,\n\tcontext: Context,\n): AsyncGenerator<Extract<ArchivePart, { readonly kind: \"put\" }>> {\n\tconst { table, columns, key } = record;\n\tconst select = recordedPut(table, columns)\n\t\t.physical.map((name) => quote(name))\n\t\t.join(\", \");\n\tconst order = key.map(quote).join(\", \");\n\tlet after: SqliteValue[] | undefined;\n\tdo {\n\t\tconst page = after;\n\t\tconst from = page === undefined ? \"\" : ` WHERE (${order}) > (${page.map(() => \"?\").join(\", \")})`;\n\t\tconst sql = `SELECT ${select} FROM ${quote(table)}${from} ORDER BY ${order} LIMIT ?`;\n\t\tconst rows = await store.read(\n\t\t\t(executor) => executor.all<{ readonly [column: string]: SqliteValue }>(sql, ...(page ?? []), EXPORT_PAGE),\n\t\t\tcontext,\n\t\t);\n\t\tfor (const stored of rows) yield putOf(record, stored);\n\t\tafter = rows.length < EXPORT_PAGE ? undefined : key.map((name) => rows.at(-1)![name]!);\n\t} while (after !== undefined);\n}\n\n/** A stored row as its `put`: `NULL` cells absent, booleans from 0 and 1, `json(...)` cells parsed with versions. */\nfunction putOf(\n\trecord: TableRecord,\n\tstored: { readonly [column: string]: SqliteValue },\n): Extract<ArchivePart, { readonly kind: \"put\" }> {\n\tconst row: { [column: string]: Scalar | JsonValue } = {};\n\tconst versions: { [column: string]: number } = {};\n\tfor (const [name, column] of Object.entries(record.columns)) {\n\t\tconst value = stored[name];\n\t\tif (value === null || value === undefined) continue;\n\t\t// The recorded columns' types say what SQLite stored (STRICT tables): text for `json(...)` with its version.\n\t\tif (column.type === \"bool\") row[name] = value === 1;\n\t\telse if (column.type === \"json\") {\n\t\t\trow[name] = JSON.parse(value as string) as JsonValue;\n\t\t\tversions[name] = stored[versionColumn(name)] as number;\n\t\t} else row[name] = value as Scalar;\n\t}\n\treturn { kind: \"put\", table: record.table, row, version: stored[ROW_VERSION] as number, columns: versions };\n}\n\n/**\n * Every stored record by id, live and retired, as its creation without a base, then its kept revisions in seq order:\n * a `none` or `latest` record's current base and its deltas, a retired `latest` one none, a `rewindable` one all.\n */\nasync function* documents(\n\tstore: ChordStore,\n\tcontext: Context,\n): AsyncGenerator<Extract<ArchivePart, { readonly kind: \"document.create\" | \"document.revision\" }>> {\n\tlet after = 0;\n\tfor (;;) {\n\t\tconst records = await store.read((executor) => listRecords(executor, after, EXPORT_PAGE), context);\n\t\tfor (const record of records) {\n\t\t\tyield { kind: \"document.create\", record };\n\t\t\tyield* revisions(store, record.id, context);\n\t\t}\n\t\tif (records.length < EXPORT_PAGE) return;\n\t\tafter = records.at(-1)!.id;\n\t}\n}\n\n/** Document `id`'s kept revisions in seq order, read page by page (a long history is never one array). */\nasync function* revisions(\n\tstore: ChordStore,\n\tid: number,\n\tcontext: Context,\n): AsyncGenerator<Extract<ArchivePart, { readonly kind: \"document.revision\" }>> {\n\tlet after = 0;\n\tfor (;;) {\n\t\tconst page = await store.read((executor) => listRevisions(executor, id, after, EXPORT_PAGE), context);\n\t\tfor (const revision of page) yield { kind: \"document.revision\", ...revision };\n\t\tif (page.length < EXPORT_PAGE) return;\n\t\tafter = page.at(-1)!.seq;\n\t}\n}\n"]}

package/dist/store/expression.d.ts

@@ -0,0 +1,150 @@
+import type { Optional } from "../contracts/index.ts";
+import type { JsonValue } from "../json.ts";
+import type { Column, Columns, ColumnType, ColumnTypeOf, ValueOf } from "./columns.ts";
+import { type Scalar } from "./rows.ts";
+import type { TableDefinition } from "./table.ts";
+/** A compiled condition: column comparisons with checked operands, combined by `and`, `or`, `not`. */
+export type WhereNode = {
+    readonly eq: readonly [string, Scalar];
+} | {
+    readonly ne: readonly [string, Scalar];
+} | {
+    readonly lt: readonly [string, Scalar];
+} | {
+    readonly lte: readonly [string, Scalar];
+} | {
+    readonly gt: readonly [string, Scalar];
+} | {
+    readonly gte: readonly [string, Scalar];
+} | {
+    readonly inArray: readonly [string, readonly Scalar[]];
+} | {
+    readonly isNull: string;
+} | {
+    readonly prefix: readonly [string, string];
+} | {
+    readonly and: readonly WhereNode[];
+} | {
+    readonly or: readonly WhereNode[];
+} | {
+    readonly not: WhereNode;
+};
+/** A compiled value expression: a literal (`null` clears), a column, a `json(...)` cell, or an operation. */
+export type ExprNode = Scalar | null | {
+    readonly col: string;
+} | {
+    readonly json: JsonValue;
+} | {
+    readonly add: readonly [ExprNode, ExprNode];
+} | {
+    readonly sub: readonly [ExprNode, ExprNode];
+} | {
+    readonly max: readonly [ExprNode, ExprNode];
+} | {
+    readonly min: readonly [ExprNode, ExprNode];
+} | {
+    readonly concat: readonly [ExprNode, ExprNode];
+} | {
+    readonly coalesce: readonly [ExprNode, ExprNode];
+} | {
+    readonly replacePrefix: readonly [ExprNode, string, string];
+} | {
+    readonly when: readonly [WhereNode, ExprNode, ExprNode];
+};
+/** A compiled `set`: the new value of each changed column, every right side evaluated against the row before. */
+export type SetNode = {
+    readonly [column: string]: ExprNode;
+};
+/** The comparison operators of a `WhereNode`. */
+export type Comparison = "eq" | "ne" | "lt" | "lte" | "gt" | "gte";
+/** The operations of an `ExprNode`. */
+export type Operation = "add" | "sub" | "max" | "min" | "concat" | "coalesce" | "replacePrefix" | "when";
+/** A value expression as a plugin builds it: `T` is its value, `K` its column type. Compiled when staged. */
+export declare class Expression<T = unknown, K extends ColumnType = ColumnType> {
+    readonly op: Operation | "col";
+    readonly args: readonly unknown[];
+    /** Type only. */
+    readonly "~value"?: T;
+    readonly "~type"?: K;
+    constructor(op: Operation | "col", args: readonly unknown[]);
+}
+/** A reference to a column of the row, as `(t) => …` callbacks get them. */
+export declare class ColumnRef<T = unknown, K extends ColumnType = ColumnType> extends Expression<T, K> {
+    readonly column: string;
+    constructor(column: string);
+}
+/** A condition as a plugin builds it; compiled when staged or run. */
+export declare class Condition {
+    readonly op: Comparison | "inArray" | "isNull" | "prefix" | "and" | "or" | "not";
+    readonly args: readonly unknown[];
+    constructor(op: Condition["op"], args: readonly unknown[]);
+}
+/**
+ * A `set` of a table with columns `C` and key `K`: new values of non-key columns, each a value or an expression of
+ * the column's type; `undefined` clears an `opt(...)` column.
+ */
+export type SetOf<C extends Columns, K extends readonly string[]> = {
+    readonly [P in Exclude<keyof C & string, K[number]>]?: C[P] extends Optional ? ValueOf<C[P]> | Expression<ValueOf<C[P]>, ColumnTypeOf<C[P]>> | undefined : ValueOf<C[P]> | Expression<ValueOf<C[P]>, ColumnTypeOf<C[P]>>;
+};
+/** A scalar column type. */
+type ScalarType = Exclude<ColumnType, "json">;
+/** An operand of type `T` and column type `K`: an expression or a plain value. */
+type Operand<T, K extends ColumnType> = Expression<T, K> | T;
+/** The column equals `value` (`NULL` never matches). */
+export declare function eq<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition;
+/** The column differs from `value` (`NULL` never matches). */
+export declare function ne<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition;
+/** The column is below `value`. */
+export declare function lt<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition;
+/** The column is at most `value`. */
+export declare function lte<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition;
+/** The column is above `value`. */
+export declare function gt<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition;
+/** The column is at least `value`. */
+export declare function gte<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition;
+/** The column equals one of `values` (`[]` matches nothing). */
+export declare function inArray<T extends Scalar>(column: ColumnRef<T, ScalarType>, values: readonly T[]): Condition;
+/** The column is `NULL` (an `opt(...)` column without a value). */
+export declare function isNull(column: ColumnRef<unknown, ScalarType>): Condition;
+/** The text column starts with `prefix`, compared by code point (`""` matches every value). */
+export declare function prefix(column: ColumnRef<string, "str">, prefix: string): Condition;
+/** Every condition holds (`and()` always does). */
+export declare function and(...conditions: Condition[]): Condition;
+/** Some condition holds (`or()` never does). */
+export declare function or(...conditions: Condition[]): Condition;
+/** The condition does not hold (`NULL` stays `NULL`: it never matches). */
+export declare function not(condition: Condition): Condition;
+/** `a + b` over integers; a result outside ±(2^53 - 1) fails (rule 10). */
+export declare function add(a: Operand<number, "int">, b: Operand<number, "int">): Expression<number, "int">;
+/** `a - b` over integers; a result outside ±(2^53 - 1) fails (rule 10). */
+export declare function sub(a: Operand<number, "int">, b: Operand<number, "int">): Expression<number, "int">;
+/** The larger of `a` and b` (`int` or `num`). */
+export declare function max<K extends "int" | "num">(a: Operand<number, K>, b: Operand<number, K>): Expression<number, K>;
+/** The smaller of `a` and `b` (`int` or `num`). */
+export declare function min<K extends "int" | "num">(a: Operand<number, K>, b: Operand<number, K>): Expression<number, K>;
+/** `a` followed by `b`. */
+export declare function concat(a: Operand<string, "str">, b: Operand<string, "str">): Expression<string, "str">;
+/** `value` with its prefix `from` replaced by `to`; a value without the prefix stays as it is. */
+export declare function replacePrefix(value: Operand<string, "str">, from: string, to: string): Expression<string, "str">;
+/** `a` unless it is `NULL`, else `b`. */
+export declare function coalesce<T, K extends ScalarType>(a: Expression<T, K>, b: Operand<T, K>): Expression<T, K>;
+/** `a` where `condition` holds for the row, else `b`. */
+export declare function when<T, K extends ScalarType>(condition: Condition, a: Operand<T, K>, b: Operand<T, K>): Expression<T, K>;
+/** One `ColumnRef` per column of `definition`, for its `(t) => …` callbacks. */
+export declare function columnRefs(columns: readonly Column[]): {
+    readonly [column: string]: ColumnRef;
+};
+/**
+ * Compiles a plugin's condition over `table`'s columns (a trust boundary: plugin values): known scalar columns,
+ * operands of their type made storable (`invalid/args` otherwise, `undefined` included: ask with `isNull`, rule 16).
+ */
+export declare function compileWhere(table: TableDefinition, condition: unknown, what: string): WhereNode;
+/**
+ * Compiles a plugin's `set` (plain values or a callback's result) for `table` (a trust boundary): known non-key
+ * columns (rule 13), at least one (rule 14), `undefined` clearing an `opt(...)` column as the explicit `null` (a
+ * `null` value is a `json(...)` cell's JSON `null`, refused for other columns), an
+ * expression whose result may be `NULL` only for an `opt(...)` column; integer arithmetic only on `int` columns.
+ */
+export declare function compileSet(table: TableDefinition, set: unknown, what: string): SetNode;
+export {};
+//# sourceMappingURL=expression.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expression.d.ts","sourceRoot":"","sources":["../../src/store/expression.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvF,OAAO,EAA2B,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,sGAAsG;AACtG,MAAM,MAAM,SAAS,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC9C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GACtC;IAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GACrC;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC;AAE/B,6GAA6G;AAC7G,MAAM,MAAM,QAAQ,GACjB,MAAM,GACN,IAAI,GACJ;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAC/D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,CAAC;AAE/D,iHAAiH;AACjH,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,CAAC;AAE9D,iDAAiD;AACjD,MAAM,MAAM,UAAU,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;AAEnE,uCAAuC;AACvC,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,QAAQ,GAAG,UAAU,GAAG,eAAe,GAAG,MAAM,CAAC;AAEzG,6GAA6G;AAC7G,qBAAa,UAAU,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,UAAU,GAAG,UAAU;IACrE,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,KAAK,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,iBAAiB;IACjB,SAAiB,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9B,SAAiB,OAAO,CAAC,EAAE,CAAC,CAAC;IAE7B,YAAY,EAAE,EAAE,SAAS,GAAG,KAAK,EAAE,IAAI,EAAE,SAAS,OAAO,EAAE,EAG1D;CACD;AAED,4EAA4E;AAC5E,qBAAa,SAAS,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,UAAU,GAAG,UAAU,CAAE,SAAQ,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,YAAY,MAAM,EAAE,MAAM,EAGzB;CACD;AAED,sEAAsE;AACtE,qBAAa,SAAS;IACrB,QAAQ,CAAC,EAAE,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACjF,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAElC,YAAY,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,OAAO,EAAE,EAGxD;CACD;AAED;;;GAGG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;IACnE,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACzE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,GACzE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAChE,CAAC;AAEF,4BAA4B;AAC5B,KAAK,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAE9C,kFAAkF;AAClF,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,UAAU,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAE7D,wDAAwD;AACxD,wBAAgB,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAE1F;AAED,8DAA8D;AAC9D,wBAAgB,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAE1F;AAED,mCAAmC;AACnC,wBAAgB,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAE1F;AAED,qCAAqC;AACrC,wBAAgB,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAE3F;AAED,mCAAmC;AACnC,wBAAgB,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAE1F;AAED,sCAAsC;AACtC,wBAAgB,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAE3F;AAED,gEAAgE;AAChE,wBAAgB,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,CAE3G;AAED,mEAAmE;AACnE,wBAAgB,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,SAAS,CAExE;AAED,+FAA+F;AAC/F,wBAAgB,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAElF;AAED,mDAAmD;AACnD,wBAAgB,GAAG,CAAC,GAAG,UAAU,EAAE,SAAS,EAAE,GAAG,SAAS,CAEzD;AAED,gDAAgD;AAChD,wBAAgB,EAAE,CAAC,GAAG,UAAU,EAAE,SAAS,EAAE,GAAG,SAAS,CAExD;AAED,2EAA2E;AAC3E,wBAAgB,GAAG,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,CAEnD;AAED,2EAA2E;AAC3E,wBAAgB,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAEnG;AAED,2EAA2E;AAC3E,wBAAgB,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAEnG;AAED,iDAAiD;AACjD,wBAAgB,GAAG,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAEhH;AAED,mDAAmD;AACnD,wBAAgB,GAAG,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAEhH;AAED,2BAA2B;AAC3B,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAEtG;AAED,kGAAkG;AAClG,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAEhH;AAED,yCAAyC;AACzC,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAEzG;AAED,yDAAyD;AACzD,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,SAAS,UAAU,EAC3C,SAAS,EAAE,SAAS,EACpB,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAChB,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GACd,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAElB;AAED,gFAAgF;AAChF,wBAAgB,UAAU,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAE/F;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,CA8BhG;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAiCtF"}

package/dist/store/expression.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression.js","sourceRoot":"","sources":["../../src/store/expression.ts"],"names":[],"mappings":"AAAA,iHAAiH;AACjH,iHAAiH;AACjH,6GAA6G;AAG7G,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,OAAO,EAAE,WAAW,EAAE,UAAU,EAAe,MAAM,WAAW,CAAC;AA0CjE,6GAA6G;AAC7G,MAAM,OAAO,UAAU;IACb,EAAE,CAAoB;IACtB,IAAI,CAAqB;IAKlC,YAAY,EAAqB,EAAE,IAAwB;QAC1D,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAClB,CAAC;CACD;AAED,4EAA4E;AAC5E,MAAM,OAAO,SAA0D,SAAQ,UAAgB;IACrF,MAAM,CAAS;IAExB,YAAY,MAAc;QACzB,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACtB,CAAC;CACD;AAED,sEAAsE;AACtE,MAAM,OAAO,SAAS;IACZ,EAAE,CAAsE;IACxE,IAAI,CAAqB;IAElC,YAAY,EAAmB,EAAE,IAAwB;QACxD,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAClB,CAAC;CACD;AAkBD,wDAAwD;AACxD,MAAM,UAAU,EAAE,CAAmB,MAAgC,EAAE,KAAQ;IAC9E,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,EAAE,CAAmB,MAAgC,EAAE,KAAQ;IAC9E,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,mCAAmC;AACnC,MAAM,UAAU,EAAE,CAAmB,MAAgC,EAAE,KAAQ;IAC9E,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,qCAAqC;AACrC,MAAM,UAAU,GAAG,CAAmB,MAAgC,EAAE,KAAQ;IAC/E,OAAO,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,mCAAmC;AACnC,MAAM,UAAU,EAAE,CAAmB,MAAgC,EAAE,KAAQ;IAC9E,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,GAAG,CAAmB,MAAgC,EAAE,KAAQ;IAC/E,OAAO,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,OAAO,CAAmB,MAAgC,EAAE,MAAoB;IAC/F,OAAO,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,MAAM,CAAC,MAAsC;IAC5D,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,MAAM,CAAC,MAAgC,EAAE,MAAc;IACtE,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,GAAG,CAAC,GAAG,UAAuB;IAC7C,OAAO,IAAI,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,EAAE,CAAC,GAAG,UAAuB;IAC5C,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;AACxC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,GAAG,CAAC,SAAoB;IACvC,OAAO,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,GAAG,CAAC,CAAyB,EAAE,CAAyB;IACvE,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,GAAG,CAAC,CAAyB,EAAE,CAAyB;IACvE,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,GAAG,CAA0B,CAAqB,EAAE,CAAqB;IACxF,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,GAAG,CAA0B,CAAqB,EAAE,CAAqB;IACxF,OAAO,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,MAAM,CAAC,CAAyB,EAAE,CAAyB;IAC1E,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,aAAa,CAAC,KAA6B,EAAE,IAAY,EAAE,EAAU;IACpF,OAAO,IAAI,UAAU,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,QAAQ,CAA0B,CAAmB,EAAE,CAAgB;IACtF,OAAO,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,IAAI,CACnB,SAAoB,EACpB,CAAgB,EAChB,CAAgB;IAEhB,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,UAAU,CAAC,OAA0B;IACpD,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACnF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,KAAsB,EAAE,SAAkB,EAAE,IAAY;IACpF,IAAI,CAAC,CAAC,SAAS,YAAY,SAAS,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,wBAAwB,CAAC,CAAC;IAC7G,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;IAC/B,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAClE,OAAO,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QACtD,CAAC;QACD,KAAK,KAAK;YACT,OAAO,EAAE,GAAG,EAAE,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACpD,KAAK,QAAQ;YACZ,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5D,KAAK,QAAQ,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,+BAA+B,CAAC,CAAC;YACxG,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAW,CAAC,EAAE,CAAC;QAC5E,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,0BAA0B,CAAC,CAAC;YACpG,OAAO,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,CAAC;QACD,SAAS,CAAC;YACT,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAClD,+EAA+E;YAC/E,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAU,EAAe,CAAC;QACtF,CAAC;IACF,CAAC;AACF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAsB,EAAE,GAAY,EAAE,IAAY;IAC5E,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,uCAAuC,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,oBAAoB,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAmC,EAAE,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QAC/F,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,iBAAiB,IAAI,kCAAkC,CAAC,CAAC;QACtG,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,IAAI,aAAa,IAAI,GAAG,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,QAAQ;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,wCAAwC,CAAC,CAAC;YAC7G,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACnB,CAAC;aAAM,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,iHAAiH;YACjH,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,gBAAgB,MAAM,CAAC,IAAI,2BAA2B,CAAC,CAAC;QACtG,CAAC;aAAM,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBACzB,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,uCAAuC,CAAC,CAAC;YACvF,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/D,IAAI,QAAQ,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAC3C,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,0DAA0D,CAAC,CAAC;YAC1G,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC5B,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACpF,CAAC;;YAAM,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAKD,SAAS,WAAW,CAAC,KAAsB,EAAE,KAAc,EAAE,IAAgB,EAAE,IAAY;IAC1F,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACjF,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACtF,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,CAAC,OAAe,EAAS,EAAE;QACzC,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC;IACF,QAAQ,EAAE,EAAE,CAAC;QACZ,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,IAAI,MAAM,CAAC,cAAc,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC/F,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,MAAM,CAAC,WAAW,MAAM,CAAC,IAAI,QAAQ,MAAM,CAAC,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;YAC3F,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QAClE,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,EAAE,CAAC;YACf,MAAM,KAAK,GACV,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACrF,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,EAAE,UAAU,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;YAC9F,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAClG,+CAA+C;YAC/C,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAc,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7F,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAClG,OAAO,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACrF,CAAC;QACD,KAAK,eAAe,EAAE,CAAC;YACtB,IAAI,IAAI,KAAK,KAAK;gBAAE,MAAM,CAAC,0CAA0C,IAAI,EAAE,CAAC,CAAC;YAC7E,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CACxC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAW,CACtE,CAAC;YACF,OAAO,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAK,EAAE,EAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC5F,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAClG,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC5F,CAAC;IACF,CAAC;AACF,CAAC;AAED,6EAA6E;AAC7E,SAAS,YAAY,CAAC,KAAsB,EAAE,GAAY,EAAE,IAAY;IACvE,IAAI,CAAC,CAAC,GAAG,YAAY,SAAS,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,+BAA+B,CAAC,CAAC;IAC9G,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,gBAAgB,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IACrG,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QACzB,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,KAAK,IAAI,uBAAuB,GAAG,CAAC,MAAM,oBAAoB,CAAC,CAAC;IACpG,OAAO,MAAM,CAAC;AACf,CAAC;AAED,sGAAsG;AACtG,SAAS,OAAO,CAAC,MAAc,EAAE,KAAc,EAAE,IAAY;IAC5D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,MAAM,CAAC,IAAI,mBAAmB,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC3G,CAAC;IACD,uCAAuC;IACvC,OAAO,WAAW,CAAC,MAAM,CAAC,IAAkB,EAAE,KAAK,EAAE,GAAG,IAAI,aAAa,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;AAC1F,CAAC","sourcesContent":["// The table expression language (slice 6a §6, §7; rules 10, 13, 14, 16; decision \"Nullable columns and the `set`\n// form\"): the builders plugins write `where` and `set` with, and their compilation at staging into one data-only\n// vocabulary (what the outbox and archives carry; `evaluate.ts` runs it in JavaScript, `sql.ts` renders it).\n\nimport type { Optional } from \"../contracts/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport type { Column, Columns, ColumnType, ColumnTypeOf, ValueOf } from \"./columns.ts\";\nimport { checkScalar, encodeCell, type Scalar } from \"./rows.ts\";\nimport type { TableDefinition } from \"./table.ts\";\n\n/** A compiled condition: column comparisons with checked operands, combined by `and`, `or`, `not`. */\nexport type WhereNode =\n\t| { readonly eq: readonly [string, Scalar] }\n\t| { readonly ne: readonly [string, Scalar] }\n\t| { readonly lt: readonly [string, Scalar] }\n\t| { readonly lte: readonly [string, Scalar] }\n\t| { readonly gt: readonly [string, Scalar] }\n\t| { readonly gte: readonly [string, Scalar] }\n\t| { readonly inArray: readonly [string, readonly Scalar[]] }\n\t| { readonly isNull: string }\n\t| { readonly prefix: readonly [string, string] }\n\t| { readonly and: readonly WhereNode[] }\n\t| { readonly or: readonly WhereNode[] }\n\t| { readonly not: WhereNode };\n\n/** A compiled value expression: a literal (`null` clears), a column, a `json(...)` cell, or an operation. */\nexport type ExprNode =\n\t| Scalar\n\t| null\n\t| { readonly col: string }\n\t| { readonly json: JsonValue }\n\t| { readonly add: readonly [ExprNode, ExprNode] }\n\t| { readonly sub: readonly [ExprNode, ExprNode] }\n\t| { readonly max: readonly [ExprNode, ExprNode] }\n\t| { readonly min: readonly [ExprNode, ExprNode] }\n\t| { readonly concat: readonly [ExprNode, ExprNode] }\n\t| { readonly coalesce: readonly [ExprNode, ExprNode] }\n\t| { readonly replacePrefix: readonly [ExprNode, string, string] }\n\t| { readonly when: readonly [WhereNode, ExprNode, ExprNode] };\n\n/** A compiled `set`: the new value of each changed column, every right side evaluated against the row before. */\nexport type SetNode = { readonly [column: string]: ExprNode };\n\n/** The comparison operators of a `WhereNode`. */\nexport type Comparison = \"eq\" | \"ne\" | \"lt\" | \"lte\" | \"gt\" | \"gte\";\n\n/** The operations of an `ExprNode`. */\nexport type Operation = \"add\" | \"sub\" | \"max\" | \"min\" | \"concat\" | \"coalesce\" | \"replacePrefix\" | \"when\";\n\n/** A value expression as a plugin builds it: `T` is its value, `K` its column type. Compiled when staged. */\nexport class Expression<T = unknown, K extends ColumnType = ColumnType> {\n\treadonly op: Operation | \"col\";\n\treadonly args: readonly unknown[];\n\t/** Type only. */\n\tdeclare readonly \"~value\"?: T;\n\tdeclare readonly \"~type\"?: K;\n\n\tconstructor(op: Operation | \"col\", args: readonly unknown[]) {\n\t\tthis.op = op;\n\t\tthis.args = args;\n\t}\n}\n\n/** A reference to a column of the row, as `(t) => …` callbacks get them. */\nexport class ColumnRef<T = unknown, K extends ColumnType = ColumnType> extends Expression<T, K> {\n\treadonly column: string;\n\n\tconstructor(column: string) {\n\t\tsuper(\"col\", [column]);\n\t\tthis.column = column;\n\t}\n}\n\n/** A condition as a plugin builds it; compiled when staged or run. */\nexport class Condition {\n\treadonly op: Comparison | \"inArray\" | \"isNull\" | \"prefix\" | \"and\" | \"or\" | \"not\";\n\treadonly args: readonly unknown[];\n\n\tconstructor(op: Condition[\"op\"], args: readonly unknown[]) {\n\t\tthis.op = op;\n\t\tthis.args = args;\n\t}\n}\n\n/**\n * A `set` of a table with columns `C` and key `K`: new values of non-key columns, each a value or an expression of\n * the column's type; `undefined` clears an `opt(...)` column.\n */\nexport type SetOf<C extends Columns, K extends readonly string[]> = {\n\treadonly [P in Exclude<keyof C & string, K[number]>]?: C[P] extends Optional\n\t\t? ValueOf<C[P]> | Expression<ValueOf<C[P]>, ColumnTypeOf<C[P]>> | undefined\n\t\t: ValueOf<C[P]> | Expression<ValueOf<C[P]>, ColumnTypeOf<C[P]>>;\n};\n\n/** A scalar column type. */\ntype ScalarType = Exclude<ColumnType, \"json\">;\n\n/** An operand of type `T` and column type `K`: an expression or a plain value. */\ntype Operand<T, K extends ColumnType> = Expression<T, K> | T;\n\n/** The column equals `value` (`NULL` never matches). */\nexport function eq<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition {\n\treturn new Condition(\"eq\", [column, value]);\n}\n\n/** The column differs from `value` (`NULL` never matches). */\nexport function ne<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition {\n\treturn new Condition(\"ne\", [column, value]);\n}\n\n/** The column is below `value`. */\nexport function lt<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition {\n\treturn new Condition(\"lt\", [column, value]);\n}\n\n/** The column is at most `value`. */\nexport function lte<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition {\n\treturn new Condition(\"lte\", [column, value]);\n}\n\n/** The column is above `value`. */\nexport function gt<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition {\n\treturn new Condition(\"gt\", [column, value]);\n}\n\n/** The column is at least `value`. */\nexport function gte<T extends Scalar>(column: ColumnRef<T, ScalarType>, value: T): Condition {\n\treturn new Condition(\"gte\", [column, value]);\n}\n\n/** The column equals one of `values` (`[]` matches nothing). */\nexport function inArray<T extends Scalar>(column: ColumnRef<T, ScalarType>, values: readonly T[]): Condition {\n\treturn new Condition(\"inArray\", [column, values]);\n}\n\n/** The column is `NULL` (an `opt(...)` column without a value). */\nexport function isNull(column: ColumnRef<unknown, ScalarType>): Condition {\n\treturn new Condition(\"isNull\", [column]);\n}\n\n/** The text column starts with `prefix`, compared by code point (`\"\"` matches every value). */\nexport function prefix(column: ColumnRef<string, \"str\">, prefix: string): Condition {\n\treturn new Condition(\"prefix\", [column, prefix]);\n}\n\n/** Every condition holds (`and()` always does). */\nexport function and(...conditions: Condition[]): Condition {\n\treturn new Condition(\"and\", conditions);\n}\n\n/** Some condition holds (`or()` never does). */\nexport function or(...conditions: Condition[]): Condition {\n\treturn new Condition(\"or\", conditions);\n}\n\n/** The condition does not hold (`NULL` stays `NULL`: it never matches). */\nexport function not(condition: Condition): Condition {\n\treturn new Condition(\"not\", [condition]);\n}\n\n/** `a + b` over integers; a result outside ±(2^53 - 1) fails (rule 10). */\nexport function add(a: Operand<number, \"int\">, b: Operand<number, \"int\">): Expression<number, \"int\"> {\n\treturn new Expression(\"add\", [a, b]);\n}\n\n/** `a - b` over integers; a result outside ±(2^53 - 1) fails (rule 10). */\nexport function sub(a: Operand<number, \"int\">, b: Operand<number, \"int\">): Expression<number, \"int\"> {\n\treturn new Expression(\"sub\", [a, b]);\n}\n\n/** The larger of `a` and b` (`int` or `num`). */\nexport function max<K extends \"int\" | \"num\">(a: Operand<number, K>, b: Operand<number, K>): Expression<number, K> {\n\treturn new Expression(\"max\", [a, b]);\n}\n\n/** The smaller of `a` and `b` (`int` or `num`). */\nexport function min<K extends \"int\" | \"num\">(a: Operand<number, K>, b: Operand<number, K>): Expression<number, K> {\n\treturn new Expression(\"min\", [a, b]);\n}\n\n/** `a` followed by `b`. */\nexport function concat(a: Operand<string, \"str\">, b: Operand<string, \"str\">): Expression<string, \"str\"> {\n\treturn new Expression(\"concat\", [a, b]);\n}\n\n/** `value` with its prefix `from` replaced by `to`; a value without the prefix stays as it is. */\nexport function replacePrefix(value: Operand<string, \"str\">, from: string, to: string): Expression<string, \"str\"> {\n\treturn new Expression(\"replacePrefix\", [value, from, to]);\n}\n\n/** `a` unless it is `NULL`, else `b`. */\nexport function coalesce<T, K extends ScalarType>(a: Expression<T, K>, b: Operand<T, K>): Expression<T, K> {\n\treturn new Expression(\"coalesce\", [a, b]);\n}\n\n/** `a` where `condition` holds for the row, else `b`. */\nexport function when<T, K extends ScalarType>(\n\tcondition: Condition,\n\ta: Operand<T, K>,\n\tb: Operand<T, K>,\n): Expression<T, K> {\n\treturn new Expression(\"when\", [condition, a, b]);\n}\n\n/** One `ColumnRef` per column of `definition`, for its `(t) => …` callbacks. */\nexport function columnRefs(columns: readonly Column[]): { readonly [column: string]: ColumnRef } {\n\treturn Object.fromEntries(columns.map(({ name }) => [name, new ColumnRef(name)]));\n}\n\n/**\n * Compiles a plugin's condition over `table`'s columns (a trust boundary: plugin values): known scalar columns,\n * operands of their type made storable (`invalid/args` otherwise, `undefined` included: ask with `isNull`, rule 16).\n */\nexport function compileWhere(table: TableDefinition, condition: unknown, what: string): WhereNode {\n\tif (!(condition instanceof Condition)) throw invalid(\"args\", `${table.name}: ${what}: expected a condition`);\n\tconst { op, args } = condition;\n\tswitch (op) {\n\t\tcase \"and\":\n\t\tcase \"or\": {\n\t\t\tconst nodes = args.map((each) => compileWhere(table, each, what));\n\t\t\treturn op === \"and\" ? { and: nodes } : { or: nodes };\n\t\t}\n\t\tcase \"not\":\n\t\t\treturn { not: compileWhere(table, args[0], what) };\n\t\tcase \"isNull\":\n\t\t\treturn { isNull: scalarColumn(table, args[0], what).name };\n\t\tcase \"prefix\": {\n\t\t\tconst column = scalarColumn(table, args[0], what);\n\t\t\tif (column.type !== \"str\") throw invalid(\"args\", `${table.name}: ${what}: prefix needs a str() column`);\n\t\t\treturn { prefix: [column.name, operand(column, args[1], what) as string] };\n\t\t}\n\t\tcase \"inArray\": {\n\t\t\tconst column = scalarColumn(table, args[0], what);\n\t\t\tconst values = args[1];\n\t\t\tif (!Array.isArray(values)) throw invalid(\"args\", `${table.name}: ${what}: inArray needs an array`);\n\t\t\treturn { inArray: [column.name, values.map((value) => operand(column, value, what))] };\n\t\t}\n\t\tdefault: {\n\t\t\tconst column = scalarColumn(table, args[0], what);\n\t\t\t// One of the six comparisons: the node's shape is `{ [op]: [column, value] }`.\n\t\t\treturn { [op]: [column.name, operand(column, args[1], what)] as const } as WhereNode;\n\t\t}\n\t}\n}\n\n/**\n * Compiles a plugin's `set` (plain values or a callback's result) for `table` (a trust boundary): known non-key\n * columns (rule 13), at least one (rule 14), `undefined` clearing an `opt(...)` column as the explicit `null` (a\n * `null` value is a `json(...)` cell's JSON `null`, refused for other columns), an\n * expression whose result may be `NULL` only for an `opt(...)` column; integer arithmetic only on `int` columns.\n */\nexport function compileSet(table: TableDefinition, set: unknown, what: string): SetNode {\n\tif (typeof set !== \"object\" || set === null || Array.isArray(set)) {\n\t\tthrow invalid(\"args\", `${table.name}: ${what}: expected an object of column values`);\n\t}\n\tconst entries = Object.entries(set);\n\tif (entries.length === 0) throw invalid(\"args\", `${table.name}: ${what}: the set is empty`);\n\tconst node: { [column: string]: ExprNode } = {};\n\tfor (const [name, value] of entries) {\n\t\tconst column = table.byName.get(name);\n\t\tif (column === undefined) throw invalid(\"args\", `${table.name}: ${what}: no column \"${name}\"`);\n\t\tif (table.key.includes(name)) {\n\t\t\tthrow invalid(\"args\", `${table.name}: ${what}: key column \"${name}\" cannot change (delete and put)`);\n\t\t}\n\t\tconst where = `${what}: column \"${name}\"`;\n\t\tif (value === undefined) {\n\t\t\tif (!column.optional) throw invalid(\"args\", `${table.name}: ${where} is not opt(...) and cannot be cleared`);\n\t\t\tnode[name] = null;\n\t\t} else if (value === null && column.type !== \"json\") {\n\t\t\t// A row never holds an explicit `null` (decision \"Nullable columns and the set form\"); a JSON `null` is a value.\n\t\t\tthrow invalid(\"args\", `${table.name}: ${where}: null is no ${column.type} value (undefined clears)`);\n\t\t} else if (value instanceof Expression) {\n\t\t\tif (column.type === \"json\")\n\t\t\t\tthrow invalid(\"args\", `${table.name}: ${where}: json(...) columns take plain values`);\n\t\t\tconst compiled = compileExpr(table, value, column.type, where);\n\t\t\tif (compiled.nullable && !column.optional) {\n\t\t\t\tthrow invalid(\"args\", `${table.name}: ${where}: the expression may be NULL; the column is not opt(...)`);\n\t\t\t}\n\t\t\tnode[name] = compiled.node;\n\t\t} else if (column.type === \"json\") {\n\t\t\tnode[name] = { json: encodeCell(column, value, `${table.name}: ${where}`).stored };\n\t\t} else node[name] = checkScalar(column.type, value, `${table.name}: ${where}`);\n\t}\n\treturn node;\n}\n\n/** A compiled expression and whether its result may be `NULL`. */\ntype Compiled = { readonly node: ExprNode; readonly nullable: boolean };\n\nfunction compileExpr(table: TableDefinition, value: unknown, type: ScalarType, what: string): Compiled {\n\tif (!(value instanceof Expression)) {\n\t\tif (value === undefined || value === null) return { node: null, nullable: true };\n\t\treturn { node: checkScalar(type, value, `${table.name}: ${what}`), nullable: false };\n\t}\n\tconst { op, args } = value;\n\tconst refuse = (message: string): never => {\n\t\tthrow invalid(\"args\", `${table.name}: ${what}: ${message}`);\n\t};\n\tswitch (op) {\n\t\tcase \"col\": {\n\t\t\tconst column = table.byName.get(args[0] as string) ?? refuse(`no column \"${String(args[0])}\"`);\n\t\t\tif (column.type !== type) refuse(`column \"${column.name}\" is ${column.type}, not ${type}`);\n\t\t\treturn { node: { col: column.name }, nullable: column.optional };\n\t\t}\n\t\tcase \"add\":\n\t\tcase \"sub\":\n\t\tcase \"max\":\n\t\tcase \"min\":\n\t\tcase \"concat\": {\n\t\t\tconst types: readonly ScalarType[] =\n\t\t\t\top === \"concat\" ? [\"str\"] : op === \"add\" || op === \"sub\" ? [\"int\"] : [\"int\", \"num\"];\n\t\t\tif (!types.includes(type)) refuse(`${op} gives ${types.join(\" or \")}, the column is ${type}`);\n\t\t\tconst [a, b] = [compileExpr(table, args[0], type, what), compileExpr(table, args[1], type, what)];\n\t\t\t// The operation's shape is `{ [op]: [a, b] }`.\n\t\t\treturn { node: { [op]: [a.node, b.node] } as ExprNode, nullable: a.nullable || b.nullable };\n\t\t}\n\t\tcase \"coalesce\": {\n\t\t\tconst [a, b] = [compileExpr(table, args[0], type, what), compileExpr(table, args[1], type, what)];\n\t\t\treturn { node: { coalesce: [a.node, b.node] }, nullable: a.nullable && b.nullable };\n\t\t}\n\t\tcase \"replacePrefix\": {\n\t\t\tif (type !== \"str\") refuse(`replacePrefix gives str, the column is ${type}`);\n\t\t\tconst subject = compileExpr(table, args[0], type, what);\n\t\t\tconst [from, to] = [args[1], args[2]].map(\n\t\t\t\t(each) => checkScalar(\"str\", each, `${table.name}: ${what}`) as string,\n\t\t\t);\n\t\t\treturn { node: { replacePrefix: [subject.node, from!, to!] }, nullable: subject.nullable };\n\t\t}\n\t\tcase \"when\": {\n\t\t\tconst condition = compileWhere(table, args[0], what);\n\t\t\tconst [a, b] = [compileExpr(table, args[1], type, what), compileExpr(table, args[2], type, what)];\n\t\t\treturn { node: { when: [condition, a.node, b.node] }, nullable: a.nullable || b.nullable };\n\t\t}\n\t}\n}\n\n/** The column a condition compares: a reference to a known scalar column. */\nfunction scalarColumn(table: TableDefinition, ref: unknown, what: string): Column {\n\tif (!(ref instanceof ColumnRef)) throw invalid(\"args\", `${table.name}: ${what}: expected a column reference`);\n\tconst column = table.byName.get(ref.column);\n\tif (column === undefined) throw invalid(\"args\", `${table.name}: ${what}: no column \"${ref.column}\"`);\n\tif (column.type === \"json\")\n\t\tthrow invalid(\"args\", `${table.name}: ${what}: json(...) column \"${ref.column}\" is not queryable`);\n\treturn column;\n}\n\n/** An operand compared with `column`, made storable; `undefined` and `null` are refused (rule 16). */\nfunction operand(column: Column, value: unknown, what: string): Scalar {\n\tif (value === undefined || value === null) {\n\t\tthrow invalid(\"args\", `${what}: column \"${column.name}\" compared with ${String(value)}; ask with isNull`);\n\t}\n\t// `scalarColumn` refused json columns.\n\treturn checkScalar(column.type as ScalarType, value, `${what}: column \"${column.name}\"`);\n}\n"]}

package/dist/store/import.d.ts

@@ -0,0 +1,10 @@
+import { type Context } from "../context/index.ts";
+import type { Backend } from "./backend.ts";
+import { type Store, type StoreOptions } from "./store.ts";
+/**
+ * A store holding the archive `parts` on `backend`, which must not hold a store yet: at the manifest's `lastSeq`, its
+ * outbox (when `options.outbox`) starting after it. A refused archive, a stalled input cancelled by `context` or a
+ * backend error rejects; the backend is closed then (rule 12).
+ */
+export declare function importStore(backend: Backend, parts: AsyncIterable<unknown> | Iterable<unknown>, context: Context, options?: StoreOptions): Promise<Store>;
+//# sourceMappingURL=import.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../src/store/import.ts"],"names":[],"mappings":"AAOA,OAAO,EAAoB,KAAK,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAOrE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAK5C,OAAO,EAAc,KAAK,KAAK,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAGvE;;;;GAIG;AACH,wBAAsB,WAAW,CAChC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,EACjD,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,YAAiB,GACxB,OAAO,CAAC,KAAK,CAAC,CAqBhB"}

package/dist/store/import.js

@@ -0,0 +1,276 @@
+// `importStore(backend, parts, ctx, { outbox? })` (slice 6a §13, rules 12, 24, 25): a store made from an archive, a
+// trust boundary. Every part is checked against the archive schema, its place in the archive's order and its content
+// (names, rows against their table's recorded columns, ids and seqs, lifetimes at one address never overlapping,
+// revisions in seq order from a base, versions, duplicates, the `end` count, the manifest); everything is applied in
+// one backend transaction with the applier, so a refused import leaves the backend as it was. An input that stalls is
+// cancelled by `ctx`.
+import { awaitWithContext } from "../context/index.js";
+import { ChordError } from "../data/index.js";
+import { invalid } from "../data/internal.js";
+import { IdAllocator } from "./allocator.js";
+import { applyWrite } from "./applier.js";
+import { ARCHIVE_FORMAT, checkPart } from "./archive.js";
+import { readCatalog, writeCatalog } from "./catalog.js";
+import { applyStoreSchema, STORE_SCHEMA, TABLES } from "./schema.js";
+import { Step } from "./step.js";
+import { ChordStore } from "./store.js";
+import { storedText } from "./text.js";
+/**
+ * A store holding the archive `parts` on `backend`, which must not hold a store yet: at the manifest's `lastSeq`, its
+ * outbox (when `options.outbox`) starting after it. A refused archive, a stalled input cancelled by `context` or a
+ * backend error rejects; the backend is closed then (rule 12).
+ */
+export async function importStore(backend, parts, context, options = {}) {
+    const { db } = backend;
+    try {
+        context.abortSignal?.throwIfAborted();
+        const existing = await db.get(`SELECT name FROM sqlite_master WHERE name = ?`, TABLES.meta);
+        if (existing !== undefined)
+            throw invalid("args", "import: the backend holds a store already");
+        const meta = await db.transaction(async (executor) => {
+            const meta = await applyStoreSchema(inTransaction(executor));
+            const archive = new ArchiveImport(executor, context);
+            await each(parts, context, (part) => archive.take(part));
+            return archive.finish(meta, options.outbox === true);
+        });
+        return new ChordStore(db, meta, await readCatalog(db));
+    }
+    catch (error) {
+        try {
+            await db.close();
+        }
+        catch {
+            // The import's own failure is the one to report.
+        }
+        throw error;
+    }
+}
+/** The store's schema migrations run inside the import's backend transaction (they open none of their own). */
+function inTransaction(executor) {
+    return {
+        exec: (sql) => executor.exec(sql),
+        run: (sql, ...params) => executor.run(sql, ...params),
+        runCounted: (sql, ...params) => executor.runCounted(sql, ...params),
+        get: (sql, ...params) => executor.get(sql, ...params),
+        all: (sql, ...params) => executor.all(sql, ...params),
+        transaction: (callback) => callback(executor),
+        close: () => Promise.reject(new Error("import: the backend closes after the import")),
+    };
+}
+/**
+ * One archive being imported: the place reached in its order (the manifest, then table groups of a `table` write, its
+ * `put`s and its `index` writes, then the documents, then `end`), what was seen (tables, ids, live addresses, the
+ * write count) and the step its writes are applied in.
+ */
+class ArchiveImport {
+    #executor;
+    #context;
+    #position = 0;
+    #manifest;
+    #step;
+    /** Where the next part may go. */
+    #place = "manifest";
+    /** The table whose group is open. */
+    #table;
+    #tables = new Set();
+    #ids = new Set();
+    /** The lifetimes seen at each address, `[createdAt, retiredAt)` (`Infinity` while live). */
+    #lifetimes = new Map();
+    /** The record whose revisions may follow, with the last revision's seq and its base's version. */
+    #document;
+    #writes = 0;
+    constructor(executor, context) {
+        this.#executor = executor;
+        this.#context = context;
+    }
+    /** Checks the next part and applies it. */
+    async take(value) {
+        const position = this.#position++;
+        const part = checkPart(value, position, this.#context);
+        const what = `import: part ${position} (${part.kind})`;
+        if (this.#place === "ended")
+            throw invalid("args", `${what}: after the end`);
+        if (part.kind === "manifest" || this.#step === undefined) {
+            this.#start(part, what);
+            return;
+        }
+        if (part.kind === "end") {
+            if (part.writes !== this.#writes) {
+                throw invalid("args", `${what}: counts ${part.writes} writes, the archive has ${this.#writes}`);
+            }
+            this.#endDocument(what);
+            this.#place = "ended";
+            return;
+        }
+        this.#place = this.#placeOf(part, what);
+        this.#writes++;
+        await applyWrite(this.#step, part, what);
+    }
+    /** The stored metadata once the archive ended: its `lastSeq`, the allocator's next id and the outbox setting. */
+    async finish(meta, outbox) {
+        if (this.#place !== "ended" || this.#step === undefined || this.#manifest === undefined) {
+            throw invalid("args", "import: the archive has no end part");
+        }
+        const { lastSeq, nextId } = this.#manifest;
+        await writeCatalog(this.#step);
+        await this.#executor.run(`UPDATE ${TABLES.meta} SET last_seq = ?, next_id = ?, outbox = ?, outbox_floor = ? WHERE singleton = 1`, lastSeq, nextId, outbox ? 1 : 0, lastSeq);
+        return {
+            ...meta,
+            last_seq: lastSeq,
+            next_id: nextId,
+            outbox: outbox ? 1 : 0,
+            outbox_floor: lastSeq,
+        };
+    }
+    /** The manifest, first: a format and schema this code reads. */
+    #start(part, what) {
+        if (part.kind !== "manifest" || this.#step !== undefined)
+            throw invalid("args", `${what}: the manifest comes first, once`);
+        if (part.format !== ARCHIVE_FORMAT)
+            throw invalid("args", `${what}: format ${part.format} is not ${ARCHIVE_FORMAT}`);
+        if (part.schema > STORE_SCHEMA)
+            throw invalid("args", `${what}: schema ${part.schema} is newer than ${STORE_SCHEMA}`);
+        this.#manifest = part;
+        this.#step = new Step(this.#executor, part.lastSeq, new IdAllocator(part.nextId), new Map());
+    }
+    /** Where `part` puts the archive, refused when out of order, a duplicate, or outside the manifest's ranges. */
+    #placeOf(part, what) {
+        const place = this.#place;
+        switch (part.kind) {
+            case "table":
+                if (place === "documents")
+                    throw invalid("args", `${what}: tables come before the documents`);
+                if (this.#tables.has(part.table))
+                    throw invalid("args", `${what}: table ${part.table} occurs twice`);
+                this.#tables.add(part.table);
+                this.#table = part.table;
+                return "puts";
+            case "put":
+                if (place !== "puts" || part.table !== this.#table) {
+                    throw invalid("args", `${what}: a put follows its table's table write, before its indexes`);
+                }
+                return "puts";
+            case "index":
+                if ((place !== "puts" && place !== "indexes") || part.table !== this.#table) {
+                    throw invalid("args", `${what}: an index follows its table's table write and puts`);
+                }
+                return "indexes";
+            case "document.create":
+                this.#checkDocument(part, what);
+                return "documents";
+            case "document.revision":
+                this.#checkRevision(part, what);
+                return "documents";
+        }
+    }
+    /**
+     * A record within the manifest's ids and seqs (an id equal to a saturated `nextId` too), unique, its lifetime
+     * overlapping no other at its address; its address and meta well-formed text without NUL (SQLite would cut a NUL off,
+     * slice 6a §8). The record before it must have ended well (`#endDocument`).
+     */
+    #checkDocument(part, what) {
+        this.#endDocument(what);
+        const { record } = part;
+        const { lastSeq, nextId } = this.#manifest;
+        const saturated = nextId === Number.MAX_SAFE_INTEGER && record.id === nextId;
+        if (record.id >= nextId && !saturated)
+            throw invalid("args", `${what}: id ${record.id} is not below ${nextId}`);
+        if (this.#ids.has(record.id))
+            throw invalid("args", `${what}: id ${record.id} occurs twice`);
+        const { createdAt, retiredAt } = record;
+        if (createdAt > lastSeq || (retiredAt !== undefined && (retiredAt < createdAt || retiredAt > lastSeq))) {
+            throw invalid("args", `${what}: a lifetime outside the manifest's lastSeq`);
+        }
+        const { namespace, owner, kind, meta } = record;
+        // A singleton's record has no key; its column keeps `""`.
+        const key = record.key ?? "";
+        for (const text of [namespace, owner, kind, key]) {
+            if (storedText(text, what) !== text)
+                throw invalid("args", `${what}: an address is not well-formed text`);
+        }
+        if (meta !== undefined && storedText(meta, what) !== meta) {
+            throw invalid("args", `${what}: the meta is not well-formed text`);
+        }
+        const address = JSON.stringify([owner, namespace, kind, key]);
+        const lifetime = [createdAt, retiredAt ?? Number.POSITIVE_INFINITY];
+        const lifetimes = this.#lifetimes.get(address) ?? [];
+        // Two live records are two infinite lifetimes, which overlap; an empty one (`createdAt = retiredAt`) overlaps none.
+        if (lifetime[0] < lifetime[1] && lifetimes.some(([from, to]) => from < lifetime[1] && lifetime[0] < to)) {
+            throw invalid("args", `${what}: a second record at one address for an overlapping lifetime`);
+        }
+        lifetimes.push(lifetime);
+        this.#lifetimes.set(address, lifetimes);
+        this.#ids.add(record.id);
+        this.#document = { record, seq: 0, base: undefined };
+    }
+    /**
+     * A revision of the record before it, in seq order within its lifetime, from a base, each delta at its base's
+     * version.
+     */
+    #checkRevision(part, what) {
+        const document = this.#document;
+        if (document === undefined || document.record.id !== part.id) {
+            throw invalid("args", `${what}: a revision follows its record's create`);
+        }
+        const { record } = document;
+        if (record.retiredAt !== undefined && record.history !== "rewindable") {
+            throw invalid("args", `${what}: a retired ${record.history} record keeps no revisions`);
+        }
+        if (part.seq <= document.seq ||
+            part.seq < record.createdAt ||
+            part.seq > (record.retiredAt ?? this.#manifest.lastSeq)) {
+            throw invalid("args", `${what}: a revision out of seq order or outside its lifetime`);
+        }
+        const { content } = part;
+        if (content.kind === "base")
+            document.base = content.version;
+        else if (document.base !== content.version) {
+            throw invalid("args", `${what}: a delta without a base at its version`);
+        }
+        document.seq = part.seq;
+    }
+    /**
+     * The record before ends well: its last base is at the record's version; only a retired `latest` record has none
+     * (its content was dropped at retirement; a retired `rewindable` one keeps its history).
+     */
+    #endDocument(what) {
+        const document = this.#document;
+        this.#document = undefined;
+        if (document === undefined)
+            return;
+        const { record, base } = document;
+        const contentless = record.retiredAt !== undefined && record.history === "latest";
+        if (base === undefined ? !contentless : base !== record.version) {
+            throw invalid("args", `${what}: record ${record.id} has no base at its version`);
+        }
+    }
+}
+/** Runs `take` on each part in turn; a wait for the next part ends when `context` aborts (the input is closed). */
+async function each(parts, context, take) {
+    const iterator = Symbol.asyncIterator in parts ? parts[Symbol.asyncIterator]() : parts[Symbol.iterator]();
+    let done = false;
+    try {
+        for (;;) {
+            let result;
+            try {
+                result = await awaitWithContext(Promise.resolve(iterator.next()), context);
+            }
+            catch (error) {
+                if (!context.abortSignal?.aborted)
+                    throw error;
+                throw new ChordError({ code: "aborted", message: "import: aborted" }, { cause: context.abortSignal.reason });
+            }
+            if (result.done) {
+                done = true;
+                return;
+            }
+            await take(result.value);
+        }
+    }
+    finally {
+        // A stalled input is not awaited: the backend transaction ends now.
+        if (!done)
+            void Promise.resolve(iterator.return?.()).catch(() => { });
+    }
+}
+//# sourceMappingURL=import.js.map

package/dist/store/import.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/store/import.ts"],"names":[],"mappings":"AAAA,oHAAoH;AACpH,qHAAqH;AACrH,iHAAiH;AACjH,qHAAqH;AACrH,sHAAsH;AACtH,sBAAsB;AAEtB,OAAO,EAAE,gBAAgB,EAAgB,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,cAAc,EAA0C,SAAS,EAAE,MAAM,cAAc,CAAC;AAEjG,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEzD,OAAO,EAAE,gBAAgB,EAAgB,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAiC,MAAM,YAAY,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAChC,OAAgB,EAChB,KAAiD,EACjD,OAAgB,EAChB,OAAO,GAAiB,EAAE;IAE1B,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC;IACvB,IAAI,CAAC;QACJ,OAAO,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,+CAA+C,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5F,IAAI,QAAQ,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,2CAA2C,CAAC,CAAC;QAC/F,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;YACpD,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7D,MAAM,OAAO,GAAG,IAAI,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACrD,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,CAAC;YACJ,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC;QAClB,CAAC;QAAC,MAAM,CAAC;YACR,iDAAiD;QAClD,CAAC;QACD,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC;AAED,+GAA+G;AAC/G,SAAS,aAAa,CAAC,QAAwB;IAC9C,OAAO;QACN,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;QACjC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;QACrD,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;QACnE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;QACrD,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;QACrD,WAAW,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC7C,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;KACrF,CAAC;AACH,CAAC;AAKD;;;;GAIG;AACH,MAAM,aAAa;IACT,SAAS,CAAiB;IAC1B,QAAQ,CAAU;IAC3B,SAAS,GAAG,CAAC,CAAC;IACd,SAAS,CAA8B;IACvC,KAAK,CAAmB;IACxB,kCAAkC;IAClC,MAAM,GAAU,UAAU,CAAC;IAC3B,qCAAqC;IACrC,MAAM,CAAqB;IAClB,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,4FAA4F;IACnF,UAAU,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,kGAAkG;IAClG,SAAS,CAAyF;IAClG,OAAO,GAAG,CAAC,CAAC;IAEZ,YAAY,QAAwB,EAAE,OAAgB;QACrD,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;IACzB,CAAC;IAED,2CAA2C;IAC3C,KAAK,CAAC,IAAI,CAAC,KAAc;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,gBAAgB,QAAQ,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC;QACvD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,iBAAiB,CAAC,CAAC;QAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1D,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxB,OAAO;QACR,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,IAAI,CAAC,MAAM,4BAA4B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YACjG,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;YACtB,OAAO;QACR,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,MAAM,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,iHAAiH;IACjH,KAAK,CAAC,MAAM,CAAC,IAAa,EAAE,MAAe;QAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACzF,MAAM,OAAO,CAAC,MAAM,EAAE,qCAAqC,CAAC,CAAC;QAC9D,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC;QAC3C,MAAM,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CACvB,UAAU,MAAM,CAAC,IAAI,kFAAkF,EACvG,OAAO,EACP,MAAM,EACN,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACd,OAAO,CACP,CAAC;QACF,OAAO;YACN,GAAG,IAAI;YACP,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtB,YAAY,EAAE,OAAO;SACrB,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,IAAiB,EAAE,IAAY;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YACvD,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,kCAAkC,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc;YACjC,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,IAAI,CAAC,MAAM,WAAW,cAAc,EAAE,CAAC,CAAC;QAClF,IAAI,IAAI,CAAC,MAAM,GAAG,YAAY;YAC7B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,IAAI,CAAC,MAAM,kBAAkB,YAAY,EAAE,CAAC,CAAC;QACvF,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,+GAA+G;IAC/G,QAAQ,CAAC,IAAiE,EAAE,IAAY;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,OAAO;gBACX,IAAI,KAAK,KAAK,WAAW;oBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;gBAC9F,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,KAAK,eAAe,CAAC,CAAC;gBACrG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;gBACzB,OAAO,MAAM,CAAC;YACf,KAAK,KAAK;gBACT,IAAI,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;oBACpD,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,6DAA6D,CAAC,CAAC;gBAC7F,CAAC;gBACD,OAAO,MAAM,CAAC;YACf,KAAK,OAAO;gBACX,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC7E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,qDAAqD,CAAC,CAAC;gBACrF,CAAC;gBACD,OAAO,SAAS,CAAC;YAClB,KAAK,iBAAiB;gBACrB,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAChC,OAAO,WAAW,CAAC;YACpB,KAAK,mBAAmB;gBACvB,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACF,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,IAAgE,EAAE,IAAY;QAC5F,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QACxB,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,SAAU,CAAC;QAC5C,MAAM,SAAS,GAAG,MAAM,KAAK,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC;QAC7E,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,IAAI,CAAC,SAAS;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,MAAM,CAAC,EAAE,iBAAiB,MAAM,EAAE,CAAC,CAAC;QAChH,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7F,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC;QACxC,IAAI,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,GAAG,SAAS,IAAI,SAAS,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC;YACxG,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,6CAA6C,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;QAChD,0DAA0D;QAC1D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,sCAAsC,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3D,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAqB,CAAC,SAAS,EAAE,SAAS,IAAI,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACtF,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACrD,oHAAoH;QACpH,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;YACzG,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,8DAA8D,CAAC,CAAC;QAC9F,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,SAAS,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACtD,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,IAAkE,EAAE,IAAY;QAC9F,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;YAC9D,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,0CAA0C,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;QAC5B,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YACvE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,MAAM,CAAC,OAAO,4BAA4B,CAAC,CAAC;QACzF,CAAC;QACD,IACC,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG;YACxB,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,SAAS;YAC3B,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,SAAU,CAAC,OAAO,CAAC,EACvD,CAAC;YACF,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,uDAAuD,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;QACzB,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC;aACxD,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC;YAC5C,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yCAAyC,CAAC,CAAC;QACzE,CAAC;QACD,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACzB,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,IAAY;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO;QACnC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;QAClC,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC;QAClF,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;YACjE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,MAAM,CAAC,EAAE,6BAA6B,CAAC,CAAC;QAClF,CAAC;IACF,CAAC;CACD;AAED,mHAAmH;AACnH,KAAK,UAAU,IAAI,CAClB,KAAiD,EACjD,OAAgB,EAChB,IAAsC;IAEtC,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC1G,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,CAAC;QACJ,SAAS,CAAC;YACT,IAAI,MAA+B,CAAC;YACpC,IAAI,CAAC;gBACJ,MAAM,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YAC5E,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBAChB,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO;oBAAE,MAAM,KAAK,CAAC;gBAC/C,MAAM,IAAI,UAAU,CACnB,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,iBAAiB,EAAE,EAC/C,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,CACrC,CAAC;YACH,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBACjB,IAAI,GAAG,IAAI,CAAC;gBACZ,OAAO;YACR,CAAC;YACD,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACF,CAAC;YAAS,CAAC;QACV,oEAAoE;QACpE,IAAI,CAAC,IAAI;YAAE,KAAK,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACtE,CAAC;AACF,CAAC","sourcesContent":["// `importStore(backend, parts, ctx, { outbox? })` (slice 6a §13, rules 12, 24, 25): a store made from an archive, a\n// trust boundary. Every part is checked against the archive schema, its place in the archive's order and its content\n// (names, rows against their table's recorded columns, ids and seqs, lifetimes at one address never overlapping,\n// revisions in seq order from a base, versions, duplicates, the `end` count, the manifest); everything is applied in\n// one backend transaction with the applier, so a refused import leaves the backend as it was. An input that stalls is\n// cancelled by `ctx`.\n\nimport { awaitWithContext, type Context } from \"../context/index.ts\";\nimport { ChordError } from \"../data/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { SqliteDatabase, SqliteExecutor } from \"../sqlite/index.ts\";\nimport { IdAllocator } from \"./allocator.ts\";\nimport { applyWrite } from \"./applier.ts\";\nimport { ARCHIVE_FORMAT, type ArchiveManifest, type ArchivePart, checkPart } from \"./archive.ts\";\nimport type { Backend } from \"./backend.ts\";\nimport { readCatalog, writeCatalog } from \"./catalog.ts\";\nimport type { DocumentRecord } from \"./engine.ts\";\nimport { applyStoreSchema, type MetaRow, STORE_SCHEMA, TABLES } from \"./schema.ts\";\nimport { Step } from \"./step.ts\";\nimport { ChordStore, type Store, type StoreOptions } from \"./store.ts\";\nimport { storedText } from \"./text.ts\";\n\n/**\n * A store holding the archive `parts` on `backend`, which must not hold a store yet: at the manifest's `lastSeq`, its\n * outbox (when `options.outbox`) starting after it. A refused archive, a stalled input cancelled by `context` or a\n * backend error rejects; the backend is closed then (rule 12).\n */\nexport async function importStore(\n\tbackend: Backend,\n\tparts: AsyncIterable<unknown> | Iterable<unknown>,\n\tcontext: Context,\n\toptions: StoreOptions = {},\n): Promise<Store> {\n\tconst { db } = backend;\n\ttry {\n\t\tcontext.abortSignal?.throwIfAborted();\n\t\tconst existing = await db.get(`SELECT name FROM sqlite_master WHERE name = ?`, TABLES.meta);\n\t\tif (existing !== undefined) throw invalid(\"args\", \"import: the backend holds a store already\");\n\t\tconst meta = await db.transaction(async (executor) => {\n\t\t\tconst meta = await applyStoreSchema(inTransaction(executor));\n\t\t\tconst archive = new ArchiveImport(executor, context);\n\t\t\tawait each(parts, context, (part) => archive.take(part));\n\t\t\treturn archive.finish(meta, options.outbox === true);\n\t\t});\n\t\treturn new ChordStore(db, meta, await readCatalog(db));\n\t} catch (error) {\n\t\ttry {\n\t\t\tawait db.close();\n\t\t} catch {\n\t\t\t// The import's own failure is the one to report.\n\t\t}\n\t\tthrow error;\n\t}\n}\n\n/** The store's schema migrations run inside the import's backend transaction (they open none of their own). */\nfunction inTransaction(executor: SqliteExecutor): SqliteDatabase {\n\treturn {\n\t\texec: (sql) => executor.exec(sql),\n\t\trun: (sql, ...params) => executor.run(sql, ...params),\n\t\trunCounted: (sql, ...params) => executor.runCounted(sql, ...params),\n\t\tget: (sql, ...params) => executor.get(sql, ...params),\n\t\tall: (sql, ...params) => executor.all(sql, ...params),\n\t\ttransaction: (callback) => callback(executor),\n\t\tclose: () => Promise.reject(new Error(\"import: the backend closes after the import\")),\n\t};\n}\n\n/** A place in the archive's order: before the manifest, in a table group's puts or indexes, the documents, the end. */\ntype Place = \"manifest\" | \"puts\" | \"indexes\" | \"documents\" | \"ended\";\n\n/**\n * One archive being imported: the place reached in its order (the manifest, then table groups of a `table` write, its\n * `put`s and its `index` writes, then the documents, then `end`), what was seen (tables, ids, live addresses, the\n * write count) and the step its writes are applied in.\n */\nclass ArchiveImport {\n\treadonly #executor: SqliteExecutor;\n\treadonly #context: Context;\n\t#position = 0;\n\t#manifest: ArchiveManifest | undefined;\n\t#step: Step | undefined;\n\t/** Where the next part may go. */\n\t#place: Place = \"manifest\";\n\t/** The table whose group is open. */\n\t#table: string | undefined;\n\treadonly #tables = new Set<string>();\n\treadonly #ids = new Set<number>();\n\t/** The lifetimes seen at each address, `[createdAt, retiredAt)` (`Infinity` while live). */\n\treadonly #lifetimes = new Map<string, [number, number][]>();\n\t/** The record whose revisions may follow, with the last revision's seq and its base's version. */\n\t#document: { readonly record: DocumentRecord; seq: number; base: number | undefined } | undefined;\n\t#writes = 0;\n\n\tconstructor(executor: SqliteExecutor, context: Context) {\n\t\tthis.#executor = executor;\n\t\tthis.#context = context;\n\t}\n\n\t/** Checks the next part and applies it. */\n\tasync take(value: unknown): Promise<void> {\n\t\tconst position = this.#position++;\n\t\tconst part = checkPart(value, position, this.#context);\n\t\tconst what = `import: part ${position} (${part.kind})`;\n\t\tif (this.#place === \"ended\") throw invalid(\"args\", `${what}: after the end`);\n\t\tif (part.kind === \"manifest\" || this.#step === undefined) {\n\t\t\tthis.#start(part, what);\n\t\t\treturn;\n\t\t}\n\t\tif (part.kind === \"end\") {\n\t\t\tif (part.writes !== this.#writes) {\n\t\t\t\tthrow invalid(\"args\", `${what}: counts ${part.writes} writes, the archive has ${this.#writes}`);\n\t\t\t}\n\t\t\tthis.#endDocument(what);\n\t\t\tthis.#place = \"ended\";\n\t\t\treturn;\n\t\t}\n\t\tthis.#place = this.#placeOf(part, what);\n\t\tthis.#writes++;\n\t\tawait applyWrite(this.#step, part, what);\n\t}\n\n\t/** The stored metadata once the archive ended: its `lastSeq`, the allocator's next id and the outbox setting. */\n\tasync finish(meta: MetaRow, outbox: boolean): Promise<MetaRow> {\n\t\tif (this.#place !== \"ended\" || this.#step === undefined || this.#manifest === undefined) {\n\t\t\tthrow invalid(\"args\", \"import: the archive has no end part\");\n\t\t}\n\t\tconst { lastSeq, nextId } = this.#manifest;\n\t\tawait writeCatalog(this.#step);\n\t\tawait this.#executor.run(\n\t\t\t`UPDATE ${TABLES.meta} SET last_seq = ?, next_id = ?, outbox = ?, outbox_floor = ? WHERE singleton = 1`,\n\t\t\tlastSeq,\n\t\t\tnextId,\n\t\t\toutbox ? 1 : 0,\n\t\t\tlastSeq,\n\t\t);\n\t\treturn {\n\t\t\t...meta,\n\t\t\tlast_seq: lastSeq,\n\t\t\tnext_id: nextId,\n\t\t\toutbox: outbox ? 1 : 0,\n\t\t\toutbox_floor: lastSeq,\n\t\t};\n\t}\n\n\t/** The manifest, first: a format and schema this code reads. */\n\t#start(part: ArchivePart, what: string): void {\n\t\tif (part.kind !== \"manifest\" || this.#step !== undefined)\n\t\t\tthrow invalid(\"args\", `${what}: the manifest comes first, once`);\n\t\tif (part.format !== ARCHIVE_FORMAT)\n\t\t\tthrow invalid(\"args\", `${what}: format ${part.format} is not ${ARCHIVE_FORMAT}`);\n\t\tif (part.schema > STORE_SCHEMA)\n\t\t\tthrow invalid(\"args\", `${what}: schema ${part.schema} is newer than ${STORE_SCHEMA}`);\n\t\tthis.#manifest = part;\n\t\tthis.#step = new Step(this.#executor, part.lastSeq, new IdAllocator(part.nextId), new Map());\n\t}\n\n\t/** Where `part` puts the archive, refused when out of order, a duplicate, or outside the manifest's ranges. */\n\t#placeOf(part: Exclude<ArchivePart, { readonly kind: \"manifest\" | \"end\" }>, what: string): Place {\n\t\tconst place = this.#place;\n\t\tswitch (part.kind) {\n\t\t\tcase \"table\":\n\t\t\t\tif (place === \"documents\") throw invalid(\"args\", `${what}: tables come before the documents`);\n\t\t\t\tif (this.#tables.has(part.table)) throw invalid(\"args\", `${what}: table ${part.table} occurs twice`);\n\t\t\t\tthis.#tables.add(part.table);\n\t\t\t\tthis.#table = part.table;\n\t\t\t\treturn \"puts\";\n\t\t\tcase \"put\":\n\t\t\t\tif (place !== \"puts\" || part.table !== this.#table) {\n\t\t\t\t\tthrow invalid(\"args\", `${what}: a put follows its table's table write, before its indexes`);\n\t\t\t\t}\n\t\t\t\treturn \"puts\";\n\t\t\tcase \"index\":\n\t\t\t\tif ((place !== \"puts\" && place !== \"indexes\") || part.table !== this.#table) {\n\t\t\t\t\tthrow invalid(\"args\", `${what}: an index follows its table's table write and puts`);\n\t\t\t\t}\n\t\t\t\treturn \"indexes\";\n\t\t\tcase \"document.create\":\n\t\t\t\tthis.#checkDocument(part, what);\n\t\t\t\treturn \"documents\";\n\t\t\tcase \"document.revision\":\n\t\t\t\tthis.#checkRevision(part, what);\n\t\t\t\treturn \"documents\";\n\t\t}\n\t}\n\n\t/**\n\t * A record within the manifest's ids and seqs (an id equal to a saturated `nextId` too), unique, its lifetime\n\t * overlapping no other at its address; its address and meta well-formed text without NUL (SQLite would cut a NUL off,\n\t * slice 6a §8). The record before it must have ended well (`#endDocument`).\n\t */\n\t#checkDocument(part: Extract<ArchivePart, { readonly kind: \"document.create\" }>, what: string): void {\n\t\tthis.#endDocument(what);\n\t\tconst { record } = part;\n\t\tconst { lastSeq, nextId } = this.#manifest!;\n\t\tconst saturated = nextId === Number.MAX_SAFE_INTEGER && record.id === nextId;\n\t\tif (record.id >= nextId && !saturated) throw invalid(\"args\", `${what}: id ${record.id} is not below ${nextId}`);\n\t\tif (this.#ids.has(record.id)) throw invalid(\"args\", `${what}: id ${record.id} occurs twice`);\n\t\tconst { createdAt, retiredAt } = record;\n\t\tif (createdAt > lastSeq || (retiredAt !== undefined && (retiredAt < createdAt || retiredAt > lastSeq))) {\n\t\t\tthrow invalid(\"args\", `${what}: a lifetime outside the manifest's lastSeq`);\n\t\t}\n\t\tconst { namespace, owner, kind, meta } = record;\n\t\t// A singleton's record has no key; its column keeps `\"\"`.\n\t\tconst key = record.key ?? \"\";\n\t\tfor (const text of [namespace, owner, kind, key]) {\n\t\t\tif (storedText(text, what) !== text) throw invalid(\"args\", `${what}: an address is not well-formed text`);\n\t\t}\n\t\tif (meta !== undefined && storedText(meta, what) !== meta) {\n\t\t\tthrow invalid(\"args\", `${what}: the meta is not well-formed text`);\n\t\t}\n\t\tconst address = JSON.stringify([owner, namespace, kind, key]);\n\t\tconst lifetime: [number, number] = [createdAt, retiredAt ?? Number.POSITIVE_INFINITY];\n\t\tconst lifetimes = this.#lifetimes.get(address) ?? [];\n\t\t// Two live records are two infinite lifetimes, which overlap; an empty one (`createdAt = retiredAt`) overlaps none.\n\t\tif (lifetime[0] < lifetime[1] && lifetimes.some(([from, to]) => from < lifetime[1] && lifetime[0] < to)) {\n\t\t\tthrow invalid(\"args\", `${what}: a second record at one address for an overlapping lifetime`);\n\t\t}\n\t\tlifetimes.push(lifetime);\n\t\tthis.#lifetimes.set(address, lifetimes);\n\t\tthis.#ids.add(record.id);\n\t\tthis.#document = { record, seq: 0, base: undefined };\n\t}\n\n\t/**\n\t * A revision of the record before it, in seq order within its lifetime, from a base, each delta at its base's\n\t * version.\n\t */\n\t#checkRevision(part: Extract<ArchivePart, { readonly kind: \"document.revision\" }>, what: string): void {\n\t\tconst document = this.#document;\n\t\tif (document === undefined || document.record.id !== part.id) {\n\t\t\tthrow invalid(\"args\", `${what}: a revision follows its record's create`);\n\t\t}\n\t\tconst { record } = document;\n\t\tif (record.retiredAt !== undefined && record.history !== \"rewindable\") {\n\t\t\tthrow invalid(\"args\", `${what}: a retired ${record.history} record keeps no revisions`);\n\t\t}\n\t\tif (\n\t\t\tpart.seq <= document.seq ||\n\t\t\tpart.seq < record.createdAt ||\n\t\t\tpart.seq > (record.retiredAt ?? this.#manifest!.lastSeq)\n\t\t) {\n\t\t\tthrow invalid(\"args\", `${what}: a revision out of seq order or outside its lifetime`);\n\t\t}\n\t\tconst { content } = part;\n\t\tif (content.kind === \"base\") document.base = content.version;\n\t\telse if (document.base !== content.version) {\n\t\t\tthrow invalid(\"args\", `${what}: a delta without a base at its version`);\n\t\t}\n\t\tdocument.seq = part.seq;\n\t}\n\n\t/**\n\t * The record before ends well: its last base is at the record's version; only a retired `latest` record has none\n\t * (its content was dropped at retirement; a retired `rewindable` one keeps its history).\n\t */\n\t#endDocument(what: string): void {\n\t\tconst document = this.#document;\n\t\tthis.#document = undefined;\n\t\tif (document === undefined) return;\n\t\tconst { record, base } = document;\n\t\tconst contentless = record.retiredAt !== undefined && record.history === \"latest\";\n\t\tif (base === undefined ? !contentless : base !== record.version) {\n\t\t\tthrow invalid(\"args\", `${what}: record ${record.id} has no base at its version`);\n\t\t}\n\t}\n}\n\n/** Runs `take` on each part in turn; a wait for the next part ends when `context` aborts (the input is closed). */\nasync function each(\n\tparts: AsyncIterable<unknown> | Iterable<unknown>,\n\tcontext: Context,\n\ttake: (part: unknown) => Promise<void>,\n): Promise<void> {\n\tconst iterator = Symbol.asyncIterator in parts ? parts[Symbol.asyncIterator]() : parts[Symbol.iterator]();\n\tlet done = false;\n\ttry {\n\t\tfor (;;) {\n\t\t\tlet result: IteratorResult<unknown>;\n\t\t\ttry {\n\t\t\t\tresult = await awaitWithContext(Promise.resolve(iterator.next()), context);\n\t\t\t} catch (error) {\n\t\t\t\tif (!context.abortSignal?.aborted) throw error;\n\t\t\t\tthrow new ChordError(\n\t\t\t\t\t{ code: \"aborted\", message: \"import: aborted\" },\n\t\t\t\t\t{ cause: context.abortSignal.reason },\n\t\t\t\t);\n\t\t\t}\n\t\t\tif (result.done) {\n\t\t\t\tdone = true;\n\t\t\t\treturn;\n\t\t\t}\n\t\t\tawait take(result.value);\n\t\t}\n\t} finally {\n\t\t// A stalled input is not awaited: the backend transaction ends now.\n\t\tif (!done) void Promise.resolve(iterator.return?.()).catch(() => {});\n\t}\n}\n"]}