标签
来自 Livelymerge 项目的一篇技术说明，演示了 CRDT 收敛（通过 Automerge）并不能保证活程序堆的语义正确合并，并使用了一个链表示例，其中并发交换会导致截断或循环。作者承认了这一问题，并指出了几个有前景的方向。