{"id":"reaches-walks-two-edge-types","text":"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.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-lamport-_reaches.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"reaches-walks-two-edge-types","truth_value":"IN","reason":"premise"}]}}