code wiki / crdt
topic: crdt
4 modules sharing the crdt name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_crdt_seq.nx | SOVEREIGN SEQUENCE CRDT (RGA: Replicated Growable Array, Roh et al. 2011). The V-COLLAB rung-1 | 106 | 9 |
| nx_crdt_seq_gate.nx | proves the sovereign sequence CRDT (RGA) converges with ZERO collisions where a lock / | 104 | 7 |
| nx_crdt_sync.nx | CRDT SYNC op-log: the rung that makes two replicas MERGE instead of collide. Each edit is | 60 | 7 |
| nx_crdt_sync_gate.nx | proves the CRDT SYNC merge on the exact friction scenario: a shared base doc, TWO actors | 113 | 9 |