Status: IN
The causal graph has two edge types: `_parent` (same-node sequential) and `_cause` (cross-node send→receive), and `_reaches` must follow both to correctly determine happens-before.
Source: entries/2026/05/29/lamport-clocks-lamport-_reaches.md