Tag
A technical note from the Livelymerge project demonstrating that CRDT convergence (via Automerge) does not guarantee semantically correct merges for live program heaps, using a linked-list example where concurrent swaps produce truncation or cycles. The authors acknowledge the problem and sketch promising directions.