{"id":"commit-timestamp-unused-by-visibility","text":"Commit timestamps are assigned by `commit()` and stored in `_commit_timestamps`, but `_is_visible` never references them — visibility is determined purely by transaction IDs and the committed/active-at-start sets.","truth_value":"IN","source":"entries/2026/05/29/snapshot-isolation-mvcc_database-commit.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"commit-timestamp-unused-by-visibility","truth_value":"IN","reason":"premise"}]}}