@derive-to/artifacts 0.0.0-stage → 0.6.0

package/dist/protocol/source-op-hash.js

@@ -0,0 +1,181 @@
+import { sha256 } from "@noble/hashes/sha2.js";
+import { bytesToHex } from "@noble/hashes/utils.js";
+import { lastOf, Recent } from "./source-cache.js";
+import { sha256 as sha256Hex } from "./source-hash.js";
+import { indexElements, usable } from "./source-op-index.js";
+const encode = (text) => new TextEncoder().encode(text);
+/** A string's UTF-8 bytes, and the byte offset of each of its UTF-16 offsets. */
+const utf8 = (text) => {
+    const bytes = encode(text);
+    if (bytes.length === text.length)
+        return { bytes, at: (i) => i };
+    const offsets = new Uint32Array(text.length + 1);
+    let b = 0;
+    for (let i = 0; i < text.length; i++) {
+        offsets[i] = b;
+        const c = text.charCodeAt(i);
+        if (c < 0x80)
+            b += 1;
+        else if (c < 0x800)
+            b += 2;
+        else if (c >= 0xd800 && c < 0xdc00 && (text.charCodeAt(i + 1) & 0xfc00) === 0xdc00) {
+            offsets[++i] = b;
+            b += 4;
+        }
+        else
+            b += 3;
+    }
+    offsets[text.length] = b;
+    return { bytes, at: (i) => offsets[i] };
+};
+/** The sha256 of stored source text, as the editor's page and source map report it. */
+export const sourceSha = (html) => sha256Hex(encode(html));
+/** The hash an op names a source slice by (Markdown's nodes). */
+export const hashSource = (text) => {
+    const bytes = encode(text);
+    return bytesToHex(sha256(bytes).subarray(0, 8));
+};
+/** Separates an element's own bytes from a child's digest in what its hash covers: 0xFF is
+ *  never a byte of UTF-8, so the stream reads back one way only. */
+const CHILD = new Uint8Array([0xff]);
+/** A document an op save made from another, and where: `segments` are the old
+ *  document's replaced ranges (sorted, disjoint) with their new text. Lets the new
+ *  document's hashes reuse every digest of an element the save left alone. */
+export const madeBy = new Recent(4);
+/** The segments a splice applies: sorted, and each one starting past the last. */
+export const disjoint = (segments) => {
+    const out = [];
+    let cursor = 0;
+    for (const seg of segments) {
+        if (seg.start < cursor)
+            continue;
+        out.push(seg);
+        cursor = seg.end;
+    }
+    return out;
+};
+/**
+ * Every element's hash (array index = N), "" for an element no op may name or keep (not
+ * stamped, or markup whose end the source doesn't state). An element's hash is the SHA-256
+ * of its outer bytes with each child element's bytes replaced by 0xFF and that child's own
+ * digest: it pins exactly the same bytes a hash of the whole slice would, but the document
+ * is hashed about once rather than once per level of nesting (a 150-slide deck is ten
+ * megabytes of nested slices). A document a save just made hashes only what the save
+ * changed and the elements holding it; everything else keeps its digest. Remembered for
+ * the last few documents.
+ */
+const overlaps = (segment, el) => segment.start < el.end && !(segment.start === segment.end && segment.start === el.tag.start);
+const unchangedElements = (html) => {
+    // A save's result: the previous document's digests, where the save left bytes alone.
+    const made = madeBy.get(html);
+    madeBy.delete(html);
+    const was = made ? elementDigests.peek(made.from) : undefined;
+    const wasEls = was && made ? indexElements(made.from) : null;
+    const wasAt = wasEls ? new Map(wasEls.map((e) => [e.tag.start, e])) : null;
+    // The save's segments in new offsets, and the shift they leave after them.
+    const moved = [];
+    if (made) {
+        let shift = 0;
+        for (const seg of made.segments) {
+            const start = seg.start + shift;
+            shift += seg.text.length - (seg.end - seg.start);
+            moved.push({ start, end: start + seg.text.length, shift });
+        }
+    }
+    /** The previous document's element with these very bytes at this place, if any. */
+    let seg = 0;
+    const unchanged = (el) => {
+        if (!was || !wasAt)
+            return undefined;
+        while (seg < moved.length && moved[seg].end <= el.tag.start)
+            seg++;
+        const next = moved[seg];
+        // A segment overlapping or inside the element: its bytes changed.
+        if (next && overlaps(next, el))
+            return undefined;
+        const shift = seg ? moved[seg - 1].shift : 0;
+        const old = wasAt.get(el.tag.start - shift);
+        if (!old || old.end !== el.end - shift || old.tag.name !== el.tag.name)
+            return undefined;
+        // It had a digest of its own (it wasn't misnested there).
+        return was.full.subarray(32 * old.n, 32 * old.n + 32).some((b) => b !== 0) ? old : undefined;
+    };
+    return { was, unchanged };
+};
+const digestAccumulator = (bytes, at, result) => {
+    const { full, hex } = result;
+    // One open frame per depth, each with its own incremental hasher: frames only ever nest.
+    const open = [];
+    const give = (child, digest) => {
+        const parent = open.at(-1);
+        if (!parent)
+            return;
+        parent.hash
+            .update(bytes.subarray(parent.cursor, at(child.tag.start)))
+            .update(CHILD)
+            .update(digest);
+        parent.cursor = at(child.end);
+    };
+    const close = () => {
+        const f = open.pop();
+        if (!f)
+            return;
+        const digest = f.hash.update(bytes.subarray(f.cursor, at(f.el.end))).digest();
+        full.set(digest, 32 * f.el.n);
+        if (usable(f.el))
+            hex[f.el.n] = bytesToHex(digest.subarray(0, 8));
+        give(f.el, digest);
+    };
+    return { open, give, close };
+};
+export const elementDigests = lastOf(4, 32_768, (html) => {
+    const els = indexElements(html);
+    const { bytes, at } = utf8(html);
+    const hex = Array.from({ length: els.length }, () => "");
+    const full = new Uint8Array(32 * els.length);
+    const { was, unchanged } = unchangedElements(html);
+    const { open, give, close } = digestAccumulator(bytes, at, { full, hex });
+    const copyDigests = (i, old) => {
+        if (!was)
+            return i;
+        const el = els[i];
+        const d = old.n - el.n;
+        let j = i;
+        for (; j < els.length && els[j].tag.start < el.end; j++) {
+            const n = els[j].n;
+            hex[n] = was.hex[n + d] ?? "";
+            full.set(was.full.subarray(32 * (n + d), 32 * (n + d + 1)), 32 * n);
+        }
+        give(el, was.full.subarray(32 * old.n, 32 * (old.n + 1)));
+        return j - 1;
+    };
+    for (let i = 0; i < els.length; i++) {
+        const el = els[i];
+        if (el.end < 0)
+            continue;
+        while (open.length && open.at(-1).el.end <= el.tag.start)
+            close();
+        // Crossing its container (misnested markup the index didn't catch): its bytes are the
+        // container's own, and nothing may name it.
+        const top = open.at(-1);
+        if (top && el.end > top.el.end)
+            continue;
+        const old = unchanged(el);
+        if (old && was) {
+            // The same bytes as before: its digest and every one inside it carry over.
+            i = copyDigests(i, old);
+            continue;
+        }
+        open.push({ el, cursor: at(el.tag.start), hash: sha256.create() });
+    }
+    while (open.length)
+        close();
+    return { hex, full };
+});
+export const elementHashes = (html) => elementDigests(html).hex;
+/** Every source id's hash, and the sha of the whole source (see elementHashes). */
+export const sourceMap = async (html) => ({
+    sha: await sourceSha(html),
+    hashes: [...elementHashes(html)],
+});
+//# sourceMappingURL=source-op-hash.js.map

