ramosedb 0.0.1 → 0.4.0

package/dist/internal/replication/overlay.js

@@ -0,0 +1,159 @@
+import { Index, ValueTag, datom as makeDatom, valueEquals, } from "../core/datom.js";
+import { Db } from "../core/db.js";
+import { Novelty } from "../core/novelty.js";
+import { RAMOSE_TYPE } from "../core/schema.js";
+import { isClientRef, } from "../../db/refs.js";
+import { replicaFactDatom } from "./replica-schema.js";
+const asLogical = (entity, field, value) => ({ entity, field, value, op: "add" });
+const storedMembershipType = (ns) => ns.startsWith(":") ? ns : `:${ns}`;
+const referencesOf = (op) => (op.op === "set" || op.op === "remove") && op.value !== null &&
+    op.value.type === "ref"
+    ? [op.entity, op.value.value]
+    : [op.entity];
+export const projectOverlay = async (committed, layers, resolver) => {
+    if (committed.asOfT !== undefined || committed.isHistory) {
+        throw new Error("ramose/overlay: the speculative overlay applies only to a live committed value");
+    }
+    const schema = committed.schema;
+    const entities = new Map();
+    const speculative = new Map();
+    const refusals = [];
+    let nextEid = committed.nextEid;
+    let declared = new Set();
+    const resolve = (ref) => {
+        if (isClientRef(ref)) {
+            const mapped = resolver.mapping(ref);
+            if (mapped === undefined && !declared.has(ref))
+                return "undeclared-ref";
+            const direct = entities.get(ref);
+            if (direct !== undefined)
+                return direct;
+            const key = mapped ?? ref;
+            let eid = entities.get(key);
+            if (eid === undefined) {
+                const held = mapped === undefined ? undefined : resolver.entity(mapped);
+                eid = held ?? nextEid++;
+                entities.set(key, eid);
+                if (held === undefined)
+                    speculative.set(key, eid);
+            }
+            entities.set(ref, eid);
+            return eid;
+        }
+        const direct = entities.get(ref);
+        if (direct !== undefined)
+            return direct;
+        const eid = resolver.entity(ref);
+        if (eid === undefined)
+            return "unknown-entity";
+        entities.set(ref, eid);
+        return eid;
+    };
+    for (const layer of layers) {
+        declared = new Set(layer.declared);
+        for (const op of layer.changeset) {
+            for (const ref of referencesOf(op))
+                if (isClientRef(ref))
+                    resolve(ref);
+        }
+    }
+    const lower = (op, value, e, t) => {
+        const fact = replicaFactDatom(asLogical(op.entity, op.field, value), schema, entities);
+        if (typeof fact === "string")
+            return fact;
+        try {
+            return makeDatom(e, fact.a, fact.vt, fact.v, t, true);
+        }
+        catch {
+            return "value-type";
+        }
+    };
+    const derive = (novelty, basisT) => new Db({
+        store: committed.store,
+        roots: committed.roots,
+        novelty,
+        basisT,
+        schema,
+        nextEid,
+        asOfT: committed.asOfT,
+        history: committed.isHistory,
+        filters: committed.filters,
+        composition: committed.composition,
+    });
+    const isAvet = (a) => schema.isAvet(a);
+    const isVaet = (a) => schema.isVaet(a);
+    const novelty = new Novelty();
+    novelty.add(committed.novelty.byIndex[Index.EAVT].all(), isAvet, isVaet);
+    let below = committed;
+    let t = committed.basisT;
+    const datomsFor = async (op, at) => {
+        const resolved = referencesOf(op).map(resolve);
+        const refused = resolved.find((eid) => typeof eid === "string");
+        if (refused !== undefined)
+            return refused;
+        const e = resolved[0];
+        const retract = (prior) => ({ ...prior, t: at, op: false });
+        if (op.op === "create") {
+            return [
+                makeDatom(e, RAMOSE_TYPE, ValueTag.Str, storedMembershipType(op.type), at, true),
+            ];
+        }
+        if (op.op === "delete") {
+            const own = await below.datomsArray(Index.EAVT, { e });
+            const inbound = await below.datomsArray(Index.VAET, {
+                vt: ValueTag.Ref,
+                v: e,
+            });
+            return [...own, ...inbound].map(retract);
+        }
+        const attribute = schema.attr(op.field);
+        if (attribute === undefined)
+            return "unknown-field";
+        const current = await below.datomsArray(Index.EAVT, { e, a: attribute.id });
+        if (op.op === "remove") {
+            if (op.value === null)
+                return current.map(retract);
+            const target = lower(op, op.value, e, at);
+            if (typeof target === "string")
+                return target;
+            return current
+                .filter((prior) => valueEquals(prior.vt, prior.v, target.vt, target.v))
+                .map(retract);
+        }
+        const fact = lower(op, op.value, e, at);
+        if (typeof fact === "string")
+            return fact;
+        const emitted = attribute.cardinality === "one"
+            ? current
+                .filter((prior) => !valueEquals(prior.vt, prior.v, fact.vt, fact.v))
+                .map(retract)
+            : [];
+        emitted.push(fact);
+        return emitted;
+    };
+    for (const layer of layers) {
+        declared = new Set(layer.declared);
+        for (let index = 0; index < layer.changeset.length; index++) {
+            const emitted = await datomsFor(layer.changeset[index], t + 1);
+            if (typeof emitted === "string") {
+                refusals.push(Object.freeze({
+                    invocation: layer.invocation,
+                    index,
+                    reason: emitted,
+                }));
+                continue;
+            }
+            if (emitted.length === 0)
+                continue;
+            t += 1;
+            novelty.add(emitted, isAvet, isVaet);
+            below = derive(novelty, t);
+        }
+    }
+    return Object.freeze({
+        db: t === committed.basisT ? committed : derive(novelty, t),
+        speculative,
+        refusals: Object.freeze(refusals),
+    });
+};
+//# sourceMappingURL=overlay.js.map

