Deterministic distributed-systems lab

Raft in a Storm

Break a five-node cluster without breaking safety. Every vote, heartbeat, log conflict, quorum proof, and commit is real simulator state—not decorative motion.

Paused logical time 0.0s

Space play/pause · → step · 1–5 crash/restart · tap a link to partition it

Cluster topology

Node ring = election/heartbeat time remaining. Links are interactive.

Term0
Leaderelecting
Reach5/5
In flight0
Five-node Raft network Ten focusable links connect nodes A through E. Activate a link to partition or heal it. Colored dots represent protocol messages in flight.
AppendEntries RequestVote / vote acknowledgement partitioned link

Replicated logs

Green entries are committed. Dashed entries are leadership barriers. Uncommitted conflicts may be truncated; committed entries may not.

Protocol traffic

Scheduled delivery uses deterministic seed-based latency.

Delivered0
Dropped0
RPC Route Term Payload ETA

Event trace

Newest event first; protocol decisions remain inspectable.

0 events