package/dist/protocol/source-op-hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-hash.js","sourceRoot":"","sources":["../../src/protocol/source-op-hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAClD,OAAO,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAE,aAAa,EAAmB,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAS7E,MAAM,MAAM,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAE3E,iFAAiF;AACjF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAoD,EAAE;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAA;IAChE,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAChD,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACd,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QAC5B,IAAI,CAAC,GAAG,IAAI;YAAE,CAAC,IAAI,CAAC,CAAA;aACf,IAAI,CAAC,GAAG,KAAK;YAAE,CAAC,IAAI,CAAC,CAAA;aACrB,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,MAAM,EAAE,CAAC;YACnF,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC,IAAI,CAAC,CAAA;QACR,CAAC;;YAAM,CAAC,IAAI,CAAC,CAAA;IACf,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;IACxB,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAW,EAAE,CAAA;AACnD,CAAC,CAAA;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAmB,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;AAEnF,iEAAiE;AACjE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAc,EAAE;IACrD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,OAAO,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AACjD,CAAC,CAAA;AAED;oEACoE;AACpE,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAEpC;;8EAE8E;AAC9E,MAAM,CAAC,MAAM,MAAM,GAAmE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAA;AAEnG,kFAAkF;AAClF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAA4B,EAAa,EAAE;IAClE,MAAM,GAAG,GAAc,EAAE,CAAA;IACzB,IAAI,MAAM,GAAG,CAAC,CAAA;IACd,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,KAAK,GAAG,MAAM;YAAE,SAAQ;QAChC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,GAAG,GAAG,CAAC,GAAG,CAAA;IAClB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAQD;;;;;;;;;GASG;AACH,MAAM,QAAQ,GAAG,CAAC,OAAuC,EAAE,EAAc,EAAW,EAAE,CACpF,OAAO,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,KAAK,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AAE9F,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACyE,EAAE;IACvF,qFAAqF;IACrF,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC7B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACnB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7D,MAAM,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC1E,2EAA2E;IAC3E,MAAM,KAAK,GAAoD,EAAE,CAAA;IACjE,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,GAAG,KAAK,CAAA;YAC/B,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAA;YAChD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;QAC5D,CAAC;IACH,CAAC;IACD,mFAAmF;IACnF,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,MAAM,SAAS,GAAG,CAAC,EAAc,EAA0B,EAAE;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAA;QACpC,OAAO,GAAG,GAAG,KAAK,CAAC,MAAM,IAAK,KAAK,CAAC,GAAG,CAAqB,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK;YAAE,GAAG,EAAE,CAAA;QACvF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;QACvB,kEAAkE;QAClE,IAAI,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YAAE,OAAO,SAAS,CAAA;QAChD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAE,KAAK,CAAC,GAAG,GAAG,CAAC,CAAuB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACnE,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAA;QAC3C,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,KAAK,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI;YAAE,OAAO,SAAS,CAAA;QACxF,0DAA0D;QAC1D,OAAO,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;IAC9F,CAAC,CAAA;IAED,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,CAAA;AAC3B,CAAC,CAAA;AAQD,MAAM,iBAAiB,GAAG,CACxB,KAAiB,EACjB,EAAyB,EACzB,MAAe,EAKf,EAAE;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAA;IAC5B,yFAAyF;IACzF,MAAM,IAAI,GAAY,EAAE,CAAA;IACxB,MAAM,IAAI,GAAG,CAAC,KAAiB,EAAE,MAAkB,EAAE,EAAE;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1B,IAAI,CAAC,MAAM;YAAE,OAAM;QACnB,MAAM,CAAC,IAAI;aACR,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;aAC1D,MAAM,CAAC,KAAK,CAAC;aACb,MAAM,CAAC,MAAM,CAAC,CAAA;QACjB,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC/B,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QACpB,IAAI,CAAC,CAAC;YAAE,OAAM;QACd,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAA;QAC7E,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAC7B,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACjE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACpB,CAAC,CAAA;IACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AAC9B,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAEvB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,IAAY,EAAW,EAAE;IAC9C,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;IAC/B,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;IAChC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,GAAe,EAAE,CAAC,EAAE,CAAC,CAAA;IACpE,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAAA;IAC5C,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IAElD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;IACzE,MAAM,WAAW,GAAG,CAAC,CAAS,EAAE,GAAe,EAAU,EAAE;QACzD,IAAI,CAAC,GAAG;YAAE,OAAO,CAAC,CAAA;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAe,CAAA;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;QACtB,IAAI,CAAC,GAAG,CAAC,CAAA;QACT,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAK,GAAG,CAAC,CAAC,CAAgB,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YACxE,MAAM,CAAC,GAAI,GAAG,CAAC,CAAC,CAAgB,CAAC,CAAC,CAAA;YAClC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;YAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAA;QACrE,CAAC;QACD,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACzD,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC,CAAA;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAe,CAAA;QAC/B,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC;YAAE,SAAQ;QACxB,OAAO,IAAI,CAAC,MAAM,IAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAwB,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK;YAAE,KAAK,EAAE,CAAA;QACzF,sFAAsF;QACtF,4CAA4C;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,GAAG,IAAI,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG;YAAE,SAAQ;QACxC,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAA;QACzB,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACf,2EAA2E;YAC3E,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;YACvB,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,IAAI,CAAC,MAAM;QAAE,KAAK,EAAE,CAAA;IAC3B,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;AACtB,CAAC,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAyB,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAA;AAE9F,mFAAmF;AACnF,MAAM,CAAC,MAAM,SAAS,GAAG,KAAK,EAAE,IAAY,EAAkD,EAAE,CAAC,CAAC;IAChG,GAAG,EAAE,MAAM,SAAS,CAAC,IAAI,CAAC;IAC1B,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;CACjC,CAAC,CAAA"}

