{"id":"network-partitions-amplify-write-correctness-gaps","text":"Network partitions create a force multiplier on distributed write correctness gaps: partitions disrupt gossip-based failure detection (the single correctness gate for replication, read repair, and hinted handoff), while writes that do proceed operate under already-weakened quorum semantics (sloppy quorums count hints as successes, sub-quorum configurations accepted with only a warning).","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["partition-failures-compound-across-membership-and-consensus","distributed-writes-have-compounding-correctness-gaps"],"outlist":[],"label":"Partitions disable the failure detection that replication depends on, while active writes use weakened quorum guarantees"}],"dependents":["distributed-correctness-doubly-unachievable-under-partition"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"network-partitions-amplify-write-correctness-gaps","truth_value":"IN","reason":"SL justification valid","antecedents":["partition-failures-compound-across-membership-and-consensus","distributed-writes-have-compounding-correctness-gaps"],"label":"Partitions disable the failure detection that replication depends on, while active writes use weakened quorum guarantees"},{"node":"partition-failures-compound-across-membership-and-consensus","truth_value":"IN","reason":"SL justification valid","antecedents":["gossip-failure-detection-governs-cluster-correctness","raft-partition-creates-dual-hazard"],"label":"inaccurate membership detection feeds incorrect state to consensus, compounding both layers' partition vulnerabilities"},{"node":"gossip-failure-detection-governs-cluster-correctness","truth_value":"IN","reason":"SL justification valid","antecedents":["gossip-failure-detection-gates-replication","gossip-suspicion-is-timeout-based","gossip-cleanup-bounds-membership-growth"],"label":"All distributed data operations flow through the gossip liveness set, making failure detection accuracy a cluster-wide concern"},{"node":"gossip-failure-detection-gates-replication","truth_value":"IN","reason":"premise"},{"node":"gossip-suspicion-is-timeout-based","truth_value":"IN","reason":"premise"},{"node":"gossip-cleanup-bounds-membership-growth","truth_value":"IN","reason":"premise"},{"node":"raft-partition-creates-dual-hazard","truth_value":"IN","reason":"SL justification valid","antecedents":["raft-stale-leader-accepts-writes","raft-rejoin-forces-election"],"label":"Two partition-related behaviors combine into a scenario where partitions cause both silent data loss AND unnecessary leader disruption on heal"},{"node":"raft-stale-leader-accepts-writes","truth_value":"IN","reason":"premise"},{"node":"raft-rejoin-forces-election","truth_value":"IN","reason":"premise"},{"node":"distributed-writes-have-compounding-correctness-gaps","truth_value":"IN","reason":"SL justification valid","antecedents":["quorum-guarantees-weakened-at-two-levels","conflict-resolution-architecture-is-split"],"label":"Weakened quorum guarantees rely on conflict resolution as a safety net, but that net is itself fragmented"},{"node":"quorum-guarantees-weakened-at-two-levels","truth_value":"IN","reason":"SL justification valid","antecedents":["hinted-handoff-sloppy-quorum-counts-hints","quorum-violation-warns-not-raises"],"label":"Two independent weakening mechanisms stack — hints inflate write-quorum counts while the safety check is advisory-only"},{"node":"hinted-handoff-sloppy-quorum-counts-hints","truth_value":"IN","reason":"premise"},{"node":"quorum-violation-warns-not-raises","truth_value":"IN","reason":"premise"},{"node":"conflict-resolution-architecture-is-split","truth_value":"IN","reason":"SL justification valid","antecedents":["crdts-are-self-resolving","strategy-enum-covers-two-of-three"],"label":"The enum explicitly tracks that CRDTs are a third strategy but delegates to a separate module, creating an architectural seam where composition should exist"},{"node":"crdts-are-self-resolving","truth_value":"IN","reason":"premise"},{"node":"strategy-enum-covers-two-of-three","truth_value":"IN","reason":"premise"}]}}