Status: IN
The visibility check `created_by < tx.tx_id` assumes transaction IDs are monotonically increasing to mean "started before us"; non-monotonic or reused IDs would break snapshot correctness.
Source: entries/2026/05/29/snapshot-isolation-mvcc_database-_is_visible.md