package/dist/protocol/source-op-history.d.ts

@@ -0,0 +1,10 @@
+import { type SourceApplyContext } from "./source-op-context.js";
+import type { SourceOp, SourceToken } from "./source-op-types.js";
+/** Versions are resolved by the host for the same authorized artifact, never by URL. */
+export declare const loadSourceHistory: (ops: SourceOp[], source?: (version: number) => Promise<string | null>) => Promise<Map<number, SourceApplyContext>>;
+export declare const restoredSourceContext: (current: SourceApplyContext, token: Extract<SourceToken, {
+    keep: number;
+}>) => SourceApplyContext;
+/** Existing malformed identities remain unchanged; restores cannot add a collision. */
+export declare const verifyRestoredIdentities: (before: string, after: string) => void;
+//# sourceMappingURL=source-op-history.d.ts.map

package/dist/protocol/source-op-history.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-history.d.ts","sourceRoot":"","sources":["../../src/protocol/source-op-history.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,kBAAkB,EAAqC,MAAM,wBAAwB,CAAA;AAGnG,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAGjE,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QACvB,QAAQ,EAAE,WACN,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KACnD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAgCzC,CAAA;AAED,eAAO,MAAM,qBAAqB,YACvB,kBAAkB,SACpB,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,KAC5C,kBASF,CAAA;AAsBD,uFAAuF;AACvF,eAAO,MAAM,wBAAwB,WAAY,MAAM,SAAS,MAAM,KAAG,IAKxE,CAAA"}

package/dist/protocol/source-op-history.js

@@ -0,0 +1,85 @@
+import { EditError } from "./source-edits.js";
+import { attrValues } from "./source-html.js";
+import { sourceAt, sourceFail, sourcePlace } from "./source-op-context.js";
+import { elementHashes } from "./source-op-hash.js";
+import { indexElements, usable } from "./source-op-index.js";
+import { tags } from "./source-tags.js";
+/** Versions are resolved by the host for the same authorized artifact, never by URL. */
+export const loadSourceHistory = async (ops, source) => {
+    const versions = new Set();
+    const visit = (tokens) => {
+        for (const token of tokens) {
+            if ("keep" in token && token.version !== undefined)
+                versions.add(token.version);
+            if ("children" in token && token.children)
+                visit(token.children);
+        }
+    };
+    for (const op of ops)
+        if (op.op === "content")
+            visit(op.children);
+    if (versions.size > 16)
+        throw new EditError("One save can restore at most 16 source versions.");
+    if (versions.size && !source)
+        throw new EditError("This host cannot restore historical source.");
+    const history = new Map();
+    for (const version of versions) {
+        // oxlint-disable-next-line no-await-in-loop -- read large history blobs one at a time
+        const html = await source?.(version);
+        if (html === null || html === undefined)
+            throw new EditError(`Source version ${version} is unavailable for this artifact.`);
+        const els = indexElements(html);
+        history.set(version, {
+            html,
+            els,
+            place: sourcePlace(html, els),
+            contentOps: [],
+            overrides: [],
+            verbatim: new Set(),
+            emitted: new Set(),
+            identities: null,
+            budget: 100 * 1024 * 1024,
+            history,
+        });
+    }
+    return history;
+};
+export const restoredSourceContext = (current, token) => {
+    const context = current.history.get(token.version ?? -1);
+    if (!context)
+        return sourceFail("The historical source version is unavailable.");
+    const node = sourceAt(context, token.keep);
+    if (!usable(node) || node.tag.name === "body")
+        return sourceFail("The historical element cannot be restored here.");
+    if (elementHashes(context.html)[token.keep] !== token.hash)
+        return sourceFail("The historical element does not match its source hash.");
+    return context;
+};
+const IDENTITY_ATTRIBUTES = [
+    "id",
+    "data-derive-scene",
+    "data-derive-slide",
+    "data-derive-node",
+    "data-derive-region",
+];
+const identities = (html) => {
+    const counts = new Map();
+    for (const tag of tags(html)) {
+        if (tag.closing)
+            continue;
+        for (const name of IDENTITY_ATTRIBUTES)
+            for (const value of attrValues(tag.attrs, name)) {
+                const key = `${name}\u0000${value}`;
+                counts.set(key, (counts.get(key) ?? 0) + 1);
+            }
+    }
+    return counts;
+};
+/** Existing malformed identities remain unchanged; restores cannot add a collision. */
+export const verifyRestoredIdentities = (before, after) => {
+    const original = identities(before);
+    for (const [key, count] of identities(after))
+        if (count > Math.max(1, original.get(key) ?? 0))
+            throw new EditError("A restored element would duplicate an identity already in this version.");
+};
+//# sourceMappingURL=source-op-history.js.map

