@amalgm/live 0.2.26 → 0.2.28

package/dist-cjs/merge/merge3.js

@@ -0,0 +1,191 @@
+"use strict";
+/**
+ * Minimal three-way line-based merge (diff3) for live-document reconcile —
+ * the engine behind every `MergeOutcome` in `contracts/docs.ts`.
+ *
+ * merge3(base, ours, theirs) — all three are whole-file strings — answers:
+ * given that both OURS and THEIRS evolved from BASE, what single text keeps
+ * both sides' changes? Hunks (line regions changed relative to BASE) that
+ * touch different base regions merge automatically; hunks that overlap are
+ * conflicts. On conflict this module NEVER picks a winner silently: the
+ * merged text keeps OURS for the conflicted region and the conflict is
+ * reported to the caller, which is responsible for preserving THEIRS
+ * durably (the engine writes a sidecar file — axiom: never a silent
+ * winner).
+ *
+ * No dependencies by design. The diff is a plain LCS over lines (common
+ * prefix/suffix trimmed first); regions too large to LCS degrade to a
+ * single whole-region hunk, which can only ever OVER-report a conflict,
+ * never lose an edit.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.merge3 = merge3;
+/**
+ * Cap on the LCS DP table (cells = changed-lines² after prefix/suffix
+ * trim). 4M cells ≈ 16MB of Int32 — beyond it the changed region collapses
+ * into one hunk per side, trading merge granularity for bounded memory.
+ */
+const MAX_LCS_CELLS = 4 * 1024 * 1024;
+/** Split into lines with their terminators kept, so join('') reassembles exactly. */
+function splitLines(text) {
+    if (text === '')
+        return [];
+    return text.split(/(?<=\n)/);
+}
+/**
+ * Longest common subsequence between a[aStart..aEnd) and b[bStart..bEnd),
+ * returned as matched index pairs [aIndex, bIndex] in increasing order.
+ */
+function lcsMatches(a, aStart, aEnd, b, bStart, bEnd) {
+    const n = aEnd - aStart;
+    const m = bEnd - bStart;
+    const width = m + 1;
+    const table = new Int32Array((n + 1) * width);
+    for (let i = 1; i <= n; i += 1) {
+        const line = a[aStart + i - 1];
+        for (let j = 1; j <= m; j += 1) {
+            table[i * width + j] =
+                line === b[bStart + j - 1]
+                    ? table[(i - 1) * width + (j - 1)] + 1
+                    : Math.max(table[(i - 1) * width + j], table[i * width + (j - 1)]);
+        }
+    }
+    const matches = [];
+    let i = n;
+    let j = m;
+    while (i > 0 && j > 0) {
+        if (a[aStart + i - 1] === b[bStart + j - 1] &&
+            table[i * width + j] === table[(i - 1) * width + (j - 1)] + 1) {
+            matches.push([aStart + i - 1, bStart + j - 1]);
+            i -= 1;
+            j -= 1;
+        }
+        else if (table[(i - 1) * width + j] >= table[i * width + (j - 1)]) {
+            i -= 1;
+        }
+        else {
+            j -= 1;
+        }
+    }
+    matches.reverse();
+    return matches;
+}
+/**
+ * Regions where `side` differs from `base`, in base order. Outside these
+ * hunks the two arrays match line for line.
+ */
+function diffHunks(base, side) {
+    let prefix = 0;
+    const maxPrefix = Math.min(base.length, side.length);
+    while (prefix < maxPrefix && base[prefix] === side[prefix])
+        prefix += 1;
+    let baseEnd = base.length;
+    let sideEnd = side.length;
+    while (baseEnd > prefix && sideEnd > prefix && base[baseEnd - 1] === side[sideEnd - 1]) {
+        baseEnd -= 1;
+        sideEnd -= 1;
+    }
+    const n = baseEnd - prefix;
+    const m = sideEnd - prefix;
+    if (n === 0 && m === 0)
+        return [];
+    if (n === 0 || m === 0 || n * m > MAX_LCS_CELLS) {
+        return [{ baseStart: prefix, baseLength: n, sideStart: prefix, sideLength: m }];
+    }
+    const hunks = [];
+    let b = prefix;
+    let s = prefix;
+    for (const [mb, ms] of lcsMatches(base, prefix, baseEnd, side, prefix, sideEnd)) {
+        if (mb > b || ms > s) {
+            hunks.push({ baseStart: b, baseLength: mb - b, sideStart: s, sideLength: ms - s });
+        }
+        b = mb + 1;
+        s = ms + 1;
+    }
+    if (baseEnd > b || sideEnd > s) {
+        hunks.push({ baseStart: b, baseLength: baseEnd - b, sideStart: s, sideLength: sideEnd - s });
+    }
+    return hunks;
+}
+/**
+ * The side's lines corresponding to the group's base range [start, end).
+ * Between its own hunks a side matches the base line for line, so the range
+ * extends from the first hunk (pulled back by the matched lead-in) to the
+ * last hunk (pushed forward by the matched tail).
+ */
+function sideSlice(group, sideHunks, baseLines, sideLines) {
+    if (sideHunks.length === 0)
+        return baseLines.slice(group.start, group.end);
+    const first = sideHunks[0];
+    const last = sideHunks[sideHunks.length - 1];
+    const lo = first.sideStart - (first.baseStart - group.start);
+    const hi = last.sideStart + last.sideLength + (group.end - (last.baseStart + last.baseLength));
+    return sideLines.slice(lo, hi);
+}
+/**
+ * Three-way merge of whole-file strings.
+ *
+ * Fast paths: either side identical to base (or to the other side)
+ * short-circuits without diffing.
+ */
+function merge3(baseText, oursText, theirsText) {
+    if (oursText === theirsText)
+        return { text: oursText, conflicts: [] };
+    if (oursText === baseText)
+        return { text: theirsText, conflicts: [] };
+    if (theirsText === baseText)
+        return { text: oursText, conflicts: [] };
+    const base = splitLines(baseText);
+    const ours = splitLines(oursText);
+    const theirs = splitLines(theirsText);
+    const hunks = [
+        ...diffHunks(base, ours).map((h) => ({ ...h, side: 'ours' })),
+        ...diffHunks(base, theirs).map((h) => ({ ...h, side: 'theirs' })),
+    ].sort((a, b) => a.baseStart - b.baseStart || (a.side === b.side ? 0 : a.side === 'ours' ? -1 : 1));
+    // Group hunks whose base ranges overlap. Adjacent (touching) ranges stay
+    // separate — they merge cleanly — with one exception: insertions from both
+    // sides at the exact same base point have no defined order, so they group
+    // (and therefore conflict) too.
+    const groups = [];
+    for (const hunk of hunks) {
+        const group = groups[groups.length - 1];
+        const joins = group &&
+            (hunk.baseStart < group.end ||
+                (hunk.baseStart === group.end &&
+                    hunk.baseLength === 0 &&
+                    group.hunks.some((h) => h.side !== hunk.side && h.baseLength === 0 && h.baseStart === hunk.baseStart)));
+        if (joins) {
+            group.hunks.push(hunk);
+            group.end = Math.max(group.end, hunk.baseStart + hunk.baseLength);
+        }
+        else {
+            groups.push({ start: hunk.baseStart, end: hunk.baseStart + hunk.baseLength, hunks: [hunk] });
+        }
+    }
+    const out = [];
+    const conflicts = [];
+    let cursor = 0;
+    for (const group of groups) {
+        out.push(base.slice(cursor, group.start).join(''));
+        const oursHunks = group.hunks.filter((h) => h.side === 'ours');
+        const theirsHunks = group.hunks.filter((h) => h.side === 'theirs');
+        const oursRegion = sideSlice(group, oursHunks, base, ours).join('');
+        const theirsRegion = sideSlice(group, theirsHunks, base, theirs).join('');
+        if (theirsHunks.length === 0 || oursRegion === theirsRegion) {
+            out.push(oursRegion);
+        }
+        else if (oursHunks.length === 0) {
+            out.push(theirsRegion);
+        }
+        else {
+            // Overlap with different content on each side: keep OURS in the text,
+            // surface the conflict to the caller.
+            conflicts.push({ baseStart: group.start, baseEnd: group.end, ours: oursRegion, theirs: theirsRegion });
+            out.push(oursRegion);
+        }
+        cursor = group.end;
+    }
+    out.push(base.slice(cursor).join(''));
+    return { text: out.join(''), conflicts };
+}
+//# sourceMappingURL=merge3.js.map

