{"id":"gossip-failure-detection-governs-cluster-correctness","text":"Gossip-based failure detection is the single correctness bottleneck for the distributed cluster: replication, read repair, and hinted handoff all depend on its timeout-driven liveness set, which is bounded by cleanup to prevent unbounded membership growth.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["gossip-failure-detection-gates-replication","gossip-suspicion-is-timeout-based","gossip-cleanup-bounds-membership-growth"],"outlist":[],"label":"All distributed data operations flow through the gossip liveness set, making failure detection accuracy a cluster-wide concern"}],"dependents":["consensus-and-membership-use-incompatible-convergence-models","gossip-failure-detection-lacks-adaptive-accuracy","partition-failures-compound-across-membership-and-consensus"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"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"}]}}