package/dist/protocol/source-op-history.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-history.js","sourceRoot":"","sources":["../../src/protocol/source-op-history.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAA2B,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACnG,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAE5D,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,wFAAwF;AACxF,MAAM,CAAC,MAAM,iBAAiB,GAAG,KAAK,EACpC,GAAe,EACf,MAAoD,EACV,EAAE;IAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,KAAK,GAAG,CAAC,MAAqB,EAAQ,EAAE;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YAC/E,IAAI,UAAU,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ;gBAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QAClE,CAAC;IACH,CAAC,CAAA;IACD,KAAK,MAAM,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,CAAC,EAAE,KAAK,SAAS;YAAE,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;IACjE,IAAI,QAAQ,CAAC,IAAI,GAAG,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAA;IAC/F,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAA;IAChG,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAA;IACrD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,sFAAsF;QACtF,MAAM,IAAI,GAAG,MAAM,MAAM,EAAE,CAAC,OAAO,CAAC,CAAA;QACpC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;YACrC,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,oCAAoC,CAAC,CAAA;QACpF,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;QAC/B,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE;YACnB,IAAI;YACJ,GAAG;YACH,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC;YAC7B,UAAU,EAAE,EAAE;YACd,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;YACzB,OAAO;SACR,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,OAA2B,EAC3B,KAA6C,EACzB,EAAE;IACtB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAA;IACxD,IAAI,CAAC,OAAO;QAAE,OAAO,UAAU,CAAC,+CAA+C,CAAC,CAAA;IAChF,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC1C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM;QAC3C,OAAO,UAAU,CAAC,iDAAiD,CAAC,CAAA;IACtE,IAAI,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI;QACxD,OAAO,UAAU,CAAC,wDAAwD,CAAC,CAAA;IAC7E,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG;IAC1B,IAAI;IACJ,mBAAmB;IACnB,mBAAmB;IACnB,kBAAkB;IAClB,oBAAoB;CACrB,CAAA;AACD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAuB,EAAE;IACvD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,OAAO;YAAE,SAAQ;QACzB,KAAK,MAAM,IAAI,IAAI,mBAAmB;YACpC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;gBAChD,MAAM,GAAG,GAAG,GAAG,IAAI,SAAS,KAAK,EAAE,CAAA;gBACnC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC7C,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,MAAc,EAAE,KAAa,EAAQ,EAAE;IAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;IACnC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC;QAC1C,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,IAAI,SAAS,CAAC,yEAAyE,CAAC,CAAA;AACpG,CAAC,CAAA"}

package/dist/protocol/source-op-index.d.ts

@@ -0,0 +1,19 @@
+import { type HtmlTag } from "./source-html.js";
+export interface SourceNode {
+    n: number;
+    tag: HtmlTag;
+    /** Offset past the element's last byte; -1 when the source does not say where it ends. */
+    end: number;
+    /** Where its inner content ends (its close tag's `<`, or `end` when implicitly closed). */
+    innerEnd: number;
+    /** Its end is written in the source (a close tag, or a void element), not implied. */
+    explicit: boolean;
+    /** Carries `data-derive-src` when served to an editor (a body element outside
+     *  template/noscript), and is therefore addressable by ops. */
+    stamped: boolean;
+}
+export declare const indexElements: ((html: string) => readonly SourceNode[]) & {
+    peek: (html: string) => readonly SourceNode[] | undefined;
+};
+export declare const usable: (el: SourceNode | undefined) => el is SourceNode;
+//# sourceMappingURL=source-op-index.d.ts.map

package/dist/protocol/source-op-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-index.d.ts","sourceRoot":"","sources":["../../src/protocol/source-op-index.ts"],"names":[],"mappings":"AACA,OAAO,EAAc,KAAK,OAAO,EAAE,MAAM,kBAAkB,CAAA;AAI3D,MAAM,WAAW,UAAU;IACzB,CAAC,EAAE,MAAM,CAAA;IACT,GAAG,EAAE,OAAO,CAAA;IACZ,0FAA0F;IAC1F,GAAG,EAAE,MAAM,CAAA;IACX,2FAA2F;IAC3F,QAAQ,EAAE,MAAM,CAAA;IAChB,sFAAsF;IACtF,QAAQ,EAAE,OAAO,CAAA;IACjB;mEAC+D;IAC/D,OAAO,EAAE,OAAO,CAAA;CACjB;AA6BD,eAAO,MAAM,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,UAAU,EAAE,CAAC,GAAG;IACtE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,SAAS,UAAU,EAAE,GAAG,SAAS,CAAA;CAmBzD,CAAA;AAEF,eAAO,MAAM,MAAM,OAAQ,UAAU,GAAG,SAAS,KAAG,EAAE,IAAI,UACvB,CAAA"}

package/dist/protocol/source-op-index.js

