Convergence Is Not Enough
Summary
The article analyzes convergence guarantees in Automerge when the heap is treated as a document, using a linked-list example to show how concurrent edits can converge to unsafe states. It argues that convergence alone does not preserve program invariants and discusses merging intents via type-aware operations as a potential direction, citing Coln and related work. The piece provides a thoughtful critique and hints at future directions for making CRDT-based systems more robust for complex data structures.