Status: IN
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.
The read-only optimization is only correct BECAUSE the store invariant holds; the three beliefs form a dependency chain, not independent observations
Depends on (SL): ssi-read-only-skip-validation, ssi-store-contains-only-committed-data, ssi-writes-deletes-mutually-exclusive