Status: IN
A predicate that matches zero keys still appends a predicate lock to `tx._predicate_locks`, enabling phantom detection if a concurrent transaction later inserts a key that would match
Source: entries/2026/05/29/write-skew-detection-ssi_database-read_predicate.md