ramosedb 0.0.0-stage → 0.4.0

package/dist/client/submission.d.ts

@@ -0,0 +1,44 @@
+import type { InvocationId } from "../db/refs.ts";
+import type { IndexedDbReplicaStorage } from "../internal/replication/indexeddb.ts";
+import type { SyncLeadership } from "../internal/replication/leadership.ts";
+import { type ReplicaDatabaseScope, type ReplicaScope } from "../internal/replication/replica-lifecycle.ts";
+import { type MutationEndpoint, type QueueProgress } from "../internal/replication/submission.ts";
+import type { ReceiptDriver } from "./receipt.ts";
+export declare const queueUnreplayable: (progress: readonly QueueProgress[], database: string) => boolean;
+export type PassOutcome = "withdraw" | "stand-down" | "again" | "later" | "obstructed" | "settled";
+export declare const passOutcome: (progress: readonly QueueProgress[]) => PassOutcome;
+type PassCredential = {
+    readonly token: string;
+    readonly cacheKey: string;
+};
+export type SubmissionContext = {
+    readonly storage: () => Promise<IndexedDbReplicaStorage>;
+    readonly leadership: () => SyncLeadership | undefined;
+    readonly credential: () => Promise<PassCredential>;
+    readonly endpoint: (receiver: ReplicaDatabaseScope, credential: PassCredential) => MutationEndpoint | undefined;
+    readonly resolve: (receiver: ReplicaDatabaseScope) => void;
+    readonly retire: (receiver: ReplicaDatabaseScope) => void;
+    readonly revalidate: () => Promise<void>;
+    readonly reconcile: (receiver: ReplicaDatabaseScope, progress: readonly QueueProgress[]) => Promise<void>;
+    readonly live: () => boolean;
+};
+export declare class SubmissionLoop {
+    private readonly context;
+    private readonly receipts;
+    private readonly pending;
+    private readonly again;
+    private readonly retries;
+    private readonly inflight;
+    constructor(context: SubmissionContext);
+    track(receiver: ReplicaDatabaseScope, driver: ReceiptDriver): void;
+    untrack(invocation: InvocationId): void;
+    settleFromDurable(): Promise<void>;
+    request(scope: ReplicaScope): void;
+    settled(): Promise<void>;
+    private pass;
+    private later;
+    close(): void;
+    private settle;
+}
+export {};
+//# sourceMappingURL=submission.d.ts.map

package/dist/client/submission.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.d.ts","sourceRoot":"","sources":["../../src/client/submission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,YAAY,EAClB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EACnB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AA2BlD,eAAO,MAAM,iBAAiB,aAClB,SAAS,aAAa,EAAE,YACxB,MAAM,KACf,OAIA,CAAC;AAEJ,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,YAAY,GACZ,OAAO,GACP,OAAO,GACP,YAAY,GACZ,SAAS,CAAC;AAEd,eAAO,MAAM,WAAW,aACZ,SAAS,aAAa,EAAE,KACjC,WAQF,CAAC;AAOF,KAAK,cAAc,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACzD,QAAQ,CAAC,UAAU,EAAE,MAAM,cAAc,GAAG,SAAS,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,CACjB,QAAQ,EAAE,oBAAoB,EAC9B,UAAU,EAAE,cAAc,KACvB,gBAAgB,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,oBAAoB,KAAK,IAAI,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,oBAAoB,KAAK,IAAI,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,QAAQ,CAAC,SAAS,EAAE,CAClB,QAAQ,EAAE,oBAAoB,EAC9B,QAAQ,EAAE,SAAS,aAAa,EAAE,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC;CAC9B,CAAC;AAOF,qBAAa,cAAc;IAOb,OAAO,CAAC,QAAQ,CAAC,OAAO;IANpC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA2C;IACpE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqB;IAC3C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoD;IAC5E,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAyB;IAElD,YAA6B,OAAO,EAAE,iBAAiB,EAAI;IAE3D,KAAK,CAAC,QAAQ,EAAE,oBAAoB,EAAE,MAAM,EAAE,aAAa,GAAG,IAAI,CAEjE;IAED,OAAO,CAAC,UAAU,EAAE,YAAY,GAAG,IAAI,CAEtC;IAEK,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAWvC;IAED,OAAO,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI,CAajC;IAEK,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAI7B;YAEa,IAAI;IAuClB,OAAO,CAAC,KAAK;IAYb,KAAK,IAAI,IAAI,CAIZ;YAEa,MAAM;CAmBrB"}

