{"id":"distributed-correctness-doubly-unachievable-under-partition","text":"Distributed correctness is doubly unachievable under network partitions: protocols require storage-layer guarantees (crash-safe compaction, CRC-protected metadata) that aren't met, AND partitions amplify the resulting gaps through disrupted gossip-based failure detection and stale leader writes — the prerequisites for correctness are absent even before partitions introduce additional failure modes.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["end-to-end-correctness-requires-unmet-storage-guarantees","network-partitions-amplify-write-correctness-gaps"],"outlist":[],"label":"Unmet storage prerequisites plus partition amplification makes correctness doubly unachievable"}],"dependents":["distributed-layer-incoherent-and-unachievable"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"distributed-correctness-doubly-unachievable-under-partition","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["end-to-end-correctness-requires-unmet-storage-guarantees"],"label":"Unmet storage prerequisites plus partition amplification makes correctness doubly unachievable"}]}}