High Availability & Paxos Internals

Quorum design, leader election, and failover behavior.