Status: OUT
Distributed protocols rest on doubly invalid foundations: end-to-end correctness requires storage-layer guarantees (crash-safe compaction, CRC-protected metadata) that no storage engine provides, and protocol safety claims are unfalsifiable under the current testing methodology (synchronous simulation, no crash path tests) — the protocols assume both correct storage and correct testing, and have neither.
Two depth-3 conclusions identify independent invalidity: unmet storage assumptions (the guarantees don't exist) and unfalsifiable testing (the test suite can't check them), creating a self-reinforcing correctness void
Depends on (SL): end-to-end-correctness-requires-unmet-storage-guarantees, protocol-safety-unfalsifiable-under-current-testing