Status: IN
`_reaches` uses `is` (object identity) to find the source event, not `==`, because dataclass equality would conflate distinct events with identical field values.
Source: entries/2026/05/29/lamport-clocks-lamport-_reaches.md
JSON