package/dist/client/submission.js

@@ -0,0 +1,165 @@
+import { replicaDatabaseKey, } from "../internal/replication/replica-lifecycle.js";
+import { runSubmissionPass, } from "../internal/replication/submission.js";
+import { submitMutation } from "../internal/replication/transport.js";
+const advanced = (entry) => entry.state._tag === "Committed" || entry.state._tag === "Rejected";
+const fenced = (entry, reason) => entry.state._tag === "Interrupted" && entry.state.reason === reason;
+const UNREPLAYABLE = new Set([
+    "record-invalid",
+    "invocation-conflict",
+    "mapping-refused",
+]);
+const unreplayable = (entry) => entry.state._tag === "Interrupted" && UNREPLAYABLE.has(entry.state.reason);
+const transient = (entry) => entry.state._tag === "Retry" ||
+    (entry.state._tag === "Interrupted" &&
+        entry.state.reason !== "scope-fenced" &&
+        entry.state.reason !== "leadership-fenced" &&
+        !UNREPLAYABLE.has(entry.state.reason));
+export const queueUnreplayable = (progress, database) => progress.some((entry) => replicaDatabaseKey(entry.receiver) === database &&
+    (entry.state._tag === "UpdateRequired" || unreplayable(entry)));
+export const passOutcome = (progress) => {
+    if (progress.some((entry) => fenced(entry, "scope-fenced")))
+        return "withdraw";
+    if (progress.some((entry) => fenced(entry, "leadership-fenced"))) {
+        return "stand-down";
+    }
+    if (progress.some(advanced))
+        return "again";
+    if (progress.some(transient))
+        return "later";
+    return progress.some(unreplayable) ? "obstructed" : "settled";
+};
+const RETRY_DELAY_MS = 1_000;
+const scopeKey = (scope) => `${scope.server} ${scope.principal}`;
+export class SubmissionLoop {
+    context;
+    receipts = new Map();
+    pending = new Map();
+    again = new Set();
+    retries = new Map();
+    inflight = new AbortController();
+    constructor(context) {
+        this.context = context;
+    }
+    track(receiver, driver) {
+        this.receipts.set(driver.receipt.invocation, { receiver, driver });
+    }
+    untrack(invocation) {
+        this.receipts.delete(invocation);
+    }
+    async settleFromDurable() {
+        if (this.receipts.size === 0 || !this.context.live())
+            return;
+        const outbox = (await this.context.storage()).outbox();
+        for (const [invocation, tracked] of [...this.receipts]) {
+            const record = await outbox.receipt(tracked.receiver, invocation)
+                .catch(() => undefined);
+            if (record === undefined || record.state === "queued")
+                continue;
+            this.receipts.delete(invocation);
+            if (record.state === "committed")
+                tracked.driver.commit();
+            else
+                tracked.driver.reject(record.failure?.code ?? "rejected");
+        }
+    }
+    request(scope) {
+        const key = scopeKey(scope);
+        if (this.pending.has(key)) {
+            this.again.add(key);
+            return;
+        }
+        const run = this.pass(scope)
+            .catch(() => this.later(scope))
+            .finally(() => {
+            this.pending.delete(key);
+            if (this.again.delete(key))
+                this.request(scope);
+        });
+        this.pending.set(key, run);
+    }
+    async settled() {
+        while (this.pending.size > 0) {
+            await Promise.all([...this.pending.values()]);
+        }
+    }
+    async pass(scope) {
+        if (!this.context.live())
+            return;
+        const leadership = this.context.leadership();
+        if (leadership === undefined || !leadership.submits())
+            return;
+        const storage = await this.context.storage();
+        const credential = await this.context.credential();
+        if (!this.context.live() || !leadership.submits())
+            return;
+        const fence = leadership.fence();
+        const progress = await runSubmissionPass({
+            store: storage.outbox(() => fence),
+            scope,
+            endpoints: (receiver) => this.context.endpoint(receiver, credential),
+            transport: submitMutation,
+            signal: this.inflight.signal,
+        });
+        for (const entry of progress) {
+            if (entry.state._tag === "Offline")
+                this.context.resolve(entry.receiver);
+            else if (entry.state._tag === "Empty")
+                this.context.retire(entry.receiver);
+        }
+        await this.settle(progress);
+        switch (passOutcome(progress)) {
+            case "withdraw":
+                await this.context.revalidate();
+                return;
+            case "stand-down":
+                await leadership.standDown();
+                return;
+            case "again":
+                this.request(scope);
+                return;
+            case "later":
+                this.later(scope);
+                return;
+            case "obstructed":
+            case "settled":
+                return;
+        }
+    }
+    later(scope) {
+        const key = scopeKey(scope);
+        if (this.retries.has(key))
+            return;
+        this.retries.set(key, setTimeout(() => {
+            this.retries.delete(key);
+            if (this.context.live())
+                this.request(scope);
+        }, RETRY_DELAY_MS));
+    }
+    close() {
+        for (const timer of this.retries.values())
+            clearTimeout(timer);
+        this.retries.clear();
+        this.inflight.abort();
+    }
+    async settle(progress) {
+        for (const entry of progress) {
+            const state = entry.state;
+            if (state._tag === "Committed") {
+                this.receipts.get(state.invocation)?.driver.commit();
+                this.receipts.delete(state.invocation);
+            }
+            else if (state._tag === "Rejected") {
+                this.receipts.get(state.invocation)?.driver.reject(state.code);
+                this.receipts.delete(state.invocation);
+            }
+        }
+        const byReceiver = new Map();
+        for (const entry of progress) {
+            byReceiver.set(replicaDatabaseKey(entry.receiver), entry.receiver);
+        }
+        for (const receiver of byReceiver.values()) {
+            await this.context.reconcile(receiver, progress).catch(() => undefined);
+        }
+    }
+}
+//# sourceMappingURL=submission.js.map

