{"id":"end-to-end-correctness-requires-unmet-storage-guarantees","text":"End-to-end distributed correctness is unachievable: protocol-layer weaknesses (sloppy quorums, single-threaded assumptions) depend on storage-layer guarantees (atomic recovery, batch integrity, metadata checksums) that no implementation provides.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["distributed-correctness-undermined-at-both-layers","storage-crash-recovery-has-no-safe-path"],"outlist":[],"label":"distributed protocols assume storage invariants that the crash-recovery analysis proves are violated"}],"dependents":["correctness-gap-widens-under-failure","distributed-correctness-doubly-unachievable-under-partition","distributed-protocols-rest-on-unverifiable-assumptions"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"end-to-end-correctness-requires-unmet-storage-guarantees","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["distributed-correctness-undermined-at-both-layers","storage-crash-recovery-has-no-safe-path"],"label":"distributed protocols assume storage invariants that the crash-recovery analysis proves are violated"}]}}