Braid itself is just a neutral protocol— the proof you want applies to the particular CRDT or OT algorithm that you use with it. For instance, you can use it w

Braid itself is just a neutral protocol— the proof you want applies to the particular CRDT or OT algorithm that you use with it. For instance, you can use it with ShareDB, or Automerge. Both of these synchronizers are quite robust, and prove correctness with fuzz testing. Links: https://github.com/automerge/automerge https://github.com/automerge/automerge https://github.com/share/sharedb https://github.com/share/sharedb