articulated 0.1.0 → 0.3.0

package/build/commonjs/id_list.js

@@ -1,9 +1,84 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.KnownIdView = exports.IdList = void 0;
-const id_1 = require("./id");
+exports.KnownIdView = exports.IdList = exports.M = exports.InnerNodeLeaf = exports.InnerNodeInner = void 0;
+const sparse_array_rled_1 = require("sparse-array-rled");
+const leaf_map_1 = require("./internal/leaf_map");
+const seq_map_1 = require("./internal/seq_map");
 /**
- * A list of ElementIds.
+ * An inner node with inner-node children.
+ */
+class InnerNodeInner {
+    constructor(
+    /**
+     * A unique identifer for this node within its IdTree.
+     */
+    seq, children, 
+    /**
+     * We add entries for the children to this map, overwriting any existing parentSeqs.
+     *
+     * Pass null to skip when you are doing it yourself. Regardless, you need to
+     * delete any outdated entries yourself.
+     */
+    parentSeqsMut) {
+        this.seq = seq;
+        this.children = children;
+        let size = 0;
+        let knownSize = 0;
+        for (const child of children) {
+            size += child.size;
+            knownSize += child.knownSize;
+            if (parentSeqsMut) {
+                parentSeqsMut.value = parentSeqsMut.value.set(child.seq, seq);
+            }
+        }
+        this.size = size;
+        this.knownSize = knownSize;
+    }
+}
+exports.InnerNodeInner = InnerNodeInner;
+/**
+ * An inner node with leaf children.
+ */
+class InnerNodeLeaf {
+    constructor(
+    /**
+     * A unique identifer for this node within its IdTree.
+     */
+    seq, children, 
+    /**
+     * We add entries for the children to this map, overwriting any existing parentSeqs.
+     *
+     * Pass null to skip when you are doing it yourself.
+     */
+    leafMapMut) {
+        this.seq = seq;
+        this.children = children;
+        let size = 0;
+        let knownSize = 0;
+        for (const child of children) {
+            size += child.present.count();
+            knownSize += child.count;
+            if (leafMapMut) {
+                leafMapMut.value = leafMapMut.value.set(child, seq);
+            }
+        }
+        this.size = size;
+        this.knownSize = knownSize;
+    }
+}
+exports.InnerNodeLeaf = InnerNodeLeaf;
+/**
+ * The B+Tree's branching factor, i.e., the max number of children of a node.
+ *
+ * Note that our B+Tree has no keys - in particular, no keys in internal nodes.
+ *
+ * Wiki B+Tree: "B+ trees can also be used for data stored in RAM.
+ * In this case a reasonable choice for block size would be the size of [the] processor's cache line."
+ * (64 byte cache line) / (8 byte pointer) = 8.
+ */
+exports.M = 8;
+/**
+ * A list of ElementIds, as a persistent (immutable) data structure.
  *
  * An IdList helps you assign a unique immutable id to each element of a list, such
  * as a todo-list or a text document (= list of characters). That way, you can keep track
@@ -12,11 +87,14 @@ const id_1 = require("./id");
  *
  * Any id that has been inserted into an IdList remains **known** to that list indefinitely,
  * allowing you to reference it in insertAfter/insertBefore operations. Calling {@link delete}
- * merely marks an id as deleted (not present); it remains in memory as a "tombstone".
+ * merely marks an id as deleted (= not present); a deleted id does not count towards the length of the list or index-based accessors, but it does remain in memory as a "tombstone".
  * This is useful in collaborative settings, since another user might instruct you to
  * call `insertAfter(before, newId)` when you have already deleted `before` locally.
- * If that is not a concern and you truly want to make an id no longer known, instead
- * call {@link uninsert}.
+ *
+ * To enable easy and efficient rollbacks, such as in a
+ * [server reconciliation](https://mattweidner.com/2024/06/04/server-architectures.html#1-server-reconciliation)
+ * architecture, IdList is a persistent (immutable) data structure. Mutating methods
+ * return a new IdList, sharing memory with the old IdList where possible.
  *
  * See {@link ElementId} for advice on generating ElementIds. IdList is optimized for
  * the case where sequential ElementIds often have the same bunchId and sequential counters.
@@ -24,27 +102,56 @@ const id_1 = require("./id");
  * cause such ids to be separated, partially deleted, or even reordered.
  */
 class IdList {
+    /**
+     * Internal - construct an IdList using a static method (e.g. `IdList.new`).
+     */
+    constructor(root, 
+    /**
+     * A persistent sorted map from each leaf to its parent node's seq.
+     *
+     * Besides parentSeqs, we also use this to lookup leaves by ElementId.
+     */
+    leafMap, parentSeqs) {
+        this.root = root;
+        this.leafMap = leafMap;
+        this.parentSeqs = parentSeqs.set(root.seq, 0);
+    }
     /**
      * Constructs an empty list.
      *
-     * To begin with a non-empty list, use {@link IdList.from} or {@link IdList.fromIds}.
+     * To begin with a non-empty list, use {@link IdList.from}, {@link IdList.fromIds},
+     * or {@link IdList.load}.
      */
-    constructor() {
-        this.state = [];
-        this._length = 0;
+    static new() {
+        const leafMapMut = { value: leaf_map_1.LeafMap.new() };
+        const parentSeqsMut = { value: seq_map_1.SeqMap.new() };
+        return new this(new InnerNodeLeaf((0, seq_map_1.getAndBumpNextSeq)(parentSeqsMut), [], leafMapMut), leafMapMut.value, parentSeqsMut.value);
     }
     /**
      * Constructs a list with the given known ids and their isDeleted status, in list order.
      */
-    static from(state) {
-        const list = new IdList();
-        for (const { id, isDeleted } of state) {
-            // Clone to prevent aliasing.
-            list.state.push({ id, isDeleted });
-            if (!isDeleted)
-                list._length++;
+    static from(knownIds) {
+        // Convert knownIds to a saved state and load that.
+        const savedState = [];
+        for (const { id, isDeleted } of knownIds) {
+            if (savedState.length !== 0) {
+                const current = savedState.at(-1);
+                if (id.bunchId === current.bunchId &&
+                    id.counter === current.startCounter + current.count &&
+                    isDeleted === current.isDeleted) {
+                    // @ts-expect-error Mutating for convenience; no aliasing to worry about.
+                    current.count++;
+                    continue;
+                }
+            }
+            savedState.push({
+                bunchId: id.bunchId,
+                startCounter: id.counter,
+                count: 1,
+                isDeleted,
+            });
         }
-        return list;
+        return IdList.load(savedState);
     }
     /**
      * Constructs a list with the given present ids.
@@ -54,15 +161,15 @@ class IdList {
      * in future insertAfter/insertBefore operations.
      */
     static fromIds(ids) {
-        const list = new IdList();
-        for (const id of ids) {
-            list.state.push({ id, isDeleted: false });
-            list._length++;
-        }
-        return list;
+        return this.from((function* () {
+            for (const id of ids)
+                yield { id, isDeleted: false };
+        })());
     }
     /**
      * Inserts `newId` immediately after the given id (`before`), which may be deleted.
+     * A new IdList is returned and the current list remains unchanged.
+     *
      * All ids to the right of `before` are shifted one index to the right, in the manner
      * of [Array.splice](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/splice).
      *
@@ -72,28 +179,96 @@ class IdList {
      * @param count Provide this to bulk-insert `count` ids from left-to-right,
      * starting with newId and proceeding with the same bunchId and sequential counters.
      * @throws If `before` is not known.
-     * @throws If `newId` is already known.
+     * @throws If any inserted id is already known.
      */
     insertAfter(before, newId, count = 1) {
-        if (this.isKnown(newId)) {
-            throw new Error("newId is already known");
+        if (!(Number.isSafeInteger(newId.counter) && newId.counter >= 0)) {
+            throw new Error(`Invalid counter: ${newId.counter}`);
+        }
+        if (!(Number.isSafeInteger(count) && count >= 0)) {
+            throw new Error(`Invalid count: ${count}`);
+        }
+        if (this.isAnyKnown(newId, count)) {
+            throw new Error("An inserted id is already known");
         }
-        let index;
         if (before === null) {
-            // -1 so index + 1 is 0: insert at the beginning of the list.
-            index = -1;
+            if (count === 0)
+                return this;
+            if (this.root.children.length === 0) {
+                // Insert the first leaf as a child of root.
+                const present = sparse_array_rled_1.SparseIndices.new();
+                present.set(newId.counter, count);
+                const leaf = {
+                    bunchId: newId.bunchId,
+                    startCounter: newId.counter,
+                    count,
+                    present,
+                };
+                const leafMapMut = { value: this.leafMap };
+                return new IdList(new InnerNodeLeaf(this.root.seq, [leaf], leafMapMut), leafMapMut.value, this.parentSeqs);
+            }
+            else {
+                // Insert before the first known id.
+                return this.insertBefore(firstId(this.root), newId, count);
+            }
         }
-        else {
-            index = this.state.findIndex((elt) => (0, id_1.equalsId)(elt.id, before));
-            if (index === -1) {
-                throw new Error("before is not known");
+        const located = this.locate(before);
+        if (located === null) {
+            throw new Error("before is not known");
+        }
+        if (count === 0)
+            return this;
+        const leaf = located[0].node;
+        if (before.counter === leaf.startCounter + leaf.count - 1) {
+            // before is leaf's last id: we insert directly after leaf.
+            if (leaf.bunchId === newId.bunchId &&
+                leaf.startCounter + leaf.count === newId.counter) {
+                // Extending leaf forwards.
+                const present = leaf.present.clone();
+                present.set(newId.counter, count);
+                return this.replaceLeaf(located, {
+                    ...leaf,
+                    count: leaf.count + count,
+                    present,
+                });
+            }
+            else {
+                const present = sparse_array_rled_1.SparseIndices.new();
+                present.set(newId.counter, count);
+                return this.replaceLeaf(located, leaf, {
+                    bunchId: newId.bunchId,
+                    startCounter: newId.counter,
+                    count,
+                    present,
+                });
             }
         }
-        this.state.splice(index + 1, 0, ...expandElements(newId, false, count));
-        this._length += count;
+        else {
+            // before is not leaf's last id: we need to split leaf and insert there.
+            const newPresent = sparse_array_rled_1.SparseIndices.new();
+            newPresent.set(newId.counter, count);
+            const [leftPresent, rightPresent] = splitPresent(leaf.present, before.counter + 1);
+            return this.replaceLeaf(located, {
+                ...leaf,
+                count: before.counter + 1 - leaf.startCounter,
+                present: leftPresent,
+            }, {
+                bunchId: newId.bunchId,
+                startCounter: newId.counter,
+                count,
+                present: newPresent,
+            }, {
+                ...leaf,
+                startCounter: before.counter + 1,
+                count: leaf.count - (before.counter + 1 - leaf.startCounter),
+                present: rightPresent,
+            });
+        }
     }
     /**
      * Inserts `newId` immediately before the given id (`after`), which may be deleted.
+     * A new IdList is returned and the current list remains unchanged.
+     *
      * All ids to the right of `after`, plus `after` itself, are shifted one index to the right, in the manner
      * of [Array.splice](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/splice).
      *
@@ -107,75 +282,177 @@ class IdList {
      * @throws If `newId` is already known.
      */
     insertBefore(after, newId, count = 1) {
-        if (this.isKnown(newId)) {
-            throw new Error("newId is already known");
+        if (!(Number.isSafeInteger(newId.counter) && newId.counter >= 0)) {
+            throw new Error(`Invalid counter: ${newId.counter}`);
+        }
+        if (!(Number.isSafeInteger(count) && count >= 0)) {
+            throw new Error(`Invalid count: ${count}`);
+        }
+        if (this.isAnyKnown(newId, count)) {
+            throw new Error("An inserted id is already known");
         }
-        let index;
         if (after === null) {
-            index = this.state.length;
+            if (count === 0)
+                return this;
+            // Insert after the last known id, or at the beginning if empty.
+            return this.insertAfter(this.root.knownSize === 0 ? null : lastId(this.root), newId, count);
         }
-        else {
-            index = this.state.findIndex((elt) => (0, id_1.equalsId)(elt.id, after));
-            if (index === -1) {
-                throw new Error("after is not known");
+        const located = this.locate(after);
+        if (located === null) {
+            throw new Error("after is not known");
+        }
+        if (count === 0)
+            return this;
+        const leaf = located[0].node;
+        if (after.counter === leaf.startCounter) {
+            // after is leaf's first id: we insert directly before leaf.
+            if (leaf.bunchId === newId.bunchId &&
+                leaf.startCounter === newId.counter + count) {
+                // Extending leaf backwards.
+                const present = leaf.present.clone();
+                present.set(newId.counter, count);
+                return this.replaceLeaf(located, {
+                    ...leaf,
+                    startCounter: leaf.startCounter - count,
+                    count: leaf.count + count,
+                    present,
+                });
+            }
+            else {
+                const present = sparse_array_rled_1.SparseIndices.new();
+                present.set(newId.counter, count);
+                return this.replaceLeaf(located, {
+                    bunchId: newId.bunchId,
+                    startCounter: newId.counter,
+                    count,
+                    present,
+                }, leaf);
             }
         }
-        // We insert the bunch from left-to-right even though it's insertBefore.
-        this.state.splice(index, 0, ...expandElements(newId, false, count));
-        this._length += count;
-    }
-    /**
-     * Un-inserts `id` from the list, making it no longer known or present in this list.
-     *
-     * Typically, you instead want to call {@link delete}, which marks `id` as deleted while
-     * it remains known. That way, you can reference `id` in future insertAfter/insertBefore
-     * operations, including ones sent concurrently by other devices.
-     *
-     * If `id` is already not known, this method does nothing.
-     */
-    uninsert(id) {
-        const index = this.state.findIndex((elt) => (0, id_1.equalsId)(elt.id, id));
-        if (index !== -1) {
-            this.state.splice(index, 1);
-            this._length--;
+        else {
+            // after is not leaf's first id: we need to split leaf and insert there.
+            const present = sparse_array_rled_1.SparseIndices.new();
+            present.set(newId.counter, count);
+            const [leftPresent, rightPresent] = splitPresent(leaf.present, after.counter);
+            return this.replaceLeaf(located, {
+                ...leaf,
+                count: after.counter - leaf.startCounter,
+                present: leftPresent,
+            }, {
+                bunchId: newId.bunchId,
+                startCounter: newId.counter,
+                count,
+                present,
+            }, {
+                ...leaf,
+                startCounter: after.counter,
+                count: leaf.count - (after.counter - leaf.startCounter),
+                present: rightPresent,
+            });
         }
     }
     /**
-     * Marks `id` as deleted from this list. The id remains known (a "tombstone").
+     * Marks `id` as deleted from this list.
+     * A new IdList is returned and the current list remains unchanged.
      *
+     * Once deleted, `id` does not count towards the length of the list or index-based accessors.
+     * However, it remains known (a "tombstone").
      * Because `id` is still known, you can reference it in future insertAfter/insertBefore
      * operations, including ones sent concurrently by other devices.
-     * However, it does occupy space in memory (compressed in common cases).
+     * This does have a memory cost, but it is compressed in common cases.
      *
-     * For an exact inverse to `insertAfter(-, id)` or `insertBefore(-, id)`
-     * that makes `id` no longer known, see {@link uninsert}.
-     *
-     * If `id` is already deleted or not known, this method does nothing.
+     * If `id` is already deleted or is not known, this method does nothing.
      */
     delete(id) {
-        const elt = this.state.find((elt) => (0, id_1.equalsId)(elt.id, id));
-        if (elt !== undefined && !elt.isDeleted) {
-            elt.isDeleted = true;
-            this._length--;
-        }
+        const located = this.locate(id);
+        if (located === null)
+            return this;
+        const leaf = located[0].node;
+        if (!leaf.present.has(id.counter))
+            return this;
+        const newPresent = leaf.present.clone();
+        newPresent.delete(id.counter);
+        return this.replaceLeaf(located, { ...leaf, present: newPresent });
     }
     /**
      * Un-marks `id` as deleted from this list, making it present again.
-     * This is an exact inverse to {@link delete}.
+     * A new IdList is returned and the current list remains unchanged.
+     *
+     * This method is an exact inverse to {@link delete}.
      *
      * If `id` is already present, this method does nothing.
      *
      * @throws If `id` is not known.
      */
     undelete(id) {
-        const elt = this.state.find((elt) => (0, id_1.equalsId)(elt.id, id));
-        if (elt === undefined) {
+        const located = this.locate(id);
+        if (located === null) {
             throw new Error("id is not known");
         }
-        if (elt.isDeleted) {
-            elt.isDeleted = false;
-            this._length++;
+        const leaf = located[0].node;
+        if (leaf.present.has(id.counter))
+            return this;
+        const newPresent = leaf.present.clone();
+        newPresent.set(id.counter);
+        return this.replaceLeaf(located, { ...leaf, present: newPresent });
+    }
+    /**
+     * Returns the path from id's leaf node to the root, or null if id is not found.
+     *
+     * The path contains each node and its index in its parent's node, starting with id's
+     * LeafNode and ending at a child of the root.
+     */
+    locate(id) {
+        // Find the leaf containing id, if any.
+        const [leaf, parentSeq] = this.leafMap.getLeaf(id.bunchId, id.counter);
+        if (leaf === undefined)
+            return null;
+        if (!(leaf.bunchId === id.bunchId &&
+            leaf.startCounter <= id.counter &&
+            id.counter < leaf.startCounter + leaf.count)) {
+            return null;
+        }
+        // Find the seqs on the path (leaf, root].
+        const innerSeqs = [];
+        let curSeq = parentSeq;
+        while (curSeq !== 0) {
+            innerSeqs.push(curSeq);
+            curSeq = this.parentSeqs.get(curSeq);
         }
+        // Find the nodes and indexInParent's on the path (root, leaf),
+        // using seqs to find the appropriate child of each node.
+        const innerNodes = [];
+        let curParent = this.root;
+        // Start at the root child's seq and proceed to the leaf parent's seq.
+        for (let i = innerSeqs.length - 2; i >= 0; i--) {
+            const children = curParent.children;
+            const childIndex = children.findIndex((child) => child.seq === innerSeqs[i]);
+            if (childIndex === -1)
+                throw new Error("Internal error");
+            const child = children[childIndex];
+            innerNodes.push({ node: child, indexInParent: childIndex });
+            curParent = child;
+        }
+        // Now curParent is the leaf's parent. Find leaf in its children and return.
+        const leafChildIndex = curParent.children.indexOf(leaf);
+        if (leafChildIndex === -1)
+            throw new Error("Internal error");
+        return [
+            { node: leaf, indexInParent: leafChildIndex },
+            ...innerNodes.reverse(),
+        ];
+    }
+    /**
+     * Replaces the leaf at the given path with newLeaves.
+     * Returns a proper (sufficiently balanced) B+Tree with updated sizes.
+     *
+     * newLeaves.length must be in [1, M].
+     */
+    replaceLeaf(located, ...newLeaves) {
+        const leafMapMut = { value: this.leafMap };
+        const parentSeqsMut = { value: this.parentSeqs };
+        const newRoot = replaceNode(located, this.root, leafMapMut, parentSeqsMut, newLeaves, 0);
+        return new IdList(newRoot, leafMapMut.value, parentSeqsMut.value);
     }
     // Accessors
     /**
@@ -186,10 +463,12 @@ class IdList {
      * Compare to {@link isKnown}.
      */
     has(id) {
-        const elt = this.state.find((elt) => (0, id_1.equalsId)(elt.id, id));
-        if (elt === undefined)
-            return false;
-        return !elt.isDeleted;
+        // Find the LeafNode that would contain id if known.
+        const [leaf] = this.leafMap.getLeaf(id.bunchId, id.counter);
+        if (leaf && leaf.bunchId === id.bunchId) {
+            return leaf.present.has(id.counter);
+        }
+        return false;
     }
     /**
      * Returns whether id is known to this list.
@@ -197,7 +476,42 @@ class IdList {
      * Compare to {@link has}.
      */
     isKnown(id) {
-        return this.state.some((elt) => (0, id_1.equalsId)(elt.id, id));
+        // Find the LeafNode that would contain id if known.
+        const [leaf] = this.leafMap.getLeaf(id.bunchId, id.counter);
+        if (leaf && leaf.bunchId === id.bunchId) {
+            return (leaf.startCounter <= id.counter &&
+                id.counter < leaf.startCounter + leaf.count);
+        }
+        return false;
+    }
+    // TODO: Make public?
+    /**
+     * Returns true if any of the given bulk ids are known.
+     */
+    isAnyKnown(id, count) {
+        if (count === 0)
+            return false;
+        // Find the leaf containing the last id, or the previous leaf.
+        // If any leaf knows any of the ids, this leaf must know an id too.
+        const [leaf] = this.leafMap.getLeaf(id.bunchId, id.counter + count - 1);
+        if (leaf && leaf.bunchId === id.bunchId) {
+            // Test if there is any overlap between the leaf's counter range [a, b]
+            // and the bulk ids' counter range [c, d].
+            const a = leaf.startCounter;
+            const b = leaf.startCounter + leaf.count - 1;
+            const c = id.counter;
+            const d = id.counter + count - 1;
+            return a <= d && c <= b;
+        }
+        return false;
+    }
+    /**
+     * The length of the list, counting only present ids.
+     *
+     * To include known but deleted ids, use `this.knownIds.length`.
+     */
+    get length() {
+        return this.root.size;
     }
     /**
      * Returns the id at the given index in the list.
@@ -209,14 +523,38 @@ class IdList {
             throw new Error(`Index out of bounds: ${index} (length: ${this.length}`);
         }
         let remaining = index;
-        for (const elt of this.state) {
-            if (!elt.isDeleted) {
-                if (remaining === 0)
-                    return elt.id;
-                remaining--;
+        let curParent = this.root;
+        // eslint-disable-next-line no-constant-condition
+        recurse: while (true) {
+            if (curParent instanceof InnerNodeInner) {
+                for (const child of curParent.children) {
+                    if (remaining < child.size) {
+                        // Recurse.
+                        curParent = child;
+                        continue recurse;
+                    }
+                    else {
+                        remaining -= child.size;
+                    }
+                }
             }
+            else {
+                for (const child of curParent.children) {
+                    const childSize = child.present.count();
+                    if (remaining < childSize) {
+                        // Found it.
+                        return {
+                            bunchId: child.bunchId,
+                            counter: child.present.indexOfCount(remaining),
+                        };
+                    }
+                    else {
+                        remaining -= childSize;
+                    }
+                }
+            }
+            throw new Error("Internal error");
         }
-        throw new Error("Internal error");
     }
     /**
      * Returns the index of `id` in the list.
@@ -230,47 +568,48 @@ class IdList {
      * @throws If `id` is not known.
      */
     indexOf(id, bias = "none") {
+        const located = this.locate(id);
+        if (located === null)
+            throw new Error("id is not known");
         /**
          * The number of present ids less than id.
          * Equivalently, the index id would have if present.
          */
         let index = 0;
-        for (const elt of this.state) {
-            if ((0, id_1.equalsId)(elt.id, id)) {
-                // Found it.
-                if (elt.isDeleted) {
-                    switch (bias) {
-                        case "none":
-                            return -1;
-                        case "left":
-                            return index - 1;
-                        case "right":
-                            return index;
-                    }
-                }
-                else
+        // Lesser siblings of parent, grandparent, etc.
+        for (let i = 1; i < located.length; i++) {
+            const parent = (i === located.length - 1 ? this.root : located[i + 1].node);
+            for (let c = 0; c < located[i].indexInParent; c++) {
+                index += parent.children[c].size;
+            }
+        }
+        // Siblings of id's leaf.
+        const leafParent = (located.length === 1 ? this.root : located[1].node);
+        for (let c = 0; c < located[0].indexInParent; c++) {
+            index += leafParent.children[c].present.count();
+        }
+        // id's index within leaf.
+        const [count, has] = located[0].node.present._countHas(id.counter);
+        index += count;
+        if (has)
+            return index;
+        else {
+            switch (bias) {
+                case "none":
+                    return -1;
+                case "left":
+                    return index - 1;
+                case "right":
                     return index;
             }
-            if (!elt.isDeleted)
-                index++;
         }
-        throw new Error("id is not known");
-    }
-    /**
-     * The length of the list.
-     */
-    get length() {
-        return this._length;
     }
     // Iterators and views
     /**
      * Iterates over all present ids in the list.
      */
-    *[Symbol.iterator]() {
-        for (const elt of this.state) {
-            if (!elt.isDeleted)
-                yield elt.id;
-        }
+    [Symbol.iterator]() {
+        return iterateNode(this.root, false);
     }
     /**
      * Iterates over all present ids in the list.
@@ -281,22 +620,16 @@ class IdList {
     /**
      * Iterates over all __known__ ids in the list, indicating which are deleted.
      */
-    valuesWithDeleted() {
-        return this.state.values();
-    }
-    /**
-     * Returns an independent copy of this list, including known but deleted ids.
-     */
-    clone() {
-        return IdList.from(this.state);
+    valuesWithIsDeleted() {
+        return iterateNodeWithIsDeleted(this.root);
     }
     /**
-     * A live-updating view of this list that treats all known ids as present.
-     * That is, it ignores isDeleted status when computing list indices or iterating.
+     * A view of this list that treats all known ids as present.
+     * That is, it ignores is-deleted status when computing list indices or iterating.
      */
     get knownIds() {
         if (this._knownIds === undefined) {
-            this._knownIds = new KnownIdView(this, this.state);
+            this._knownIds = new KnownIdView(this, this.root);
         }
         return this._knownIds;
     }
@@ -308,61 +641,87 @@ class IdList {
      * See {@link SavedIdList} for a description of the save format.
      */
     save() {
-        const ans = [];
-        for (const { id, isDeleted } of this.state) {
-            if (ans.length !== 0) {
-                const current = ans[ans.length - 1];
-                if (id.bunchId === current.bunchId &&
-                    id.counter === current.startCounter + current.count &&
-                    isDeleted === current.isDeleted) {
-                    current.count++;
-                    continue;
-                }
-            }
-            ans.push({
-                bunchId: id.bunchId,
-                startCounter: id.counter,
-                count: 1,
-                isDeleted,
-            });
-        }
-        return ans;
+        const acc = [];
+        saveNode(this.root, acc);
+        return acc;
     }
     /**
-     * Loads a saved state returned by {@link save}, __overwriting__ the current state of this list.
+     * Loads a saved state returned by {@link save}.
      */
-    load(savedState) {
-        this.state.length = 0;
-        this._length = 0;
-        for (const { bunchId, startCounter, count, isDeleted } of savedState) {
-            if (!(Number.isSafeInteger(count) && count >= 0)) {
-                throw new Error(`Invalid length: ${count}`);
+    static load(savedState) {
+        // 1. Determine the leaves in list order.
+        const leaves = [];
+        for (let i = 0; i < savedState.length; i++) {
+            const item = savedState[i];
+            if (!(Number.isSafeInteger(item.count) && item.count >= 0)) {
+                throw new Error(`Invalid count: ${item.count}`);
             }
-            for (let i = 0; i < count; i++) {
-                this.state.push({
-                    id: { bunchId, counter: startCounter + i },
-                    isDeleted,
-                });
+            if (!(Number.isSafeInteger(item.startCounter) && item.startCounter >= 0)) {
+                throw new Error(`Invalid startCounter: ${item.startCounter}`);
+            }
+            if (item.count === 0)
+                continue;
+            if (leaves.length !== 0) {
+                const lastLeaf = leaves.at(-1);
+                if (item.bunchId === lastLeaf.bunchId &&
+                    item.startCounter === lastLeaf.startCounter + lastLeaf.count) {
+                    // Extend lastLeaf.
+                    // Okay to mutate in-place since we haven't referenced it anywhere else yet.
+                    // @ts-expect-error Mutate in place
+                    lastLeaf.count += item.count;
+                    if (!item.isDeleted) {
+                        lastLeaf.present.set(item.startCounter, item.count);
+                    }
+                    continue;
+                }
             }
-            if (!isDeleted)
-                this._length += count;
+            // If we get to here, we need a new leaf.
+            const present = sparse_array_rled_1.SparseIndices.new();
+            if (!item.isDeleted)
+                present.set(item.startCounter, item.count);
+            leaves.push({
+                bunchId: item.bunchId,
+                startCounter: item.startCounter,
+                count: item.count,
+                present,
+            });
         }
+        // 2. Create a B+Tree with the given leaves.
+        // We do a "direct" balanced construction that takes O(L) time, instead of inserting
+        // leaves one-by-one, which would take O(L log(L)) time.
+        // However, constructing the sorted leafMap brings the overall runtime to O(L log(L)).
+        if (leaves.length === 0)
+            return IdList.new();
+        // TODO: Test the aux data structures after loading.
+        // E.g. reload and then call checkAll again.
+        // Also should do insertions to test splitting of the full tree.
+        const leafMapMut = { value: leaf_map_1.LeafMap.new() };
+        const parentSeqsMut = { value: seq_map_1.SeqMap.new() };
+        // Depth of the B+Tree (number of non-root nodes on any path from a leaf to the root).
+        // A full B+Tree of depth d has between [M^{d-1} + 1, M^d] leaves.
+        const depth = leaves.length === 1
+            ? 1
+            : Math.ceil(Math.log(leaves.length) / Math.log(exports.M));
+        const root = buildTree(leaves, leafMapMut, parentSeqsMut, 0, depth);
+        return new IdList(root, leafMapMut.value, parentSeqsMut.value);
     }
 }
 exports.IdList = IdList;
 /**
- * A live-updating view of an IdList that treats all known ids as present.
- * That is, this class ignores the underlying list's isDeleted status when computing list indices.
+ * A view of an IdList that treats all known ids as present.
+ * That is, this class ignores the underlying list's is-deleted status when computing list indices.
+ * Access using {@link IdList.knownIds}.
  *
- * To mutate, call methods on the original IdList (`this.list`).
+ * Like IdList, KnownIdView is immutable. To mutate, use a mutating method on the original IdList
+ * and access the returned list's `knownIds`.
  */
 class KnownIdView {
     /**
      * Internal use only. Use {@link IdList.knownIds} instead.
      */
-    constructor(list, state) {
+    constructor(list, root) {
         this.list = list;
-        this.state = state;
+        this.root = root;
     }
     // Mutators are omitted - mutate this.list instead.
     // Accessors
@@ -377,13 +736,67 @@ class KnownIdView {
         if (!(Number.isSafeInteger(index) && 0 <= index && index < this.length)) {
             throw new Error(`Index out of bounds: ${index} (length: ${this.length}`);
         }
-        return this.state[index].id;
+        let remaining = index;
+        let curParent = this.root;
+        // eslint-disable-next-line no-constant-condition
+        recurse: while (true) {
+            if (curParent instanceof InnerNodeInner) {
+                for (const child of curParent.children) {
+                    if (remaining < child.knownSize) {
+                        // Recurse.
+                        curParent = child;
+                        continue recurse;
+                    }
+                    else {
+                        remaining -= child.knownSize;
+                    }
+                }
+            }
+            else {
+                for (const child of curParent.children) {
+                    if (remaining < child.count) {
+                        // Found it.
+                        return {
+                            bunchId: child.bunchId,
+                            counter: child.startCounter + remaining,
+                        };
+                    }
+                    else {
+                        remaining -= child.count;
+                    }
+                }
+            }
+            throw new Error("Internal error");
+        }
     }
     /**
      * Returns the index of `id` in this view, or -1 if it is not known.
      */
     indexOf(id) {
-        return this.state.findIndex((elt) => (0, id_1.equalsId)(elt.id, id));
+        // @ts-expect-error Ignore private
+        const located = this.list.locate(id);
+        if (located === null)
+            throw new Error("id is not known");
+        /**
+         * The number of present ids less than id.
+         * Equivalently, the index id would have if present.
+         */
+        let index = 0;
+        // Lesser siblings of parent, grandparent, etc.
+        for (let i = 1; i < located.length; i++) {
+            const parent = (i === located.length - 1 ? this.root : located[i + 1].node);
+            for (let c = 0; c < located[i].indexInParent; c++) {
+                index += parent.children[c].knownSize;
+            }
+        }
+        // Siblings of id's leaf.
+        const leafParent = (located.length === 1 ? this.root : located[1].node);
+        for (let c = 0; c < located[0].indexInParent; c++) {
+            const child = leafParent.children[c];
+            index += child.count;
+        }
+        // id's index with leaf.
+        return index + (id.counter - located[0].node.startCounter);
     }
     /**
      * The length of this view.
@@ -391,16 +804,14 @@ class KnownIdView {
      * Equivalently, the number of known ids in `this.list`.
      */
     get length() {
-        return this.state.length;
+        return this.root.knownSize;
     }
     // Iterators
     /**
      * Iterates over all ids in this view, i.e., all known ids in `this.list`.
      */
-    *[Symbol.iterator]() {
-        for (const elt of this.state) {
-            yield elt.id;
-        }
+    [Symbol.iterator]() {
+        return iterateNode(this.root, true);
     }
     /**
      * Iterates over all ids in this view, i.e., all known ids in `this.list`.
@@ -410,17 +821,265 @@ class KnownIdView {
     }
 }
 exports.KnownIdView = KnownIdView;
-function expandElements(startId, isDeleted, count) {
-    if (!(Number.isSafeInteger(count) && count >= 0)) {
-        throw new Error(`Invalid count: ${count}`);
-    }
-    const ans = [];
-    for (let i = 0; i < count; i++) {
-        ans.push({
-            id: { bunchId: startId.bunchId, counter: startId.counter + i },
-            isDeleted,
-        });
-    }
-    return ans;
+/**
+ * Returns the first (leftmost) known ElementId in node's subtree.
+ */
+function firstId(node) {
+    let currentInner = node;
+    while (!(currentInner instanceof InnerNodeLeaf)) {
+        currentInner = currentInner.children[0];
+    }
+    const firstLeaf = currentInner.children[0];
+    return {
+        bunchId: firstLeaf.bunchId,
+        counter: firstLeaf.startCounter,
+    };
+}
+/**
+ * Returns the last (rightmost) known ElementId in node's subtree.
+ */
+function lastId(node) {
+    let currentInner = node;
+    while (!(currentInner instanceof InnerNodeLeaf)) {
+        currentInner = currentInner.children.at(-1);
+    }
+    const lastLeaf = currentInner.children.at(-1);
+    return {
+        bunchId: lastLeaf.bunchId,
+        counter: lastLeaf.startCounter + lastLeaf.count - 1,
+    };
+}
+/**
+ * Replace located[i].node with newNodes.
+ *
+ * newNodes.length must be in [1, M].
+ *
+ * The returned node's descendants are recorded in leafMapMut and parentSeqsMut,
+ * but the node itself is not (since we don't know its parent here).
+ */
+function replaceNode(located, root, leafMapMut, parentSeqsMut, newNodes, i) {
+    const parent = i === located.length - 1 ? root : located[i + 1].node;
+    const indexInParent = located[i].indexInParent;
+    // Copy-on-write version of parent.children.splice(indexInParent, 1, ...newNodes)
+    const newChildren = parent.children
+        .slice(0, indexInParent)
+        .concat(newNodes, parent.children.slice(indexInParent + 1));
+    if (newChildren.length > exports.M) {
+        // Split the parent to maintain BTree property (# children <= M).
+        // Treat the right parent as "new", getting a new seq.
+        const split = Math.ceil(newChildren.length / 2);
+        const seqs = [parent.seq, (0, seq_map_1.getAndBumpNextSeq)(parentSeqsMut)];
+        const newParents = [
+            newChildren.slice(0, split),
+            newChildren.slice(split),
+        ].map((children, j) => i === 0
+            ? new InnerNodeLeaf(seqs[j], children, leafMapMut)
+            : new InnerNodeInner(seqs[j], children, parentSeqsMut));
+        if (i === located.length - 1) {
+            // newParents replace root. We need a new root to hold them.
+            return new InnerNodeInner((0, seq_map_1.getAndBumpNextSeq)(parentSeqsMut), newParents, parentSeqsMut);
+        }
+        else {
+            return replaceNode(located, root, leafMapMut, parentSeqsMut, newParents, i + 1);
+        }
+    }
+    else {
+        // "Replace" parent, reusing its seq.
+        // To avoid doing newChildren.length sets every time (which makes replaceLeaf
+        // do >=(M/2)*log(L) total sets, even when none were necessary),
+        // we bypass the InnerNode constructors' leafMap/parentSeq operations,
+        // instead doing them ourselves only on the changed children.
+        let newParent;
+        if (i === 0) {
+            newParent = new InnerNodeLeaf(parent.seq, newChildren, null);
+            // Important to delete the replaced leaf's entry, so that it doesn't corrupt by-ElementId searches.
+            leafMapMut.value = leafMapMut.value.delete(located[0].node);
+            for (const newNode of newNodes) {
+                leafMapMut.value = leafMapMut.value.set(newNode, parent.seq);
+            }
+        }
+        else {
+            newParent = new InnerNodeInner(parent.seq, newChildren, null);
+            for (const newNode of newNodes) {
+                if (newNode.seq !== located[i].node.seq) {
+                    parentSeqsMut.value = parentSeqsMut.value.set(newNode.seq, parent.seq);
+                }
+            }
+            // If the replaced node isn't represented in newNodes (i.e., same seq is not reused),
+            // we could delete its entry to save memory, but it is not necessary.
+        }
+        if (i === located.length - 1) {
+            // Replaces root.
+            return newParent;
+        }
+        else {
+            return replaceNode(located, root, leafMapMut, parentSeqsMut, [newParent], i + 1);
+        }
+    }
+}
+/**
+ * Splits present into two SparseIndices at the given counter.
+ */
+function splitPresent(present, splitCounter) {
+    const leftPresent = sparse_array_rled_1.SparseIndices.new();
+    const rightPresent = sparse_array_rled_1.SparseIndices.new();
+    const leafSlicer = present.newSlicer();
+    for (const [index, count] of leafSlicer.nextSlice(splitCounter)) {
+        leftPresent.set(index, count);
+    }
+    for (const [index, count] of leafSlicer.nextSlice(null)) {
+        rightPresent.set(index, count);
+    }
+    return [leftPresent, rightPresent];
+}
+function* iterateNode(node, includeDeleted) {
+    if (node instanceof InnerNodeInner) {
+        for (const child of node.children) {
+            yield* iterateNode(child, includeDeleted);
+        }
+    }
+    else {
+        for (const child of node.children) {
+            if (includeDeleted) {
+                for (let i = 0; i < child.count; i++) {
+                    yield { bunchId: child.bunchId, counter: child.startCounter + i };
+                }
+            }
+            else {
+                for (const counter of child.present.keys()) {
+                    yield { bunchId: child.bunchId, counter };
+                }
+            }
+        }
+    }
+}
+function* iterateNodeWithIsDeleted(node) {
+    if (node instanceof InnerNodeInner) {
+        for (const child of node.children) {
+            yield* iterateNodeWithIsDeleted(child);
+        }
+    }
+    else {
+        for (const child of node.children) {
+            let nextIndex = child.startCounter;
+            for (const index of child.present.keys()) {
+                while (nextIndex < index) {
+                    yield {
+                        id: { bunchId: child.bunchId, counter: nextIndex },
+                        isDeleted: true,
+                    };
+                    nextIndex++;
+                }
+                yield {
+                    id: { bunchId: child.bunchId, counter: index },
+                    isDeleted: false,
+                };
+                nextIndex++;
+            }
+            while (nextIndex < child.startCounter + child.count) {
+                yield {
+                    id: { bunchId: child.bunchId, counter: nextIndex },
+                    isDeleted: true,
+                };
+                nextIndex++;
+            }
+        }
+    }
+}
+/**
+ * Updates acc to account for node's subtree, as part of a depth-first search
+ * in list order.
+ */
+function saveNode(node, acc) {
+    if (node instanceof InnerNodeInner) {
+        for (const child of node.children) {
+            saveNode(child, acc);
+        }
+    }
+    else {
+        for (const child of node.children) {
+            let nextIndex = child.startCounter;
+            for (const [index, count] of child.present.items()) {
+                if (nextIndex < index) {
+                    // Need a deleted item.
+                    pushSaveItem(acc, {
+                        bunchId: child.bunchId,
+                        startCounter: nextIndex,
+                        count: index - nextIndex,
+                        isDeleted: true,
+                    });
+                }
+                pushSaveItem(acc, {
+                    bunchId: child.bunchId,
+                    startCounter: index,
+                    count,
+                    isDeleted: false,
+                });
+                nextIndex = index + count;
+            }
+            if (nextIndex < child.startCounter + child.count) {
+                pushSaveItem(acc, {
+                    bunchId: child.bunchId,
+                    startCounter: nextIndex,
+                    count: child.startCounter + child.count - nextIndex,
+                    isDeleted: true,
+                });
+            }
+        }
+    }
+}
+/**
+ * Pushes a save item onto acc, combing it with the previous item if possible.
+ *
+ * This function is necessary because we don't guarantee that adjacent leaves are fully merged.
+ * Specifically, if you insert a bunch's ids with counter values (0, 2, 1)
+ * in that order, then counter 1 will extend one of the existing leaves
+ * but not merge with the other leaf.
+ *
+ * This situation won't appear in typical usage, and its perf penalty
+ * will go away once you reload. Thus we tolerate it instead of figuring out
+ * how to delete leaves from a B+Tree.
+ */
+function pushSaveItem(acc, item) {
+    if (acc.length > 0) {
+        const previous = acc.at(-1);
+        if (previous.isDeleted === item.isDeleted &&
+            previous.bunchId === item.bunchId &&
+            previous.startCounter + previous.count === item.startCounter) {
+            // Combine items.
+            // @ts-expect-error Mutating for convenience; no aliasing to worry about.
+            previous.count += item.count;
+            return;
+        }
+    }
+    acc.push(item);
+}
+/**
+ * Builds a tree with the given leaves. Used by IdList.load.
+ *
+ * The returned node's descendants are recorded in leafMapMut and parentSeqsMut,
+ * but not the node itself (since we don't know its parent here).
+ *
+ * In contrast to inserting the leaves one-by-one, this function fills nodes
+ * with M children whenever possible,
+ * and the B+Tree parts run in O(L) time instead of O(L log(L)).
+ * However, the overall runtime is O(L log(L)) from constructing the sorted leafMap.
+ */
+function buildTree(leaves, leafMapMut, parentSeqsMut, startIndex, depthRemaining) {
+    const parentSeq = (0, seq_map_1.getAndBumpNextSeq)(parentSeqsMut);
+    if (depthRemaining === 1) {
+        return new InnerNodeLeaf(parentSeq, leaves.slice(startIndex, startIndex + exports.M), leafMapMut);
+    }
+    else {
+        const children = [];
+        const childLeafCount = Math.pow(exports.M, depthRemaining - 1);
+        for (let i = 0; i < exports.M; i++) {
+            const childStartIndex = startIndex + i * childLeafCount;
+            if (childStartIndex >= leaves.length)
+                break;
+            children.push(buildTree(leaves, leafMapMut, parentSeqsMut, childStartIndex, depthRemaining - 1));
+        }
+        return new InnerNodeInner(parentSeq, children, parentSeqsMut);
+    }
 }
 //# sourceMappingURL=id_list.js.map