package/dist-cjs/merge/merge3.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge3.js","sourceRoot":"","sources":["../../src/merge/merge3.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;AAyJH,wBA2DC;AAlND;;;;GAIG;AACH,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AA+BtC,qFAAqF;AACrF,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAC/B,CAAC;AAED;;;GAGG;AACH,SAAS,UAAU,CACjB,CAAoB,EACpB,MAAc,EACd,IAAY,EACZ,CAAoB,EACpB,MAAc,EACd,IAAY;IAEZ,MAAM,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBAClB,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;oBACxB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC;oBACvC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAA4B,EAAE,CAAC;IAC5C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtB,IACE,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,GAAG,CAAC,EAC9D,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC,IAAI,CAAC,CAAC;YACP,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAE,IAAI,KAAK,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC;YACtE,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,CAAC;YACN,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,CAAC,OAAO,EAAE,CAAC;IAClB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,IAAuB,EAAE,IAAuB;IACjE,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACrD,OAAO,MAAM,GAAG,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,CAAC,CAAC;IACxE,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1B,OAAO,OAAO,GAAG,MAAM,IAAI,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CAAC,CAAC;QACb,OAAO,IAAI,CAAC,CAAC;IACf,CAAC;IACD,MAAM,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,aAAa,EAAE,CAAC;QAChD,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,IAAI,CAAC,GAAG,MAAM,CAAC;IACf,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;QAChF,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACX,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACb,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAChB,KAAqC,EACrC,SAA0B,EAC1B,SAA4B,EAC5B,SAA4B;IAE5B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;IAC9C,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/F,OAAO,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,SAAgB,MAAM,CAAC,QAAgB,EAAE,QAAgB,EAAE,UAAkB;IAC3E,IAAI,QAAQ,KAAK,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACtE,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACtE,IAAI,UAAU,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAEtE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,KAAK,GAAgB;QACzB,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACxE,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;KAC7E,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpG,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,gCAAgC;IAChC,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,KAAK,GACT,KAAK;YACL,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG;gBACzB,CAAC,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,GAAG;oBAC3B,IAAI,CAAC,UAAU,KAAK,CAAC;oBACrB,KAAK,CAAC,KAAK,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,CACpF,CAAC,CAAC,CAAC;QACV,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACnE,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpE,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAC5D,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,sEAAsE;YACtE,sCAAsC;YACtC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YACvG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,CAAC;QACD,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC;IACrB,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;AAC3C,CAAC"}

