{"id":"visibility-is-pure","text":"`_is_visible` is a pure function with no side effects; it reads `_committed`, `_aborted`, `tx.active_at_start`, and version fields but never mutates any state.","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":"visibility-is-pure","truth_value":"IN","reason":"premise"}]}}