package/dist/client/submission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"submission.js","sourceRoot":"","sources":["../../src/client/submission.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,kBAAkB,GAGnB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,iBAAiB,GAIlB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AAGtE,MAAM,QAAQ,GAAG,CAAC,KAAoB,EAAW,EAAE,CACjD,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;AAEtE,MAAM,MAAM,GAAG,CACb,KAAoB,EACpB,MAA4C,EACnC,EAAE,CACX,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC;AAEtE,MAAM,YAAY,GAAmC,IAAI,GAAG,CAAoB;IAC9E,gBAAgB;IAChB,qBAAqB;IACrB,iBAAiB;CAClB,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,KAAoB,EAAW,EAAE,CACrD,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,SAAS,GAAG,CAAC,KAAoB,EAAW,EAAE,CAClD,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;IAC5B,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;QACjC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,cAAc;QACrC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,mBAAmB;QAC1C,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;AAE3C,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,QAAkC,EAClC,QAAgB,EACP,EAAE,CACX,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CACtB,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ;IAC/C,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAC/D,CAAC;AAUJ,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,QAAkC,EACrB,EAAE;IACf,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/E,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,OAAO,CAAC;IAC5C,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7C,OAAO,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,KAAK,CAAC;AAE7B,MAAM,QAAQ,GAAG,CAAC,KAAmB,EAAU,EAAE,CAC/C,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;AA8BvC,MAAM,OAAO,cAAc;IAOI,OAAO;IANnB,QAAQ,GAAG,IAAI,GAAG,EAAgC,CAAC;IACnD,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC3C,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1B,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAC;IAC3D,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC;IAElD,YAA6B,OAA0B;uBAA1B,OAAO;IAAsB,CAAC;IAE3D,KAAK,CAAC,QAA8B,EAAE,MAAqB;QACzD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,CAAC,UAAwB;QAC9B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,iBAAiB;QACrB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;YAAE,OAAO;QAC7D,MAAM,MAAM,GAAG,CAAC,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACvD,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC;iBAC9D,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;gBAAE,SAAS;YAChE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACjC,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW;gBAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;;gBACrD,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,IAAI,UAAU,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAmB;QACzB,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;aACzB,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;aAC9B,OAAO,CAAC,GAAG,EAAE;YACZ,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACL,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,OAAO;QACX,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,IAAI,CAAC,KAAmB;QACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;YAAE,OAAO;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QAC7C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE;YAAE,OAAO;QAC9D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE;YAAE,OAAO;QAC1D,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC;YACvC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;YAClC,KAAK;YACL,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;YACpE,SAAS,EAAE,cAAc;YACzB,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;SAC7B,CAAC,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;iBACpE,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5B,QAAQ,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,KAAK,UAAU;gBACb,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAChC,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC;gBAC7B,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpB,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClB,OAAO;YACT,KAAK,YAAY,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO;QACX,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,KAAmB;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAClC,IAAI,CAAC,OAAO,CAAC,GAAG,CACd,GAAG,EACH,UAAU,CAAC,GAAG,EAAE;YACd,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;gBAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC,EAAE,cAAc,CAAC,CACnB,CAAC;IACJ,CAAC;IAED,KAAK;QACH,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;IACxB,CAAC;IAEO,KAAK,CAAC,MAAM,CAAC,QAAkC;QACrD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;gBACrD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACzC,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC/D,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;QAC3D,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;CACF"}