@@ -0,0 +1,53 @@
+import { lastOf } from "./source-cache.js";
+import { elementEnd } from "./source-html.js";
+import { sourceElements } from "./source-ranges.js";
+import { tags } from "./source-tags.js";
+/** Every start tag in source order with its browser-effective range. One tokenizer pass
+ *  (html-tags), explicit ranges from structural-edit, `elementEnd` only for elements the
+ *  author closed implicitly. Elements whose ranges cross (misnested markup) get end -1. */
+const indexedNodes = (all, explicit) => {
+    const closeAt = new Map(all.filter((t) => t.closing).map((t) => [t.end, t]));
+    const els = [];
+    for (const [i, tag] of all.entries()) {
+        if (tag.closing)
+            continue;
+        const known = explicit[els.length];
+        let end = known?.end ?? -1;
+        let innerEnd = known?.closeStart ?? -1;
+        const stated = end >= 0;
+        if (end < 0) {
+            end = elementEnd(all, i);
+            const close = closeAt.get(end);
+            innerEnd = close?.name === tag.name ? close.start : end;
+        }
+        els.push({ n: els.length, tag, end, innerEnd, explicit: stated, stamped: false });
+    }
+    return els;
+};
+const canStamp = (el, until) => el.tag.start >= until && el.tag.name !== "html" && el.tag.name !== "head";
+const unstampedTag = (name) => ["head", "template", "noscript"].includes(name);
+export const indexElements = lastOf(3, 32_768, (html) => {
+    const all = tags(html);
+    const explicit = sourceElements(html, all);
+    const els = indexedNodes(all, explicit);
+    const open = [];
+    const crossed = new Set();
+    let unstampedUntil = -1;
+    for (const el of els) {
+        while (open.length && open.at(-1).end <= el.tag.start)
+            open.pop();
+        const parent = open.at(-1);
+        if (parent && el.end > parent.end)
+            crossed.add(el).add(parent);
+        el.stamped = canStamp(el, unstampedUntil);
+        if (unstampedTag(el.tag.name))
+            unstampedUntil = Math.max(unstampedUntil, el.end < 0 ? html.length : el.end);
+        if (el.end >= 0 && !el.tag.selfClosing)
+            open.push(el);
+    }
+    for (const el of crossed)
+        el.end = -1;
+    return els;
+});
+export const usable = (el) => !!el && el.stamped && el.end >= 0;
+//# sourceMappingURL=source-op-index.js.map

package/dist/protocol/source-op-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-index.js","sourceRoot":"","sources":["../../src/protocol/source-op-index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,UAAU,EAAgB,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAsB,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAgBvC;;2FAE2F;AAC3F,MAAM,YAAY,GAAG,CAAC,GAAuB,EAAE,QAAyB,EAAgB,EAAE;IACxF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5E,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACrC,IAAI,GAAG,CAAC,OAAO;YAAE,SAAQ;QACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAClC,IAAI,GAAG,GAAG,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;QAC1B,IAAI,QAAQ,GAAG,KAAK,EAAE,UAAU,IAAI,CAAC,CAAC,CAAA;QACtC,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,CAAA;QACvB,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACZ,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACxB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAC9B,QAAQ,GAAG,KAAK,EAAE,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAA;QACzD,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,EAAc,EAAE,KAAa,EAAW,EAAE,CAC1D,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,MAAM,CAAA;AAE3E,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAE/F,MAAM,CAAC,MAAM,aAAa,GAEtB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,IAAY,EAAyB,EAAE;IAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;IACtB,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IAC1C,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;IACvC,MAAM,IAAI,GAAiB,EAAE,CAAA;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAA;IACrC,IAAI,cAAc,GAAG,CAAC,CAAC,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,MAAM,IAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAgB,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK;YAAE,IAAI,CAAC,GAAG,EAAE,CAAA;QACjF,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1B,IAAI,MAAM,IAAI,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAC9D,EAAE,CAAC,OAAO,GAAG,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC,CAAA;QACzC,IAAI,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3B,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;QAC9E,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACvD,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;IACrC,OAAO,GAAG,CAAA;AACZ,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,EAA0B,EAAoB,EAAE,CACrE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAA"}

package/dist/protocol/source-op-parse.d.ts

@@ -0,0 +1,11 @@
+import { EditError } from "./source-edits.js";
+import type { SourceHash, SourceOp } from "./source-op-types.js";
+/** Validate the untrusted source operation grammar before inspecting or changing source. */
+export declare const parseSourceOps: (raw: unknown) => SourceOp[];
+export declare class SourceConflictError extends EditError {
+    readonly conflicts: number[];
+    constructor(message: string, conflicts: number[]);
+}
+/** Conflicting hashes refuse the complete save. One id cannot name two different hashes. */
+export declare const staleSourceIds: (ops: SourceOp[], hash: (n: number) => Promise<SourceHash>, place: (n: number) => string) => Promise<number[]>;
+//# sourceMappingURL=source-op-parse.d.ts.map

package/dist/protocol/source-op-parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-parse.d.ts","sourceRoot":"","sources":["../../src/protocol/source-op-parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAmB,QAAQ,EAAe,MAAM,sBAAsB,CAAA;AAgH9F,4FAA4F;AAC5F,eAAO,MAAM,cAAc,QAAS,OAAO,KAAG,QAAQ,EAqBrD,CAAA;AAED,qBAAa,mBAAoB,SAAQ,SAAS;IAG9C,QAAQ,CAAC,SAAS,EAAE,MAAM,EAAE;IAF9B,YACE,OAAO,EAAE,MAAM,EACN,SAAS,EAAE,MAAM,EAAE,EAG7B;CACF;AACD,4FAA4F;AAC5F,eAAO,MAAM,cAAc,QACpB,QAAQ,EAAE,QACT,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC,SACjC,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,KAC3B,OAAO,CAAC,MAAM,EAAE,CAqBlB,CAAA"}

package/dist/protocol/source-op-parse.js

