{"id":"crdt-merge-is-idempotent-and-convergence-tested","text":"All four CRDT types demonstrate idempotent merge (re-merging produces no change), semantic equality comparison, and monotonic ORSet tombstones. The sync_all test confirms convergence after two rounds, consistent with merge being commutative and associative, though these properties are exercised by tests rather than proven by the antecedents alone.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["crdt-merge-is-idempotent","crdt-eq-compares-semantic-state","orset-tombstones-grow-monotonically","sync-all-two-rounds-suffices"],"outlist":[],"label":""}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"crdt-merge-is-idempotent-and-convergence-tested","truth_value":"IN","reason":"SL justification valid","antecedents":["crdt-merge-is-idempotent","crdt-eq-compares-semantic-state","orset-tombstones-grow-monotonically","sync-all-two-rounds-suffices"],"label":""},{"node":"crdt-merge-is-idempotent","truth_value":"IN","reason":"premise"},{"node":"crdt-eq-compares-semantic-state","truth_value":"IN","reason":"premise"},{"node":"orset-tombstones-grow-monotonically","truth_value":"IN","reason":"premise"},{"node":"sync-all-two-rounds-suffices","truth_value":"IN","reason":"premise"}]}}