{"id":"crdt-merge-is-idempotent","text":"All four CRDT `merge` methods (`GCounter`, `PNCounter`, `LWWRegister`, `ORSet`) are idempotent: merging the same state twice produces the same result as merging once","truth_value":"IN","source":"entries/2026/05/29/conflict-free-replicated-data-types-crdts.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"def merge(self, other):  # GCounter\n    for rid, count in other.counts.items():\n        self.counts[rid] = max(self.counts.get(rid, 0), count)\n    return self  # max is idempotent"},"explanation":{"steps":[{"node":"crdt-merge-is-idempotent","truth_value":"IN","reason":"premise"}]}}