{"id":"gc-uses-min-txid-horizon","text":"With active transactions, `garbage_collect()` uses `min(active tx_ids)` as the GC horizon; only versions superseded by a committed version with `tx_id < min_tx_id` are eligible for removal.","truth_value":"IN","source":"entries/2026/05/29/snapshot-isolation-mvcc_database-garbage_collect.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"gc-uses-min-txid-horizon","truth_value":"IN","reason":"premise"}]}}