Status: OUT
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.
Unmet storage prerequisites plus partition amplification makes correctness doubly unachievable
Depends on (SL): end-to-end-correctness-requires-unmet-storage-guarantees, network-partitions-amplify-write-correctness-gaps