package/dist/client/subscription.d.ts

@@ -0,0 +1,18 @@
+/** A value that can be observed and read without recomputation. */
+export type Subscription<A> = {
+    readonly subscribe: (onChange: () => void) => () => void;
+    readonly getSnapshot: () => A;
+};
+export declare class Store<A> {
+    private readonly listeners;
+    private value;
+    readonly subscription: Subscription<A>;
+    constructor(initial: A);
+    getSnapshot(): A;
+    get size(): number;
+    subscribe(onChange: () => void): () => void;
+    publish(next: A): boolean;
+    private notify;
+}
+export declare const sameResult: (left: unknown, right: unknown) => boolean;
+//# sourceMappingURL=subscription.d.ts.map

package/dist/client/subscription.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subscription.d.ts","sourceRoot":"","sources":["../../src/client/subscription.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAC5B,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;CAC/B,CAAC;AAEF,qBAAa,KAAK,CAAC,CAAC;IAClB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAyB;IACnD,OAAO,CAAC,KAAK,CAAI;IACjB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAEvC,YAAY,OAAO,EAAE,CAAC,EAMrB;IAED,WAAW,IAAI,CAAC,CAEf;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAQ1C;IAED,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAKxB;IAED,OAAO,CAAC,MAAM;CAQf;AAED,eAAO,MAAM,UAAU,SAAU,OAAO,SAAS,OAAO,KAAG,OA8B1D,CAAC"}

package/dist/client/subscription.js

@@ -0,0 +1,75 @@
+export class Store {
+    listeners = new Set();
+    value;
+    subscription;
+    constructor(initial) {
+        this.value = initial;
+        this.subscription = Object.freeze({
+            subscribe: (onChange) => this.subscribe(onChange),
+            getSnapshot: () => this.getSnapshot(),
+        });
+    }
+    getSnapshot() {
+        return this.value;
+    }
+    get size() {
+        return this.listeners.size;
+    }
+    subscribe(onChange) {
+        this.listeners.add(onChange);
+        let released = false;
+        return () => {
+            if (released)
+                return;
+            released = true;
+            this.listeners.delete(onChange);
+        };
+    }
+    publish(next) {
+        if (Object.is(next, this.value))
+            return false;
+        this.value = next;
+        this.notify();
+        return true;
+    }
+    notify() {
+        for (const listener of [...this.listeners]) {
+            try {
+                listener();
+            }
+            catch {
+            }
+        }
+    }
+}
+export const sameResult = (left, right) => {
+    if (Object.is(left, right))
+        return true;
+    if (typeof left !== "object" || typeof right !== "object") {
+        return false;
+    }
+    if (left === null || right === null)
+        return false;
+    if (Array.isArray(left) || Array.isArray(right)) {
+        if (!Array.isArray(left) || !Array.isArray(right))
+            return false;
+        return left.length === right.length &&
+            left.every((item, index) => sameResult(item, right[index]));
+    }
+    if (left instanceof Date || right instanceof Date) {
+        return left instanceof Date && right instanceof Date &&
+            left.getTime() === right.getTime();
+    }
+    if (left instanceof Uint8Array || right instanceof Uint8Array) {
+        return left instanceof Uint8Array && right instanceof Uint8Array &&
+            left.length === right.length &&
+            left.every((byte, index) => byte === right[index]);
+    }
+    const leftKeys = Object.keys(left);
+    const rightKeys = Object.keys(right);
+    if (leftKeys.length !== rightKeys.length)
+        return false;
+    return leftKeys.every((key) => Object.hasOwn(right, key) &&
+        sameResult(left[key], right[key]));
+};
+//# sourceMappingURL=subscription.js.map

