{"id":"ssi-own-writes-require-buffer-check","text":"`SSIDatabase.read` must check `tx._writes` and `tx._deletes` before consulting `_store`, since a transaction's own writes aren't materialized into the shared store until commit — unlike MVCCDatabase where eager writes make own-writes visible automatically","truth_value":"IN","source":"entries/2026/05/29/topic-snapshot-vs-ssi-tradeoffs.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"ssi-own-writes-require-buffer-check","truth_value":"IN","reason":"premise"}]}}