Watch five servers agree

This is raftkv's own Raft implementation compiled to WebAssembly, running a 5-node cluster in your browser. Crash the leader, cut a node off, write values, and watch elections and log replication happen message by message. The same Raft code passes 1,000 randomized fault schedules with zero linearizability violations in the simulator. Case study.

leader candidate crashed append vote

Each square is a log entry, coloured by the term it was written in. Faded squares aren't committed yet; the line under a square means committed.