package/dist-cjs/package.json

@@ -0,0 +1 @@
+{"type":"commonjs"}

package/dist-cjs/records/authority.js

@@ -0,0 +1,31 @@
+"use strict";
+/** Pure acceptance decision used by a transactional cloud adapter. */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.acceptEntityRecord = acceptEntityRecord;
+const codec_js_1 = require("./codec.js");
+/**
+ * Permission and cargo existence are effects proved by the cloud adapter
+ * before calling this decision. `headSequence` is locked for this entity UUID
+ * only. `existing` is the row found by the entity mutation identity.
+ */
+function acceptEntityRecord(input) {
+    if (input.existing !== null) {
+        const { globalSequence: _globalSequence, actorId: _actorId, originDeviceId: _originDeviceId, acceptedAt: _acceptedAt, ...existingLocal } = input.existing;
+        if ((0, codec_js_1.encodeEntityRecord)(existingLocal) !== (0, codec_js_1.encodeEntityRecord)(input.submitted)) {
+            throw new Error('mutationId was already accepted with different record bytes');
+        }
+        return Object.freeze({ kind: 'duplicate', record: input.existing });
+    }
+    if (!Number.isSafeInteger(input.headSequence) || input.headSequence < 0) {
+        throw new Error('entity head sequence must be a non-negative safe integer');
+    }
+    const record = Object.freeze({
+        ...input.submitted,
+        globalSequence: input.headSequence + 1,
+        actorId: input.actorId,
+        originDeviceId: input.originDeviceId,
+        acceptedAt: input.acceptedAt,
+    });
+    return Object.freeze({ kind: 'append', record });
+}
+//# sourceMappingURL=authority.js.map

