The CRDT literature sometimes leaves room for mathematical ambiguity. Maybe because the bulk of the work tends to be targeted at systems researchers and developers, like a lot of work on eventual consistency. The discussion below untangles three subtle but important ideas in CRDT design, which turn out to be interrelated: Determinism vs Convergence guarantees Early reads: lower bounds or not? Algebraic property requirements for update functions. ⚠️The CRDT guarantee of strong eventual consistenc...