{"id":"raft-no-prevote-or-lease","text":"The Raft implementation has no PreVote, leader lease, or CheckQuorum mechanism; split-brain safety relies entirely on term numbers and the single-vote-per-term invariant","truth_value":"IN","source":"entries/2026/05/29/topic-raft-leader-stickiness.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"raft-no-prevote-or-lease","truth_value":"IN","reason":"premise"}]}}