package/dist-cjs/records/authority.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authority.js","sourceRoot":"","sources":["../../src/records/authority.ts"],"names":[],"mappings":";AAAA,sEAAsE;;AActE,gDAgCC;AA5CD,yCAAgD;AAOhD;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,KAOlC;IACC,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,EACJ,cAAc,EAAE,eAAe,EAC/B,OAAO,EAAE,QAAQ,EACjB,cAAc,EAAE,eAAe,EAC/B,UAAU,EAAE,WAAW,EACvB,GAAG,aAAa,EACjB,GAAG,KAAK,CAAC,QAAQ,CAAC;QACnB,IAAI,IAAA,6BAAkB,EAAC,aAAa,CAAC,KAAK,IAAA,6BAAkB,EAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,MAAM,GAAyB,MAAM,CAAC,MAAM,CAAC;QACjD,GAAG,KAAK,CAAC,SAAS;QAClB,cAAc,EAAE,KAAK,CAAC,YAAY,GAAG,CAAC;QACtC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACnD,CAAC"}

package/dist-cjs/records/codec.js

@@ -0,0 +1,48 @@
+"use strict";
+/** JSON codec for records whose exact replay may contain Uint8Array spans. */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.encodeEntityRecord = void 0;
+exports.decodeLocalEntityRecord = decodeLocalEntityRecord;
+exports.decodeAcceptedEntityRecord = decodeAcceptedEntityRecord;
+const bytes_js_1 = require("../entities/bytes.js");
+const contracts_js_1 = require("./contracts.js");
+const BYTES = '$amalgmBytesBase64';
+const encodeValue = (value) => {
+    if (value instanceof Uint8Array)
+        return { [BYTES]: (0, bytes_js_1.bytesToBase64)(value) };
+    if (Array.isArray(value))
+        return value.map(encodeValue);
+    if (value !== null && typeof value === 'object') {
+        return Object.fromEntries(Object.entries(value).map(([key, child]) => [key, encodeValue(child)]));
+    }
+    return value;
+};
+const decodeValue = (value) => {
+    if (Array.isArray(value))
+        return value.map(decodeValue);
+    if (value !== null && typeof value === 'object') {
+        const entries = Object.entries(value);
+        if (entries.length === 1 && entries[0][0] === BYTES && typeof entries[0][1] === 'string') {
+            return (0, bytes_js_1.base64ToBytes)(entries[0][1]);
+        }
+        return Object.fromEntries(entries.map(([key, child]) => [key, decodeValue(child)]));
+    }
+    return value;
+};
+const encodeEntityRecord = (record) => JSON.stringify(encodeValue(record));
+exports.encodeEntityRecord = encodeEntityRecord;
+function decodeLocalEntityRecord(encoded) {
+    const value = decodeValue(JSON.parse(encoded));
+    const checked = (0, contracts_js_1.checkLocalEntityRecord)(value);
+    if (!checked.ok)
+        throw new Error(checked.error);
+    return checked.value;
+}
+function decodeAcceptedEntityRecord(encoded) {
+    const value = decodeValue(JSON.parse(encoded));
+    const checked = (0, contracts_js_1.checkAcceptedEntityRecord)(value);
+    if (!checked.ok)
+        throw new Error(checked.error);
+    return checked.value;
+}
+//# sourceMappingURL=codec.js.map

package/dist-cjs/records/codec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../../src/records/codec.ts"],"names":[],"mappings":";AAAA,8EAA8E;;;AAoC9E,0DAKC;AAED,gEAKC;AA9CD,mDAAoE;AACpE,iDAKwB;AAExB,MAAM,KAAK,GAAG,oBAAoB,CAAC;AAEnC,MAAM,WAAW,GAAG,CAAC,KAAc,EAAW,EAAE;IAC9C,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,IAAA,wBAAa,EAAC,KAAK,CAAC,EAAE,CAAC;IAC1E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAAc,EAAW,EAAE;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3F,OAAO,IAAA,wBAAa,EAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEK,MAAM,kBAAkB,GAAG,CAAC,MAAgD,EAAU,EAAE,CAC7F,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;AADzB,QAAA,kBAAkB,sBACO;AAEtC,SAAgB,uBAAuB,CAAC,OAAe;IACrD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAA,qCAAsB,EAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,OAAO,CAAC,KAAK,CAAC;AACvB,CAAC;AAED,SAAgB,0BAA0B,CAAC,OAAe;IACxD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,IAAA,wCAAyB,EAAC,KAAK,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,OAAO,CAAC,KAAK,CAAC;AACvB,CAAC"}

