Status: IN
`read_predicate` records dependency graph edges only for keys in the committed snapshot (`k in snap`), not for keys the transaction itself created via `write()` — avoiding self-dependencies
Source: entries/2026/05/29/write-skew-detection-ssi_database-read_predicate.md