Status: OUT
The architecture's verification coverage is inversely correlated with responsibility: write-path properties generate their own verification through structural construction that the test infrastructure validates, while the read path — bearing maximum responsibility for deferred consistency, lazy computation, and active repair — sits precisely in the testing blind spot, creating an exact correspondence between verification absence and correctness burden.
Self-verifying writes and least-verified reads are two sides of the same boundary — the write-read split is simultaneously the verification split
Depends on (SL): write-available-architecture-is-self-verifying, critical-path-is-least-verified