@@ -0,0 +1,138 @@
+import { EditError } from "./source-edits.js";
+const MAX_SOURCE_OPS = 500;
+const MAX_TOKENS = 50_000;
+const MAX_DEPTH = 64;
+const MAX_STYLE = 4096;
+const INLINE_TAGS = new Set(["b", "strong", "i", "em", "a", "br"]);
+const isRecord = (v) => !!v && typeof v === "object" && !Array.isArray(v);
+const isId = (v) => typeof v === "number" && Number.isSafeInteger(v) && v >= 0;
+const isHash = (v) => typeof v === "string" && /^[0-9a-f]{16}$/.test(v);
+const parseTokens = (budget, list, at, depth) => {
+    if (!Array.isArray(list))
+        throw new EditError(`${at}.children must be an array of tokens.`);
+    if (depth > MAX_DEPTH)
+        throw new EditError(`${at} nests deeper than ${MAX_DEPTH} levels.`);
+    budget.count += list.length;
+    if (budget.count > MAX_TOKENS)
+        throw new EditError(`\`ops\` carries more than ${MAX_TOKENS} tokens.`);
+    return list.map((t, i) => parseToken(budget, t, `${at}.children[${i}]`, depth));
+};
+const parseKeep = (budget, t, here, depth) => {
+    if (!isId(t["keep"]) || !isHash(t["hash"]))
+        throw new EditError(`${here} needs an integer \`keep\` and a 16-hex \`hash\`.`);
+    if (t["version"] !== undefined && (!isId(t["version"]) || t["version"] === 0))
+        throw new EditError(`${here}.version must be a positive integer.`);
+    const attrs = t["attrs"];
+    if (attrs !== undefined &&
+        !(isRecord(attrs) &&
+            Object.values(attrs).every((value) => value === null || typeof value === "string")))
+        throw new EditError(`${here}.attrs must map names to strings or null.`);
+    return {
+        keep: t["keep"],
+        hash: t["hash"],
+        ...(t["version"] === undefined ? {} : { version: t["version"] }),
+        ...(t["children"] === undefined
+            ? {}
+            : { children: parseTokens(budget, t["children"], here, depth + 1) }),
+        ...(attrs === undefined ? {} : { attrs: attrs }),
+    };
+};
+const parseFormat = (budget, t, here, depth) => {
+    const tag = t["tag"];
+    if (tag === "a") {
+        const href = typeof t["href"] === "string" ? t["href"].trim() : "";
+        if (!/^(?:https?:\/\/|mailto:)/i.test(href))
+            throw new EditError(`${here}: a link needs an http(s) or mailto href.`);
+        return { tag, href, children: parseTokens(budget, t["children"] ?? [], here, depth + 1) };
+    }
+    if (t["href"] !== undefined)
+        throw new EditError(`${here}: only a link takes an href.`);
+    if (tag === "br") {
+        if (t["children"] !== undefined)
+            throw new EditError(`${here}: br has no children.`);
+        return { tag };
+    }
+    return { tag, children: parseTokens(budget, t["children"] ?? [], here, depth + 1) };
+};
+const plainToken = (t) => !("keep" in t) && !("tag" in t);
+const parseToken = (budget, t, here, depth) => {
+    if (isRecord(t)) {
+        if (typeof t["text"] === "string" && plainToken(t))
+            return { text: t["text"] };
+        if (typeof t["comment"] === "string" && plainToken(t)) {
+            if (/-->|--!>|<!--|^-?>|<!-$/.test(t["comment"]))
+                throw new EditError(`${here}: a comment can't contain "-->", "--!>" or "<!--", start with ">" or "->", or end with "<!-".`);
+            return { comment: t["comment"] };
+        }
+        if ("keep" in t)
+            return parseKeep(budget, t, here, depth);
+        if (typeof t["tag"] === "string" && INLINE_TAGS.has(t["tag"]))
+            return parseFormat(budget, t, here, depth);
+    }
+    throw new EditError(`${here} isn't a token: use {text}, {comment}, {keep, hash, children?}, or {tag: b|strong|i|em|a|br}.`);
+};
+const validStyle = (style) => style === undefined || style === null || (typeof style === "string" && style.length <= MAX_STYLE);
+const parseAttrs = (op, at) => {
+    const { style, attrs } = op;
+    if (!validStyle(style))
+        throw new EditError(`${at}.style must be a string (≤ ${MAX_STYLE} chars) or null.`);
+    if (attrs !== undefined &&
+        !(isRecord(attrs) && Object.values(attrs).every((v) => v === null || typeof v === "string")))
+        throw new EditError(`${at}.attrs must map attribute names to strings or null.`);
+    return { op: "attrs", src: op["src"], hash: op["hash"], style, attrs };
+};
+/** Validate the untrusted source operation grammar before inspecting or changing source. */
+export const parseSourceOps = (raw) => {
+    if (!Array.isArray(raw) || raw.length === 0)
+        throw new EditError("`ops` must be a non-empty JSON array of ops.");
+    if (raw.length > MAX_SOURCE_OPS)
+        throw new EditError(`\`ops\` has ${raw.length} entries — the maximum is ${MAX_SOURCE_OPS}.`);
+    const budget = { count: 0 };
+    return raw.map((op, i) => {
+        const at = `ops[${i}]`;
+        if (!isRecord(op) || !isId(op["src"]) || !isHash(op["hash"]))
+            throw new EditError(`${at} needs an integer \`src\` and a 16-hex \`hash\`.`);
+        if (op["op"] === "content")
+            return {
+                op: "content",
+                src: op["src"],
+                hash: op["hash"],
+                children: parseTokens(budget, op["children"], at, 0),
+            };
+        if (op["op"] === "attrs")
+            return parseAttrs(op, at);
+        throw new EditError(`${at}: unknown op ${JSON.stringify(op["op"])} — use "content" or "attrs".`);
+    });
+};
+export class SourceConflictError extends EditError {
+    conflicts;
+    constructor(message, conflicts) {
+        super(message);
+        this.conflicts = conflicts;
+    }
+}
+/** Conflicting hashes refuse the complete save. One id cannot name two different hashes. */
+export const staleSourceIds = async (ops, hash, place) => {
+    const expected = new Map();
+    const expect = (n, value) => {
+        if ((expected.get(n) ?? value) !== value)
+            throw new EditError(`${place(n)} is sent with two different hashes.`);
+        expected.set(n, value);
+    };
+    const walk = (list) => {
+        for (const t of list) {
+            if ("keep" in t && t.version === undefined)
+                expect(t["keep"], t["hash"]);
+            if ("children" in t && t["children"])
+                walk(t["children"]);
+        }
+    };
+    for (const op of ops) {
+        expect(op["src"], op["hash"]);
+        if (op["op"] === "content")
+            walk(op["children"]);
+    }
+    const stale = await Promise.all([...expected].map(async ([n, want]) => ((await hash(n)) === want ? -1 : n)));
+    return stale.filter((n) => n >= 0).toSorted((a, b) => a - b);
+};
+//# sourceMappingURL=source-op-parse.js.map

