@earendil-works/chord 1.5.0 → 1.5.1

package/dist/state/watchable.d.ts

@@ -0,0 +1,114 @@
+import type { Context } from "../context/index.ts";
+import type { Op } from "../delta/index.ts";
+import type { JsonValue } from "../json.ts";
+import { Watch, type Watchable, type WatchCall, type WatchEnd } from "../watch.ts";
+import type { Batch } from "./batch.ts";
+/**
+ * A synchronous subscriber of a source (a hold over a link, a reference's member): fed the source's call inside the batch
+ * that made it, before the batch ends, so everything one commit changed can leave in one message. The watch's own sink
+ * shape (`Watch.advance`, `Watch.end`).
+ */
+export interface Subscriber {
+    /**
+     * The source's call of this batch, in its batch's `context`: a value (the ops from the previous one, and whether its
+     * document was retired in it, or for a derive one of its sources' documents), or a failure it may recover from; the
+     * next value after a failure is `[["r", value]]`.
+     */
+    advance(call: WatchCall<JsonValue>, context: Context): void;
+    /** The source ended for good with `end`; nothing follows, and the subscriber is dropped. */
+    end(end: WatchEnd): void;
+    /**
+     * The source ended for good after its last call (a followed runtime ended): a subscriber delivering later (a watch)
+     * ends `ended` once it delivered what it was given, others end now.
+     */
+    endAfterDelivery(): void;
+}
+/**
+ * What a new watch of a source starts at (design §11): its value, or, while it is failed, the failure and its last good
+ * value (`undefined` when it never had one: a watch cannot start then, there is nothing to start at).
+ */
+export type WatchStart = {
+    readonly kind: "value";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "failed";
+    readonly error: unknown;
+    readonly last: JsonValue | undefined;
+};
+/**
+ * An error Chord hands to apps (a failure call, a report), its stack made text first: until then V8 keeps the frames'
+ * receivers, which would keep the host behind the throw alive for as long as an app keeps the error.
+ */
+export declare function handedOut<E>(error: E): E;
+/**
+ * What reads a source and is marked by its changes: a derive, or a reference's member forwarding to derives (`Source.
+ * dependents`).
+ */
+export interface Dependent {
+    /** The source changed in the current batch: flags only, no compute. */
+    invalidate(): void;
+    /** A source's document was retired in the current batch (rule 21); `visited` keeps a diamond walked once. */
+    sourceRetired(visited: Set<Dependent>): void;
+}
+/**
+ * A changing value on a host (a singleton document, a derive, a replica): its watches and subscribers get one frame
+ * per batch that changed it, and the derives reading it are marked dirty when it changes.
+ */
+export declare abstract class Source implements Watchable<JsonValue> {
+    #private;
+    /** Derives reading this source (and references' members forwarding to some); each removes itself when it stops. */
+    readonly dependents: Set<Dependent>;
+    protected readonly batch: Batch;
+    constructor(batch: Batch);
+    abstract get value(): JsonValue;
+    /** Whether a watch or a subscriber follows this source. */
+    get watched(): boolean;
+    watch(context: Context): Promise<Watch<JsonValue>>;
+    /**
+     * `watch` without the Promise, for references, which must register the watch before anything else runs. On a failed
+     * source it opens at the last good value and its first call is the failure; with no value to start at it throws the
+     * failure.
+     */
+    openWatch(context: Context): Watch<JsonValue>;
+    /** What a new watch starts at; a source that can fail and recover tells its failure (`WatchStart`). */
+    start(): WatchStart;
+    /** Feeds `subscriber` every frame from now on, inside each batch; the caller took the current value first. */
+    subscribe(subscriber: Subscriber): void;
+    unsubscribe(subscriber: Subscriber): void;
+    /** Delivers this batch's frame to its watches; called once per batch that listed it with `changed`. */
+    abstract deliver(context: Context): void;
+    /** Records a change in the current batch: listed for a frame when watched, and every dependent marked dirty. */
+    protected changed(): void;
+    /**
+     * Records a retirement of this source's document in the current batch: every derive reading it, directly or
+     * through other derives, carries the flag on in its frame (rule 21). Called after `changed`.
+     */
+    protected retiredInBatch(): void;
+    /** Queues one frame on every watch and feeds it to every subscriber. */
+    protected publish(value: JsonValue, ops: readonly Op[], retired: boolean, context: Context): void;
+    /** Queues `call` on every watch and feeds it to every subscriber, as it is (a reference's member passes one on). */
+    protected forward(call: WatchCall<JsonValue>, context: Context): void;
+    /**
+     * Gives every watch and subscriber one failure call (design §11): the source cannot compute its value now and may
+     * recover; they stay open, and its next value is `[["r", value]]`.
+     */
+    protected failWatches(error: unknown, context: Context): void;
+    /**
+     * Ends every watch and subscriber for good once what they were given is delivered (a followed runtime ended after a
+     * last call, Durable's `endAfterDelivery`): `ended`; nothing follows.
+     */
+    protected endWatchesAfterDelivery(): void;
+    /** Ends every watch and subscriber for good (its owner ended): `ended`; nothing follows. */
+    protected endWatches(): void;
+}
+/** A watchable that never changes (start data, §18); usable as a state member and as a derive source. */
+export declare function constant<const T extends JsonValue>(value: T): Watchable<T>;
+/** The watchable behind `constant(value)`: its watches never get a frame and end only by stop or cancellation. */
+export declare class Constant implements Watchable<JsonValue> {
+    readonly value: JsonValue;
+    constructor(value: JsonValue);
+    watch(context: Context): Promise<Watch<JsonValue>>;
+    /** As `Source.openWatch`; nothing is delivered, so nothing is reported. */
+    openWatch(context: Context): Watch<JsonValue>;
+}
+//# sourceMappingURL=watchable.d.ts.map

package/dist/state/watchable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"watchable.d.ts","sourceRoot":"","sources":["../../src/state/watchable.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;GAIG;AACH,MAAM,WAAW,UAAU;IAC1B;;;;OAIG;IACH,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5D,4FAA4F;IAC5F,GAAG,CAAC,GAAG,EAAE,QAAQ,GAAG,IAAI,CAAC;IACzB;;;OAGG;IACH,gBAAgB,IAAI,IAAI,CAAC;CACzB;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAA;CAAE,CAAC;AAE9F;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAGxC;AAED;;;GAGG;AACH,MAAM,WAAW,SAAS;IACzB,uEAAuE;IACvE,UAAU,IAAI,IAAI,CAAC;IACnB,6GAA6G;IAC7G,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC;CAC7C;AAID;;;GAGG;AACH,8BAAsB,MAAO,YAAW,SAAS,CAAC,SAAS,CAAC;;IAC3D,mHAAmH;IACnH,QAAQ,CAAC,UAAU,iBAAwB;IAC3C,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAKhC,YAAY,KAAK,EAAE,KAAK,EAEvB;IAED,QAAQ,KAAK,KAAK,IAAI,SAAS,CAAC;IAEhC,2DAA2D;IAC3D,IAAI,OAAO,IAAI,OAAO,CAErB;IAEK,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAEvD;IAED;;;;OAIG;IACH,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAY5C;IAED,uGAAuG;IACvG,KAAK,IAAI,UAAU,CAElB;IAED,8GAA8G;IAC9G,SAAS,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAGtC;IAED,WAAW,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAExC;IAED,uGAAuG;IACvG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IAEzC,gHAAgH;IAChH,SAAS,CAAC,OAAO,IAAI,IAAI,CAGxB;IAED;;;OAGG;IACH,SAAS,CAAC,cAAc,IAAI,IAAI,CAI/B;IAED,wEAAwE;IACxE,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAEhG;IAED,oHAAoH;IACpH,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAIpE;IAED;;;OAGG;IACH,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,IAAI,CAE5D;IAED;;;OAGG;IACH,SAAS,CAAC,uBAAuB,IAAI,IAAI,CAMxC;IAED,4FAA4F;IAC5F,SAAS,CAAC,UAAU,IAAI,IAAI,CAQ3B;CACD;AAED,yGAAyG;AACzG,wBAAgB,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAG1E;AAED,kHAAkH;AAClH,qBAAa,QAAS,YAAW,SAAS,CAAC,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAE1B,YAAY,KAAK,EAAE,SAAS,EAE3B;IAEK,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAEvD;IAED,2EAA2E;IAC3E,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAQ5C;CACD"}

package/dist/state/watchable.js

