@cwebber This was something I was eyeballing signs for, after working with other protocols like Automerge, and other stuff which is designed in part by Martin Kleppmann.
Martin and his work are GREAT, this is not a critique, but I've found that while the naive impl of the protocols solve the problem domain, they leave optimization to the implementor. Which is good! That makes sense. But it means there are always secondary future concerns.
This post talks about it - https://josephg.com/blog/crdts-go-brrr/