{"id":"lww-tiebreak-is-deterministic","text":"`LWWRegister.merge` uses `(timestamp, writer_id)` tuple comparison, making conflict resolution a total order with no ambiguity since replica IDs are unique","truth_value":"IN","source":"entries/2026/05/29/conflict-free-replicated-data-types-crdts.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"if (other._timestamp, other._writer_id) > (self._timestamp, self._writer_id):\n    self._value = other._value  # timestamp then replica_id"},"explanation":{"steps":[{"node":"lww-tiebreak-is-deterministic","truth_value":"IN","reason":"premise"}]}}