package/dist/client/subscription.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subscription.js","sourceRoot":"","sources":["../../src/client/subscription.ts"],"names":[],"mappings":"AAMA,MAAM,OAAO,KAAK;IACC,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IAC3C,KAAK,CAAI;IACR,YAAY,CAAkB;IAEvC,YAAY,OAAU;QACpB,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC;QACrB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;YAChC,SAAS,EAAE,CAAC,QAAoB,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;YAC7D,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE;SACtC,CAAC,CAAC;IACL,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;IAC7B,CAAC;IAED,SAAS,CAAC,QAAoB;QAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,OAAO,GAAG,EAAE;YACV,IAAI,QAAQ;gBAAE,OAAO;YACrB,QAAQ,GAAG,IAAI,CAAC;YAChB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAO;QACb,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC9C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,MAAM;QACZ,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC;gBACH,QAAQ,EAAE,CAAC;YACb,CAAC;YAAC,MAAM,CAAC;YACT,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE;IACnE,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAClD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAChE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YACjC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,IAAI,YAAY,IAAI,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;QAClD,OAAO,IAAI,YAAY,IAAI,IAAI,KAAK,YAAY,IAAI;YAClD,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,YAAY,UAAU,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;QAC9D,OAAO,IAAI,YAAY,UAAU,IAAI,KAAK,YAAY,UAAU;YAC9D,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAA+B,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACvD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAC5B,MAAM,CAAC,MAAM,CAAC,KAAgC,EAAE,GAAG,CAAC;QACpD,UAAU,CACP,IAAgC,CAAC,GAAG,CAAC,EACrC,KAAiC,CAAC,GAAG,CAAC,CACxC,CACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/client/sync.d.ts

@@ -0,0 +1,32 @@
+/**
+ * - `idle` — nothing has been observed yet, so nothing synchronizes. This is
+ *   what a freshly constructed client reports; constructing handles is inert.
+ * - `connecting` — an activation is in flight and no local value is readable.
+ * - `live` — a local value is readable and the server has confirmed it.
+ * - `stale` — a local value is readable but the current session has not
+ *   confirmed it: a restored offline replica, or a reconnect in progress.
+ * - `offline` — the activation could not reach the server. Whatever local value
+ *   was already confirmed stays readable; nothing new is. Not a terminal state:
+ *   the next time the tab is activated — focused, shown, restored from the
+ *   back/forward cache, or told the device is online — it activates again.
+ * - `update-required` — this client build is behind, and no retry helps; ship a
+ *   new build. Two causes, and they differ in what stays readable. The server
+ *   rotated the authorized view (a schema, trait, read-policy, or database-read
+ *   change): nothing is published, because this build cannot read what the
+ *   server now serves. Or this build cannot replay its own durable queued work
+ *   — a record, an acknowledgement or an allocation it cannot read or apply:
+ *   that work is withheld, but the committed replica is untouched and stays
+ *   readable, so queries keep answering from it without the pending work folded
+ *   in. Nothing queued is discarded either way.
+ * - `authentication-required` — the credential was refused, or the principal
+ *   behind it was replaced. There is no anonymous fallback and no other
+ *   candidate: the prior partition is fenced and publishes nothing.
+ * - `closed` — `close()` or `clearLocalData()` made this client terminal.
+ */
+export type SyncStatus = "idle" | "connecting" | "live" | "stale" | "offline" | "update-required" | "authentication-required" | "closed";
+export type SyncState = {
+    readonly status: SyncStatus;
+};
+export declare const syncState: (status: SyncStatus) => SyncState;
+export declare const aggregateSyncStatus: (statuses: Iterable<SyncStatus>) => SyncStatus;
+//# sourceMappingURL=sync.d.ts.map

package/dist/client/sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../src/client/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,UAAU,GAClB,MAAM,GACN,YAAY,GACZ,MAAM,GACN,OAAO,GACP,SAAS,GACT,iBAAiB,GACjB,yBAAyB,GACzB,QAAQ,CAAC;AAEb,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B,CAAC;AAeF,eAAO,MAAM,SAAS,WAAY,UAAU,KAAG,SAA2B,CAAC;AAY3E,eAAO,MAAM,mBAAmB,aACpB,QAAQ,CAAC,UAAU,CAAC,KAC7B,UAQF,CAAC"}

package/dist/client/sync.js

