Status: IN
MVCC visibility is enforced through three complementary invariants: append-only version storage prevents lost updates, own-writes are always visible regardless of commit state, and deletions follow the same visibility rules as writes — collectively ensuring snapshot consistency.
Three independent visibility guarantees combine into a complete snapshot isolation model where no single invariant is sufficient alone
Depends on (SL): mvcc-append-only-versions, own-writes-always-visible, deletion-visibility-is-symmetric