{"id":"crdt-eq-compares-semantic-state","text":"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.","truth_value":"IN","source":"entries/2026/05/29/conflict-free-replicated-data-types-test_crdts.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"crdt-eq-compares-semantic-state","truth_value":"IN","reason":"premise"}]}}