Automerge 2.0
As it stands CRDTs are only really useful for a narrow subset of data. Data is guaranteed to converge, but there is no guarantee that the final result makes any kind of semantic sense in the application domain.<p>One can write custom conflict resolution and treat the data structures as a convenient baseline for event sourcing, but that requires a lot of work and potentially often user guided resolution.<p>I&#x27;d really love to see some research into deriving CRDT merge semantics from a formal description of application behaviour.