This is a visualization of a simplified version of the MongoRaftReconfig dynamic reconfiguration protocol designed for the MongoDB replication system. The state graph used for this animation was generated from the TLA+ formal specification found
here.