@@ -0,0 +1,34 @@
+const STATES = Object.freeze({
+    idle: Object.freeze({ status: "idle" }),
+    connecting: Object.freeze({ status: "connecting" }),
+    live: Object.freeze({ status: "live" }),
+    stale: Object.freeze({ status: "stale" }),
+    offline: Object.freeze({ status: "offline" }),
+    "update-required": Object.freeze({ status: "update-required" }),
+    "authentication-required": Object.freeze({
+        status: "authentication-required",
+    }),
+    closed: Object.freeze({ status: "closed" }),
+});
+export const syncState = (status) => STATES[status];
+const SEVERITY = Object.freeze([
+    "closed",
+    "update-required",
+    "authentication-required",
+    "offline",
+    "connecting",
+    "stale",
+    "live",
+]);
+export const aggregateSyncStatus = (statuses) => {
+    let worst;
+    for (const status of statuses) {
+        const rank = SEVERITY.indexOf(status);
+        if (rank === -1)
+            continue;
+        if (worst === undefined || rank < worst)
+            worst = rank;
+    }
+    return worst === undefined ? "idle" : SEVERITY[worst];
+};
+//# sourceMappingURL=sync.js.map

package/dist/client/sync.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.js","sourceRoot":"","sources":["../../src/client/sync.ts"],"names":[],"mappings":"AAuCA,MAAM,MAAM,GAA4C,MAAM,CAAC,MAAM,CAAC;IACpE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAe,EAAE,CAAC;IAChD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAqB,EAAE,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAe,EAAE,CAAC;IAChD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAgB,EAAE,CAAC;IAClD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAkB,EAAE,CAAC;IACtD,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,iBAA0B,EAAE,CAAC;IACxE,yBAAyB,EAAE,MAAM,CAAC,MAAM,CAAC;QACvC,MAAM,EAAE,yBAAkC;KAC3C,CAAC;IACF,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAiB,EAAE,CAAC;CACrD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAkB,EAAa,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAE3E,MAAM,QAAQ,GAA0B,MAAM,CAAC,MAAM,CAAC;IACpD,QAAQ;IACR,iBAAiB;IACjB,yBAAyB;IACzB,SAAS;IACT,YAAY;IACZ,OAAO;IACP,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,QAA8B,EAClB,EAAE;IACd,IAAI,KAAyB,CAAC;IAC9B,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,GAAG,KAAK;YAAE,KAAK,GAAG,IAAI,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;AACzD,CAAC,CAAC"}

package/dist/client/view.d.ts

@@ -0,0 +1,37 @@
+import { type EntityId } from "../db/refs.ts";
+import type { AnyEntity } from "../db/Entity.ts";
+import type { AnyComposer } from "../db/Composer.ts";
+import { type QueryObject } from "../db/query/index.ts";
+import { type QuerySubscription } from "./database.ts";
+import { clientQueryFrom, type ClientValue, type EntityFocused } from "./query.ts";
+export type ViewEntity<Data = unknown, Entity extends AnyEntity = AnyEntity> = {
+    readonly id: EntityId<Entity>;
+    readonly data: Data;
+};
+export type ViewResult<Row, Out, N extends AnyComposer = AnyComposer> = Out extends readonly unknown[] ? readonly ViewEntity<ClientValue<Row>, N extends AnyEntity ? N : AnyEntity>[] : Out extends {
+    readonly rows: readonly unknown[];
+} ? Omit<ClientValue<Out>, "rows"> & {
+    readonly rows: readonly ViewEntity<ClientValue<Row>, N extends AnyEntity ? N : AnyEntity>[];
+} : null extends Out ? ViewEntity<ClientValue<Row>, N extends AnyEntity ? N : AnyEntity> | null : ViewEntity<ClientValue<Row>, N extends AnyEntity ? N : AnyEntity>;
+export declare class DatabaseView {
+    private readonly source;
+    readonly query: {
+        from: typeof clientQueryFrom;
+    };
+    private readonly observations;
+    constructor(source: {
+        readonly read: (query: unknown, signal?: AbortSignal) => Promise<{
+            readonly result: unknown;
+            readonly entities: readonly string[];
+        }>;
+        readonly subscribe: (changed: () => void) => () => void;
+        readonly assertLive: () => void;
+    });
+    read<N extends AnyComposer, Row, Out>(query: EntityFocused<N, Row, Out>): Promise<ViewResult<Row, Out, N>>;
+    read<Row, Out>(query: QueryObject<Row, Out>): Promise<ClientValue<Out>>;
+    private readQuery;
+    observe<N extends AnyComposer, Row, Out>(query: EntityFocused<N, Row, Out>): QuerySubscription<ViewResult<Row, Out, N>>;
+    observe<Row, Out>(query: QueryObject<Row, Out>): QuerySubscription<ClientValue<Out>>;
+    refresh(): Promise<void>;
+}
+//# sourceMappingURL=view.d.ts.map

