State Machine Safety

RU: State Machine Safety

A Raft safety property (Figure 3 of the Raft paper): if a server has applied a log entry at a given index to its state machine, no other server will ever apply a different log entry for that same index. It follows from Log Matching and Leader Completeness, which together guarantee that every committed entry is identical across all replicas.