package/dist-cjs/records/contracts.js

@@ -0,0 +1,121 @@
+"use strict";
+/**
+ * The exact entity record carried from local Record to cloud acceptance.
+ *
+ * The entity UUID is the channel. `globalSequence` exists only after the
+ * authority accepts the record and is dense independently on that UUID.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.entityMutationKey = exports.ENTITY_RECORD_CONTRACT = void 0;
+exports.checkLocalEntityRecord = checkLocalEntityRecord;
+exports.checkAcceptedEntityRecord = checkAcceptedEntityRecord;
+exports.createLocalEntityRecord = createLocalEntityRecord;
+const cloud_js_1 = require("../entities/cloud.js");
+const types_js_1 = require("../entities/types.js");
+const record_proposal_js_1 = require("../detection/record-proposal.js");
+const validate_js_1 = require("../contracts/validate.js");
+exports.ENTITY_RECORD_CONTRACT = 'amalgm.entity-record@1';
+const HASH = /^[0-9a-f]{64}$/;
+const FACETS = new Set(['create', 'rename', 'move', 'retype', 'content', 'trash', 'restore']);
+const EXAMPLE = '{ contract: "amalgm.entity-record@1", mutationId: "m1", authorityId: "pvr_...", entityId: "UUID", basedOnState: null, resultState: "64-hex", lastSeenGlobalSequence: 0, change: {...}, createdAt: 1 }';
+const isSequence = (value, positive = false) => typeof value === 'number'
+    && Number.isSafeInteger(value)
+    && value >= (positive ? 1 : 0);
+function checkChange(value) {
+    if (!(0, validate_js_1.isRecord)(value) || value.contract !== record_proposal_js_1.DETECTED_CHANGE_CONTRACT) {
+        return (0, validate_js_1.failShape)(EXAMPLE, `change.contract was not ${record_proposal_js_1.DETECTED_CHANGE_CONTRACT}`);
+    }
+    if (typeof value.entityId !== 'string' || !types_js_1.UUID_PATTERN.test(value.entityId)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'change.entityId was not an entity UUID');
+    }
+    if (value.basedOnState !== null
+        && (typeof value.basedOnState !== 'string' || !HASH.test(value.basedOnState))) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'change.basedOnState was not null or lowercase SHA-256');
+    }
+    if (!Array.isArray(value.facets) || value.facets.length === 0
+        || value.facets.some((facet) => typeof facet !== 'string' || !FACETS.has(facet))
+        || new Set(value.facets).size !== value.facets.length) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'change.facets was empty, duplicated, or unknown');
+    }
+    if (!(0, validate_js_1.isRecord)(value.replay) || !(0, validate_js_1.isNonEmptyString)(value.replay.kind)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'change.replay was not a replay instruction');
+    }
+    if (!Array.isArray(value.cargo)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'change.cargo was not an array');
+    }
+    try {
+        const result = (0, cloud_js_1.assertRecord)(value.result);
+        if (result.uuid !== value.entityId) {
+            return (0, validate_js_1.failShape)(EXAMPLE, 'change.entityId did not equal change.result.uuid');
+        }
+    }
+    catch (error) {
+        return (0, validate_js_1.failShape)(EXAMPLE, `change.result was invalid: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    return (0, validate_js_1.pass)(value);
+}
+function checkLocalEntityRecord(value) {
+    if (!(0, validate_js_1.isRecord)(value) || value.contract !== exports.ENTITY_RECORD_CONTRACT) {
+        return (0, validate_js_1.failShape)(EXAMPLE, `contract was not ${exports.ENTITY_RECORD_CONTRACT}`);
+    }
+    for (const field of ['mutationId', 'authorityId']) {
+        if (!(0, validate_js_1.isNonEmptyString)(value[field])) {
+            return (0, validate_js_1.failShape)(EXAMPLE, `${field} was not a non-empty string`);
+        }
+    }
+    if (typeof value.entityId !== 'string' || !types_js_1.UUID_PATTERN.test(value.entityId)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'entityId was not an entity UUID');
+    }
+    if (value.basedOnState !== null
+        && (typeof value.basedOnState !== 'string' || !HASH.test(value.basedOnState))) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'basedOnState was not null or lowercase SHA-256');
+    }
+    if (typeof value.resultState !== 'string' || !HASH.test(value.resultState)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'resultState was not lowercase SHA-256');
+    }
+    if (!isSequence(value.lastSeenGlobalSequence) || !isSequence(value.createdAt)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'lastSeenGlobalSequence and createdAt must be non-negative safe integers');
+    }
+    const change = checkChange(value.change);
+    if (!change.ok)
+        return change;
+    if (change.value.entityId !== value.entityId
+        || change.value.basedOnState !== value.basedOnState
+        || change.value.result.version !== value.resultState) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'record lineage did not exactly match its Detect proposal');
+    }
+    return (0, validate_js_1.pass)(value);
+}
+function checkAcceptedEntityRecord(value) {
+    const local = checkLocalEntityRecord(value);
+    if (!local.ok)
+        return local;
+    if (!(0, validate_js_1.isRecord)(value)
+        || !isSequence(value.globalSequence, true)
+        || !(0, validate_js_1.isNonEmptyString)(value.actorId)
+        || !(0, validate_js_1.isNonEmptyString)(value.originDeviceId)
+        || !isSequence(value.acceptedAt)) {
+        return (0, validate_js_1.failShape)(EXAMPLE, 'accepted record lacked a positive sequence or server-derived acceptance fields');
+    }
+    return (0, validate_js_1.pass)(value);
+}
+const entityMutationKey = (record) => `${record.entityId}\u0000${record.mutationId}`;
+exports.entityMutationKey = entityMutationKey;
+function createLocalEntityRecord(input) {
+    const record = Object.freeze({
+        contract: exports.ENTITY_RECORD_CONTRACT,
+        mutationId: input.mutationId,
+        authorityId: input.authorityId,
+        entityId: input.change.entityId,
+        basedOnState: input.change.basedOnState,
+        resultState: input.change.result.version,
+        lastSeenGlobalSequence: input.lastSeenGlobalSequence,
+        change: input.change,
+        createdAt: input.createdAt,
+    });
+    const checked = checkLocalEntityRecord(record);
+    if (!checked.ok)
+        throw new Error(checked.error);
+    return record;
+}
+//# sourceMappingURL=contracts.js.map

package/dist-cjs/records/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/records/contracts.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAkFH,wDA8BC;AAED,8DAWC;AAMD,0DAqBC;AAtJD,mDAAoD;AACpD,mDAAoD;AACpD,wEAGyC;AACzC,0DAAqG;AAExF,QAAA,sBAAsB,GAAG,wBAAwB,CAAC;AA8B/D,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAC9F,MAAM,OAAO,GAAG,uMAAuM,CAAC;AAExN,MAAM,UAAU,GAAG,CAAC,KAAc,EAAE,QAAQ,GAAG,KAAK,EAAmB,EAAE,CACvE,OAAO,KAAK,KAAK,QAAQ;OACtB,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;OAC3B,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjC,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,CAAC,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,6CAAwB,EAAE,CAAC;QACpE,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,2BAA2B,6CAAwB,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,uBAAY,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,wCAAwC,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;WAC1B,CAAC,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC;IACrF,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;WACxD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;WAC7E,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACxD,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,iDAAiD,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,IAAA,sBAAQ,EAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAgB,EAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACpE,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,4CAA4C,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,uBAAY,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnC,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,kDAAkD,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,8BAA8B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,IAAA,kBAAI,EAAC,KAA0C,CAAC,CAAC;AAC1D,CAAC;AAED,SAAgB,sBAAsB,CAAC,KAAc;IACnD,IAAI,CAAC,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,8BAAsB,EAAE,CAAC;QAClE,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,oBAAoB,8BAAsB,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,YAAY,EAAE,aAAa,CAAU,EAAE,CAAC;QAC3D,IAAI,CAAC,IAAA,8BAAgB,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACpC,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,GAAG,KAAK,6BAA6B,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,uBAAY,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7E,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,iCAAiC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,IAAI;WAC1B,CAAC,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,gDAAgD,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3E,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,uCAAuC,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9E,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,yEAAyE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;WACvC,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;WAChD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;QACvD,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,0DAA0D,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,IAAA,kBAAI,EAAC,KAAqC,CAAC,CAAC;AACrD,CAAC;AAED,SAAgB,yBAAyB,CAAC,KAAc;IACtD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,CAAC,IAAA,sBAAQ,EAAC,KAAK,CAAC;WACf,CAAC,UAAU,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC;WACvC,CAAC,IAAA,8BAAgB,EAAC,KAAK,CAAC,OAAO,CAAC;WAChC,CAAC,IAAA,8BAAgB,EAAC,KAAK,CAAC,cAAc,CAAC;WACvC,CAAC,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,OAAO,IAAA,uBAAS,EAAC,OAAO,EAAE,gFAAgF,CAAC,CAAC;IAC9G,CAAC;IACD,OAAO,IAAA,kBAAI,EAAC,KAAwC,CAAC,CAAC;AACxD,CAAC;AAEM,MAAM,iBAAiB,GAAG,CAC/B,MAA0D,EAClD,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,SAAS,MAAM,CAAC,UAAU,EAAE,CAAC;AAF/C,QAAA,iBAAiB,qBAE8B;AAE5D,SAAgB,uBAAuB,CAAC,KAMvC;IACC,MAAM,MAAM,GAAsB,MAAM,CAAC,MAAM,CAAC;QAC9C,QAAQ,EAAE,8BAAsB;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ;QAC/B,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,YAAY;QACvC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;QACxC,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist-cjs/records/inbox.js

@@ -0,0 +1,37 @@
+"use strict";
+/** Pure per-entity Receive law. Apply is intentionally absent. */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.receiveEntityRecord = receiveEntityRecord;
+const codec_js_1 = require("./codec.js");
+/** Decide one durable inbox transaction against this entity's own cursor. */
+function receiveEntityRecord(receivedThrough, record, existing) {
+    if (!Number.isSafeInteger(receivedThrough) || receivedThrough < 0) {
+        throw new Error('received-through must be a non-negative safe integer');
+    }
+    if (record.globalSequence <= receivedThrough) {
+        if (existing === null) {
+            throw new Error('entity cursor claims a sequence that is absent from the inbox');
+        }
+        if ((0, codec_js_1.encodeEntityRecord)(existing) !== (0, codec_js_1.encodeEntityRecord)(record)) {
+            throw new Error('one entity sequence cannot name two accepted record bytes');
+        }
+        return Object.freeze({ kind: 'duplicate', record: existing });
+    }
+    if (existing !== null) {
+        throw new Error('inbox contains a sequence beyond its entity cursor');
+    }
+    if (record.globalSequence !== receivedThrough + 1) {
+        return Object.freeze({
+            kind: 'gap',
+            entityId: record.entityId,
+            after: receivedThrough,
+            received: record.globalSequence,
+        });
+    }
+    return Object.freeze({
+        kind: 'insert',
+        record,
+        receivedThrough: record.globalSequence,
+    });
+}
+//# sourceMappingURL=inbox.js.map

