An interactive companion to the Game of Life extension “Secure and Fault-Tolerant Replicated Control Plane”. The models are deliberately simplified for building intuition. They are not a Raft implementation and not security-grade code, and the numbers in the timing tab come from a model, not a measurement.