Module lattice 

Join-semilattice trait - the mathematical foundation of CRDTs

A join-semilattice (S, ⊔) satisfies:

• Commutativity: a ⊔ b = b ⊔ a
• Associativity: (a ⊔ b) ⊔ c = a ⊔ (b ⊔ c)
• Idempotence: a ⊔ a = a

These properties guarantee convergence regardless of message order.

Traits

DeltaCRDT

Marker trait for CRDTs that support delta operations

Lattice

The core CRDT trait. All state-based CRDTs implement this.