package/dist/client/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../src/client/view.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE1E,OAAO,EAA2C,KAAK,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAChG,OAAO,EAAE,eAAe,EAAiB,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAIlG,MAAM,MAAM,UAAU,CAAC,IAAI,GAAG,OAAO,EAAE,MAAM,SAAS,SAAS,GAAG,SAAS,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AACtI,MAAM,MAAM,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,WAAW,GAAG,WAAW,IAAI,GAAG,SAAS,SAAS,OAAO,EAAE,GAAG,SAAS,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,EAAE,GACjL,GAAG,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,EAAE,CAAA;CAAE,GACpL,IAAI,SAAS,GAAG,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,GAAG,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC;AAEpK,qBAAa,YAAY;IAIX,OAAO,CAAC,QAAQ,CAAC,MAAM;IAHnC,QAAQ,CAAC,KAAK;QAAK,IAAI;MAAoB;IAC3C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAwI;IAErK,YAA6B,MAAM,EAAE;QACnC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC;YAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;YAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;SAAE,CAAC,CAAC;QACrI,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,IAAI,KAAK,MAAM,IAAI,CAAC;QACxD,QAAQ,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC;KACjC,EAAI;IAEC,IAAI,CAAC,CAAC,SAAS,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3G,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;YAGhE,SAAS;IA4BvB,OAAO,CAAC,CAAC,SAAS,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACxH,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,iBAAiB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAiD/E,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAE7B;CACF"}

package/dist/client/view.js

@@ -0,0 +1,112 @@
+import { isEntityId } from "../db/refs.js";
+import { lowerQueryObject } from "../db/query/index.js";
+import { fromJson, toJson } from "../internal/core/json.js";
+import { queryObservationKey } from "./database.js";
+import { clientQueryFrom, entityFocusOf } from "./query.js";
+import { Store } from "./subscription.js";
+import { rowIdentity } from "./entity.js";
+export class DatabaseView {
+    source;
+    query = { from: clientQueryFrom };
+    observations = new Map();
+    constructor(source) {
+        this.source = source;
+    }
+    async read(query) { return this.readQuery(query); }
+    async readQuery(query, signal) {
+        this.source.assertLive();
+        let entities = [];
+        const lowered = lowerQueryObject(query, {
+            resolveEntity: (id) => ({ $entity: id }),
+            entity: (id) => {
+                const value = entities[id - 1];
+                if (!isEntityId(value))
+                    throw new Error("invalid database view identity");
+                return value;
+            },
+        });
+        const response = await this.source.read(toJson(lowered.query), signal);
+        entities = response.entities;
+        const result = lowered.finalize(fromJson(response.result));
+        if (entityFocusOf(query) === undefined)
+            return result;
+        const wrap = (data) => {
+            const id = rowIdentity(data);
+            if (!isEntityId(id))
+                throw new Error("database view row has no durable identity");
+            return Object.freeze({ id, data });
+        };
+        if (lowered.result === "row")
+            return result === null ? null : wrap(result);
+        if (lowered.result === "page") {
+            const page = result;
+            return { ...page, rows: page.rows.map(wrap) };
+        }
+        return Array.isArray(result) ? result.map(wrap) : result;
+    }
+    observe(query) {
+        this.source.assertLive();
+        const key = queryObservationKey(query);
+        let observation = this.observations.get(key);
+        if (observation === undefined) {
+            const store = new Store({ status: "pending", data: undefined, stale: true, error: undefined });
+            let pending;
+            let generation = 0;
+            let controller;
+            const run = () => {
+                generation++;
+                const previous = store.getSnapshot();
+                if (previous.status === "ready" && !previous.stale)
+                    store.publish({ ...previous, stale: true });
+                if (pending !== undefined)
+                    return pending;
+                pending = (async () => {
+                    while (store.size > 0) {
+                        const current = generation;
+                        try {
+                            controller = new AbortController();
+                            const data = await this.readQuery(query, controller.signal);
+                            if (current === generation)
+                                store.publish({ status: "ready", data, stale: false, error: undefined });
+                        }
+                        catch (cause) {
+                            if (current === generation)
+                                store.publish({ status: "error", data: undefined, stale: true,
+                                    error: cause instanceof Error ? cause : new Error("database view read failed") });
+                        }
+                        if (current === generation)
+                            break;
+                    }
+                })().finally(() => { pending = undefined; });
+                return pending;
+            };
+            observation = { store, run, cancel: () => { generation++; controller?.abort(); } };
+            if (this.observations.size >= 128) {
+                for (const [cached, entry] of this.observations)
+                    if (entry.store.size === 0) {
+                        this.observations.delete(cached);
+                        break;
+                    }
+            }
+            this.observations.set(key, observation);
+        }
+        const { store, run, cancel } = observation;
+        return {
+            getSnapshot: () => { this.source.assertLive(); return store.getSnapshot(); },
+            subscribe: (changed) => {
+                const stop = store.subscribe(changed);
+                const stopRevision = this.source.subscribe(() => { void run(); });
+                void run();
+                return () => { stopRevision(); stop(); if (store.size === 0) {
+                    cancel();
+                    if (this.observations.get(key)?.store === store)
+                        this.observations.delete(key);
+                } };
+            },
+        };
+    }
+    async refresh() {
+        await Promise.all([...this.observations.values()].filter(({ store }) => store.size > 0).map(({ run }) => run()));
+    }
+}
+//# sourceMappingURL=view.js.map

