@swal/edge-mesh 0.0.0-stage → 0.1.1

package/dist/web/merge/index.js

@@ -0,0 +1,236 @@
+// @iberi22/edge-mesh/web/merge — deterministic per-module projections of accepted ops.
+//
+// Every strategy is a pure function of the SET of ops it receives: ops are de-duplicated by id and folded in the
+// total order (hlc, author, seq), so any delivery order gives the same state. Feed it `OpLog.accepted(module)` and
+// recompute the module on `OpLog` "change" events (late grants/revocations/forks can retract ops).
+import { compareHlc } from "../oplog/hlc.js";
+export const toMergeOp = (s) => ({
+    id: s.id,
+    author: s.op.author,
+    seq: s.op.seq,
+    hlc: s.op.hlc,
+    entityId: s.op.entityId,
+    action: s.op.action,
+    payload: s.op.payload,
+    base: s.op.base,
+});
+export const compareMergeOps = (a, b) => compareHlc(a.hlc, b.hlc) ||
+    (a.author < b.author ? -1 : a.author > b.author ? 1 : 0) ||
+    a.seq - b.seq;
+/** De-duplicate by id, sort by (hlc, author, seq), group by entity (groups in first-op order). */
+function prepare(ops) {
+    const byId = new Map();
+    for (const o of ops)
+        if (!byId.has(o.id))
+            byId.set(o.id, o);
+    const sorted = [...byId.values()].sort(compareMergeOps);
+    const groups = new Map();
+    for (const o of sorted) {
+        const g = groups.get(o.entityId);
+        g ? g.push(o) : groups.set(o.entityId, [o]);
+    }
+    return groups;
+}
+const isObj = (x) => !!x && typeof x === "object" && !Array.isArray(x);
+/**
+ * Per-field last-writer-wins. Causality comes from `base` (id of the latest op on the entity the author had seen)
+ * plus the author's own earlier ops: a causally later write always beats an earlier one; concurrent writes are
+ * resolved by `rank` then (hlc, author, seq). Delete = tombstone that wins over concurrent edits; only a `restore`
+ * that saw the delete brings the entity back.
+ */
+export function lwwField(opts = {}) {
+    const rank = opts.rank;
+    return {
+        kind: "lww-field",
+        project(ops) {
+            const out = new Map();
+            for (const [entityId, list] of prepare(ops)) {
+                const index = new Map(list.map((o) => [o.id, o]));
+                // anc(o) = ops o causally follows (base link + same author's previous op on this entity)
+                const anc = new Map();
+                const lastOfAuthor = new Map();
+                for (const o of list) {
+                    const a = new Set();
+                    const links = [];
+                    const prevSame = lastOfAuthor.get(o.author);
+                    if (prevSame)
+                        links.push(prevSame);
+                    const b = o.base ? index.get(o.base) : undefined;
+                    if (b && compareMergeOps(b, o) < 0)
+                        links.push(b);
+                    for (const l of links) {
+                        a.add(l.id);
+                        for (const x of anc.get(l.id) ?? [])
+                            a.add(x);
+                    }
+                    anc.set(o.id, a);
+                    lastOfAuthor.set(o.author, o);
+                }
+                const before = (x, y) => anc.get(y.id)?.has(x.id) === true;
+                const better = (x, y) => {
+                    if (rank) {
+                        const d = rank(x.author) - rank(y.author);
+                        if (d !== 0)
+                            return d > 0;
+                    }
+                    return compareMergeOps(x, y) > 0;
+                };
+                const candidates = new Map();
+                const deletes = [];
+                const restores = [];
+                for (const o of list) {
+                    const p = isObj(o.payload) ? o.payload : {};
+                    if (isObj(p.set))
+                        for (const f of Object.keys(p.set))
+                            push(candidates, f, o);
+                    if (Array.isArray(p.unset))
+                        for (const f of p.unset)
+                            if (typeof f === "string")
+                                push(candidates, f, o);
+                    if (p.delete === true)
+                        deletes.push(o);
+                    if (p.restore === true)
+                        restores.push(o);
+                }
+                // null-prototype: field names come from payloads ("__proto__", "constructor" are plain keys here)
+                const fields = Object.create(null);
+                const winners = Object.create(null);
+                for (const [f, cs] of [...candidates.entries()].sort(([a], [b]) => a < b ? -1 : 1)) {
+                    const heads = cs.filter((c) => !cs.some((d) => d !== c && before(c, d)));
+                    let w = heads[0];
+                    for (const h of heads)
+                        if (better(h, w))
+                            w = h;
+                    winners[f] = w.id;
+                    const p = w.payload;
+                    // a single op both setting and unsetting a field: set wins
+                    if (isObj(p.set) && Object.hasOwn(p.set, f))
+                        fields[f] = p.set[f];
+                }
+                const deleted = deletes.some((d) => !restores.some((r) => before(d, r)));
+                out.set(entityId, {
+                    id: entityId,
+                    fields,
+                    deleted,
+                    winners,
+                    latest: list[list.length - 1].id,
+                });
+            }
+            return out;
+        },
+    };
+}
+function push(m, k, v) {
+    const l = m.get(k);
+    l ? l.push(v) : m.set(k, [v]);
+}
+/** Append-only events folded per entity by an app reducer, in (hlc, author, seq) order. */
+export function eventLog(reducer) {
+    return {
+        kind: "event-log",
+        project(ops) {
+            const out = new Map();
+            for (const [entityId, list] of prepare(ops)) {
+                const e = {
+                    id: entityId,
+                    state: reducer.init(entityId),
+                    applied: [],
+                    conflicts: [],
+                };
+                for (const o of list) {
+                    let r;
+                    try {
+                        r = reducer.apply(e.state, o);
+                    }
+                    catch (err) {
+                        r = {
+                            reject: err instanceof Error ? err.message : "reducer error",
+                        };
+                    }
+                    if ("reject" in r)
+                        e.conflicts.push({
+                            opId: o.id,
+                            author: o.author,
+                            reason: r.reject,
+                        });
+                    else {
+                        e.state = r.state;
+                        e.applied.push(o.id);
+                    }
+                }
+                out.set(entityId, e);
+            }
+            return out;
+        },
+    };
+}
+/** Signed movements summed per account (entityId). No conflicts: stock/balance = sum. */
+export function ledger(opts = {}) {
+    const amountOf = opts.amount ??
+        ((o) => isObj(o.payload) ? o.payload.amount : undefined);
+    const policy = (acc) => typeof opts.negative === "function"
+        ? opts.negative(acc)
+        : (opts.negative ?? "reject");
+    return {
+        kind: "ledger",
+        project(ops) {
+            const out = new Map();
+            for (const [account, list] of prepare(ops)) {
+                const a = {
+                    id: account,
+                    balance: 0,
+                    movements: [],
+                    rejected: [],
+                    wentNegative: false,
+                };
+                const mode = policy(account);
+                for (const o of list) {
+                    const amt = amountOf(o);
+                    if (typeof amt !== "number" || !Number.isFinite(amt)) {
+                        a.rejected.push({
+                            opId: o.id,
+                            author: o.author,
+                            reason: "bad amount",
+                        });
+                        continue;
+                    }
+                    const next = a.balance + amt;
+                    if (!Number.isFinite(next)) {
+                        a.rejected.push({
+                            opId: o.id,
+                            author: o.author,
+                            reason: "overflow",
+                        });
+                        continue;
+                    }
+                    if (next < 0 && mode === "reject") {
+                        a.rejected.push({
+                            opId: o.id,
+                            author: o.author,
+                            reason: "would go negative",
+                        });
+                        continue;
+                    }
+                    if (next < 0 && mode === "flag")
+                        a.wentNegative = true;
+                    a.balance = next;
+                    a.movements.push(o.id);
+                }
+                out.set(account, a);
+            }
+            return out;
+        },
+    };
+}
+// ─── registry ───────────────────────────────────────────────────────────────
+/** module -> strategy. `project(module, ops)` folds accepted ops of that module. */
+export function createProjector(modules) {
+    return {
+        modules,
+        project(module, ops) {
+            const norm = ops.map((o) => ("op" in o ? toMergeOp(o) : o));
+            return modules[module].project(norm);
+        },
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/web/merge/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/web/merge/index.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,EAAE;AACF,iHAAiH;AACjH,mHAAmH;AACnH,mGAAmG;AACnG,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAe7C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAW,EAAW,EAAE,CAAC,CAAC;IACnD,EAAE,EAAE,CAAC,CAAC,EAAE;IACR,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM;IACnB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG;IACb,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG;IACb,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ;IACvB,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM;IACnB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO;IACrB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI;CACf,CAAC,CAAC;AAOH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAE,CAAU,EAAU,EAAE,CACjE,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;IACxB,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;AAEf,kGAAkG;AAClG,SAAS,OAAO,CAAC,GAAuB;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAU,EAAgC,EAAE,CAC1D,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAgCnD;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CACvB,IAAI,GAAe,EAAE;IAErB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,OAAO;QACN,IAAI,EAAE,WAAW;QACjB,OAAO,CAAC,GAAG;YACV,MAAM,GAAG,GAAG,IAAI,GAAG,EAAqB,CAAC;YACzC,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,yFAAyF;gBACzF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;gBAC3C,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmB,CAAC;gBAChD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACtB,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;oBAC5B,MAAM,KAAK,GAAc,EAAE,CAAC;oBAC5B,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBAC5C,IAAI,QAAQ;wBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACnC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBACjD,IAAI,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAClD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;wBACvB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACZ,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE;4BAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC/C,CAAC;oBACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;oBACjB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBAC/B,CAAC;gBACD,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CACzC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC;gBACnC,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE;oBACzC,IAAI,IAAI,EAAE,CAAC;wBACV,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;wBAC1C,IAAI,CAAC,KAAK,CAAC;4BAAE,OAAO,CAAC,GAAG,CAAC,CAAC;oBAC3B,CAAC;oBACD,OAAO,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClC,CAAC,CAAC;gBACF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;gBAChD,MAAM,OAAO,GAAc,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAc,EAAE,CAAC;gBAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACtB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,OAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5D,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;wBACf,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;4BAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;wBACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;4BACtB,IAAI,OAAO,CAAC,KAAK,QAAQ;gCAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;oBACpD,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;wBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACvC,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;wBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC1C,CAAC;gBACD,kGAAkG;gBAClG,MAAM,MAAM,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC5D,MAAM,OAAO,GAA2B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC5D,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACd,EAAE,CAAC;oBACH,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC/C,CAAC;oBACF,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAY,CAAC;oBAC5B,KAAK,MAAM,CAAC,IAAI,KAAK;wBAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;4BAAE,CAAC,GAAG,CAAC,CAAC;oBAC/C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAClB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAqB,CAAC;oBAClC,2DAA2D;oBAC3D,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;wBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACnE,CAAC;gBACD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAC3B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAC1C,CAAC;gBACF,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE;oBACjB,EAAE,EAAE,QAAQ;oBACZ,MAAM;oBACN,OAAO;oBACP,OAAO;oBACP,MAAM,EAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAa,CAAC,EAAE;iBAC7C,CAAC,CAAC;YACJ,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC;KACD,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAO,CAAc,EAAE,CAAI,EAAE,CAAI;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;AAqBD,2FAA2F;AAC3F,MAAM,UAAU,QAAQ,CACvB,OAAwB;IAExB,OAAO;QACN,IAAI,EAAE,WAAW;QACjB,OAAO,CAAC,GAAG;YACV,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;YAC9C,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7C,MAAM,CAAC,GAAmB;oBACzB,EAAE,EAAE,QAAQ;oBACZ,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;oBAC7B,OAAO,EAAE,EAAE;oBACX,SAAS,EAAE,EAAE;iBACb,CAAC;gBACF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACtB,IAAI,CAAiB,CAAC;oBACtB,IAAI,CAAC;wBACJ,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAC/B,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACd,CAAC,GAAG;4BACH,MAAM,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;yBAC5D,CAAC;oBACH,CAAC;oBACD,IAAI,QAAQ,IAAI,CAAC;wBAChB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;4BAChB,IAAI,EAAE,CAAC,CAAC,EAAE;4BACV,MAAM,EAAE,CAAC,CAAC,MAAM;4BAChB,MAAM,EAAE,CAAC,CAAC,MAAM;yBAChB,CAAC,CAAC;yBACC,CAAC;wBACL,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;wBAClB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACtB,CAAC;gBACF,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC;KACD,CAAC;AACH,CAAC;AA4BD,yFAAyF;AACzF,MAAM,UAAU,MAAM,CACrB,IAAI,GAAkB,EAAE;IAExB,MAAM,QAAQ,GACb,IAAI,CAAC,MAAM;QACX,CAAC,CAAC,CAAU,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,OAAO,CAAC,MAA6B,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,EAAE,CAC9B,OAAO,IAAI,CAAC,QAAQ,KAAK,UAAU;QAClC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACpB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAC;IAChC,OAAO;QACN,IAAI,EAAE,QAAQ;QACd,OAAO,CAAC,GAAG;YACV,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;YAC7C,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAkB;oBACxB,EAAE,EAAE,OAAO;oBACX,OAAO,EAAE,CAAC;oBACV,SAAS,EAAE,EAAE;oBACb,QAAQ,EAAE,EAAE;oBACZ,YAAY,EAAE,KAAK;iBACnB,CAAC;gBACF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACtB,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;oBACxB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtD,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,CAAC,CAAC,EAAE;4BACV,MAAM,EAAE,CAAC,CAAC,MAAM;4BAChB,MAAM,EAAE,YAAY;yBACpB,CAAC,CAAC;wBACH,SAAS;oBACV,CAAC;oBACD,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC;oBAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,CAAC,CAAC,EAAE;4BACV,MAAM,EAAE,CAAC,CAAC,MAAM;4BAChB,MAAM,EAAE,UAAU;yBAClB,CAAC,CAAC;wBACH,SAAS;oBACV,CAAC;oBACD,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACnC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,CAAC,CAAC,EAAE;4BACV,MAAM,EAAE,CAAC,CAAC,MAAM;4BAChB,MAAM,EAAE,mBAAmB;yBAC3B,CAAC,CAAC;wBACH,SAAS;oBACV,CAAC;oBACD,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,KAAK,MAAM;wBAAE,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;oBACvD,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxB,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YACrB,CAAC;YACD,OAAO,GAAG,CAAC;QACZ,CAAC;KACD,CAAC;AACH,CAAC;AAED,+EAA+E;AAE/E,oFAAoF;AACpF,MAAM,UAAU,eAAe,CAE7B,OAAU;IACX,OAAO;QACN,OAAO;QACP,OAAO,CACN,MAAS,EACT,GAAoC;YAEpC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAgC,CAAC;QACrE,CAAC;KACD,CAAC;AACH,CAAC"}

package/dist/web/oplog/hlc.d.ts

@@ -0,0 +1,19 @@
+export interface HlcParts {
+    wall: number;
+    counter: number;
+}
+export declare const formatHlc: (wall: number, counter: number) => string;
+export declare function parseHlc(s: unknown): HlcParts | null;
+export declare const isHlc: (s: unknown) => s is string;
+/** Wall-clock ms part (what grant notBefore/expiresAt are compared with). */
+export declare const hlcWall: (s: string) => number;
+export declare const compareHlc: (a: string, b: string) => number;
+export interface HlcClock {
+    /** next timestamp, strictly greater than every timestamp issued or observed */
+    now(): string;
+    /** merge a timestamp seen from another device (call only for accepted, non-future ops) */
+    observe(remote: string): void;
+    last(): string;
+}
+export declare function createHlc(physical?: () => number, start?: string): HlcClock;
+//# sourceMappingURL=hlc.d.ts.map

package/dist/web/oplog/hlc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hlc.d.ts","sourceRoot":"","sources":["../../../src/web/oplog/hlc.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,QAAQ;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CAChB;AAED,eAAO,MAAM,SAAS,SAAU,MAAM,WAAW,MAAM,KAAG,MACkB,CAAC;AAE7E,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CAGpD;AAED,eAAO,MAAM,KAAK,MAAO,OAAO,KAAG,CAAC,IAAI,MACJ,CAAC;AAErC,6EAA6E;AAC7E,eAAO,MAAM,OAAO,MAAO,MAAM,KAAG,MAAkC,CAAC;AAEvE,eAAO,MAAM,UAAU,MAAO,MAAM,KAAK,MAAM,KAAG,MACvB,CAAC;AAE5B,MAAM,WAAW,QAAQ;IACxB,+EAA+E;IAC/E,GAAG,IAAI,MAAM,CAAC;IACd,0FAA0F;IAC1F,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,IAAI,IAAI,MAAM,CAAC;CACf;AAED,wBAAgB,SAAS,CACxB,QAAQ,GAAE,MAAM,MAAiB,EACjC,KAAK,CAAC,EAAE,MAAM,GACZ,QAAQ,CAmBV"}

package/dist/web/oplog/hlc.js

@@ -0,0 +1,39 @@
+// Hybrid logical clock. Wire format: 15-digit wall ms + "-" + 5-digit counter, so string order == causal order.
+const WALL = 15;
+const CTR = 5;
+const CTR_MAX = 99_999;
+const RE = /^\d{15}-\d{5}$/;
+export const formatHlc = (wall, counter) => `${String(wall).padStart(WALL, "0")}-${String(counter).padStart(CTR, "0")}`;
+export function parseHlc(s) {
+    if (typeof s !== "string" || !RE.test(s))
+        return null;
+    return { wall: Number(s.slice(0, WALL)), counter: Number(s.slice(WALL + 1)) };
+}
+export const isHlc = (s) => typeof s === "string" && RE.test(s);
+/** Wall-clock ms part (what grant notBefore/expiresAt are compared with). */
+export const hlcWall = (s) => Number(s.slice(0, WALL));
+export const compareHlc = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+export function createHlc(physical = Date.now, start) {
+    let last = start && isHlc(start) ? start : formatHlc(0, 0);
+    return {
+        now() {
+            const p = parseHlc(last);
+            const pt = Math.floor(physical());
+            let next;
+            if (pt > p.wall)
+                next = { wall: pt, counter: 0 };
+            else if (p.counter < CTR_MAX)
+                next = { wall: p.wall, counter: p.counter + 1 };
+            else
+                next = { wall: p.wall + 1, counter: 0 };
+            last = formatHlc(next.wall, next.counter);
+            return last;
+        },
+        observe(remote) {
+            if (isHlc(remote) && remote > last)
+                last = remote;
+        },
+        last: () => last,
+    };
+}
+//# sourceMappingURL=hlc.js.map

package/dist/web/oplog/hlc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hlc.js","sourceRoot":"","sources":["../../../src/web/oplog/hlc.ts"],"names":[],"mappings":"AAAA,gHAAgH;AAEhH,MAAM,IAAI,GAAG,EAAE,CAAC;AAChB,MAAM,GAAG,GAAG,CAAC,CAAC;AACd,MAAM,OAAO,GAAG,MAAM,CAAC;AACvB,MAAM,EAAE,GAAG,gBAAgB,CAAC;AAO5B,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,OAAe,EAAU,EAAE,CAClE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;AAE7E,MAAM,UAAU,QAAQ,CAAC,CAAU;IAClC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAe,EAAE,CAChD,OAAO,CAAC,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAErC,6EAA6E;AAC7E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAC1D,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAU5B,MAAM,UAAU,SAAS,CACxB,QAAQ,GAAiB,IAAI,CAAC,GAAG,EACjC,KAAc;IAEd,IAAI,IAAI,GAAG,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,OAAO;QACN,GAAG;YACF,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAa,CAAC;YACrC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClC,IAAI,IAAc,CAAC;YACnB,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI;gBAAE,IAAI,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;iBAC5C,IAAI,CAAC,CAAC,OAAO,GAAG,OAAO;gBAC3B,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;;gBAC5C,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YAC7C,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC;QACb,CAAC;QACD,OAAO,CAAC,MAAM;YACb,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,IAAI;gBAAE,IAAI,GAAG,MAAM,CAAC;QACnD,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;KAChB,CAAC;AACH,CAAC"}

package/dist/web/oplog/index.d.ts

@@ -0,0 +1,10 @@
+export type { HlcClock, HlcParts } from "./hlc.js";
+export { compareHlc, createHlc, formatHlc, hlcWall, isHlc, parseHlc, } from "./hlc.js";
+export type { OpLogEvents, OpLogOptions, OpVerdict } from "./log.js";
+export { compareOps, OpLog, OpLogError, openOpLog } from "./log.js";
+export type { OpStore, QuarantineStore } from "./store.js";
+export { MemoryOpStore, MemoryQuarantineStore } from "./store.js";
+export type { OpLogChannel, OpLogSync, ServeOptions, SyncRateLimit, } from "./sync.js";
+export { attachOpLogSync, decodeMessage, encodeMessage, haveMessage, serve, wantFor, } from "./sync.js";
+export type { Checkpoint, CheckpointHook, HaveMsg, IngestResult, IngestStatus, Op, OpBody, OpInput, OpLogMessage, OpRange, OpsMsg, PendingReason, QuarantineEntry, QuarantineReason, StoredOp, WantMsg, } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/web/oplog/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/web/oplog/index.ts"],"names":[],"mappings":"AAEA,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACnD,OAAO,EACN,UAAU,EACV,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,QAAQ,GACR,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACpE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAClE,YAAY,EACX,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,aAAa,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EACN,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,KAAK,EACL,OAAO,GACP,MAAM,WAAW,CAAC;AACnB,YAAY,EACX,UAAU,EACV,cAAc,EACd,OAAO,EACP,YAAY,EACZ,YAAY,EACZ,EAAE,EACF,MAAM,EACN,OAAO,EACP,YAAY,EACZ,OAAO,EACP,MAAM,EACN,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,QAAQ,EACR,OAAO,GACP,MAAM,YAAY,CAAC"}

package/dist/web/oplog/index.js

@@ -0,0 +1,6 @@
+// @iberi22/edge-mesh/web/oplog — signed, hash-chained per-device operation logs gated by web/trust.
+export { compareHlc, createHlc, formatHlc, hlcWall, isHlc, parseHlc, } from "./hlc.js";
+export { compareOps, OpLog, OpLogError, openOpLog } from "./log.js";
+export { MemoryOpStore, MemoryQuarantineStore } from "./store.js";
+export { attachOpLogSync, decodeMessage, encodeMessage, haveMessage, serve, wantFor, } from "./sync.js";
+//# sourceMappingURL=index.js.map

package/dist/web/oplog/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/web/oplog/index.ts"],"names":[],"mappings":"AAAA,oGAAoG;AAGpG,OAAO,EACN,UAAU,EACV,SAAS,EACT,SAAS,EACT,OAAO,EACP,KAAK,EACL,QAAQ,GACR,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAEpE,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAOlE,OAAO,EACN,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,KAAK,EACL,OAAO,GACP,MAAM,WAAW,CAAC"}

package/dist/web/oplog/log.d.ts

@@ -0,0 +1,182 @@
+import { type Signer } from "../trust/keys.js";
+import type { TrustStore } from "../trust/store.js";
+import { type OpStore, type QuarantineStore } from "./store.js";
+import type { IngestResult, Op, OpInput, PendingReason, QuarantineEntry, QuarantineReason, StoredOp } from "./types.js";
+export interface OpLogOptions {
+    trust: TrustStore;
+    /** local device key; required for `append` */
+    signer?: Signer;
+    store?: OpStore;
+    quarantine?: QuarantineStore;
+    /** stateless business check of a single op (payload schema...). Return true or a reason. Must be pure. */
+    validate?: (op: Op) => true | string;
+    /** physical clock (ms). Default Date.now */
+    now?: () => number;
+    /** ops whose HLC is further in the future wait as pending. Default 10 min */
+    maxSkewMs?: number;
+    /** max pending ops held in memory. Default 10 000 */
+    maxPending?: number;
+    /** max canonical bytes of all pending ops. Default 16 MiB */
+    maxPendingBytes?: number;
+    /** max pending ops of one author. Default 1024 */
+    maxPendingPerAuthor?: number;
+    /**
+     * Budget for ops whose author has no known grant yet (signature not checkable, so anyone can produce them):
+     * count (default maxPending / 10) and bytes (default 1 MiB). When full, the OLDEST unknown-author op is dropped
+     * (it comes back with catch-up); pending ops of known authors are never evicted for them (S4).
+     */
+    maxPendingUnknown?: number;
+    maxPendingUnknownBytes?: number;
+    /** max canonical size of one op. Default 32 KiB (fits a 64 KiB catch-up frame) */
+    maxOpBytes?: number;
+}
+export type OpVerdict = {
+    ok: true;
+} | {
+    ok: false;
+    reason: QuarantineReason;
+    detail?: string;
+};
+export interface OpLogEvents {
+    /** local append (signed + stored); transports broadcast it */
+    appended: StoredOp;
+    /** a remote op entered its author's chain (applied or held); transports may relay it */
+    stored: StoredOp;
+    /** op became part of the accepted set */
+    applied: StoredOp;
+    /** previously accepted op left the accepted set (late revocation, fork evidence): rebuild its module */
+    retracted: {
+        entry: StoredOp;
+        reason: QuarantineReason;
+        detail?: string;
+    };
+    quarantined: QuarantineEntry;
+    pending: {
+        op: Op;
+        reason: PendingReason;
+    };
+    equivocation: {
+        author: string;
+        forkSeq: number;
+    };
+    /** accepted set changed for these modules (fired once per ingest batch / re-evaluation) */
+    change: {
+        modules: string[];
+    };
+}
+type Listener<K extends keyof OpLogEvents> = (e: OpLogEvents[K]) => void;
+export declare class OpLogError extends Error {
+    readonly code: "no-signer" | "unauthorized" | "invalid" | "too-large";
+    constructor(code: "no-signer" | "unauthorized" | "invalid" | "too-large", message: string);
+}
+/** Total order used by projections: (hlc, author, seq). */
+export declare const compareOps: (a: Op, b: Op) => number;
+export declare function openOpLog(opts: OpLogOptions): Promise<OpLog>;
+export declare class OpLog {
+    readonly trust: TrustStore;
+    readonly inst: string;
+    readonly store: OpStore;
+    readonly quarantine: QuarantineStore;
+    private readonly signer?;
+    private readonly validateFn?;
+    private readonly now;
+    private readonly maxSkewMs;
+    private readonly maxPending;
+    private readonly maxPendingBytes;
+    private readonly maxPendingPerAuthor;
+    private readonly maxPendingUnknown;
+    private readonly maxPendingUnknownBytes;
+    private pendingBytes;
+    private unknownCount;
+    private unknownBytes;
+    private readonly pendingPerAuthor;
+    /** BL2: op id -> pending key of ops parked for an anchor (backward resolution walks `prev` ids) */
+    private readonly anchorIds;
+    /** finding 6: pending keys of ops parked for an anchor, per `author:seq` (at most 2 per seq) */
+    private readonly anchorBySeq;
+    private readonly maxOpBytes;
+    private readonly clock;
+    private readonly verdicts;
+    private readonly modulesOf;
+    private readonly equiv;
+    private readonly pendingOps;
+    /** S3: author -> highest anchored seq whose STORED op is not the anchored one (its history <= that seq is void) */
+    private offAnchor;
+    private readonly listeners;
+    private queue;
+    private changed;
+    private readonly unsubscribeTrust;
+    constructor(opts: OpLogOptions);
+    /** Rebuild in-memory indexes from the stores (no events). */
+    load(): Promise<void>;
+    close(): void;
+    on<K extends keyof OpLogEvents>(event: K, cb: Listener<K>): () => void;
+    private emit;
+    private serial;
+    private flushChange;
+    levelFor(module: string, action: string): import("../trust/types.js").Level;
+    /** Pure function of (op, trust docs, equivocation evidence, validate). */
+    verdict(s: StoredOp): OpVerdict;
+    private setVerdict;
+    private rejectOp;
+    /** Sign and append a local op. Throws OpLogError if the local device is not allowed (nothing is signed). */
+    append(input: OpInput): Promise<StoredOp>;
+    ingest(op: unknown): Promise<IngestResult>;
+    ingestMany(ops: readonly unknown[]): Promise<IngestResult[]>;
+    private takePending;
+    /** Drop the oldest unknown-author pending op (insertion order). False if there is none. */
+    private evictUnknown;
+    /**
+     * S4: bounded pending set. Known authors (gap/future/anchor) only take free room (or room held by unknown authors);
+     * unknown authors live in a small FIFO budget of their own and never displace a known author's op.
+     */
+    private park;
+    /** Highest anchor of `author` covering `seq` (S3), if any. */
+    private anchorFor;
+    /**
+     * S3: ops of a revoked author at or below an anchor wait as pending until a chain from our stored head up to the
+     * anchored op is complete (walked backwards from the anchor id through `prev`); then exactly that chain is
+     * ingested and every other pending op of the author at or below the anchor is rejected as a forgery.
+     */
+    private resolveAnchor;
+    /** finding 6: pending keys on the (partial) chain walked back from the anchor id through `prev`. */
+    private anchoredChainKeys;
+    /** Is our stored op of `author` at `seq` on an anchored chain (an anchor >= seq whose op we store)? */
+    private storedAnchored;
+    /** Recompute which authors' STORED history contradicts an anchor (sync verdicts read the result). */
+    private refreshAnchors;
+    private ingestOne;
+    /** Retry pending ops (of one author, or all) in seq order. */
+    private drain;
+    private equivocate;
+    private reevaluateAuthor;
+    /** Recompute every verdict (trust changed) and retry pending ops. Called automatically on trust changes. */
+    reevaluate(): Promise<void>;
+    /** Retry pending ops (e.g. on a timer so future-dated ops are picked up once the clock reaches them). */
+    retryPending(): Promise<void>;
+    isAccepted(author: string, seq: number): boolean;
+    verdictOf(author: string, seq: number): OpVerdict | undefined;
+    /** Accepted ops (optionally of one module), in projection order (hlc, author, seq). */
+    accepted(module?: string): Promise<StoredOp[]>;
+    heads(): Promise<Record<string, number>>;
+    /** Head seq AND op id per author: pass it to `TrustStore.prepareRevocation` to anchor a revocation (S3). */
+    headIds(): Promise<Record<string, {
+        seq: number;
+        id: string;
+    }>>;
+    pending(): {
+        author: string;
+        seq: number;
+        reason: PendingReason;
+    }[];
+    equivocations(): {
+        author: string;
+        forkSeq: number;
+    }[];
+    quarantined(): Promise<QuarantineEntry[]>;
+    /** Local clock helper (e.g. to stamp UI checks). */
+    hlcNow(): string;
+    get deviceFp(): string | undefined;
+}
+export {};
+//# sourceMappingURL=log.d.ts.map

package/dist/web/oplog/log.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"log.d.ts","sourceRoot":"","sources":["../../../src/web/oplog/log.ts"],"names":[],"mappings":"AAUA,OAAO,EAEN,KAAK,MAAM,EAGX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAU,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,EAGN,KAAK,OAAO,EACZ,KAAK,eAAe,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EACX,YAAY,EACZ,EAAE,EAEF,OAAO,EACP,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,QAAQ,EACR,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,UAAU,CAAC;IAClB,8CAA8C;IAC9C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,UAAU,CAAC,EAAE,eAAe,CAAC;IAC7B,0GAA0G;IAC1G,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,GAAG,MAAM,CAAC;IACrC,4CAA4C;IAC5C,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,6EAA6E;IAC7E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kDAAkD;IAClD,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,kFAAkF;IAClF,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,SAAS,GAClB;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D,MAAM,WAAW,WAAW;IAC3B,8DAA8D;IAC9D,QAAQ,EAAE,QAAQ,CAAC;IACnB,wFAAwF;IACxF,MAAM,EAAE,QAAQ,CAAC;IACjB,yCAAyC;IACzC,OAAO,EAAE,QAAQ,CAAC;IAClB,wGAAwG;IACxG,SAAS,EAAE;QAAE,KAAK,EAAE,QAAQ,CAAC;QAAC,MAAM,EAAE,gBAAgB,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1E,WAAW,EAAE,eAAe,CAAC;IAC7B,OAAO,EAAE;QAAE,EAAE,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,aAAa,CAAA;KAAE,CAAC;IAC3C,YAAY,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAClD,2FAA2F;IAC3F,MAAM,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAC9B;AACD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;AAEzE,qBAAa,UAAW,SAAQ,KAAK;IAEnC,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW;IADtE,YACU,IAAI,EAAE,WAAW,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW,EACrE,OAAO,EAAE,MAAM,EAGf;CACD;AAmCD,2DAA2D;AAC3D,eAAO,MAAM,UAAU,MAAO,EAAE,KAAK,EAAE,KAAG,MAG5B,CAAC;AAEf,wBAAsB,SAAS,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,CAIlE;AAED,qBAAa,KAAK;IACjB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAA4B;IACxD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAS;IAC7C,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAS;IAC3C,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAS;IAChD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA6B;IAC9D,mGAAmG;IACnG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA6B;IACvD,gGAAgG;IAChG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAkC;IAC9D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAS;IACpC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAW;IACjC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAgC;IACzD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA6B;IACvD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA0C;IAChE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAGvB;IACJ,mHAAmH;IACnH,OAAO,CAAC,SAAS,CAA6B;IAC9C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAGtB;IACJ,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,OAAO,CAAqB;IACpC,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAa;IAE9C,YAAY,IAAI,EAAE,YAAY,EAkB7B;IAED,6DAA6D;IACvD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAgB1B;IAED,KAAK,IAAI,IAAI,CAGZ;IAED,EAAE,CAAC,CAAC,SAAS,MAAM,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAQrE;IAED,OAAO,CAAC,IAAI;IAUZ,OAAO,CAAC,MAAM;IAMd,OAAO,CAAC,WAAW;IASnB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,qCAEtC;IAED,0EAA0E;IAC1E,OAAO,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CA8B9B;YAEa,UAAU;YA8CV,QAAQ;IA6BtB,4GAA4G;IAC5G,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAwCxC;IAID,MAAM,CAAC,EAAE,EAAE,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAEzC;IAED,UAAU,CAAC,GAAG,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAO3D;IAED,OAAO,CAAC,WAAW;IAuBnB,2FAA2F;IAC3F,OAAO,CAAC,YAAY;IASpB;;;OAGG;IACH,OAAO,CAAC,IAAI;IA+CZ,8DAA8D;IAC9D,OAAO,CAAC,SAAS;IAIjB;;;;OAIG;YACW,aAAa;IAoC3B,oGAAoG;IACpG,OAAO,CAAC,iBAAiB;IAazB,uGAAuG;YACzF,cAAc;IAO5B,qGAAqG;YACvF,cAAc;YAYd,SAAS;IAyHvB,8DAA8D;YAChD,KAAK;YAsBL,UAAU;YAgCV,gBAAgB;IAO9B,4GAA4G;IAC5G,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAQ1B;IAED,yGAAyG;IACzG,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAK5B;IAID,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAE/C;IAED,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE5D;IAED,uFAAuF;IACjF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CASnD;IAED,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAEvC;IAED,4GAA4G;IACtG,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAOpE;IAED,OAAO,IAAI;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,aAAa,CAAA;KAAE,EAAE,CAMlE;IAED,aAAa,IAAI;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAKrD;IAED,WAAW,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAExC;IAED,oDAAoD;IACpD,MAAM,IAAI,MAAM,CAEf;IAED,IAAI,QAAQ,IAAI,MAAM,GAAG,SAAS,CAEjC;CACD"}