{"id":"multi-leader-lamport-monotonic","text":"Successive `put()` calls on the same `ReplicaNode` yield strictly increasing Lamport timestamps.","truth_value":"IN","source":"entries/2026/05/29/multi-leader-replication-test_multi_leader.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"multi-leader-lamport-monotonic","truth_value":"IN","reason":"premise"}]}}