{"id":"reaches-uses-identity-not-equality","text":"`_reaches` uses `is` (object identity) to find the source event, not `==`, because dataclass equality would conflate distinct events with identical field values.","truth_value":"IN","source":"entries/2026/05/29/lamport-clocks-lamport-_reaches.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"reaches-uses-identity-not-equality","truth_value":"IN","reason":"premise"}]}}