package/dist/client/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../src/client/view.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAiB,MAAM,eAAe,CAAC;AAG1D,OAAO,EAAE,gBAAgB,EAAoB,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAA8C,MAAM,eAAe,CAAC;AAChG,OAAO,EAAE,eAAe,EAAE,aAAa,EAAwC,MAAM,YAAY,CAAC;AAClG,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAO1C,MAAM,OAAO,YAAY;IAIM,MAAM;IAH1B,KAAK,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IAC1B,YAAY,GAAG,IAAI,GAAG,EAA6H,CAAC;IAErK,YAA6B,MAI5B;sBAJ4B,MAAM;IAI/B,CAAC;IAIL,KAAK,CAAC,IAAI,CAAC,KAAoC,IAAsB,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE5F,KAAK,CAAC,SAAS,CAAC,KAAoC,EAAE,MAAoB;QAChF,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzB,IAAI,QAAQ,GAAsB,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,EAAE;YACtC,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACxC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE;gBACb,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC/B,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;gBAC1E,OAAO,KAAK,CAAC;YACf,CAAC;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACvE,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAI,aAAa,CAAC,KAAK,CAAC,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACtD,MAAM,IAAI,GAAG,CAAC,IAAa,EAAW,EAAE;YACtC,MAAM,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YAClF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,CAAC,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK;YAAE,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3E,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,MAA+C,CAAC;YAC7D,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,CAAC;QACD,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3D,CAAC;IAID,OAAO,CAAC,KAAoC;QAC1C,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,WAAW,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,KAAK,CAAyB,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACvH,IAAI,OAAkC,CAAC;YACvC,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,UAAuC,CAAC;YAC5C,MAAM,GAAG,GAAG,GAAkB,EAAE;gBAC9B,UAAU,EAAE,CAAC;gBACb,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;gBACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK;oBAAE,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBAChG,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,OAAO,CAAC;gBAC1C,OAAO,GAAG,CAAC,KAAK,IAAI,EAAE;oBACpB,OAAO,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;wBACtB,MAAM,OAAO,GAAG,UAAU,CAAC;wBAC3B,IAAI,CAAC;4BACH,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;4BACnC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;4BAC5D,IAAI,OAAO,KAAK,UAAU;gCAAE,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;wBACvG,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IAAI,OAAO,KAAK,UAAU;gCAAE,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI;oCACvF,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,2BAA2B,CAAC,EAAE,CAAC,CAAC;wBACtF,CAAC;wBACD,IAAI,OAAO,KAAK,UAAU;4BAAE,MAAM;oBACpC,CAAC;gBACH,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC;YACF,WAAW,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;gBAClC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY;oBAAE,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;wBAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;wBAAC,MAAM;oBAAC,CAAC;YAC3H,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QAC1C,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC;QAC3C,OAAO;YACL,WAAW,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAC5E,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE;gBACrB,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBACtC,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClE,KAAK,GAAG,EAAE,CAAC;gBACX,OAAO,GAAG,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;oBAAC,MAAM,EAAE,CAAC;oBAAC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,KAAK;wBAAE,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAAC,CAAC,CAAC,CAAC,CAAC;YAC/J,CAAC;SACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAO;QACX,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACnH,CAAC;CACF"}