package/dist-cjs/records/inbox.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inbox.js","sourceRoot":"","sources":["../../src/records/inbox.ts"],"names":[],"mappings":";AAAA,kEAAkE;;AAWlE,kDAiCC;AAzCD,yCAAgD;AAOhD,6EAA6E;AAC7E,SAAgB,mBAAmB,CACjC,eAAuB,EACvB,MAA4B,EAC5B,QAAqC;IAErC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,eAAe,CAAC,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,IAAA,6BAAkB,EAAC,QAAQ,CAAC,KAAK,IAAA,6BAAkB,EAAC,MAAM,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,KAAK,eAAe,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,KAAK,EAAE,eAAe;YACtB,QAAQ,EAAE,MAAM,CAAC,cAAc;SAChC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,QAAQ;QACd,MAAM;QACN,eAAe,EAAE,MAAM,CAAC,cAAc;KACvC,CAAC,CAAC;AACL,CAAC"}

package/dist-cjs/records/index.js

@@ -0,0 +1,23 @@
+"use strict";
+/** Entity Record, local Outbox, cloud acceptance, and local Inbox laws. */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./authority.js"), exports);
+__exportStar(require("./codec.js"), exports);
+__exportStar(require("./contracts.js"), exports);
+__exportStar(require("./inbox.js"), exports);
+__exportStar(require("./outbox.js"), exports);
+//# sourceMappingURL=index.js.map

