Status: IN
All four CRDT types implement `__eq__` to compare semantic state (not object identity), enabling `CRDTReplicaGroup.all_converged()` and the semilattice property tests to verify convergence via equality checks.
Source: entries/2026/05/29/conflict-free-replicated-data-types-test_crdts.md