πWhen I had mistakenly thought that Prolly Trees weren't unict
[https://interjectedfuture.com/lab-notes/lab-note-030-the-trick-to-unicity-of-prolly-trees/]
, I thought maybe an interesting way forward was to leverage the same mechanism
CRDTs use to converge.
Below is a mathematical description of what I called a Lattice Merkle Tree,
still incomplete. I had time-boxed