package/dist/protocol/source-op-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-parse.js","sourceRoot":"","sources":["../../src/protocol/source-op-parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAG7C,MAAM,cAAc,GAAG,GAAG,CAAA;AAC1B,MAAM,UAAU,GAAG,MAAM,CAAA;AACzB,MAAM,SAAS,GAAG,EAAE,CAAA;AACpB,MAAM,SAAS,GAAG,IAAI,CAAA;AACtB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAI1E,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAgC,EAAE,CAC5D,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AACnD,MAAM,IAAI,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACpG,MAAM,MAAM,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAE7F,MAAM,WAAW,GAAG,CAClB,MAAmB,EACnB,IAAa,EACb,EAAU,EACV,KAAa,EACE,EAAE;IACjB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,uCAAuC,CAAC,CAAA;IAC3F,IAAI,KAAK,GAAG,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,sBAAsB,SAAS,UAAU,CAAC,CAAA;IAC1F,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAA;IAC3B,IAAI,MAAM,CAAC,KAAK,GAAG,UAAU;QAC3B,MAAM,IAAI,SAAS,CAAC,6BAA6B,UAAU,UAAU,CAAC,CAAA;IACxE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAe,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;AAC9F,CAAC,CAAA;AACD,MAAM,SAAS,GAAG,CAChB,MAAmB,EACnB,CAA0B,EAC1B,IAAY,EACZ,KAAa,EACA,EAAE;IACf,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,mDAAmD,CAAC,CAAA;IACjF,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3E,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,sCAAsC,CAAC,CAAA;IACpE,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAA;IACxB,IACE,KAAK,KAAK,SAAS;QACnB,CAAC,CACC,QAAQ,CAAC,KAAK,CAAC;YACf,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CACnF;QAED,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,2CAA2C,CAAC,CAAA;IACzE,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS;YAC7B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACtE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAsC,EAAE,CAAC;KAClF,CAAA;AACH,CAAC,CAAA;AACD,MAAM,WAAW,GAAG,CAClB,MAAmB,EACnB,CAA0B,EAC1B,IAAY,EACZ,KAAa,EACA,EAAE;IACf,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAoB,CAAA;IACvC,IAAI,GAAG,KAAK,GAAG,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;QAClE,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC;YACzC,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,2CAA2C,CAAC,CAAA;QACzE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAA;IAC3F,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,8BAA8B,CAAC,CAAA;IACvF,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAA;QACpF,OAAO,EAAE,GAAG,EAAE,CAAA;IAChB,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAA;AACrF,CAAC,CAAA;AACD,MAAM,UAAU,GAAG,CAAC,CAA0B,EAAW,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAA;AAC3F,MAAM,UAAU,GAAG,CAAC,MAAmB,EAAE,CAAU,EAAE,IAAY,EAAE,KAAa,EAAe,EAAE;IAC/F,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAChB,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAA;QAC9E,IAAI,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,IAAI,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC9C,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,+FAA+F,CACvG,CAAA;YACH,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAA;QAClC,CAAC;QACD,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QACzD,IAAI,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC3D,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IAC9C,CAAC;IACD,MAAM,IAAI,SAAS,CACjB,GAAG,IAAI,+FAA+F,CACvG,CAAA;AACH,CAAC,CAAA;AACD,MAAM,UAAU,GAAG,CAAC,KAAc,EAAW,EAAE,CAC7C,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,CAAA;AACnG,MAAM,UAAU,GAAG,CACjB,EAA2D,EAC3D,EAAU,EACA,EAAE;IACZ,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAA;IAC3B,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QACpB,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,8BAA8B,SAAS,kBAAkB,CAAC,CAAA;IACrF,IACE,KAAK,KAAK,SAAS;QACnB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAE5F,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,qDAAqD,CAAC,CAAA;IACjF,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,EAAc,CAAA;AACpF,CAAC,CAAA;AACD,4FAA4F;AAC5F,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAAY,EAAc,EAAE;IACzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAA;IACrE,IAAI,GAAG,CAAC,MAAM,GAAG,cAAc;QAC7B,MAAM,IAAI,SAAS,CAAC,eAAe,GAAG,CAAC,MAAM,6BAA6B,cAAc,GAAG,CAAC,CAAA;IAC9F,MAAM,MAAM,GAAgB,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IACxC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,EAAW,EAAE,CAAC,EAAY,EAAE;QAC1C,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAA;QACtB,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YAC1D,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,kDAAkD,CAAC,CAAA;QAC9E,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS;YACxB,OAAO;gBACL,EAAE,EAAE,SAAS;gBACb,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC;gBACd,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC;gBAChB,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;aACrD,CAAA;QACH,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,OAAO;YACtB,OAAO,UAAU,CAAC,EAA6D,EAAE,EAAE,CAAC,CAAA;QACtF,MAAM,IAAI,SAAS,CAAC,GAAG,EAAE,gBAAgB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,8BAA8B,CAAC,CAAA;IAClG,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,OAAO,mBAAoB,SAAQ,SAAS;IAGrC,SAAS;IAFpB,YACE,OAAe,EACN,SAAmB;QAE5B,KAAK,CAAC,OAAO,CAAC,CAAA;yBAFL,SAAS;IAGpB,CAAC;CACF;AACD,4FAA4F;AAC5F,MAAM,CAAC,MAAM,cAAc,GAAG,KAAK,EACjC,GAAe,EACf,IAAwC,EACxC,KAA4B,EACT,EAAE;IACrB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAA;IAC9C,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,KAAiB,EAAQ,EAAE;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK;YACtC,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAA;QACvE,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IACxB,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,CAAC,IAAmB,EAAQ,EAAE;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;YACxE,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC;gBAAE,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAA;QAC3D,CAAC;IACH,CAAC,CAAA;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;QAC7B,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAA;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AAC9D,CAAC,CAAA"}

