Status: IN
`happens_before(a, b, events)` returns `True` (a causes b), `False` (b causes a), or `None` (concurrent) — modeling a strict partial order with explicit concurrency detection.
Source: entries/2026/05/29/lamport-clocks-test_lamport.md
JSON