package/dist/internal/replication/overlay.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"overlay.js","sourceRoot":"","sources":["../../../src/internal/replication/overlay.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,QAAQ,EACR,KAAK,IAAI,SAAS,EAClB,WAAW,GAGZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,eAAe,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EACL,WAAW,GAKZ,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAyBvD,MAAM,SAAS,GAAG,CAChB,MAAmB,EACnB,KAAa,EACb,KAAsB,EACR,EAAE,CAChB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAA4B,CAAC;AAEnE,MAAM,oBAAoB,GAAG,CAAC,EAAU,EAAU,EAAE,CAClD,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAErC,MAAM,YAAY,GAAG,CAAC,EAAgB,EAA0B,EAAE,CAChE,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;IAC1D,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;IACvB,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;IAC7B,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;AAElB,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,EACjC,SAAa,EACb,MAAqB,EACrB,QAAyB,EACH,EAAE;IACxB,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CACb,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,IAAI,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;IAChC,IAAI,QAAQ,GAAwB,IAAI,GAAG,EAAE,CAAC;IAE9C,MAAM,OAAO,GAAG,CAAC,GAAgB,EAA0C,EAAE;QAC3E,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,gBAAgB,CAAC;YACxE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YACxC,MAAM,GAAG,GAAG,MAAM,IAAI,GAAG,CAAC;YAC1B,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACxE,GAAG,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC;gBACxB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBACvB,IAAI,IAAI,KAAK,SAAS;oBAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACpD,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACvB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAe,CAAC,CAAC;QAC7C,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,gBAAgB,CAAC;QAC/C,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACvB,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACjC,KAAK,MAAM,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC;gBAAE,IAAI,WAAW,CAAC,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,CACZ,EAA4D,EAC5D,KAAsB,EACtB,CAAS,EACT,CAAS,EAC8B,EAAE;QACzC,MAAM,IAAI,GAAG,gBAAgB,CAC3B,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EACrC,MAAM,EACN,QAAQ,CACT,CAAC;QACF,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,CAAC;YACH,OAAO,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAe,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACtE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,YAAY,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAE,MAAc,EAAM,EAAE,CACtD,IAAI,EAAE,CAAC;QACL,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,OAAO;QACP,MAAM;QACN,MAAM;QACN,OAAO;QACP,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,OAAO,EAAE,SAAS,CAAC,SAAS;QAC5B,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;KACnC,CAAC,CAAC;IAEL,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACzE,IAAI,KAAK,GAAG,SAAS,CAAC;IACtB,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAEzB,MAAM,SAAS,GAAG,KAAK,EACrB,EAAgB,EAChB,EAAU,EACwC,EAAE;QACpD,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC;QAChE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAwC,CAAC;QAC3E,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAW,CAAC;QAChC,MAAM,OAAO,GAAG,CAAC,KAAY,EAAS,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1E,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACvB,OAAO;gBACL,SAAS,CACP,CAAC,EACD,WAAW,EACX,QAAQ,CAAC,GAAG,EACZ,oBAAoB,CAAC,EAAE,CAAC,IAAI,CAAC,EAC7B,EAAE,EACF,IAAI,CACL;aACF,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE;gBAClD,EAAE,EAAE,QAAQ,CAAC,GAAG;gBAChB,CAAC,EAAE,CAAC;aACL,CAAC,CAAC;YACH,OAAO,CAAC,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,eAAe,CAAC;QACpD,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI;gBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACnD,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC;YAC9C,OAAO,OAAO;iBACX,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;iBACtE,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,KAAK,KAAK;YAC7C,CAAC,CAAC,OAAO;iBACN,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;iBACnE,GAAG,CAAC,OAAO,CAAC;YACf,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5D,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAChE,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CACX,MAAM,CAAC,MAAM,CAAC;oBACZ,UAAU,EAAE,KAAK,CAAC,UAAU;oBAC5B,KAAK;oBACL,MAAM,EAAE,OAAO;iBAChB,CAAC,CACH,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACnC,CAAC,IAAI,CAAC,CAAC;YACP,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YACrC,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,CAAC,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,WAAW;QACX,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;KAClC,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/internal/replication/projection-binding.d.ts

@@ -0,0 +1,39 @@
+import { type AnyOptimisticProjection } from "../../db/Projection.ts";
+import type { QueuedOperation } from "./outbox.ts";
+export type ProjectionIdentity = {
+    readonly revision: number;
+    readonly build: string;
+};
+export type ProjectionDriftReason = "operation-missing" | "projection-missing" | "projection-revision";
+export type ProjectionBinding = {
+    readonly type: "none";
+} | {
+    readonly type: "bound";
+    readonly identity: ProjectionIdentity;
+    readonly rebound: boolean;
+    readonly run: AnyOptimisticProjection;
+} | {
+    readonly type: "update-required";
+    readonly reason: ProjectionDriftReason;
+};
+export type InstalledProjection = {
+    readonly operation: QueuedOperation;
+    readonly projection: {
+        readonly revision: number;
+        readonly run: AnyOptimisticProjection;
+    } | undefined;
+};
+export type ClientProjectionCatalog = {
+    readonly build: string;
+    readonly entries: ReadonlyMap<string, InstalledProjection>;
+};
+export declare const projectionOperationKey: (operation: QueuedOperation) => string;
+export declare const projectionBuild: (value: unknown) => string;
+export declare const projectionIdentity: (build: unknown, revision?: unknown) => ProjectionIdentity;
+export declare const makeClientProjectionCatalog: (build: string, installed: readonly InstalledProjection[]) => ClientProjectionCatalog;
+export type StoredProjection = {
+    readonly operation: QueuedOperation;
+    readonly projection: ProjectionIdentity | null;
+};
+export declare const resolveProjectionBinding: (catalog: ClientProjectionCatalog, stored: StoredProjection) => ProjectionBinding;
+//# sourceMappingURL=projection-binding.d.ts.map

package/dist/internal/replication/projection-binding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-binding.d.ts","sourceRoot":"","sources":["../../../src/internal/replication/projection-binding.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAMnD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAC7B,mBAAmB,GACnB,oBAAoB,GACpB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IACA,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,uBAAuB,CAAC;CACvC,GACC;IAAE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,CAAC;AAEjF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,UAAU,EACf;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,uBAAuB,CAAA;KAAE,GACpE,SAAS,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;CAC5D,CAAC;AAMF,eAAO,MAAM,sBAAsB,cAAe,eAAe,KAAG,MAMhE,CAAC;AAEL,eAAO,MAAM,eAAe,UAAW,OAAO,KAAG,MAWhD,CAAC;AAEF,eAAO,MAAM,kBAAkB,UACtB,OAAO,aACH,OAAO,KACjB,kBAIC,CAAC;AAEL,eAAO,MAAM,2BAA2B,UAC/B,MAAM,aACF,SAAS,mBAAmB,EAAE,KACxC,uBA0BF,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,GAAG,IAAI,CAAC;CAChD,CAAC;AAEF,eAAO,MAAM,wBAAwB,YAC1B,uBAAuB,UACxB,gBAAgB,KACvB,iBAkBF,CAAC"}

package/dist/internal/replication/projection-binding.js

@@ -0,0 +1,76 @@
+import { normalizeProjectionRevision, } from "../../db/Projection.js";
+const MAX_BUILD_LENGTH = 256;
+const CONTROL_CHARACTERS = /\p{Cc}/u;
+const invalid = (detail) => {
+    throw new Error(`ramose/projection: ${detail}`);
+};
+export const projectionOperationKey = (operation) => JSON.stringify([
+    operation.catalog,
+    operation.owner.kind,
+    operation.owner.name,
+    operation.localName,
+]);
+export const projectionBuild = (value) => {
+    if (typeof value !== "string" || value.length === 0 ||
+        value.length > MAX_BUILD_LENGTH ||
+        CONTROL_CHARACTERS.test(value)) {
+        invalid("a client build identity must be non-empty printable text of at most 256 characters");
+    }
+    return value;
+};
+export const projectionIdentity = (build, revision) => Object.freeze({
+    revision: normalizeProjectionRevision(revision),
+    build: projectionBuild(build),
+});
+export const makeClientProjectionCatalog = (build, installed) => {
+    const entries = new Map();
+    for (const entry of installed) {
+        const key = projectionOperationKey(entry.operation);
+        if (entries.has(key)) {
+            invalid(`two installed operations share the identity ${key}`);
+        }
+        if (entry.projection === undefined) {
+            entries.set(key, entry);
+            continue;
+        }
+        if (typeof entry.projection.run !== "function") {
+            invalid(`${key} declares a projection that is not a function`);
+        }
+        entries.set(key, Object.freeze({
+            operation: entry.operation,
+            projection: Object.freeze({
+                revision: normalizeProjectionRevision(entry.projection.revision),
+                run: entry.projection.run,
+            }),
+        }));
+    }
+    return Object.freeze({
+        build: projectionBuild(build),
+        entries,
+    });
+};
+export const resolveProjectionBinding = (catalog, stored) => {
+    if (stored.projection === null)
+        return NONE;
+    const entry = catalog.entries.get(projectionOperationKey(stored.operation));
+    if (entry === undefined)
+        return drift("operation-missing");
+    const installed = entry.projection;
+    if (installed === undefined)
+        return drift("projection-missing");
+    if (installed.revision !== stored.projection.revision) {
+        return drift("projection-revision");
+    }
+    return Object.freeze({
+        type: "bound",
+        identity: Object.freeze({
+            revision: installed.revision,
+            build: catalog.build,
+        }),
+        rebound: catalog.build !== stored.projection.build,
+        run: installed.run,
+    });
+};
+const NONE = Object.freeze({ type: "none" });
+const drift = (reason) => Object.freeze({ type: "update-required", reason });
+//# sourceMappingURL=projection-binding.js.map

package/dist/internal/replication/projection-binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-binding.js","sourceRoot":"","sources":["../../../src/internal/replication/projection-binding.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,2BAA2B,GAE5B,MAAM,wBAAwB,CAAC;AAGhC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAE7B,MAAM,kBAAkB,GAAG,SAAS,CAAC;AAkCrC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAS,EAAE;IACxC,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,EAAE,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,SAA0B,EAAU,EAAE,CAC3E,IAAI,CAAC,SAAS,CAAC;IACb,SAAS,CAAC,OAAO;IACjB,SAAS,CAAC,KAAK,CAAC,IAAI;IACpB,SAAS,CAAC,KAAK,CAAC,IAAI;IACpB,SAAS,CAAC,SAAS;CACpB,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAc,EAAU,EAAE;IACxD,IACE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAC/C,KAAK,CAAC,MAAM,GAAG,gBAAgB;QAC/B,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAC9B,CAAC;QACD,OAAO,CACL,oFAAoF,CACrF,CAAC;IACJ,CAAC;IACD,OAAO,KAAe,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAc,EACd,QAAkB,EACE,EAAE,CACtB,MAAM,CAAC,MAAM,CAAC;IACZ,QAAQ,EAAE,2BAA2B,CAAC,QAAQ,CAAC;IAC/C,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC;CAC9B,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,KAAa,EACb,SAAyC,EAChB,EAAE;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,+CAA+C,GAAG,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACnC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACxB,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,GAAG,+CAA+C,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC;YAC7B,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC;gBACxB,QAAQ,EAAE,2BAA2B,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAChE,GAAG,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG;aAC1B,CAAC;SACH,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC;QAC7B,OAAO;KACR,CAAC,CAAC;AACL,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,OAAgC,EAChC,MAAwB,EACL,EAAE;IACrB,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC;IACnC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAChE,IAAI,SAAS,CAAC,QAAQ,KAAK,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,OAAgB;QACtB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB,CAAC;QACF,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,UAAU,CAAC,KAAK;QAClD,GAAG,EAAE,SAAS,CAAC,GAAG;KACnB,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,CAAsB,CAAC;AAE3E,MAAM,KAAK,GAAG,CAAC,MAA6B,EAAqB,EAAE,CACjE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,iBAA0B,EAAE,MAAM,EAAE,CAAC,CAAC"}