@liveblocks/core 3.20.0-exp7 → 3.20.0-exp8

package/dist/index.js

@@ -6,7 +6,7 @@ var __export = (target, all) => {
 
 // src/version.ts
 var PKG_NAME = "@liveblocks/core";
-var PKG_VERSION = "3.20.0-exp7";
+var PKG_VERSION = "3.20.0-exp8";
 var PKG_FORMAT = "esm";
 
 // src/dupe-detection.ts
@@ -5519,7 +5519,7 @@ function isIgnoredOp(op) {
   return op.type === OpCode.DELETE_CRDT && op.id === "ACK";
 }
 function isCreateOp(op) {
-  return op.type === OpCode.CREATE_OBJECT || op.type === OpCode.CREATE_REGISTER || op.type === OpCode.CREATE_MAP || op.type === OpCode.CREATE_LIST;
+  return op.type === OpCode.CREATE_OBJECT || op.type === OpCode.CREATE_REGISTER || op.type === OpCode.CREATE_MAP || op.type === OpCode.CREATE_LIST || op.type === OpCode.CREATE_TEXT;
 }
 
 // src/protocol/StorageNode.ts
@@ -5814,6 +5814,10 @@ ${parentKey}`;
   get size() {
     return this.#byOpId.size;
   }
+  /** The still-unacknowledged op with the given opId, if any. */
+  get(opId) {
+    return this.#byOpId.get(opId);
+  }
   /**
    * Mark the given Op as still unacknowledged.
    */
@@ -5914,8 +5918,8 @@ function createManagedPool(roomId, options) {
     deleteNode: (id) => void nodes.delete(id),
     generateId: () => `${getCurrentConnectionId()}:${clock++}`,
     generateOpId: () => `${getCurrentConnectionId()}:${opClock++}`,
-    dispatch(ops, reverse, storageUpdates) {
-      onDispatch?.(ops, reverse, storageUpdates);
+    dispatch(ops, reverse, storageUpdates, options2) {
+      onDispatch?.(ops, reverse, storageUpdates, options2);
     },
     assertStorageIsWritable: () => {
       if (!isStorageWritable()) {
@@ -8674,43 +8678,171 @@ function formatReverseOperations(segments, index, length, patch) {
   }
   return result;
 }
-function mapIndexThroughOperation(index, op) {
-  if (op.type === "insert") {
-    return op.index <= index ? index + op.text.length : index;
-  } else if (op.type === "delete") {
-    if (op.index >= index) {
-      return index;
-    }
-    return Math.max(op.index, index - op.length);
-  } else {
+function oppositeOrder(order) {
+  return order === "before" ? "after" : "before";
+}
+function mapIndexOverDelete(index, deleteIndex, deleteLength) {
+  if (deleteIndex >= index) {
     return index;
   }
+  return Math.max(deleteIndex, index - deleteLength);
 }
-function mapTextIndexThroughOperations(index, ops) {
-  let mapped = index;
-  for (const op of ops) {
-    mapped = mapIndexThroughOperation(mapped, op);
+function transformInsert(op, over, order) {
+  if (over.type === "insert") {
+    const shifts = over.index < op.index || over.index === op.index && order === "after";
+    return [shifts ? { ...op, index: op.index + over.text.length } : { ...op }];
+  } else if (over.type === "delete") {
+    return [
+      { ...op, index: mapIndexOverDelete(op.index, over.index, over.length) }
+    ];
+  } else {
+    return [{ ...op }];
   }
-  return mapped;
 }
-function rebaseTextOperations(ops, acceptedOps) {
-  return ops.map((op) => {
-    if (op.type === "insert") {
-      return {
-        ...op,
-        index: mapTextIndexThroughOperations(op.index, acceptedOps)
-      };
-    } else if (op.type === "delete" || op.type === "format") {
-      const start = mapTextIndexThroughOperations(op.index, acceptedOps);
-      const end = mapTextIndexThroughOperations(
-        op.index + op.length,
-        acceptedOps
-      );
-      return { ...op, index: start, length: Math.max(0, end - start) };
-    } else {
-      return op;
+function transformDelete(op, over) {
+  const start = op.index;
+  const end = op.index + op.length;
+  if (over.type === "insert") {
+    const at = over.index;
+    const len = over.text.length;
+    if (at <= start) {
+      return [{ ...op, index: start + len }];
     }
-  });
+    if (at >= end) {
+      return [{ ...op }];
+    }
+    return [
+      { type: "delete", index: start, length: at - start },
+      { type: "delete", index: start + len, length: end - at }
+    ];
+  } else if (over.type === "delete") {
+    const newStart = mapIndexOverDelete(start, over.index, over.length);
+    const newEnd = mapIndexOverDelete(end, over.index, over.length);
+    return newEnd - newStart > 0 ? [{ type: "delete", index: newStart, length: newEnd - newStart }] : [];
+  } else {
+    return [{ ...op }];
+  }
+}
+function transformFormat(op, over, order) {
+  const start = op.index;
+  const end = op.index + op.length;
+  if (over.type === "insert") {
+    const at = over.index;
+    const len = over.text.length;
+    if (at <= start) {
+      return [{ ...op, index: start + len }];
+    }
+    if (at >= end) {
+      return [{ ...op }];
+    }
+    return [
+      {
+        type: "format",
+        index: start,
+        length: at - start,
+        attributes: op.attributes
+      },
+      {
+        type: "format",
+        index: at + len,
+        length: end - at,
+        attributes: op.attributes
+      }
+    ];
+  } else if (over.type === "delete") {
+    const newStart = mapIndexOverDelete(start, over.index, over.length);
+    const newEnd = mapIndexOverDelete(end, over.index, over.length);
+    return newEnd - newStart > 0 ? [
+      {
+        type: "format",
+        index: newStart,
+        length: newEnd - newStart,
+        attributes: op.attributes
+      }
+    ] : [];
+  } else {
+    if (order === "after") {
+      return [{ ...op }];
+    }
+    const overlapStart = Math.max(start, over.index);
+    const overlapEnd = Math.min(end, over.index + over.length);
+    if (overlapStart >= overlapEnd) {
+      return [{ ...op }];
+    }
+    const hasConflict = Object.keys(op.attributes).some(
+      (key) => key in over.attributes
+    );
+    if (!hasConflict) {
+      return [{ ...op }];
+    }
+    const reduced = {};
+    for (const [key, value] of Object.entries(op.attributes)) {
+      if (!(key in over.attributes)) {
+        reduced[key] = value;
+      }
+    }
+    const pieces = [];
+    if (start < overlapStart) {
+      pieces.push({
+        type: "format",
+        index: start,
+        length: overlapStart - start,
+        attributes: op.attributes
+      });
+    }
+    if (Object.keys(reduced).length > 0) {
+      pieces.push({
+        type: "format",
+        index: overlapStart,
+        length: overlapEnd - overlapStart,
+        attributes: reduced
+      });
+    }
+    if (overlapEnd < end) {
+      pieces.push({
+        type: "format",
+        index: overlapEnd,
+        length: end - overlapEnd,
+        attributes: op.attributes
+      });
+    }
+    return pieces;
+  }
+}
+function transformSingle(op, over, order) {
+  switch (op.type) {
+    case "insert":
+      return transformInsert(op, over, order);
+    case "delete":
+      return transformDelete(op, over);
+    case "format":
+      return transformFormat(op, over, order);
+  }
+}
+function transformTextOperationsX(a, b, order) {
+  if (a.length === 0 || b.length === 0) {
+    return [[...a], [...b]];
+  }
+  if (a.length === 1 && b.length === 1) {
+    return [
+      transformSingle(a[0], b[0], order),
+      transformSingle(b[0], a[0], oppositeOrder(order))
+    ];
+  }
+  if (a.length > 1) {
+    const [headA1, b1] = transformTextOperationsX([a[0]], b, order);
+    const [restA1, b2] = transformTextOperationsX(a.slice(1), b1, order);
+    return [[...headA1, ...restA1], b2];
+  }
+  const [a1, headB1] = transformTextOperationsX(a, [b[0]], order);
+  const [a2, restB1] = transformTextOperationsX(a1, b.slice(1), order);
+  return [a2, [...headB1, ...restB1]];
+}
+function transformTextOperations(ops, over, order) {
+  return transformTextOperationsX(ops, over, order)[0];
+}
+function textOperationsEqual(a, b) {
+  return a === b || stableStringify(a) === stableStringify(b);
 }
 function applyTextOperationsToSegments(segments, ops) {
   let next = [...segments];
@@ -8782,21 +8914,31 @@ function invertTextOperations(segments, ops) {
 }
 
 // src/crdts/LiveText.ts
+var ACCEPTED_OPS_HISTORY_LIMIT = 1e3;
 var LiveText = class _LiveText extends AbstractCrdt {
+  /** The local document: #confirmed ⊕ #inFlightOps ⊕ #queuedOps. */
   #segments;
+  /** The server-confirmed document (only authoritative ops applied). */
+  #confirmed;
   #version;
-  #pendingOps;
+  /** The op currently awaiting server acknowledgement (at most one). */
+  #inFlightOpId;
+  /** Its ops, continuously re-expressed against current server state. */
+  #inFlightOps = [];
+  /** Local edits made while an op is in flight; sent after the ack. */
+  #queuedOps = [];
+  #acceptedOps = [];
   constructor(textOrData = "", version = 0) {
     super();
     this.#segments = typeof textOrData === "string" ? textOrData.length === 0 ? [] : [{ text: textOrData }] : dataToSegments(textOrData);
+    this.#confirmed = [...this.#segments];
     this.#version = version;
-    this.#pendingOps = /* @__PURE__ */ new Map();
   }
   get version() {
     return this.#version;
   }
   get length() {
-    return this.toString().length;
+    return textLength(this.#segments);
   }
   /** @internal */
   static _deserialize([id, item], _parentToChildren, pool) {
@@ -8847,30 +8989,16 @@ var LiveText = class _LiveText extends AbstractCrdt {
       return super._apply(op, isLocal);
     }
     if (isLocal) {
-      this.#pendingOps.set(nn(op.opId), op.ops);
-      return this.#applyOperations(op.ops, op.version ?? this.#version);
-    }
-    if (op.opId !== void 0) {
-      const pending2 = this.#pendingOps.get(op.opId);
-      this.#pendingOps.delete(op.opId);
-      const otherPending = Array.from(this.#pendingOps.values()).flat();
-      if (pending2 !== void 0 && otherPending.length > 0) {
-        this.#segments = applyTextOperationsToSegments(
-          this.#segments,
-          invertTextOperations(this.#segments, pending2)
-        );
-        const ops2 = rebaseTextOperations(op.ops, otherPending);
-        return this.#applyOperations(
-          ops2,
-          op.version ?? Math.max(this.#version, op.baseVersion + 1)
-        );
-      }
-      this.#version = op.version ?? Math.max(this.#version, op.baseVersion + 1);
+      return this.#applyLocal(op);
+    }
+    if (op.opId !== void 0 && op.opId === this.#inFlightOpId) {
+      return this.#applyAck(op);
+    }
+    if (op.opId !== void 0 && this.#acceptedOps.some((entry) => entry.opId === op.opId)) {
+      this.#version = Math.max(this.#version, op.version ?? op.baseVersion + 1);
       return { modified: false };
     }
-    const pending = Array.from(this.#pendingOps.values()).flat();
-    const ops = pending.length > 0 ? rebaseTextOperations(op.ops, pending) : op.ops;
-    return this.#applyOperations(ops, op.version ?? this.#version + 1);
+    return this.#applyRemote(op);
   }
   insert(index, text, attributes) {
     const clippedIndex = Math.max(0, Math.min(index, this.length));
@@ -8914,45 +9042,153 @@ var LiveText = class _LiveText extends AbstractCrdt {
       }
     ]);
   }
+  /** Local edits made through the public API. */
   #dispatch(ops) {
     if (ops.length === 0) {
       return;
     }
     this._pool?.assertStorageIsWritable();
-    const baseVersion = this.#version;
-    const reverse = this._pool !== void 0 && this._id !== void 0 ? this.#invertOperations(ops) : [];
+    const attached = this._pool !== void 0 && this._id !== void 0;
+    const reverse = attached ? this.#invertOperations(ops) : [];
     const changes = this.#applyOperationsLocally(ops);
-    if (this._pool !== void 0 && this._id !== void 0) {
-      const opId = this._pool.generateOpId();
-      this.#pendingOps.set(opId, ops);
-      this._pool.dispatch(
+    if (!attached) {
+      return;
+    }
+    const pool = nn(this._pool);
+    const id = nn(this._id);
+    const updates = /* @__PURE__ */ new Map([
+      [
+        id,
+        {
+          type: "LiveText",
+          node: this,
+          version: this.#version,
+          updates: changes
+        }
+      ]
+    ]);
+    if (this.#inFlightOpId === void 0) {
+      const opId = pool.generateOpId();
+      this.#inFlightOpId = opId;
+      this.#inFlightOps = [...ops];
+      pool.dispatch(
         [
           {
             type: OpCode.UPDATE_TEXT,
-            id: this._id,
+            id,
             opId,
-            baseVersion,
+            baseVersion: this.#version,
             ops: [...ops]
           }
         ],
         reverse,
-        /* @__PURE__ */ new Map([
-          [
-            this._id,
-            {
-              type: "LiveText",
-              node: this,
-              version: this.#version,
-              updates: changes
-            }
-          ]
-        ])
+        updates
       );
+    } else {
+      this.#queuedOps.push(...ops);
+      pool.dispatch([], reverse, updates, { clearRedoStack: true });
     }
   }
-  #applyOperations(ops, version) {
+  /**
+   * A local replay of an existing wire op: an undo/redo frame, or an
+   * unacknowledged op re-sent after a reconnect.
+   */
+  #applyLocal(op) {
+    const mutableOp = op;
+    if (op.opId !== void 0 && op.opId === this.#inFlightOpId) {
+      this.#inFlightOps = [...this.#inFlightOps, ...this.#queuedOps];
+      this.#queuedOps = [];
+      mutableOp.baseVersion = this.#version;
+      mutableOp.ops = [...this.#inFlightOps];
+      return { modified: false };
+    }
+    let ops = op.ops;
+    for (const entry of this.#acceptedOps) {
+      if (entry.version > op.baseVersion && entry.ops.length > 0) {
+        ops = transformTextOperations(ops, entry.ops, "after");
+      }
+    }
     const reverse = this.#invertOperations(ops);
     const changes = this.#applyOperationsLocally(ops);
+    if (this.#inFlightOpId === void 0 && ops.length > 0) {
+      this.#inFlightOpId = nn(op.opId, "Local ops must have an opId");
+      this.#inFlightOps = [...ops];
+      mutableOp.baseVersion = this.#version;
+      mutableOp.ops = [...ops];
+    } else {
+      this.#queuedOps.push(...ops);
+      mutableOp.baseVersion = this.#version;
+      mutableOp.ops = [];
+    }
+    if (changes.length === 0) {
+      return { modified: false };
+    }
+    return {
+      reverse,
+      modified: {
+        type: "LiveText",
+        node: this,
+        version: this.#version,
+        updates: changes
+      }
+    };
+  }
+  /** Server acknowledgement of our in-flight op. */
+  #applyAck(op) {
+    const ackedVersion = op.version ?? Math.max(this.#version, op.baseVersion + 1);
+    const predicted = this.#inFlightOps;
+    const opId = this.#inFlightOpId;
+    this.#confirmed = applyTextOperationsToSegments(this.#confirmed, op.ops);
+    this.#inFlightOpId = void 0;
+    this.#inFlightOps = [];
+    let appliedOps = [];
+    let result = { modified: false };
+    if (!textOperationsEqual(op.ops, predicted)) {
+      error2(
+        "LiveText: acknowledgement did not match the local prediction; resynchronizing"
+      );
+      const rebuilt = this.#rebuildLocalFromConfirmed();
+      appliedOps = rebuilt.appliedOps;
+      if (rebuilt.changes.length > 0) {
+        result = {
+          reverse: [],
+          modified: {
+            type: "LiveText",
+            node: this,
+            version: ackedVersion,
+            updates: rebuilt.changes
+          }
+        };
+      }
+    }
+    this.#version = Math.max(this.#version, ackedVersion);
+    this.#recordAccepted(ackedVersion, appliedOps, opId);
+    this.#flushQueued();
+    return result;
+  }
+  /** An accepted op from another client (or a server-fabricated fix op). */
+  #applyRemote(op) {
+    const version = op.version ?? this.#version + 1;
+    this.#confirmed = applyTextOperationsToSegments(this.#confirmed, op.ops);
+    const [overInFlight, inFlight] = transformTextOperationsX(
+      op.ops,
+      this.#inFlightOps,
+      "before"
+    );
+    const [applied, queued] = transformTextOperationsX(
+      overInFlight,
+      this.#queuedOps,
+      "before"
+    );
+    this.#inFlightOps = inFlight;
+    this.#queuedOps = queued;
+    this.#recordAccepted(version, applied, op.opId);
+    if (applied.length === 0) {
+      this.#version = Math.max(this.#version, version);
+      return { modified: false };
+    }
+    const reverse = this.#invertOperations(applied);
+    const changes = this.#applyOperationsLocally(applied);
     this.#version = Math.max(this.#version, version);
     return {
       reverse,
@@ -8964,6 +9200,129 @@ var LiveText = class _LiveText extends AbstractCrdt {
       }
     };
   }
+  /** Send the queued ops as the next in-flight op (after an ack). */
+  #flushQueued() {
+    if (this.#queuedOps.length === 0 || this._pool === void 0 || this._id === void 0) {
+      return;
+    }
+    const opId = this._pool.generateOpId();
+    this.#inFlightOpId = opId;
+    this.#inFlightOps = this.#queuedOps;
+    this.#queuedOps = [];
+    this._pool.dispatch(
+      [
+        {
+          type: OpCode.UPDATE_TEXT,
+          id: this._id,
+          opId,
+          baseVersion: this.#version,
+          ops: [...this.#inFlightOps]
+        }
+      ],
+      [],
+      /* @__PURE__ */ new Map(),
+      // The local content was already applied (and made undoable) when the
+      // edits happened; this is purely an outbound flush.
+      { clearRedoStack: false }
+    );
+  }
+  /**
+   * Rebuild the local document as confirmed ⊕ queued ops, returning the
+   * coarse delta that was applied. Only used by defensive recovery paths.
+   */
+  #rebuildLocalFromConfirmed() {
+    const before2 = this.#segments;
+    const after2 = applyTextOperationsToSegments(this.#confirmed, [
+      ...this.#inFlightOps,
+      ...this.#queuedOps
+    ]);
+    if (stableStringify(segmentsToData(before2)) === stableStringify(segmentsToData(after2))) {
+      this.#segments = after2;
+      return { appliedOps: [], changes: [] };
+    }
+    const beforeText = before2.map((segment) => segment.text).join("");
+    this.#segments = after2;
+    this.invalidate();
+    const appliedOps = [];
+    const changes = [];
+    if (beforeText.length > 0) {
+      appliedOps.push({ type: "delete", index: 0, length: beforeText.length });
+      changes.push({
+        type: "delete",
+        index: 0,
+        length: beforeText.length,
+        deletedText: beforeText
+      });
+    }
+    let index = 0;
+    for (const segment of after2) {
+      appliedOps.push({
+        type: "insert",
+        index,
+        text: segment.text,
+        attributes: segment.attributes
+      });
+      changes.push({
+        type: "insert",
+        index,
+        text: segment.text,
+        attributes: segment.attributes
+      });
+      index += segment.text.length;
+    }
+    return { appliedOps, changes };
+  }
+  /**
+   * Reconcile this node against an authoritative storage snapshot (e.g.
+   * after a reconnect). The confirmed state and version are replaced by the
+   * snapshot's; pending (in-flight + queued) ops are preserved on top and
+   * will be re-sent by the offline-ops replay.
+   *
+   * @internal
+   */
+  _resyncText(data, version) {
+    this.#confirmed = dataToSegments(data);
+    this.#version = version;
+    this.#acceptedOps = [];
+    const rebuilt = this.#rebuildLocalFromConfirmed();
+    if (rebuilt.changes.length === 0) {
+      return void 0;
+    }
+    return {
+      type: "LiveText",
+      node: this,
+      version: this.#version,
+      updates: rebuilt.changes
+    };
+  }
+  /**
+   * Called when the server rejected one of our ops. Drops all pending state
+   * for this node (edits queued behind a rejected op cannot be trusted
+   * either); the room follows up with a storage resync.
+   *
+   * @internal
+   */
+  _rejectPendingOp(opId) {
+    if (opId !== this.#inFlightOpId) {
+      return;
+    }
+    this.#inFlightOpId = void 0;
+    this.#inFlightOps = [];
+    this.#queuedOps = [];
+  }
+  #recordAccepted(version, ops, opId) {
+    if (this.#acceptedOps.some((entry) => entry.version === version)) {
+      return;
+    }
+    this.#acceptedOps.push({ version, opId, ops: [...ops] });
+    this.#acceptedOps.sort((left, right) => left.version - right.version);
+    if (this.#acceptedOps.length > ACCEPTED_OPS_HISTORY_LIMIT) {
+      this.#acceptedOps.splice(
+        0,
+        this.#acceptedOps.length - ACCEPTED_OPS_HISTORY_LIMIT
+      );
+    }
+  }
   #applyOperationsLocally(ops) {
     const changes = [];
     for (const op of ops) {
@@ -9236,40 +9595,6 @@ function getTreesDiffOperations(currentItems, newItems) {
           }
         }
       }
-      if (crdt.type === CrdtType.TEXT) {
-        if (currentCrdt.type !== CrdtType.TEXT || stringifyOrLog(crdt.data) !== stringifyOrLog(currentCrdt.data) || crdt.version !== currentCrdt.version) {
-          ops.push({
-            type: OpCode.UPDATE_TEXT,
-            id,
-            baseVersion: currentCrdt.type === CrdtType.TEXT ? currentCrdt.version : 0,
-            version: crdt.version,
-            ops: [
-              {
-                type: "delete",
-                index: 0,
-                length: currentCrdt.type === CrdtType.TEXT ? currentCrdt.data.reduce(
-                  (sum, segment) => sum + segment[0].length,
-                  0
-                ) : 0
-              },
-              ...crdt.data.map((segment, index, items) => {
-                const [text, attributes] = segment;
-                const insertIndex = items.slice(0, index).reduce((sum, item) => sum + item[0].length, 0);
-                return attributes === void 0 ? {
-                  type: "insert",
-                  index: insertIndex,
-                  text
-                } : {
-                  type: "insert",
-                  index: insertIndex,
-                  text,
-                  attributes
-                };
-              })
-            ]
-          });
-        }
-      }
       if (crdt.parentKey !== currentCrdt.parentKey) {
         ops.push({
           type: OpCode.SET_PARENT_KEY,
@@ -10400,7 +10725,7 @@ function createRoom(options, config) {
       }
     }
   });
-  function onDispatch(ops, reverse, storageUpdates) {
+  function onDispatch(ops, reverse, storageUpdates, options2) {
     if (context.activeBatch) {
       for (const op of ops) {
         context.activeBatch.ops.push(op);
@@ -10419,8 +10744,10 @@ function createRoom(options, config) {
       if (reverse.length > 0) {
         addToUndoStack(reverse);
       }
-      if (ops.length > 0) {
+      if (options2?.clearRedoStack ?? ops.length > 0) {
         context.redoStack.length = 0;
+      }
+      if (ops.length > 0) {
         dispatchOps(ops);
       }
       notify({ storageUpdates });
@@ -10524,6 +10851,23 @@ function createRoom(options, config) {
       }
       const ops = getTreesDiffOperations(currentItems, nodes);
       const result = applyRemoteOps(ops);
+      for (const [id, crdt] of nodes) {
+        if (crdt.type === CrdtType.TEXT) {
+          const node = context.pool.nodes.get(id);
+          if (node !== void 0 && isLiveText(node)) {
+            const update = node._resyncText(crdt.data, crdt.version);
+            if (update !== void 0) {
+              result.updates.storageUpdates.set(
+                id,
+                mergeStorageUpdates(
+                  result.updates.storageUpdates.get(id),
+                  update
+                )
+              );
+            }
+          }
+        }
+      }
       notify(result.updates);
     } else {
       context.root = LiveObject._fromItems(
@@ -10955,16 +11299,36 @@ function createRoom(options, config) {
           }
           break;
         }
-        // Receiving a RejectedOps message in the client means that the server is no
-        // longer in sync with the client. Trying to synchronize the client again by
-        // rolling back particular Ops may be hard/impossible. It's fine to not try and
-        // accept the out-of-sync reality and throw an error.
+        // Receiving a RejectedOps message means the server refused some of
+        // our ops, so our optimistic local state is out of sync with the
+        // server. For LiveText ops this is a normal (if rare) situation —
+        // e.g. a client that was offline long enough to fall outside the
+        // server's retained history window — and we can recover: drop the
+        // rejected pending state and re-fetch the authoritative storage
+        // snapshot. For other ops (e.g. permission rejections), rolling back
+        // particular Ops is hard/impossible, so we keep the old behavior of
+        // accepting the out-of-sync reality and surfacing an error.
         case ServerMsgCode.REJECT_STORAGE_OP: {
           errorWithTitle(
             "Storage mutation rejection error",
             message.reason
           );
-          if (process.env.NODE_ENV !== "production") {
+          let needsStorageResync = false;
+          for (const opId of message.opIds) {
+            const rejectedOp = context.unacknowledgedOps.get(opId);
+            context.unacknowledgedOps.delete(opId);
+            context.buffer.storageOperations = context.buffer.storageOperations.filter((op) => op.opId !== opId);
+            if (rejectedOp !== void 0 && rejectedOp.type === OpCode.UPDATE_TEXT) {
+              const node = context.pool.nodes.get(rejectedOp.id);
+              if (node !== void 0 && isLiveText(node)) {
+                node._rejectPendingOp(opId);
+                needsStorageResync = true;
+              }
+            }
+          }
+          if (needsStorageResync) {
+            refreshStorage({ flush: true });
+          } else if (process.env.NODE_ENV !== "production") {
             throw new Error(
               `Storage mutations rejected by server: ${message.reason}`
             );