{"id":"ssi-isolation-holds-under-single-thread","text":"SSI's composed invariant layers provide correct serializable snapshot isolation: MVCC enforces visibility through append-only versions and symmetric deletion rules, and SSI validation ensures own-writes are checked before store consultation, preventing lost updates.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["transaction-isolation-composes-two-invariant-layers","ssi-own-writes-require-buffer-check"],"outlist":["gc-not-thread-safe"],"label":"Garbage collector's lack of thread safety could remove versions that active transactions need for visibility checks, violating MVCC invariants"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"ssi-isolation-holds-under-single-thread","truth_value":"IN","reason":"SL justification valid","antecedents":["transaction-isolation-composes-two-invariant-layers","ssi-own-writes-require-buffer-check"],"label":"Garbage collector's lack of thread safety could remove versions that active transactions need for visibility checks, violating MVCC invariants","outlist":["gc-not-thread-safe"]},{"node":"transaction-isolation-composes-two-invariant-layers","truth_value":"IN","reason":"SL justification valid","antecedents":["mvcc-three-layer-visibility-model","ssi-serializability-through-layered-invariants"],"label":"MVCC handles what a transaction can see while SSI handles what it can do — neither is sufficient alone"},{"node":"mvcc-three-layer-visibility-model","truth_value":"IN","reason":"SL justification valid","antecedents":["mvcc-append-only-versions","own-writes-always-visible","deletion-visibility-is-symmetric"],"label":"Three independent visibility guarantees combine into a complete snapshot isolation model where no single invariant is sufficient alone"},{"node":"mvcc-append-only-versions","truth_value":"IN","reason":"premise"},{"node":"own-writes-always-visible","truth_value":"IN","reason":"premise"},{"node":"deletion-visibility-is-symmetric","truth_value":"IN","reason":"premise"},{"node":"ssi-serializability-through-layered-invariants","truth_value":"IN","reason":"SL justification valid","antecedents":["ssi-read-only-skip-validation","ssi-store-contains-only-committed-data","ssi-writes-deletes-mutually-exclusive"],"label":"The read-only optimization is only correct BECAUSE the store invariant holds; the three beliefs form a dependency chain, not independent observations"},{"node":"ssi-read-only-skip-validation","truth_value":"IN","reason":"premise"},{"node":"ssi-store-contains-only-committed-data","truth_value":"IN","reason":"premise"},{"node":"ssi-writes-deletes-mutually-exclusive","truth_value":"IN","reason":"premise"},{"node":"ssi-own-writes-require-buffer-check","truth_value":"IN","reason":"premise"}]}}