{"id":"crdt-merge-algebra-satisfies-convergence-requirements","text":"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).","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["crdt-merge-is-idempotent","crdt-eq-compares-semantic-state","orset-tombstones-grow-monotonically"],"outlist":[],"label":"idempotent merge + semantic equality + monotonic tombstones = algebraic convergence guarantees hold"}],"dependents":["crdt-convergence-practically-sustainable","two-incompatible-conflict-resolution-paradigms"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"invalid","_retracted":true},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"crdt-merge-algebra-satisfies-convergence-requirements","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"idempotent merge + semantic equality + monotonic tombstones = algebraic convergence guarantees hold"}]}}