{"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":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"crdt-merge-is-idempotent-and-convergence-tested","truth_value":"IN","reason":"premise"}]}}