Election Safety

RU: Election Safety

A Raft safety property stating that at most one leader can be elected in any given term. It is enforced because each server grants at most one vote per term and a candidate wins only by collecting votes from a majority; two different candidates cannot both achieve a majority in the same term. This guarantees the log is extended by at most one authoritative source at a time.