{"id":"lamport-receive-tick-guarantees-causal-order","text":"`receive_tick` computes `max(local, received) + 1`, ensuring every receive event has a timestamp strictly greater than the corresponding send event, which is the core Lamport clock invariant.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-lamport.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"def receive_tick(self, received_timestamp):\n    self._counter = max(self._counter, received_timestamp) + 1\n    return self._counter"},"explanation":{"steps":[{"node":"lamport-receive-tick-guarantees-causal-order","truth_value":"IN","reason":"premise"}]}}