fix: remove applyingRemote from queueDeltas, clear debounce on WS close

templates/document_edit.html

···
         };
 
         ws.onclose = () => {
+            clearTimeout(wsEditTimer);
+            pendingDeltas = [];
             stopHeartbeat();
             updatePresence([]);
             scheduleReconnect();
···
 
     // Queue a set of deltas and flush after a short debounce.
     function queueDeltas(deltas) {
-        if (!ws || ws.readyState !== WebSocket.OPEN || applyingRemote) return;
+        if (!ws || ws.readyState !== WebSocket.OPEN) return;
         pendingDeltas = pendingDeltas.concat(deltas);
         clearTimeout(wsEditTimer);
         wsEditTimer = setTimeout(flushDeltas, 50);
···
         pendingDeltas = [];
     }
 
-    // sendEdit is kept for any future callers; Milkdown switches to diffToOps
-    // in Chunk 4 and no longer calls this directly.
+    // sendEdit sends a full-document replacement via the granular-delta path.
+    // to: -1 is a sentinel meaning "end of document" — the server OT engine
+    // clamps it to len(documentText), and applyRemoteEdit clamps it to docLen.
+    // Milkdown switches to diffToOps in Chunk 4 and no longer calls this directly.
     function sendEdit(content) {
-        if (!ws || ws.readyState !== WebSocket.OPEN || applyingRemote) return;
+        if (!ws || ws.readyState !== WebSocket.OPEN) return;
         queueDeltas([{ from: 0, to: -1, insert: content }]);
     }