{"id":"correctness-gap-widens-under-failure","text":"The gap between expected and actual system correctness widens under failure: distributed protocols require storage-layer guarantees (crash-safe compaction, atomic writes, complete CRC coverage) that no implementation provides, and the resulting divergence accumulates without bound because anti-entropy can detect but not fully reconcile the inconsistencies.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["end-to-end-correctness-requires-unmet-storage-guarantees","distributed-divergence-accumulates-without-bound"],"outlist":[],"label":"Unmet storage guarantees produce divergence that distributed compensating mechanisms cannot fully resolve"}],"dependents":["correctness-unachievable-and-unfalsifiable","system-has-no-stable-operational-regime"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"correctness-gap-widens-under-failure","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["end-to-end-correctness-requires-unmet-storage-guarantees"],"label":"Unmet storage guarantees produce divergence that distributed compensating mechanisms cannot fully resolve"}]}}