{"id":"ssi-serializability-through-layered-invariants","text":"SSI's commit path relies on three mutually reinforcing properties: read-only transactions skip validation (safe because the store contains only committed data from prior commits), and within a single transaction, writes and deletes for the same key are mutually exclusive, preventing conflicting modifications to that key within the transaction's own write set.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["ssi-read-only-skip-validation","ssi-store-contains-only-committed-data","ssi-writes-deletes-mutually-exclusive"],"outlist":[],"label":"The read-only optimization is only correct BECAUSE the store invariant holds; the three beliefs form a dependency chain, not independent observations"}],"dependents":["transaction-isolation-composes-two-invariant-layers"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"invalid"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"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"}]}}