package/dist/protocol/source-op-preservation.d.ts

@@ -0,0 +1,11 @@
+import type { SourceOp } from "./source-op-types.js";
+export interface SourceNodeRange {
+    src: number;
+    start: number;
+    end: number;
+    contentStart: number;
+    contentEnd: number;
+}
+/** HTML and Markdown hosts must retain versions containing removed source nodes. */
+export declare const removedSourceIn: (ops: SourceOp[], nodes: readonly SourceNodeRange[]) => boolean;
+//# sourceMappingURL=source-op-preservation.d.ts.map

package/dist/protocol/source-op-preservation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-preservation.d.ts","sourceRoot":"","sources":["../../src/protocol/source-op-preservation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,sBAAsB,CAAA;AAEjE,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;CACnB;AAuBD,oFAAoF;AACpF,eAAO,MAAM,eAAe,QAAS,QAAQ,EAAE,SAAS,SAAS,eAAe,EAAE,KAAG,OA8BpF,CAAA"}

package/dist/protocol/source-op-preservation.js

@@ -0,0 +1,47 @@
+const keptSource = (ops) => {
+    const held = new Set();
+    const whole = new Set();
+    const walk = (tokens) => {
+        for (const token of tokens) {
+            if ("keep" in token && token.version === undefined) {
+                held.add(token.keep);
+                if (!token.children)
+                    whole.add(token.keep);
+            }
+            if ("children" in token && token.children)
+                walk(token.children);
+        }
+    };
+    for (const op of ops)
+        if (op.op === "content")
+            walk(op.children);
+    return { held, whole };
+};
+const inContent = (range, node) => !!range && range.contentStart <= node.start && node.end <= range.contentEnd;
+const inOriginal = (range, node) => !!range && range.start <= node.start && node.end <= range.end;
+/** HTML and Markdown hosts must retain versions containing removed source nodes. */
+export const removedSourceIn = (ops, nodes) => {
+    const byId = new Map(nodes.map((node) => [node.src, node]));
+    const { held, whole } = keptSource(ops);
+    const targets = ops.flatMap((op) => op.op === "content" && byId.has(op.src) ? [byId.get(op.src)] : []);
+    const kept = [...whole].flatMap((src) => byId.has(src) ? [byId.get(src)] : []);
+    const ordered = nodes.toSorted((a, b) => a.start - b.start || b.end - a.end);
+    targets.sort((a, b) => a.contentStart - b.contentStart);
+    kept.sort((a, b) => a.start - b.start || b.end - a.end);
+    let targetIndex = 0;
+    let keptIndex = 0;
+    return ordered.some((node) => {
+        while (targets[targetIndex] &&
+            targets[targetIndex].contentEnd <= node.start)
+            targetIndex++;
+        while (kept[keptIndex] && kept[keptIndex].end <= node.start)
+            keptIndex++;
+        const target = targets[targetIndex];
+        const original = kept[keptIndex];
+        return (node.src !== target?.src &&
+            inContent(target, node) &&
+            !held.has(node.src) &&
+            !inOriginal(original, node));
+    });
+};
+//# sourceMappingURL=source-op-preservation.js.map

package/dist/protocol/source-op-preservation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-op-preservation.js","sourceRoot":"","sources":["../../src/protocol/source-op-preservation.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,GAAG,CAAC,GAAe,EAA6C,EAAE;IAChF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,MAAM,IAAI,GAAG,CAAC,MAAqB,EAAQ,EAAE;QAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,MAAM,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACnD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACpB,IAAI,CAAC,KAAK,CAAC,QAAQ;oBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC5C,CAAC;YACD,IAAI,UAAU,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;QACjE,CAAC;IACH,CAAC,CAAA;IACD,KAAK,MAAM,EAAE,IAAI,GAAG;QAAE,IAAI,EAAE,CAAC,EAAE,KAAK,SAAS;YAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAA;IAChE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AACxB,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,KAAkC,EAAE,IAAqB,EAAW,EAAE,CACvF,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,UAAU,CAAA;AAC7E,MAAM,UAAU,GAAG,CAAC,KAAkC,EAAE,IAAqB,EAAW,EAAE,CACxF,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAA;AAE/D,oFAAoF;AACpF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,GAAe,EAAE,KAAiC,EAAW,EAAE;IAC7F,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CACjC,EAAE,CAAC,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAoB,CAAC,CAAC,CAAC,CAAC,EAAE,CACrF,CAAA;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAoB,CAAC,CAAC,CAAC,CAAC,EAAE,CACxD,CAAA;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAA;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;IACvD,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC3B,OACE,OAAO,CAAC,WAAW,CAAC;YACnB,OAAO,CAAC,WAAW,CAAqB,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK;YAElE,WAAW,EAAE,CAAA;QACf,OAAO,IAAI,CAAC,SAAS,CAAC,IAAK,IAAI,CAAC,SAAS,CAAqB,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK;YAAE,SAAS,EAAE,CAAA;QAC7F,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAA;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAA;QAChC,OAAO,CACL,IAAI,CAAC,GAAG,KAAK,MAAM,EAAE,GAAG;YACxB,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;YACvB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YACnB,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAC5B,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}