{"id":"mvcc-txid-monotonicity-assumed","text":"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.","truth_value":"IN","source":"entries/2026/05/29/snapshot-isolation-mvcc_database-_is_visible.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"mvcc-txid-monotonicity-assumed","truth_value":"IN","reason":"premise"}]}}