Status: IN
`happens_before` calls `_reaches` in both directions to distinguish "a before b", "b before a", and "concurrent" — a single call can only confirm or deny one direction.
Source: entries/2026/05/29/lamport-clocks-lamport-_reaches.md
JSON