{"id":"lamport-happens-before-returns-tristate","text":"`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.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-test_lamport.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"lamport-happens-before-returns-tristate","truth_value":"IN","reason":"premise"}]}}