@@ -0,0 +1,156 @@
+// Chord's JSON watchables: sources (documents and derives, with their watches and dependent derives) and constants.
+import { Watch } from "../watch.js";
+/**
+ * An error Chord hands to apps (a failure call, a report), its stack made text first: until then V8 keeps the frames'
+ * receivers, which would keep the host behind the throw alive for as long as an app keeps the error.
+ */
+export function handedOut(error) {
+    if (error instanceof Error)
+        void error.stack;
+    return error;
+}
+const ENDED = { kind: "ended" };
+/**
+ * A changing value on a host (a singleton document, a derive, a replica): its watches and subscribers get one frame
+ * per batch that changed it, and the derives reading it are marked dirty when it changes.
+ */
+export class Source {
+    /** Derives reading this source (and references' members forwarding to some); each removes itself when it stops. */
+    dependents = new Set();
+    batch;
+    /** Its watches and subscribers, each made by its first: most sources (a reference's members) never have one. */
+    #watches;
+    #subscribers;
+    constructor(batch) {
+        this.batch = batch;
+    }
+    /** Whether a watch or a subscriber follows this source. */
+    get watched() {
+        return (this.#watches?.size ?? 0) > 0 || (this.#subscribers?.size ?? 0) > 0;
+    }
+    async watch(context) {
+        return this.openWatch(context);
+    }
+    /**
+     * `watch` without the Promise, for references, which must register the watch before anything else runs. On a failed
+     * source it opens at the last good value and its first call is the failure; with no value to start at it throws the
+     * failure.
+     */
+    openWatch(context) {
+        this.batch.assertOutside("watch");
+        const start = this.start();
+        if (start.kind === "failed" && start.last === undefined)
+            throw start.error;
+        const value = start.kind === "value" ? start.value : start.last;
+        this.#watches ??= new Set();
+        const watches = this.#watches;
+        const watch = new Watch(value, () => watches.delete(watch), this.batch.reportListener);
+        watches.add(watch);
+        if (context.abortSignal !== undefined)
+            watch.observeAbort(context.abortSignal);
+        if (start.kind === "failed")
+            watch.fail(start.error, context);
+        return watch;
+    }
+    /** What a new watch starts at; a source that can fail and recover tells its failure (`WatchStart`). */
+    start() {
+        return { kind: "value", value: this.value };
+    }
+    /** Feeds `subscriber` every frame from now on, inside each batch; the caller took the current value first. */
+    subscribe(subscriber) {
+        this.#subscribers ??= new Set();
+        this.#subscribers.add(subscriber);
+    }
+    unsubscribe(subscriber) {
+        this.#subscribers?.delete(subscriber);
+    }
+    /** Records a change in the current batch: listed for a frame when watched, and every dependent marked dirty. */
+    changed() {
+        if (this.watched)
+            this.batch.changed(this);
+        for (const derive of this.dependents)
+            derive.invalidate();
+    }
+    /**
+     * Records a retirement of this source's document in the current batch: every derive reading it, directly or
+     * through other derives, carries the flag on in its frame (rule 21). Called after `changed`.
+     */
+    retiredInBatch() {
+        // Allocated only for a retirement, which is rare.
+        const visited = new Set();
+        for (const derive of this.dependents)
+            derive.sourceRetired(visited);
+    }
+    /** Queues one frame on every watch and feeds it to every subscriber. */
+    publish(value, ops, retired, context) {
+        this.forward({ kind: "value", value, ops, retired }, context);
+    }
+    /** Queues `call` on every watch and feeds it to every subscriber, as it is (a reference's member passes one on). */
+    forward(call, context) {
+        if (this.#watches !== undefined)
+            for (const watch of this.#watches)
+                watch.advance(call, context);
+        if (this.#subscribers !== undefined)
+            for (const subscriber of this.#subscribers)
+                subscriber.advance(call, context);
+    }
+    /**
+     * Gives every watch and subscriber one failure call (design §11): the source cannot compute its value now and may
+     * recover; they stay open, and its next value is `[["r", value]]`.
+     */
+    failWatches(error, context) {
+        this.forward({ kind: "failed", error: handedOut(error) }, context);
+    }
+    /**
+     * Ends every watch and subscriber for good once what they were given is delivered (a followed runtime ended after a
+     * last call, Durable's `endAfterDelivery`): `ended`; nothing follows.
+     */
+    endWatchesAfterDelivery() {
+        if (this.#watches !== undefined)
+            for (const watch of [...this.#watches])
+                watch.endAfterDelivery();
+        if (this.#subscribers === undefined || this.#subscribers.size === 0)
+            return;
+        const subscribers = [...this.#subscribers];
+        this.#subscribers.clear();
+        for (const subscriber of subscribers)
+            subscriber.endAfterDelivery();
+    }
+    /** Ends every watch and subscriber for good (its owner ended): `ended`; nothing follows. */
+    endWatches() {
+        // Ending detaches, which deletes the current entry (safe while iterating) and runs no listener.
+        if (this.#watches !== undefined)
+            for (const watch of this.#watches)
+                watch.end(ENDED);
+        if (this.#subscribers === undefined || this.#subscribers.size === 0)
+            return;
+        // A copy: a subscriber may unsubscribe as it ends.
+        const subscribers = [...this.#subscribers];
+        this.#subscribers.clear();
+        for (const subscriber of subscribers)
+            subscriber.end(ENDED);
+    }
+}
+/** A watchable that never changes (start data, §18); usable as a state member and as a derive source. */
+export function constant(value) {
+    // The constant holds `value` as it was given.
+    return new Constant(value);
+}
+/** The watchable behind `constant(value)`: its watches never get a frame and end only by stop or cancellation. */
+export class Constant {
+    value;
+    constructor(value) {
+        this.value = value;
+    }
+    async watch(context) {
+        return this.openWatch(context);
+    }
+    /** As `Source.openWatch`; nothing is delivered, so nothing is reported. */
+    openWatch(context) {
+        const watch = new Watch(this.value, () => { }, () => { });
+        if (context.abortSignal !== undefined)
+            watch.observeAbort(context.abortSignal);
+        return watch;
+    }
+}
+//# sourceMappingURL=watchable.js.map

package/dist/state/watchable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"watchable.js","sourceRoot":"","sources":["../../src/state/watchable.ts"],"names":[],"mappings":"AAAA,oHAAoH;AAKpH,OAAO,EAAE,KAAK,EAAiD,MAAM,aAAa,CAAC;AAgCnF;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAI,KAAQ;IACpC,IAAI,KAAK,YAAY,KAAK;QAAE,KAAK,KAAK,CAAC,KAAK,CAAC;IAC7C,OAAO,KAAK,CAAC;AACd,CAAC;AAaD,MAAM,KAAK,GAAa,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAE1C;;;GAGG;AACH,MAAM,OAAgB,MAAM;IAC3B,mHAAmH;IAC1G,UAAU,GAAG,IAAI,GAAG,EAAa,CAAC;IACxB,KAAK,CAAQ;IAChC,gHAAgH;IAChH,QAAQ,CAAoC;IAC5C,YAAY,CAA8B;IAE1C,YAAY,KAAY;QACvB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACpB,CAAC;IAID,2DAA2D;IAC3D,IAAI,OAAO;QACV,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7E,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAgB;QAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,OAAgB;QACzB,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,KAAK,CAAC,KAAK,CAAC;QAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAK,CAAC;QACjE,IAAI,CAAC,QAAQ,KAAK,IAAI,GAAG,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,MAAM,KAAK,GAAqB,IAAI,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACzG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/E,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC;IACd,CAAC;IAED,uGAAuG;IACvG,KAAK;QACJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC7C,CAAC;IAED,8GAA8G;IAC9G,SAAS,CAAC,UAAsB;QAC/B,IAAI,CAAC,YAAY,KAAK,IAAI,GAAG,EAAE,CAAC;QAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IAED,WAAW,CAAC,UAAsB;QACjC,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAKD,gHAAgH;IACtG,OAAO;QAChB,IAAI,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,UAAU,EAAE,CAAC;IAC3D,CAAC;IAED;;;OAGG;IACO,cAAc;QACvB,kDAAkD;QAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC;IAED,wEAAwE;IAC9D,OAAO,CAAC,KAAgB,EAAE,GAAkB,EAAE,OAAgB,EAAE,OAAgB;QACzF,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;IAC/D,CAAC;IAED,oHAAoH;IAC1G,OAAO,CAAC,IAA0B,EAAE,OAAgB;QAC7D,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjG,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;YAClC,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,YAAY;gBAAE,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChF,CAAC;IAED;;;OAGG;IACO,WAAW,CAAC,KAAc,EAAE,OAAgB;QACrD,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;IACpE,CAAC;IAED;;;OAGG;IACO,uBAAuB;QAChC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;gBAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAClG,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QAC5E,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,UAAU,IAAI,WAAW;YAAE,UAAU,CAAC,gBAAgB,EAAE,CAAC;IACrE,CAAC;IAED,4FAA4F;IAClF,UAAU;QACnB,gGAAgG;QAChG,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrF,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO;QAC5E,mDAAmD;QACnD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,UAAU,IAAI,WAAW;YAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC;CACD;AAED,yGAAyG;AACzG,MAAM,UAAU,QAAQ,CAA4B,KAAQ;IAC3D,8CAA8C;IAC9C,OAAO,IAAI,QAAQ,CAAC,KAAK,CAA4B,CAAC;AACvD,CAAC;AAED,kHAAkH;AAClH,MAAM,OAAO,QAAQ;IACX,KAAK,CAAY;IAE1B,YAAY,KAAgB;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAAgB;QAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,2EAA2E;IAC3E,SAAS,CAAC,OAAgB;QACzB,MAAM,KAAK,GAAG,IAAI,KAAK,CACtB,IAAI,CAAC,KAAK,EACV,GAAG,EAAE,GAAE,CAAC,EACR,GAAG,EAAE,GAAE,CAAC,CACR,CAAC;QACF,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/E,OAAO,KAAK,CAAC;IACd,CAAC;CACD","sourcesContent":["// Chord's JSON watchables: sources (documents and derives, with their watches and dependent derives) and constants.\n\nimport type { Context } from \"../context/index.ts\";\nimport type { Op } from \"../delta/index.ts\";\nimport type { JsonValue } from \"../json.ts\";\nimport { Watch, type Watchable, type WatchCall, type WatchEnd } from \"../watch.ts\";\nimport type { Batch } from \"./batch.ts\";\n\n/**\n * A synchronous subscriber of a source (a hold over a link, a reference's member): fed the source's call inside the batch\n * that made it, before the batch ends, so everything one commit changed can leave in one message. The watch's own sink\n * shape (`Watch.advance`, `Watch.end`).\n */\nexport interface Subscriber {\n\t/**\n\t * The source's call of this batch, in its batch's `context`: a value (the ops from the previous one, and whether its\n\t * document was retired in it, or for a derive one of its sources' documents), or a failure it may recover from; the\n\t * next value after a failure is `[[\"r\", value]]`.\n\t */\n\tadvance(call: WatchCall<JsonValue>, context: Context): void;\n\t/** The source ended for good with `end`; nothing follows, and the subscriber is dropped. */\n\tend(end: WatchEnd): void;\n\t/**\n\t * The source ended for good after its last call (a followed runtime ended): a subscriber delivering later (a watch)\n\t * ends `ended` once it delivered what it was given, others end now.\n\t */\n\tendAfterDelivery(): void;\n}\n\n/**\n * What a new watch of a source starts at (design §11): its value, or, while it is failed, the failure and its last good\n * value (`undefined` when it never had one: a watch cannot start then, there is nothing to start at).\n */\nexport type WatchStart =\n\t| { readonly kind: \"value\"; readonly value: JsonValue }\n\t| { readonly kind: \"failed\"; readonly error: unknown; readonly last: JsonValue | undefined };\n\n/**\n * An error Chord hands to apps (a failure call, a report), its stack made text first: until then V8 keeps the frames'\n * receivers, which would keep the host behind the throw alive for as long as an app keeps the error.\n */\nexport function handedOut<E>(error: E): E {\n\tif (error instanceof Error) void error.stack;\n\treturn error;\n}\n\n/**\n * What reads a source and is marked by its changes: a derive, or a reference's member forwarding to derives (`Source.\n * dependents`).\n */\nexport interface Dependent {\n\t/** The source changed in the current batch: flags only, no compute. */\n\tinvalidate(): void;\n\t/** A source's document was retired in the current batch (rule 21); `visited` keeps a diamond walked once. */\n\tsourceRetired(visited: Set<Dependent>): void;\n}\n\nconst ENDED: WatchEnd = { kind: \"ended\" };\n\n/**\n * A changing value on a host (a singleton document, a derive, a replica): its watches and subscribers get one frame\n * per batch that changed it, and the derives reading it are marked dirty when it changes.\n */\nexport abstract class Source implements Watchable<JsonValue> {\n\t/** Derives reading this source (and references' members forwarding to some); each removes itself when it stops. */\n\treadonly dependents = new Set<Dependent>();\n\tprotected readonly batch: Batch;\n\t/** Its watches and subscribers, each made by its first: most sources (a reference's members) never have one. */\n\t#watches: Set<Watch<JsonValue>> | undefined;\n\t#subscribers: Set<Subscriber> | undefined;\n\n\tconstructor(batch: Batch) {\n\t\tthis.batch = batch;\n\t}\n\n\tabstract get value(): JsonValue;\n\n\t/** Whether a watch or a subscriber follows this source. */\n\tget watched(): boolean {\n\t\treturn (this.#watches?.size ?? 0) > 0 || (this.#subscribers?.size ?? 0) > 0;\n\t}\n\n\tasync watch(context: Context): Promise<Watch<JsonValue>> {\n\t\treturn this.openWatch(context);\n\t}\n\n\t/**\n\t * `watch` without the Promise, for references, which must register the watch before anything else runs. On a failed\n\t * source it opens at the last good value and its first call is the failure; with no value to start at it throws the\n\t * failure.\n\t */\n\topenWatch(context: Context): Watch<JsonValue> {\n\t\tthis.batch.assertOutside(\"watch\");\n\t\tconst start = this.start();\n\t\tif (start.kind === \"failed\" && start.last === undefined) throw start.error;\n\t\tconst value = start.kind === \"value\" ? start.value : start.last!;\n\t\tthis.#watches ??= new Set();\n\t\tconst watches = this.#watches;\n\t\tconst watch: Watch<JsonValue> = new Watch(value, () => watches.delete(watch), this.batch.reportListener);\n\t\twatches.add(watch);\n\t\tif (context.abortSignal !== undefined) watch.observeAbort(context.abortSignal);\n\t\tif (start.kind === \"failed\") watch.fail(start.error, context);\n\t\treturn watch;\n\t}\n\n\t/** What a new watch starts at; a source that can fail and recover tells its failure (`WatchStart`). */\n\tstart(): WatchStart {\n\t\treturn { kind: \"value\", value: this.value };\n\t}\n\n\t/** Feeds `subscriber` every frame from now on, inside each batch; the caller took the current value first. */\n\tsubscribe(subscriber: Subscriber): void {\n\t\tthis.#subscribers ??= new Set();\n\t\tthis.#subscribers.add(subscriber);\n\t}\n\n\tunsubscribe(subscriber: Subscriber): void {\n\t\tthis.#subscribers?.delete(subscriber);\n\t}\n\n\t/** Delivers this batch's frame to its watches; called once per batch that listed it with `changed`. */\n\tabstract deliver(context: Context): void;\n\n\t/** Records a change in the current batch: listed for a frame when watched, and every dependent marked dirty. */\n\tprotected changed(): void {\n\t\tif (this.watched) this.batch.changed(this);\n\t\tfor (const derive of this.dependents) derive.invalidate();\n\t}\n\n\t/**\n\t * Records a retirement of this source's document in the current batch: every derive reading it, directly or\n\t * through other derives, carries the flag on in its frame (rule 21). Called after `changed`.\n\t */\n\tprotected retiredInBatch(): void {\n\t\t// Allocated only for a retirement, which is rare.\n\t\tconst visited = new Set<Dependent>();\n\t\tfor (const derive of this.dependents) derive.sourceRetired(visited);\n\t}\n\n\t/** Queues one frame on every watch and feeds it to every subscriber. */\n\tprotected publish(value: JsonValue, ops: readonly Op[], retired: boolean, context: Context): void {\n\t\tthis.forward({ kind: \"value\", value, ops, retired }, context);\n\t}\n\n\t/** Queues `call` on every watch and feeds it to every subscriber, as it is (a reference's member passes one on). */\n\tprotected forward(call: WatchCall<JsonValue>, context: Context): void {\n\t\tif (this.#watches !== undefined) for (const watch of this.#watches) watch.advance(call, context);\n\t\tif (this.#subscribers !== undefined)\n\t\t\tfor (const subscriber of this.#subscribers) subscriber.advance(call, context);\n\t}\n\n\t/**\n\t * Gives every watch and subscriber one failure call (design §11): the source cannot compute its value now and may\n\t * recover; they stay open, and its next value is `[[\"r\", value]]`.\n\t */\n\tprotected failWatches(error: unknown, context: Context): void {\n\t\tthis.forward({ kind: \"failed\", error: handedOut(error) }, context);\n\t}\n\n\t/**\n\t * Ends every watch and subscriber for good once what they were given is delivered (a followed runtime ended after a\n\t * last call, Durable's `endAfterDelivery`): `ended`; nothing follows.\n\t */\n\tprotected endWatchesAfterDelivery(): void {\n\t\tif (this.#watches !== undefined) for (const watch of [...this.#watches]) watch.endAfterDelivery();\n\t\tif (this.#subscribers === undefined || this.#subscribers.size === 0) return;\n\t\tconst subscribers = [...this.#subscribers];\n\t\tthis.#subscribers.clear();\n\t\tfor (const subscriber of subscribers) subscriber.endAfterDelivery();\n\t}\n\n\t/** Ends every watch and subscriber for good (its owner ended): `ended`; nothing follows. */\n\tprotected endWatches(): void {\n\t\t// Ending detaches, which deletes the current entry (safe while iterating) and runs no listener.\n\t\tif (this.#watches !== undefined) for (const watch of this.#watches) watch.end(ENDED);\n\t\tif (this.#subscribers === undefined || this.#subscribers.size === 0) return;\n\t\t// A copy: a subscriber may unsubscribe as it ends.\n\t\tconst subscribers = [...this.#subscribers];\n\t\tthis.#subscribers.clear();\n\t\tfor (const subscriber of subscribers) subscriber.end(ENDED);\n\t}\n}\n\n/** A watchable that never changes (start data, §18); usable as a state member and as a derive source. */\nexport function constant<const T extends JsonValue>(value: T): Watchable<T> {\n\t// The constant holds `value` as it was given.\n\treturn new Constant(value) as unknown as Watchable<T>;\n}\n\n/** The watchable behind `constant(value)`: its watches never get a frame and end only by stop or cancellation. */\nexport class Constant implements Watchable<JsonValue> {\n\treadonly value: JsonValue;\n\n\tconstructor(value: JsonValue) {\n\t\tthis.value = value;\n\t}\n\n\tasync watch(context: Context): Promise<Watch<JsonValue>> {\n\t\treturn this.openWatch(context);\n\t}\n\n\t/** As `Source.openWatch`; nothing is delivered, so nothing is reported. */\n\topenWatch(context: Context): Watch<JsonValue> {\n\t\tconst watch = new Watch<JsonValue>(\n\t\t\tthis.value,\n\t\t\t() => {},\n\t\t\t() => {},\n\t\t);\n\t\tif (context.abortSignal !== undefined) watch.observeAbort(context.abortSignal);\n\t\treturn watch;\n\t}\n}\n"]}

package/dist/state/writable.d.ts

@@ -0,0 +1,32 @@
+import type { Context } from "../context/index.ts";
+import type { NativeWatchable } from "../watch.ts";
+import type { Batch } from "./batch.ts";
+import { FollowedSource } from "./native-source.ts";
+/** An in-process value that changes when its owner sets it; `set` of the same value notifies nobody. */
+export interface Writable<T> extends NativeWatchable<T> {
+    /**
+     * Sets the value: a new value (by identity) is a new frame for its watches and marks the derives and registry
+     * tables reading it, in the batch running now or in one of its own. Throws `released` once its attempt ended, and
+     * `invalid/reentrant` inside a derive compute or a `compose`.
+     */
+    set(value: T): void;
+}
+/** Who owns a writable: the context its own batches run in, and the check that its attempt still runs. */
+export type WritableOwner = {
+    readonly context: Context;
+    /** Throws `released` once the attempt that made it was sealed. */
+    assertUsable(): void;
+};
+/** A writable: its value, set by its owner's code, delivered through the host's batch. */
+export declare class WritableSource<T> extends FollowedSource<T> implements Writable<T> {
+    #private;
+    constructor(initial: T, owner: WritableOwner, batch: Batch);
+    get value(): T;
+    set(value: T): void;
+    /**
+     * Its attempt ended with `error`: its watches end `ended`, `set` throws `error`, its value stays readable; it keeps
+     * neither its attempt nor the host.
+     */
+    detach(error: Error): void;
+}
+//# sourceMappingURL=writable.d.ts.map

package/dist/state/writable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"writable.d.ts","sourceRoot":"","sources":["../../src/state/writable.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,wGAAwG;AACxG,MAAM,WAAW,QAAQ,CAAC,CAAC,CAAE,SAAQ,eAAe,CAAC,CAAC,CAAC;IACtD;;;;OAIG;IACH,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC;CACpB;AAED,0GAA0G;AAC1G,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,kEAAkE;IAClE,YAAY,IAAI,IAAI,CAAC;CACrB,CAAC;AAOF,0FAA0F;AAC1F,qBAAa,cAAc,CAAC,CAAC,CAAE,SAAQ,cAAc,CAAC,CAAC,CAAE,YAAW,QAAQ,CAAC,CAAC,CAAC;;IAI9E,YAAY,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAIzD;IAED,IAAI,KAAK,IAAI,CAAC,CAEb;IAED,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CASlB;IAaD;;;OAGG;IACH,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAKzB;CACD"}

package/dist/state/writable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"writable.js","sourceRoot":"","sources":["../../src/state/writable.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAC/G,sFAAsF;AAKtF,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAwBpD,0FAA0F;AAC1F,MAAM,OAAO,cAAkB,SAAQ,cAAiB;IACvD,MAAM,CAAI;IACV,UAAU,CAAY;IAEtB,YAAY,OAAU,EAAE,KAAoB,EAAE,KAAY;QACzD,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;QACtB,IAAI,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5C,CAAC;IAED,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,GAAG,CAAC,KAAQ;QACX,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC;QAClC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,SAAS,CAAC,KAAK,CAAC;QACtD,SAAS,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;QAC/B,qFAAqF;QACrF,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAM,CAAC;QAC1B,KAAK,CAAC,kBAAkB,CAAC,cAAc,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,KAAQ,EAAE,KAAY,EAAE,OAAgB;QAC/C,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE;YACjB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;YACpB,IAAI,CAAC,OAAO,EAAE,CAAC;QAChB,CAAC,EAAE,OAAO,CAAC,CAAC;IACb,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,KAAY;QAClB,sFAAsF;QACtF,KAAK,KAAK,CAAC,KAAK,CAAC;QACjB,IAAI,CAAC,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;IACZ,CAAC;CACD","sourcesContent":["// Writables (slice 8 §2, design §17): `self.writable(initial)`, an in-process value its attempt sets, identity\n// compared; a contribution, a derive source and an `on` source, never a state member.\n\nimport type { Context } from \"../context/index.ts\";\nimport type { NativeWatchable } from \"../watch.ts\";\nimport type { Batch } from \"./batch.ts\";\nimport { FollowedSource } from \"./native-source.ts\";\n\n/** An in-process value that changes when its owner sets it; `set` of the same value notifies nobody. */\nexport interface Writable<T> extends NativeWatchable<T> {\n\t/**\n\t * Sets the value: a new value (by identity) is a new frame for its watches and marks the derives and registry\n\t * tables reading it, in the batch running now or in one of its own. Throws `released` once its attempt ended, and\n\t * `invalid/reentrant` inside a derive compute or a `compose`.\n\t */\n\tset(value: T): void;\n}\n\n/** Who owns a writable: the context its own batches run in, and the check that its attempt still runs. */\nexport type WritableOwner = {\n\treadonly context: Context;\n\t/** Throws `released` once the attempt that made it was sealed. */\n\tassertUsable(): void;\n};\n\n/** Whom a writable belongs to: its running attempt, or nothing once that attempt ended (its error kept). */\ntype Ownership =\n\t| { readonly kind: \"owned\"; readonly owner: WritableOwner }\n\t| { readonly kind: \"ended\"; readonly error: Error };\n\n/** A writable: its value, set by its owner's code, delivered through the host's batch. */\nexport class WritableSource<T> extends FollowedSource<T> implements Writable<T> {\n\t#value: T;\n\t#ownership: Ownership;\n\n\tconstructor(initial: T, owner: WritableOwner, batch: Batch) {\n\t\tsuper(batch);\n\t\tthis.#value = initial;\n\t\tthis.#ownership = { kind: \"owned\", owner };\n\t}\n\n\tget value(): T {\n\t\treturn this.#value;\n\t}\n\n\tset(value: T): void {\n\t\tconst ownership = this.#ownership;\n\t\tif (ownership.kind === \"ended\") throw ownership.error;\n\t\townership.owner.assertUsable();\n\t\t// The cost guard: setting the value it has costs one comparison past the seal check.\n\t\tif (value === this.#value) return;\n\t\tconst batch = this.batch!;\n\t\tbatch.assertNotComputing(\"writable.set\");\n\t\tthis.#change(value, batch, ownership.owner.context);\n\t}\n\n\t/**\n\t * Adopts `value` in the batch running now, or in one of its own. Apart from `set`: a closure there would make every\n\t * `set` allocate its context, the same value's too.\n\t */\n\t#change(value: T, batch: Batch, context: Context): void {\n\t\tbatch.within(() => {\n\t\t\tthis.#value = value;\n\t\t\tthis.changed();\n\t\t}, context);\n\t}\n\n\t/**\n\t * Its attempt ended with `error`: its watches end `ended`, `set` throws `error`, its value stays readable; it keeps\n\t * neither its attempt nor the host.\n\t */\n\tdetach(error: Error): void {\n\t\t// Kept by `set`: its stack is made text now, so it holds none of the frames' objects.\n\t\tvoid error.stack;\n\t\tthis.#ownership = { kind: \"ended\", error };\n\t\tthis.end();\n\t}\n}\n"]}

package/dist/store/adapter.d.ts

@@ -0,0 +1,67 @@
+import type { Context } from "../context/index.ts";
+import type { SqliteExecutor, SqliteValue } from "../sqlite/index.ts";
+import type { Claimant } from "./claims.ts";
+import type { WhereNode } from "./expression.ts";
+import type { EncodedRow } from "./rows.ts";
+import { type Order, TableSql } from "./sql.ts";
+import type { Step } from "./step.ts";
+import type { ChordStore } from "./store.ts";
+import type { TableDefinition } from "./table.ts";
+import type { TableWrite } from "./table-writes.ts";
+/** A stored row as reads decode it. */
+export type DecodedRow = {
+    readonly [column: string]: unknown;
+};
+/**
+ * The tables of one owner name in a store: each declared once (its SQL name `"<owner>:<table>"` claimed for
+ * `claimant`), then prepared together (created at their newest version or migrated, as `self.table`'s are).
+ */
+export declare class StoreOwnerTables {
+    #private;
+    readonly store: ChordStore;
+    readonly owner: string;
+    /** `owner` is a restricted name (lowercase `[a-z0-9@/._~-]`): it becomes the first part of SQL names. */
+    constructor(store: ChordStore, owner: string, claimant: Claimant);
+    /** Declares `definition` under the owner, claiming its SQL name (held by another: `invalid/args`). */
+    declare(definition: TableDefinition): OwnerTable;
+    /** Brings every declared table to its definition: created fresh, or migrated eagerly in their commits. */
+    prepare(context: Context): Promise<void>;
+}
+/** One declared table of an owner: its rows encoded and written in a step, its reads by key and by query. */
+export declare class OwnerTable {
+    readonly definition: TableDefinition;
+    readonly sql: TableSql;
+    constructor(definition: TableDefinition, table: string);
+    /** `row` checked and encoded for a `put` (a trust boundary, rule 8: at staging, before the queue). */
+    encode(row: unknown): EncodedRow;
+    /**
+     * Writes `encoded` in `step` (an upsert) and returns the `put` as recorded; `stamp` names an `int` column that takes
+     * the step's seq (Durable's `entries.commit_seq`), in the row and in the record.
+     */
+    put(step: Step, encoded: EncodedRow, stamp?: string): Promise<TableWrite>;
+    /** The row with the key `params` (in key order), decoded. */
+    get(executor: Pick<SqliteExecutor, "get">, params: readonly SqliteValue[], context: Context): Promise<DecodedRow | undefined>;
+    /**
+     * A read compiled once (the store's query vocabulary rendered to SQL): `columns` of the rows `where` matches in
+     * `order`. The values in `where` only shape it: each is a `?` the caller binds in the order the conditions take
+     * them, then the limit. Adapters keep their fixed reads so: no SQL is rendered per call.
+     */
+    prepare(columns: readonly string[], where: WhereNode | undefined, order: Order): string;
+    /** `prepare` for the first row only: the limit is a literal `1` (a bound one costs SQLite a plan step per call). */
+    prepareFirst(columns: readonly string[], where: WhereNode | undefined, order: Order): string;
+    /**
+     * The version of `json(...)` column `column`: at 1 every stored cell is at 1 (none is older, a newer one fails the
+     * owner when its table is prepared), so a read may leave the version column out.
+     */
+    jsonVersion(column: string): number;
+    /** A point lookup compiled once: `columns` of the row whose key the caller binds, in key order. */
+    prepareGet(columns: readonly string[]): string;
+    /**
+     * The read of `json(...)` column `column`'s stored cells (`text` written at `version`, migrated on access), made
+     * once: an adapter selecting the cell itself reads it so.
+     */
+    reader(column: string): (text: string, version: number, context: Context) => unknown;
+    /** Up to `limit` rows matching `where` in `order`, decoded. */
+    select(executor: Pick<SqliteExecutor, "all">, where: WhereNode | undefined, order: Order, limit: number, context: Context): Promise<DecodedRow[]>;
+}
+//# sourceMappingURL=adapter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../../src/store/adapter.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,KAAK,KAAK,EAAE,QAAQ,EAAgB,MAAM,UAAU,CAAC;AAC9D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,uCAAuC;AACvC,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CAAC;AAEhE;;;GAGG;AACH,qBAAa,gBAAgB;;IAC5B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAIvB,yGAAyG;IACzG,YAAY,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAK/D;IAED,sGAAsG;IACtG,OAAO,CAAC,UAAU,EAAE,eAAe,GAAG,UAAU,CAK/C;IAED,0GAA0G;IAC1G,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAIvC;CACD;AAED,6GAA6G;AAC7G,qBAAa,UAAU;IACtB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IAEvB,YAAY,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAGrD;IAED,sGAAsG;IACtG,MAAM,CAAC,GAAG,EAAE,OAAO,GAAG,UAAU,CAE/B;IAED;;;OAGG;IACG,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAW9E;IAED,6DAA6D;IACvD,GAAG,CACR,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,MAAM,EAAE,SAAS,WAAW,EAAE,EAC9B,OAAO,EAAE,OAAO,GACd,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAGjC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAEtF;IAED,oHAAoH;IACpH,YAAY,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAE3F;IAED;;;OAGG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAIlC;IAED,mGAAmG;IACnG,UAAU,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAE7C;IAED;;;OAGG;IACH,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAOnF;IAED,+DAA+D;IACzD,MAAM,CACX,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,EACrC,KAAK,EAAE,SAAS,GAAG,SAAS,EAC5B,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,OAAO,GACd,OAAO,CAAC,UAAU,EAAE,CAAC,CAIvB;CACD"}

package/dist/store/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../src/store/adapter.ts"],"names":[],"mappings":"AAAA,wHAAwH;AACxH,oHAAoH;AACpH,sHAAsH;AACtH,sFAAsF;AAGtF,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAKrD,OAAO,EAAc,QAAQ,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAI9D,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAMrD;;;GAGG;AACH,MAAM,OAAO,gBAAgB;IACnB,KAAK,CAAa;IAClB,KAAK,CAAS;IACd,SAAS,CAAW;IACpB,OAAO,GAAiB,EAAE,CAAC;IAEpC,yGAAyG;IACzG,YAAY,KAAiB,EAAE,KAAa,EAAE,QAAkB;QAC/D,SAAS,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;IAC3B,CAAC;IAED,sGAAsG;IACtG,OAAO,CAAC,UAA2B;QAClC,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACpF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,KAAK,CAAC;IACd,CAAC;IAED,0GAA0G;IAC1G,OAAO,CAAC,OAAgB;QACvB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7F,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC;QACrD,OAAO,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;CACD;AAED,6GAA6G;AAC7G,MAAM,OAAO,UAAU;IACb,UAAU,CAAkB;IAC5B,GAAG,CAAW;IAEvB,YAAY,UAA2B,EAAE,KAAa;QACrD,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,GAAG,GAAG,IAAI,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9F,CAAC;IAED,sGAAsG;IACtG,MAAM,CAAC,GAAY;QAClB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,GAAG,CAAC,IAAU,EAAE,OAAmB,EAAE,KAAc;QACxD,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;QACpF,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;QAChE,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;QACxC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAC9G,CAAC;IAED,6DAA6D;IAC7D,KAAK,CAAC,GAAG,CACR,QAAqC,EACrC,MAA8B,EAC9B,OAAgB;QAEhB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAoC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;QAC9F,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxF,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAA0B,EAAE,KAA4B,EAAE,KAAY;QAC7E,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC;IACjE,CAAC;IAED,oHAAoH;IACpH,YAAY,CAAC,OAA0B,EAAE,KAA4B,EAAE,KAAY;QAClF,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IACjG,CAAC;IAED;;;OAGG;IACH,WAAW,CAAC,MAAc;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,aAAa,MAAM,0BAA0B,CAAC,CAAC;QACjH,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAC3B,CAAC;IAED,mGAAmG;IACnG,UAAU,CAAC,OAA0B;QACpC,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,MAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACvD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,aAAa,MAAM,0BAA0B,CAAC,CAAC;QACjH,gGAAgG;QAChG,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QAC3E,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAClF,CAAC;IAED,+DAA+D;IAC/D,KAAK,CAAC,MAAM,CACX,QAAqC,EACrC,KAA4B,EAC5B,KAAY,EACZ,KAAa,EACb,OAAgB;QAEhB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAClE,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAoC,SAAS,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACzG,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IACvE,CAAC;CACD","sourcesContent":["// The store for adapters (slice 6b §2.1, D1, D2): what an owner outside Chord's objects (Durable's `StoreStorage`) uses\n// to keep its data in the store as declared tables and engine documents: its tables declared and prepared under its\n// owner name (claimed, the path `self.table` takes), rows encoded at staging and written in a step with what only the\n// step knows, and its reads. Internal for adapters; apps use `openStore` and objects.\n\nimport type { Context } from \"../context/index.ts\";\nimport { checkName } from \"../contracts/internal.ts\";\nimport type { SqliteExecutor, SqliteValue } from \"../sqlite/index.ts\";\nimport type { Claimant } from \"./claims.ts\";\nimport type { WhereNode } from \"./expression.ts\";\nimport type { EncodedRow } from \"./rows.ts\";\nimport { type Order, TableSql, tableSqlName } from \"./sql.ts\";\nimport type { Step } from \"./step.ts\";\nimport type { ChordStore } from \"./store.ts\";\nimport type { TableDefinition } from \"./table.ts\";\nimport { prepareTables } from \"./table-migration.ts\";\nimport type { TableWrite } from \"./table-writes.ts\";\n\n/** A stored row as reads decode it. */\nexport type DecodedRow = { readonly [column: string]: unknown };\n\n/**\n * The tables of one owner name in a store: each declared once (its SQL name `\"<owner>:<table>\"` claimed for\n * `claimant`), then prepared together (created at their newest version or migrated, as `self.table`'s are).\n */\nexport class StoreOwnerTables {\n\treadonly store: ChordStore;\n\treadonly owner: string;\n\treadonly #claimant: Claimant;\n\treadonly #tables: OwnerTable[] = [];\n\n\t/** `owner` is a restricted name (lowercase `[a-z0-9@/._~-]`): it becomes the first part of SQL names. */\n\tconstructor(store: ChordStore, owner: string, claimant: Claimant) {\n\t\tcheckName(owner, \"An owner name\");\n\t\tthis.store = store;\n\t\tthis.owner = owner;\n\t\tthis.#claimant = claimant;\n\t}\n\n\t/** Declares `definition` under the owner, claiming its SQL name (held by another: `invalid/args`). */\n\tdeclare(definition: TableDefinition): OwnerTable {\n\t\tconst table = new OwnerTable(definition, tableSqlName(this.owner, definition.name));\n\t\tthis.store.claims.table(table.sql.table, this.#claimant);\n\t\tthis.#tables.push(table);\n\t\treturn table;\n\t}\n\n\t/** Brings every declared table to its definition: created fresh, or migrated eagerly in their commits. */\n\tprepare(context: Context): Promise<void> {\n\t\tconst tables = this.#tables.map(({ definition, sql }) => ({ definition, table: sql.table }));\n\t\tconst fence = { admit: () => true, adopt: () => {} };\n\t\treturn prepareTables(tables, this.store, fence, this.owner, context);\n\t}\n}\n\n/** One declared table of an owner: its rows encoded and written in a step, its reads by key and by query. */\nexport class OwnerTable {\n\treadonly definition: TableDefinition;\n\treadonly sql: TableSql;\n\n\tconstructor(definition: TableDefinition, table: string) {\n\t\tthis.definition = definition;\n\t\tthis.sql = new TableSql(table, definition.columns, definition.rows.physical, definition.key);\n\t}\n\n\t/** `row` checked and encoded for a `put` (a trust boundary, rule 8: at staging, before the queue). */\n\tencode(row: unknown): EncodedRow {\n\t\treturn this.definition.rows.put(row, this.definition.version);\n\t}\n\n\t/**\n\t * Writes `encoded` in `step` (an upsert) and returns the `put` as recorded; `stamp` names an `int` column that takes\n\t * the step's seq (Durable's `entries.commit_seq`), in the row and in the record.\n\t */\n\tasync put(step: Step, encoded: EncodedRow, stamp?: string): Promise<TableWrite> {\n\t\tconst { version } = this.definition;\n\t\tconst { table } = this.sql;\n\t\tif (stamp === undefined) {\n\t\t\tawait step.run(this.sql.put, ...encoded.params);\n\t\t\treturn { kind: \"put\", table, row: encoded.row, version, columns: encoded.columns };\n\t\t}\n\t\tconst params = [...encoded.params];\n\t\tparams[this.definition.rows.physical.indexOf(stamp)] = step.seq;\n\t\tawait step.run(this.sql.put, ...params);\n\t\treturn { kind: \"put\", table, row: { ...encoded.row, [stamp]: step.seq }, version, columns: encoded.columns };\n\t}\n\n\t/** The row with the key `params` (in key order), decoded. */\n\tasync get(\n\t\texecutor: Pick<SqliteExecutor, \"get\">,\n\t\tparams: readonly SqliteValue[],\n\t\tcontext: Context,\n\t): Promise<DecodedRow | undefined> {\n\t\tconst stored = await executor.get<{ [column: string]: SqliteValue }>(this.sql.get, ...params);\n\t\treturn stored === undefined ? undefined : this.definition.rows.decode(stored, context);\n\t}\n\n\t/**\n\t * A read compiled once (the store's query vocabulary rendered to SQL): `columns` of the rows `where` matches in\n\t * `order`. The values in `where` only shape it: each is a `?` the caller binds in the order the conditions take\n\t * them, then the limit. Adapters keep their fixed reads so: no SQL is rendered per call.\n\t */\n\tprepare(columns: readonly string[], where: WhereNode | undefined, order: Order): string {\n\t\treturn this.sql.select(where, order, undefined, 0, columns).sql;\n\t}\n\n\t/** `prepare` for the first row only: the limit is a literal `1` (a bound one costs SQLite a plan step per call). */\n\tprepareFirst(columns: readonly string[], where: WhereNode | undefined, order: Order): string {\n\t\treturn this.sql.select(where, order, undefined, 1, columns).sql.replace(/LIMIT \\?$/, \"LIMIT 1\");\n\t}\n\n\t/**\n\t * The version of `json(...)` column `column`: at 1 every stored cell is at 1 (none is older, a newer one fails the\n\t * owner when its table is prepared), so a read may leave the version column out.\n\t */\n\tjsonVersion(column: string): number {\n\t\tconst found = this.definition.column(column, \"jsonVersion\");\n\t\tif (found.type !== \"json\") throw new Error(`${this.definition.name}: column \"${column}\" is no json(...) column`);\n\t\treturn found.json.version;\n\t}\n\n\t/** A point lookup compiled once: `columns` of the row whose key the caller binds, in key order. */\n\tprepareGet(columns: readonly string[]): string {\n\t\treturn this.sql.getColumns(columns);\n\t}\n\n\t/**\n\t * The read of `json(...)` column `column`'s stored cells (`text` written at `version`, migrated on access), made\n\t * once: an adapter selecting the cell itself reads it so.\n\t */\n\treader(column: string): (text: string, version: number, context: Context) => unknown {\n\t\tconst found = this.definition.column(column, \"reader\");\n\t\tif (found.type !== \"json\") throw new Error(`${this.definition.name}: column \"${column}\" is no json(...) column`);\n\t\t// At version 1 a cell is the JSON it was written as: no version to compare, nothing to migrate.\n\t\tif (found.json.version === 1) return (text) => JSON.parse(text) as unknown;\n\t\tconst what = `${this.sql.table}.${column}`;\n\t\treturn (text, version, context) => found.json.read(text, version, what, context);\n\t}\n\n\t/** Up to `limit` rows matching `where` in `order`, decoded. */\n\tasync select(\n\t\texecutor: Pick<SqliteExecutor, \"all\">,\n\t\twhere: WhereNode | undefined,\n\t\torder: Order,\n\t\tlimit: number,\n\t\tcontext: Context,\n\t): Promise<DecodedRow[]> {\n\t\tconst statement = this.sql.select(where, order, undefined, limit);\n\t\tconst stored = await executor.all<{ [column: string]: SqliteValue }>(statement.sql, ...statement.params);\n\t\treturn stored.map((row) => this.definition.rows.decode(row, context));\n\t}\n}\n"]}

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

@@ -0,0 +1 @@
+{"version":3,"file":"allocator.d.ts","sourceRoot":"","sources":["../../src/store/allocator.ts"],"names":[],"mappings":"AAGA,6EAA6E;AAC7E,eAAO,MAAM,QAAQ,IAAI,CAAC;AAE1B;;;GAGG;AACH,qBAAa,WAAW;;IAGvB,YAAY,IAAI,EAAE,MAAM,EAEvB;IAED,2DAA2D;IAC3D,IAAI,KAAK,IAAI,MAAM,CAElB;IAED,4FAA4F;IAC5F,IAAI,IAAI,MAAM,CAGb;IAED,iGAAiG;IACjG,KAAK,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAEtB;CACD"}

package/dist/store/allocator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"allocator.js","sourceRoot":"","sources":["../../src/store/allocator.ts"],"names":[],"mappings":"AAAA,mHAAmH;AACnH,+FAA+F;AAE/F,6EAA6E;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC;AAE1B;;;GAGG;AACH,MAAM,OAAO,WAAW;IACvB,KAAK,CAAS;IAEd,YAAY,IAAY;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,2DAA2D;IAC3D,IAAI,KAAK;QACR,OAAO,IAAI,CAAC,KAAK,CAAC;IACnB,CAAC;IAED,4FAA4F;IAC5F,IAAI;QACH,IAAI,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,gBAAgB;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;IAED,iGAAiG;IACjG,KAAK,CAAC,EAAU;QACf,IAAI,EAAE,IAAI,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;IAC9E,CAAC;CACD","sourcesContent":["// The store's id allocator (slice 6b D3, §1.2): one counter for every id in the store (Durable's `mintId`, Chord's\n// document ids), synchronous, raised by explicit ids, saturating at `Number.MAX_SAFE_INTEGER`.\n\n/** The first id the allocator gives: id 1 is Durable's root conversation. */\nexport const FIRST_ID = 2;\n\n/**\n * The allocator: `value` is the next id it gives. An id raised to `Number.MAX_SAFE_INTEGER` is accepted, the value\n * stays there, and every later `mint` throws: no id past the safe range (it would stop counting exactly and repeat).\n */\nexport class IdAllocator {\n\t#next: number;\n\n\tconstructor(next: number) {\n\t\tthis.#next = next;\n\t}\n\n\t/** The next id `mint` gives; what each commit persists. */\n\tget value(): number {\n\t\treturn this.#next;\n\t}\n\n\t/** Takes the next id; throws \"ID space is exhausted\" once saturated (Durable's message). */\n\tmint(): number {\n\t\tif (this.#next >= Number.MAX_SAFE_INTEGER) throw new Error(\"ID space is exhausted\");\n\t\treturn this.#next++;\n\t}\n\n\t/** Raises the counter above `id`, an id written explicitly (Durable mints ahead), saturating. */\n\traise(id: number): void {\n\t\tif (id >= this.#next) this.#next = Math.min(id + 1, Number.MAX_SAFE_INTEGER);\n\t}\n}\n"]}

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

@@ -0,0 +1 @@
+{"version":3,"file":"applier.d.ts","sourceRoot":"","sources":["../../src/store/applier.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,qHAAqH;AACrH,qBAAa,QAAS,SAAQ,KAAK;CAAG;AAEtC,yHAAyH;AACzH,wBAAsB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAkC3F"}

package/dist/store/applier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applier.js","sourceRoot":"","sources":["../../src/store/applier.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,mHAAmH;AACnH,kHAAkH;AAClH,oCAAoC;AAEpC,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAG9C,OAAO,EAAE,WAAW,EAAqB,MAAM,cAAc,CAAC;AAC9D,OAAO,EAIN,cAAc,EACd,cAAc,EAEd,YAAY,EACZ,YAAY,EACZ,YAAY,GACZ,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAEjD,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU,EAAE,UAAU,EAAmC,MAAM,mBAAmB,CAAC;AAGxH,qHAAqH;AACrH,MAAM,OAAO,QAAS,SAAQ,KAAK;CAAG;AAEtC,yHAAyH;AACzH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAU,EAAE,KAAiB,EAAE,IAAY;IAC3E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO;YACX,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxB,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO;QACR,KAAK,OAAO;YACX,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3D,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO;QACR,KAAK,WAAW;YACf,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAClC,OAAO;QACR,KAAK,OAAO;YACX,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3D,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO;QACR,KAAK,KAAK,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;YACnE,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YACjE,OAAO;QACR,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,aAAa,CAAC;QACnB,KAAK,aAAa;YACjB,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACxC;YACC,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;AACF,CAAC;AAED,sHAAsH;AACtH,KAAK,UAAU,aAAa,CAAC,IAAU,EAAE,KAAoB,EAAE,IAAY;IAC1E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,iBAAiB;YACrB,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9G,OAAO;QACR,KAAK,mBAAmB,EAAE,CAAC;YAC1B,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;YAC1B,MAAM,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YAC3G,OAAO;QACR,CAAC;QACD,KAAK,iBAAiB,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YAClE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;YAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACxC,MAAM,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAClF,OAAO;QACR,CAAC;QACD,KAAK,iBAAiB;YACrB,MAAM,YAAY,CAAC,IAAI,EAAE,MAAM,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7E,OAAO;IACT,CAAC;AACF,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAAC,OAA0C,EAAE,IAAY;IAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,sFAAsF;AACtF,KAAK,UAAU,MAAM,CAAC,IAAU,EAAE,EAAU,EAAE,QAAgB,EAAE,IAAY;IAC3E,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC5F,MAAM,IAAI,QAAQ,CAAC,GAAG,IAAI,cAAc,EAAE,4BAA4B,QAAQ,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,yEAAyE;AACzE,SAAS,IAAI,CAAC,KAAc,EAAE,IAAY;IACzC,IAAI,IAAwB,CAAC;IAC7B,IAAI,CAAC;QACJ,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,eAAe,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,YAAY,CAC1B,IAAU,EACV,KAAkG,EAClG,IAAY;IAEZ,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC/D,IAAI,SAAmE,CAAC;IACxE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACZ,SAAS,GAAG,GAAG,CAAC,MAAM,CACrB,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1B,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,EAClC,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAC/B,CAAC;YACF,MAAM;QACP,KAAK,QAAQ;YACZ,SAAS,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5E,MAAM;QACP,KAAK,aAAa;YACjB,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtC,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YACtG,MAAM;QACP,KAAK,aAAa;YACjB,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtC,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM;IACR,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,KAAK,KAAK,CAAC,KAAK;QAAE,MAAM,IAAI,QAAQ,CAAC,GAAG,IAAI,aAAa,KAAK,mBAAmB,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;AAC1G,CAAC;AAED,8FAA8F;AAC9F,SAAS,SAAS,CAAC,MAAmB,EAAE,GAAc,EAAE,IAAY;IACnE,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,GAAG,CAAC,MAAM;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,kBAAkB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAClH,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,gBAAgB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC/G,OAAO,QAAQ,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,8GAA8G;AAC9G,SAAS,KAAK,CACb,MAAmB,EACnB,KAAuE,EACvE,IAAY;IAEZ,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACtB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,6BAA6B,CAAC,CAAC;IAC7D,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAC3F,CAAC;QACD,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AACrF,CAAC;AAED,gHAAgH;AAChH,SAAS,UAAU,CAClB,MAAmB,EACnB,KAAuE,EACvE,IAAY;IAEZ,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC;YAAE,SAAS;QACxE,mFAAmF;QACnF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAQ,CAAC;QACvD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,MAAM,CAAC,OAAQ,EAAE,CAAC;YAChF,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,6BAA6B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED,mEAAmE;AACnE,SAAS,UAAU,CAAC,MAAoB;IACvC,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAU,CAAC;AAEpE,iGAAiG;AACjG,SAAS,UAAU,CAAC,MAAmB,EAAE,IAAa,EAAE,IAAY;IACnE,MAAM,MAAM,GAAG,GAAU,EAAE;QAC1B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;IACzD,CAAC,CAAC;IACF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IACjG,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAwB,CAAC;IACpE,MAAM,MAAM,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,IAAI,KAAK,WAAW;YAAE,OAAO;QACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7G,MAAM,EAAE,CAAC;QACV,CAAC;IACF,CAAC,CAAC;IACF,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,CAAC;SAAM,IAAI,EAAE,KAAK,KAAK;QAAE,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;SACtD,IAAI,EAAE,KAAK,QAAQ;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC;SACrC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,QAAQ,IAAK,WAAiC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACjG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QACrE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,EAAE,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;gBAAE,MAAM,EAAE,CAAC;IAC9G,CAAC;;QAAM,MAAM,EAAE,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAE/E,+GAA+G;AAC/G,SAAS,SAAS,CAAC,MAAmB,EAAE,IAAa,EAAE,IAAY;IAClE,IAAI,IAAI,KAAK,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO;IAC5C,MAAM,MAAM,GAAG,GAAU,EAAE;QAC1B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,0BAA0B,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IAChF,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAwB,CAAC;IACpE,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;QAClB,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;YAAE,MAAM,EAAE,CAAC;QACrF,OAAO;IACR,CAAC;IACD,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO;IAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IAC7C,IAAK,UAAgC,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,OAAO;YAAE,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;SAAM,IAAI,EAAE,KAAK,eAAe,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;YAAE,MAAM,EAAE,CAAC;IAChF,CAAC;SAAM,IAAI,EAAE,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;;QAAM,MAAM,EAAE,CAAC;AACjB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC/B,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAChH,CAAC;AACH,CAAC;AAED,oHAAoH;AACpH,SAAS,UAAU,CAAC,KAAsD,EAAE,IAAY;IACvF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAChH,IAAI,CAAC;QACJ,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,mCAAmC;QACnC,MAAM,OAAO,CAAC,MAAM,EAAG,KAAe,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,GAAG,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAC5D,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,qBAAqB,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/B,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;IACpF,iBAAiB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,MAAoB,EAAE,IAAY;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;IACpC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,EAAE,CAAC;QAC5F,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,2EAA2E,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO;IACzC,IAAI,IAAI,IAAI,MAAM,CAAC,QAAQ;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,8CAA8C,CAAC,CAAC;IAC1G,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,eAAe,CAAC,CAAC;AAClE,CAAC;AAED,kGAAkG;AAClG,SAAS,UAAU,CAAC,MAAmB,EAAE,KAAsD,EAAE,IAAY;IAC5G,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,wBAAwB,KAAK,CAAC,OAAO,eAAe,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAW,EAAE,CACvC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAClH,MAAM,OAAO,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACtG,MAAM,KAAK,GACV,IAAI,CAAC,IAAI,KAAK,QAAQ;QACrB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YACpB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;YAC1F,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBACrB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBACvC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC;IAClG,IAAI,CAAC,KAAK;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,IAAI,CAAC,IAAI,6BAA6B,CAAC,CAAC;IACzF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAC9C,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,wEAAwE;AACxE,SAAS,iBAAiB,CACzB,OAAkD,EAClD,KAAwB,EACxB,IAAY;IAEZ,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACjG,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAC9F,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,MAAmB,EAAE,KAAsD,EAAE,IAAY;IAC5G,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/E,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IAC7F,CAAC;IACD,iBAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AAClF,CAAC;AAED,oFAAoF;AACpF,SAAS,QAAQ,CAAC,IAAU,EAAE,KAAa,EAAE,IAAY;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC3G,OAAO,MAAM,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CACjB,MAAmB,EACnB,KAAoD,EACpD,QAA2B,EAC3B,IAAY;IAEZ,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC;YACxC,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,oBAAoB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1E,MAAM,OAAO,CACZ,MAAM,EACN,GAAG,IAAI,mBAAmB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,yCAAyC,CACxF,CAAC;QACH,CAAC;IACF,CAAC;IACD,IAAI,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,aAAa,OAAO,sCAAsC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,GAAG,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QACxB,0GAA0G;QAC1G,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9E,IAAI,CAAC,MAAM,CAAC,QAAQ;gBAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;YACnE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtB,SAAS;QACV,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAClE,SAAS;QACV,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,MAAM,CAAC,OAAQ;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,KAAK,uBAAuB,CAAC,CAAC;QAC/G,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC","sourcesContent":["// The applier (slice 6a §13, slice 6b §1.6): recorded writes applied as they were recorded, inside a backend\n// transaction, checked against the store's own records (a trust boundary: archives, a replica's batches). One code\n// path for import, bootstrap and batch apply, for every write kind; a recorded count the store does not reproduce\n// stops applying (`Diverged`, S17).\n\nimport { checkName } from \"../contracts/internal.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { SqliteValue } from \"../sqlite/index.ts\";\nimport type { TableRecord } from \"./catalog.ts\";\nimport { COLUMN_NAME, type ColumnRecord } from \"./columns.ts\";\nimport {\n\ttype DocumentContent,\n\ttype DocumentRecord,\n\ttype DocumentWrite,\n\tinsertDocument,\n\tinsertRevision,\n\ttype RevisionContent,\n\treadDocument,\n\tretireRecord,\n\twriteContent,\n} from \"./engine.ts\";\nimport type { ExprNode, SetNode, WhereNode } from \"./expression.ts\";\nimport { checkScalar, ROW_VERSION, toSqlite, versionColumn } from \"./rows.ts\";\nimport { recordedPut, TableSql } from \"./sql.ts\";\nimport type { Step } from \"./step.ts\";\nimport { INDEX_NAME } from \"./table.ts\";\nimport { applyAlter, applyDropIndex, applyIndex, applyTable, type StoredKey, type TableWrite } from \"./table-writes.ts\";\nimport type { StoreWrite } from \"./writes.ts\";\n\n/** A recorded write the store does not reproduce (a count, a revision): applying stops, the store diverged (S17). */\nexport class Diverged extends Error {}\n\n/** Applies `write` in `step`; a write the records refuse throws `invalid/args`, one they do not reproduce `Diverged`. */\nexport async function applyWrite(step: Step, write: StoreWrite, what: string): Promise<void> {\n\tswitch (write.kind) {\n\t\tcase \"table\":\n\t\t\tcheckTable(write, what);\n\t\t\tawait applyTable(step, write);\n\t\t\treturn;\n\t\tcase \"index\":\n\t\t\tcheckIndex(recordOf(step, write.table, what), write, what);\n\t\t\tawait applyIndex(step, write);\n\t\t\treturn;\n\t\tcase \"dropIndex\":\n\t\t\tif (!Object.hasOwn(recordOf(step, write.table, what).indexes, write.name)) {\n\t\t\t\tthrow invalid(\"args\", `${what}: no index ${JSON.stringify(write.name)}`);\n\t\t\t}\n\t\t\tawait applyDropIndex(step, write);\n\t\t\treturn;\n\t\tcase \"alter\":\n\t\t\tcheckAlter(recordOf(step, write.table, what), write, what);\n\t\t\tawait applyAlter(step, write);\n\t\t\treturn;\n\t\tcase \"put\": {\n\t\t\tconst record = recordOf(step, write.table, what);\n\t\t\tconst { sql, physical } = recordedPut(write.table, record.columns);\n\t\t\tawait step.run(sql, ...putParams(record, write, physical, what));\n\t\t\treturn;\n\t\t}\n\t\tcase \"update\":\n\t\tcase \"delete\":\n\t\tcase \"updateWhere\":\n\t\tcase \"deleteWhere\":\n\t\t\treturn applyCounted(step, write, what);\n\t\tdefault:\n\t\t\treturn applyDocument(step, write, what);\n\t}\n}\n\n/** Applies a document write: a creation, a change or a retirement on its recorded revision, an archive's revision. */\nasync function applyDocument(step: Step, write: DocumentWrite, what: string): Promise<void> {\n\tswitch (write.kind) {\n\t\tcase \"document.create\":\n\t\t\tawait insertDocument(step, write.record, write.base === undefined ? undefined : json(write.base.value, what));\n\t\t\treturn;\n\t\tcase \"document.revision\": {\n\t\t\tconst { content } = write;\n\t\t\tawait insertRevision(step, write.id, write.seq, content.kind, content.version, contentText(content, what));\n\t\t\treturn;\n\t\t}\n\t\tcase \"document.change\": {\n\t\t\tconst record = await liveAt(step, write.id, write.revision, what);\n\t\t\tconst { content } = write;\n\t\t\tconst text = contentText(content, what);\n\t\t\tawait writeContent(step, write.id, record.history, write.revision, content, text);\n\t\t\treturn;\n\t\t}\n\t\tcase \"document.retire\":\n\t\t\tawait retireRecord(step, await liveAt(step, write.id, write.revision, what));\n\t\t\treturn;\n\t}\n}\n\n/** A content's stored text: a base's value or a delta's ops, checked as JSON. */\nfunction contentText(content: DocumentContent | RevisionContent, what: string): string {\n\treturn json(content.kind === \"base\" ? content.value : content.ops, what);\n}\n\n/** The live record `id` at `revision`; another revision, or none, is a divergence. */\nasync function liveAt(step: Step, id: number, revision: number, what: string): Promise<DocumentRecord> {\n\tconst record = await readDocument(step, id);\n\tif (record === undefined || record.retiredAt !== undefined || record.revision !== revision) {\n\t\tthrow new Diverged(`${what}: document ${id} is not live at revision ${revision}`);\n\t}\n\treturn record;\n}\n\n/** `value` serialized; one `JSON.stringify` cannot encode is refused. */\nfunction json(value: unknown, what: string): string {\n\tlet text: string | undefined;\n\ttry {\n\t\ttext = JSON.stringify(value);\n\t} catch (error) {\n\t\tthrow invalid(\"args\", `${what}: not JSON (${String(error)})`);\n\t}\n\tif (text === undefined) throw invalid(\"args\", `${what}: not JSON`);\n\treturn text;\n}\n\n/**\n * Applies a counted table write: its statement rendered from the record's columns and the recorded `key`, `where` and\n * `set` (checked: only recorded columns, well-formed nodes), and its count compared with the recorded one.\n */\nasync function applyCounted(\n\tstep: Step,\n\twrite: Extract<TableWrite, { readonly kind: \"update\" | \"delete\" | \"updateWhere\" | \"deleteWhere\" }>,\n\twhat: string,\n): Promise<void> {\n\tconst record = recordOf(step, write.table, what);\n\tconst columns = Object.entries(record.columns).map(([name, column]) => ({ name, type: column.type }));\n\tconst sql = new TableSql(write.table, columns, [], record.key);\n\tlet statement: { readonly sql: string; readonly params: SqliteValue[] };\n\tswitch (write.kind) {\n\t\tcase \"update\":\n\t\t\tstatement = sql.update(\n\t\t\t\tsetOf(record, write, what),\n\t\t\t\tkeyParams(record, write.key, what),\n\t\t\t\tversionsOf(record, write, what),\n\t\t\t);\n\t\t\tbreak;\n\t\tcase \"delete\":\n\t\t\tstatement = { sql: sql.delete, params: keyParams(record, write.key, what) };\n\t\t\tbreak;\n\t\tcase \"updateWhere\":\n\t\t\tcheckWhere(record, write.where, what);\n\t\t\tstatement = sql.updateWhere(write.where, setOf(record, write, what), versionsOf(record, write, what));\n\t\t\tbreak;\n\t\tcase \"deleteWhere\":\n\t\t\tcheckWhere(record, write.where, what);\n\t\t\tstatement = sql.deleteWhere(write.where);\n\t\t\tbreak;\n\t}\n\tconst count = await step.runCounted(statement.sql, ...statement.params);\n\tif (count !== write.count) throw new Diverged(`${what}: changed ${count} rows, recorded ${write.count}`);\n}\n\n/** The recorded key as parameters in key order: exactly the key columns, each of its type. */\nfunction keyParams(record: TableRecord, key: StoredKey, what: string): SqliteValue[] {\n\tif (Object.keys(key).length !== record.key.length) throw invalid(\"args\", `${what}: not a key of ${record.table}`);\n\treturn record.key.map((name) => {\n\t\tif (!Object.hasOwn(key, name)) throw invalid(\"args\", `${what}: key column ${JSON.stringify(name)} is missing`);\n\t\treturn toSqlite(checkScalar(scalarType(record.columns[name]!), key[name], `${what}: key`));\n\t});\n}\n\n/** A recorded `set` with the migration stamp `$v` when it carries one; key columns never change (rule 13). */\nfunction setOf(\n\trecord: TableRecord,\n\twrite: Extract<TableWrite, { readonly kind: \"update\" | \"updateWhere\" }>,\n\twhat: string,\n): SetNode {\n\tconst { set } = write;\n\tif (typeof set !== \"object\" || set === null || Object.keys(set).length === 0) {\n\t\tthrow invalid(\"args\", `${what}: an empty or malformed set`);\n\t}\n\tfor (const [column, node] of Object.entries(set)) {\n\t\tif (!Object.hasOwn(record.columns, column) || record.key.includes(column)) {\n\t\t\tthrow invalid(\"args\", `${what}: set writes ${JSON.stringify(column)}, no non-key column`);\n\t\t}\n\t\tcheckExpr(record, node, what);\n\t}\n\treturn write.version === undefined ? set : { ...set, [ROW_VERSION]: write.version };\n}\n\n/** The `json(...)` versions a `set` stamps: the recorded ones, of `json(...)` columns it sets, up to theirs. */\nfunction versionsOf(\n\trecord: TableRecord,\n\twrite: Extract<TableWrite, { readonly kind: \"update\" | \"updateWhere\" }>,\n\twhat: string,\n): Map<string, number> {\n\tconst versions = new Map<string, number>();\n\tfor (const [name, column] of Object.entries(record.columns)) {\n\t\tif (column.type !== \"json\" || !Object.hasOwn(write.set, name)) continue;\n\t\t// A clear stamps `NULL` whatever the version; a value stamps its recorded version.\n\t\tconst version = write.columns[name] ?? column.version!;\n\t\tif (!Number.isSafeInteger(version) || version < 1 || version > column.version!) {\n\t\t\tthrow invalid(\"args\", `${what}: no readable version for ${JSON.stringify(name)}`);\n\t\t}\n\t\tversions.set(name, version);\n\t}\n\treturn versions;\n}\n\n/** A scalar column's type; `json(...)` columns are not scalars. */\nfunction scalarType(column: ColumnRecord): \"str\" | \"int\" | \"num\" | \"bool\" {\n\treturn column.type === \"json\" ? \"str\" : column.type;\n}\n\nconst COMPARISONS = [\"eq\", \"ne\", \"lt\", \"lte\", \"gt\", \"gte\"] as const;\n\n/** A recorded condition: well-formed nodes over recorded scalar columns (and the row's `$v`). */\nfunction checkWhere(record: TableRecord, node: unknown, what: string): asserts node is WhereNode {\n\tconst refuse = (): never => {\n\t\tthrow invalid(\"args\", `${what}: a malformed condition`);\n\t};\n\tif (typeof node !== \"object\" || node === null || Object.keys(node).length !== 1) return refuse();\n\tconst [[op, operand]] = Object.entries(node) as [[string, unknown]];\n\tconst column = (name: unknown): void => {\n\t\tif (name === ROW_VERSION) return;\n\t\tif (typeof name !== \"string\" || record.columns[name] === undefined || record.columns[name]!.type === \"json\") {\n\t\t\trefuse();\n\t\t}\n\t};\n\tif (op === \"and\" || op === \"or\") {\n\t\tif (!Array.isArray(operand)) return refuse();\n\t\tfor (const each of operand) checkWhere(record, each, what);\n\t} else if (op === \"not\") checkWhere(record, operand, what);\n\telse if (op === \"isNull\") column(operand);\n\telse if (op === \"inArray\" || op === \"prefix\" || (COMPARISONS as readonly string[]).includes(op)) {\n\t\tif (!Array.isArray(operand) || operand.length !== 2) return refuse();\n\t\tcolumn(operand[0]);\n\t\tconst values = op === \"inArray\" ? operand[1] : [operand[1]];\n\t\tif (!Array.isArray(values)) return refuse();\n\t\tfor (const value of values) if (!isScalar(value) || (op === \"prefix\" && typeof value !== \"string\")) refuse();\n\t} else refuse();\n}\n\nconst OPERATIONS = [\"add\", \"sub\", \"max\", \"min\", \"concat\", \"coalesce\"] as const;\n\n/** A recorded expression: scalars, `null`, JSON literals, recorded columns and the vocabulary's operations. */\nfunction checkExpr(record: TableRecord, node: unknown, what: string): asserts node is ExprNode {\n\tif (node === null || isScalar(node)) return;\n\tconst refuse = (): never => {\n\t\tthrow invalid(\"args\", `${what}: a malformed expression`);\n\t};\n\tif (typeof node !== \"object\" || Object.keys(node).length !== 1) return refuse();\n\tconst [[op, operand]] = Object.entries(node) as [[string, unknown]];\n\tif (op === \"col\") {\n\t\tif (typeof operand !== \"string\" || !Object.hasOwn(record.columns, operand)) refuse();\n\t\treturn;\n\t}\n\tif (op === \"json\") return;\n\tif (!Array.isArray(operand)) return refuse();\n\tif ((OPERATIONS as readonly string[]).includes(op) && operand.length === 2) {\n\t\tfor (const each of operand) checkExpr(record, each, what);\n\t} else if (op === \"replacePrefix\" && operand.length === 3) {\n\t\tcheckExpr(record, operand[0], what);\n\t\tif (typeof operand[1] !== \"string\" || typeof operand[2] !== \"string\") refuse();\n\t} else if (op === \"when\" && operand.length === 3) {\n\t\tcheckWhere(record, operand[0], what);\n\t\tcheckExpr(record, operand[1], what);\n\t\tcheckExpr(record, operand[2], what);\n\t} else refuse();\n}\n\nfunction isScalar(value: unknown): boolean {\n\treturn (\n\t\ttypeof value === \"string\" || typeof value === \"boolean\" || (typeof value === \"number\" && Number.isFinite(value))\n\t);\n}\n\n/** A recorded table's SQL name (two names joined by `:`, R2), columns, key and json versions, by the name rules. */\nfunction checkTable(write: Extract<TableWrite, { readonly kind: \"table\" }>, what: string): void {\n\tconst parts = write.table.split(\":\");\n\tif (parts.length !== 2) throw invalid(\"args\", `${what}: table ${JSON.stringify(write.table)}: not owner:table`);\n\ttry {\n\t\tfor (const part of parts) checkName(part, `${what}: table name part`);\n\t} catch (error) {\n\t\t// `checkName` throws plain Errors.\n\t\tthrow invalid(\"args\", (error as Error).message);\n\t}\n\tconst folded = new Set<string>();\n\tfor (const [name, column] of Object.entries(write.columns)) {\n\t\tconst where = `${what}: column ${JSON.stringify(name)}`;\n\t\tif (!COLUMN_NAME.test(name) || folded.has(name.toLowerCase()))\n\t\t\tthrow invalid(\"args\", `${where}: not a column name`);\n\t\tfolded.add(name.toLowerCase());\n\t\tcheckColumn(column, where);\n\t}\n\tif (write.key.length === 0) throw invalid(\"args\", `${what}: the key has no column`);\n\tcheckOrderColumns(write.columns, write.key, `${what}: the key`);\n}\n\nfunction checkColumn(column: ColumnRecord, what: string): void {\n\tconst json = column.type === \"json\";\n\tif (json !== (column.version !== undefined) || json !== (column.fingerprint !== undefined)) {\n\t\tthrow invalid(\"args\", `${what}: a json(...) column has a version and a fingerprint, no other column has`);\n\t}\n\tif (column.default === undefined) return;\n\tif (json || column.optional) throw invalid(\"args\", `${what}: only a non-opt scalar column has a default`);\n\tcheckScalar(column.type, column.default, `${what}: the default`);\n}\n\n/** A recorded column edit of `record`'s next version or its own (the edits after a data step). */\nfunction checkAlter(record: TableRecord, write: Extract<TableWrite, { readonly kind: \"alter\" }>, what: string): void {\n\tif (write.version !== record.version && write.version !== record.version + 1) {\n\t\tthrow invalid(\"args\", `${what}: an edit of version ${write.version} on version ${record.version}`);\n\t}\n\tconst { edit } = write;\n\tconst has = (name: string): boolean => Object.hasOwn(record.columns, name);\n\tconst fresh = (name: string): boolean =>\n\t\tCOLUMN_NAME.test(name) && !Object.keys(record.columns).some((each) => each.toLowerCase() === name.toLowerCase());\n\tconst indexed = (name: string): boolean =>\n\t\trecord.key.includes(name) || Object.values(record.indexes).some((columns) => columns.includes(name));\n\tconst valid =\n\t\tedit.kind === \"rename\"\n\t\t\t? has(edit.from) && fresh(edit.to)\n\t\t\t: edit.kind === \"add\"\n\t\t\t\t? fresh(edit.name) && (edit.column.optional === true || edit.column.default !== undefined)\n\t\t\t\t: edit.kind === \"drop\"\n\t\t\t\t\t? has(edit.name) && !indexed(edit.name)\n\t\t\t\t\t: has(edit.name) && record.columns[edit.name]!.type === \"json\" && edit.column.type === \"json\";\n\tif (!valid) throw invalid(\"args\", `${what}: an ${edit.kind} edit the table cannot take`);\n\tif (edit.kind === \"add\" || edit.kind === \"json\")\n\t\tcheckColumn(edit.column, `${what}: column ${JSON.stringify(edit.name)}`);\n}\n\n/** `names` are distinct, recorded, non-`opt` `str` or `int` columns. */\nfunction checkOrderColumns(\n\tcolumns: { readonly [name: string]: ColumnRecord },\n\tnames: readonly string[],\n\twhat: string,\n): void {\n\tif (new Set(names).size !== names.length) throw invalid(\"args\", `${what}: a column occurs twice`);\n\tfor (const name of names) {\n\t\tconst column = Object.hasOwn(columns, name) ? columns[name] : undefined;\n\t\tif (column === undefined || column.optional || (column.type !== \"str\" && column.type !== \"int\")) {\n\t\t\tthrow invalid(\"args\", `${what}: ${JSON.stringify(name)} is not a non-opt str or int column`);\n\t\t}\n\t}\n}\n\nfunction checkIndex(record: TableRecord, write: Extract<TableWrite, { readonly kind: \"index\" }>, what: string): void {\n\tif (!INDEX_NAME.test(write.name) || Object.hasOwn(record.indexes, write.name)) {\n\t\tthrow invalid(\"args\", `${what}: index ${JSON.stringify(write.name)}: not a new index name`);\n\t}\n\tcheckOrderColumns(record.columns, write.columns, `${what}: index ${write.name}`);\n}\n\n/** The record of `table` in `step`; a write for a table not recorded is refused. */\nfunction recordOf(step: Step, table: string, what: string): TableRecord {\n\tconst record = step.table(table);\n\tif (record === undefined) throw invalid(\"args\", `${what}: table ${JSON.stringify(table)} is not recorded`);\n\treturn record;\n}\n\n/**\n * The parameters of a `put` in `physical` order, checked against the recorded columns: every non-`opt` column, no\n * other field, values of their types, `json(...)` cells as JSON (no plugin code runs) with a version up to the\n * column's, and `version` up to the table's.\n */\nfunction putParams(\n\trecord: TableRecord,\n\twrite: Extract<TableWrite, { readonly kind: \"put\" }>,\n\tphysical: readonly string[],\n\twhat: string,\n): SqliteValue[] {\n\tconst { row, columns: versions, version } = write;\n\tfor (const field of Object.keys(row)) {\n\t\tif (!Object.hasOwn(record.columns, field))\n\t\t\tthrow invalid(\"args\", `${what}: unknown column ${JSON.stringify(field)}`);\n\t}\n\tfor (const field of Object.keys(versions)) {\n\t\tif (record.columns[field]?.type !== \"json\" || !Object.hasOwn(row, field)) {\n\t\t\tthrow invalid(\n\t\t\t\t\"args\",\n\t\t\t\t`${what}: a version for ${JSON.stringify(field)}, which is no json(...) cell of the row`,\n\t\t\t);\n\t\t}\n\t}\n\tif (version > record.version) {\n\t\tthrow invalid(\"args\", `${what}: version ${version} is newer than the table's version ${record.version}`);\n\t}\n\tconst cells = new Map<string, SqliteValue>();\n\tfor (const [name, column] of Object.entries(record.columns)) {\n\t\tconst where = `${what}: column ${JSON.stringify(name)}`;\n\t\tconst value = row[name];\n\t\t// A row has no explicit `null`: an absent field is `NULL`; a `json(...)` cell's `null` is the JSON value.\n\t\tif (column.type === \"json\" ? !Object.hasOwn(row, name) : value === undefined) {\n\t\t\tif (!column.optional) throw invalid(\"args\", `${where} is missing`);\n\t\t\tcells.set(name, null);\n\t\t\tcontinue;\n\t\t}\n\t\tif (column.type !== \"json\") {\n\t\t\tcells.set(name, toSqlite(checkScalar(column.type, value, where)));\n\t\t\tcontinue;\n\t\t}\n\t\tconst version = versions[name];\n\t\tif (version === undefined || version > column.version!) throw invalid(\"args\", `${where}: no readable version`);\n\t\tcells.set(name, json(value, where));\n\t\tcells.set(versionColumn(name), version);\n\t}\n\treturn physical.map((name) => (name === ROW_VERSION ? version : (cells.get(name) ?? null)));\n}\n"]}

package/dist/store/apply-batch.d.ts

@@ -0,0 +1,12 @@
+import type { Context } from "../context/index.ts";
+import { type OutboxCommit } from "./outbox.ts";
+import type { ChordStore } from "./store.ts";
+/**
+ * Applies `commits` (from an outbox, in seq order) to `store`: refused while an owner holds a claim on it, once it
+ * diverged, or when the first commit does not follow its `lastSeq` or one does not follow the one before; a write the
+ * store's records refuse rolls the whole batch back (`invalid/args`); a recorded count the store does not reproduce
+ * rolls it back and marks the store diverged, so every later batch is refused. Commits written to the store's outbox
+ * too when it has one.
+ */
+export declare function applyBatch(store: ChordStore, commits: readonly OutboxCommit[], context: Context): Promise<void>;
+//# sourceMappingURL=apply-batch.d.ts.map

package/dist/store/apply-batch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-batch.d.ts","sourceRoot":"","sources":["../../src/store/apply-batch.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAOnD,OAAO,EAAiB,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAG/D,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,YAAY,CAAC;AAEvD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAW/G"}

package/dist/store/apply-batch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-batch.js","sourceRoot":"","sources":["../../src/store/apply-batch.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,iHAAiH;AACjH,2GAA2G;AAG3G,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAoB,YAAY,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAqB,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAAiB,EAAE,OAAgC,EAAE,OAAgB;IAC/F,IAAI,OAAuB,CAAC;IAC5B,IAAI,CAAC;QACJ,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,iBAAiB,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAClG,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,OAAO,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAClB,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAChE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,YAAY,QAAQ,CACpC,CAAC;AACH,CAAC;AAED,oEAAoE;AACpE,SAAS,WAAW,CAAC,MAAoB,EAAE,IAAY,EAAE,OAAgB;IACxE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,MAA+B,CAAC;IAChE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,wBAAwB,CAAC,CAAC;IACxD,CAAC;IACD,OAAO;QACN,GAAG,EAAE,GAAI;QACT,MAAM,EAAE,MAAO;QACf,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;KAC3F,CAAC;AACH,CAAC;AAED,yGAAyG;AACzG,KAAK,UAAU,MAAM,CACpB,KAAiB,EACjB,OAAgC,EAChC,QAAwB,EACxB,OAAyC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,IAAI,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC5B,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC1B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,iBAAiB,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,CAAC;QAC1D,IAAI,MAAM,CAAC,GAAG,KAAK,OAAO,GAAG,CAAC;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,yBAAyB,OAAO,EAAE,CAAC,CAAC;QACjG,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM;YAAE,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,iBAAiB,MAAM,CAAC,MAAM,aAAa,MAAM,EAAE,CAAC,CAAC;QAC9G,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QACpF,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,GAAG,IAAI,WAAW,QAAQ,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC;YAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;gBAAE,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC1F,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,YAAY,CAAC,IAAI,CAAC,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACzB,MAAM,QAAQ,CAAC,GAAG,CACjB,eAAe,MAAM,CAAC,MAAM,qDAAqD,EACjF,MAAM,CAAC,GAAG,EACV,aAAa,EACb,MAAM,CAAC,MAAM,EACb,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAC7B,CAAC;QACH,CAAC;QACD,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC;QACrB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,CAAC;IACD,MAAM,QAAQ,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,oDAAoD,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/G,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,EAAU,EAAE,MAAc,EAAE,IAAY;IAC7D,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,gBAAgB,IAAI,EAAE,KAAK,MAAM,CAAC;QAAE,OAAO;IACjF,MAAM,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,sCAAsC,MAAM,EAAE,CAAC,CAAC;AACxF,CAAC","sourcesContent":["// Batch apply (slice 6b §1.6, S5, S17): a replica takes commits `from..to` as an outbox gave them, in one backend\n// transaction through the store's commit queue, each write applied with its commit's seq by the applier (a trust\n// boundary), `lastSeq` and the allocator set from the last commit. Internal: the sync layer's entry point.\n\nimport type { Context } from \"../context/index.ts\";\nimport { invalid } from \"../data/internal.ts\";\nimport type { SqliteExecutor } from \"../sqlite/index.ts\";\nimport { IdAllocator } from \"./allocator.ts\";\nimport { applyWrite, Diverged } from \"./applier.ts\";\nimport { checkWrite } from \"./archive.ts\";\nimport { type TableRecord, writeCatalog } from \"./catalog.ts\";\nimport { OUTBOX_FORMAT, type OutboxCommit } from \"./outbox.ts\";\nimport { TABLES } from \"./schema.ts\";\nimport { Step } from \"./step.ts\";\nimport type { ChordStore, Replayed } from \"./store.ts\";\n\n/**\n * Applies `commits` (from an outbox, in seq order) to `store`: refused while an owner holds a claim on it, once it\n * diverged, or when the first commit does not follow its `lastSeq` or one does not follow the one before; a write the\n * store's records refuse rolls the whole batch back (`invalid/args`); a recorded count the store does not reproduce\n * rolls it back and marks the store diverged, so every later batch is refused. Commits written to the store's outbox\n * too when it has one.\n */\nexport function applyBatch(store: ChordStore, commits: readonly OutboxCommit[], context: Context): Promise<void> {\n\tlet checked: OutboxCommit[];\n\ttry {\n\t\tchecked = commits.map((commit, index) => checkCommit(commit, `batch: commit ${index}`, context));\n\t} catch (error) {\n\t\treturn Promise.reject(error);\n\t}\n\treturn store.replay(\n\t\t(executor, catalog) => replay(store, checked, executor, catalog),\n\t\t(error) => error instanceof Diverged,\n\t);\n}\n\n/** One commit's envelope and writes, checked (a trust boundary). */\nfunction checkCommit(commit: OutboxCommit, what: string, context: Context): OutboxCommit {\n\tconst { seq, nextId, writes } = commit as Partial<OutboxCommit>;\n\tif (!Number.isSafeInteger(seq) || !Number.isSafeInteger(nextId) || !Array.isArray(writes)) {\n\t\tthrow invalid(\"args\", `${what}: not an outbox commit`);\n\t}\n\treturn {\n\t\tseq: seq!,\n\t\tnextId: nextId!,\n\t\twrites: writes.map((write, index) => checkWrite(write, `${what}: write ${index}`, context)),\n\t};\n}\n\n/** The batch inside the store's turn: seqs continuous from `lastSeq`, allocator values never falling. */\nasync function replay(\n\tstore: ChordStore,\n\tcommits: readonly OutboxCommit[],\n\texecutor: SqliteExecutor,\n\tcatalog: ReadonlyMap<string, TableRecord>,\n): Promise<Replayed> {\n\tconst tables = new Map(catalog);\n\tconst changed = new Map<string, TableRecord>();\n\tlet lastSeq = store.lastSeq;\n\tlet nextId = store.nextId;\n\tfor (const [index, commit] of commits.entries()) {\n\t\tconst what = `batch: commit ${index} (seq ${commit.seq})`;\n\t\tif (commit.seq !== lastSeq + 1) throw invalid(\"args\", `${what}: does not follow seq ${lastSeq}`);\n\t\tif (commit.nextId < nextId) throw invalid(\"args\", `${what}: its next id ${commit.nextId} is below ${nextId}`);\n\t\tconst step = new Step(executor, commit.seq, new IdAllocator(commit.nextId), tables);\n\t\tfor (const [position, write] of commit.writes.entries()) {\n\t\t\tconst where = `${what}: write ${position} (${write.kind})`;\n\t\t\tif (write.kind === \"document.create\") checkCreated(write.record.id, commit.nextId, where);\n\t\t\tawait applyWrite(step, write, where);\n\t\t}\n\t\tawait writeCatalog(step);\n\t\tfor (const [name, record] of step.tables) {\n\t\t\ttables.set(name, record);\n\t\t\tchanged.set(name, record);\n\t\t}\n\t\tif (store.recordsOutbox) {\n\t\t\tawait executor.run(\n\t\t\t\t`INSERT INTO ${TABLES.outbox} (seq, format, next_id, writes) VALUES (?, ?, ?, ?)`,\n\t\t\t\tcommit.seq,\n\t\t\t\tOUTBOX_FORMAT,\n\t\t\t\tcommit.nextId,\n\t\t\t\tJSON.stringify(commit.writes),\n\t\t\t);\n\t\t}\n\t\tlastSeq = commit.seq;\n\t\tnextId = commit.nextId;\n\t}\n\tawait executor.run(`UPDATE ${TABLES.meta} SET last_seq = ?, next_id = ? WHERE singleton = 1`, lastSeq, nextId);\n\treturn { lastSeq, nextId, tables: changed };\n}\n\n/**\n * A created document's id is below its commit's next id (the allocator never mints it again), or equal to a saturated\n * next id (`Number.MAX_SAFE_INTEGER` may be written, as import allows).\n */\nfunction checkCreated(id: number, nextId: number, what: string): void {\n\tif (id < nextId || (nextId === Number.MAX_SAFE_INTEGER && id === nextId)) return;\n\tthrow invalid(\"args\", `${what}: id ${id} is not below the commit's next id ${nextId}`);\n}\n"]}