{"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":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"ssi-isolation-holds-under-single-thread","truth_value":"OUT","reason":"retracted premise"}]}}