{"id":"distributed-protocols-rest-on-unverifiable-assumptions","text":"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.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["end-to-end-correctness-requires-unmet-storage-guarantees","protocol-safety-unfalsifiable-under-current-testing"],"outlist":[],"label":"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"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"distributed-protocols-rest-on-unverifiable-assumptions","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["end-to-end-correctness-requires-unmet-storage-guarantees"],"label":"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"}]}}