package/dist-cjs/records/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/records/index.ts"],"names":[],"mappings":";AAAA,2EAA2E;;;;;;;;;;;;;;;;AAE3E,iDAA+B;AAC/B,6CAA2B;AAC3B,iDAA+B;AAC/B,6CAA2B;AAC3B,8CAA4B"}

package/dist-cjs/records/outbox.js

@@ -0,0 +1,48 @@
+"use strict";
+/** Pure laws for the local-only record outbox. */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nextEntitySends = nextEntitySends;
+exports.acceptOutboxRow = acceptOutboxRow;
+const codec_js_1 = require("./codec.js");
+/**
+ * Choose at most one pending row per entity. This preserves causality within
+ * one UUID channel while allowing unrelated entity channels to send in
+ * parallel. Input must be in durable local insertion order.
+ */
+function nextEntitySends(rows) {
+    const selected = [];
+    const seen = new Set();
+    for (const row of rows) {
+        if (row.status !== 'pending')
+            continue;
+        if (seen.has(row.record.entityId))
+            continue;
+        seen.add(row.record.entityId);
+        selected.push(row);
+    }
+    return Object.freeze(selected);
+}
+/** Stamp a retained local receipt from the authority's exact acknowledgement. */
+function acceptOutboxRow(row, accepted) {
+    if (row.record.authorityId !== accepted.authorityId
+        || row.record.entityId !== accepted.entityId
+        || row.record.mutationId !== accepted.mutationId) {
+        throw new Error('an acknowledgement cannot stamp a different outbox record');
+    }
+    const { globalSequence: _globalSequence, actorId: _actorId, originDeviceId: _originDeviceId, acceptedAt: _acceptedAt, ...acceptedLocal } = accepted;
+    if ((0, codec_js_1.encodeEntityRecord)(row.record) !== (0, codec_js_1.encodeEntityRecord)(acceptedLocal)) {
+        throw new Error('an acknowledgement cannot change the outbox record bytes');
+    }
+    if (row.status === 'accepted') {
+        if (row.globalSequence !== accepted.globalSequence) {
+            throw new Error('one outbox record cannot have two official entity sequences');
+        }
+        return row;
+    }
+    return Object.freeze({
+        record: row.record,
+        status: 'accepted',
+        globalSequence: accepted.globalSequence,
+    });
+}
+//# sourceMappingURL=outbox.js.map

