Interactive Basic Paxos — one proposer, five acceptors. Watch Prepare/Promise then Accept/Accepted, see the safety rule force the proposer to honour previously-accepted values, and see what happens with no quorum.
Happy path
Minority down
No quorum
Competing proposer
Free play
1 proposer · 5 acceptors · majority = 3
promised
accepted
chosen
down
1 · Prepare
2 · Promise
3 · Accept
4 · Accepted
5 · Chosen
Proposer
Waiting
Quorum
0 / 5
Step 0 / 0
Idle.
Press
Next
to begin.
Scenario timeline
—
Prev
Play
Next
Restart
←
→
space
Free play — toggle dead acceptors, set n and value
Proposal n
Value
Start round
Next step
Reset
phase
—
promises
0 / 5
accepted
0 / 5
chosen value
—
Message log
last 2 messages