{"id":"raft-partition-creates-dual-hazard","text":"Network partitions create a compound safety hazard in Raft: the isolated leader silently accepts writes that can never commit, and when it rejoins its inflated term forces a disruptive re-election of the healthy partition's leader.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["raft-stale-leader-accepts-writes","raft-rejoin-forces-election"],"outlist":[],"label":"Two partition-related behaviors combine into a scenario where partitions cause both silent data loss AND unnecessary leader disruption on heal"}],"dependents":["consensus-and-membership-use-incompatible-convergence-models","partition-failures-compound-across-membership-and-consensus","protocol-safety-validated-only-under-synchronous-model"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"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"}]}}