package/dist-cjs/records/outbox.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outbox.js","sourceRoot":"","sources":["../../src/records/outbox.ts"],"names":[],"mappings":";AAAA,kDAAkD;;AAclD,0CAUC;AAGD,0CA2BC;AAnDD,yCAAgD;AAMhD;;;;GAIG;AACH,SAAgB,eAAe,CAAC,IAA0B;IACxD,MAAM,QAAQ,GAAgB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QACvC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AAED,iFAAiF;AACjF,SAAgB,eAAe,CAAC,GAAc,EAAE,QAA8B;IAC5E,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;WAC9C,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;WACzC,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC,UAAU,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,EACJ,cAAc,EAAE,eAAe,EAC/B,OAAO,EAAE,QAAQ,EACjB,cAAc,EAAE,eAAe,EAC/B,UAAU,EAAE,WAAW,EACvB,GAAG,aAAa,EACjB,GAAG,QAAQ,CAAC;IACb,IAAI,IAAA,6BAAkB,EAAC,GAAG,CAAC,MAAM,CAAC,KAAK,IAAA,6BAAkB,EAAC,aAAa,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,UAAU;QAClB,cAAc,EAAE,QAAQ,CAAC,cAAc;KACxC,CAAC,CAAC;AACL,CAAC"}

package/dist-cjs/registration/index.js

@@ -0,0 +1,19 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+/** Login-time Register/Add convergence over injected local and cloud effects. */
+__exportStar(require("./user-ground.js"), exports);
+//# sourceMappingURL=index.js.map

package/dist-cjs/registration/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/registration/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,iFAAiF;AACjF,mDAAiC"}