lamport-receive-tick-guarantees-causal-order

Status: IN

`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.

Source: entries/2026/05/29/lamport-clocks-lamport.md

Example

def receive_tick(self, received_timestamp):
    self._counter = max(self._counter, received_timestamp) + 1
    return self._counter

JSON