{"id":"consensus-and-membership-use-incompatible-convergence-models","text":"Gossip-based failure detection and Raft consensus interact in a way that can compound partition hazards: gossip's timeout-driven liveness set determines cluster membership, while Raft's partition behavior means an isolated leader silently accepts uncommittable writes and its inflated term forces re-election upon rejoining — if gossip's failure detection misclassifies a partitioned-but-live leader, it may trigger membership changes that interact with Raft's already-disruptive partition recovery.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["gossip-failure-detection-governs-cluster-correctness","raft-partition-creates-dual-hazard"],"outlist":[],"label":"Gossip's timeout-based failure detection can trigger Raft's partition hazard (stale leader + forced re-election) even without a real partition"}],"dependents":["distributed-layer-has-three-incompatible-convergence-models"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"invalid"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"consensus-and-membership-use-incompatible-convergence-models","truth_value":"IN","reason":"SL justification valid","antecedents":["gossip-failure-detection-governs-cluster-correctness","raft-partition-creates-dual-hazard"],"label":"Gossip's timeout-based failure detection can trigger Raft's partition hazard (stale leader + forced re-election) even without a real partition"},{"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"}]}}