Status: OUT
All four CRDT types satisfy the algebraic properties required for strong eventual convergence: merge is idempotent (re-merging produces no change), equality compares semantic state rather than object identity (enabling correct convergence checks), and ORSet tombstones grow monotonically (preventing element resurrection after removal).
idempotent merge + semantic equality + monotonic tombstones = algebraic convergence guarantees hold
Depends on (SL): crdt-merge-is-idempotent, crdt-eq-compares-semantic-state, orset-tombstones-grow-monotonically