It seems that RaftScope doesn't currently lose the commitIndex when a node crashes. It probably should lose it to be consistent with the paper. See https://groups.google.com/d/msg/raft-dev/KIozjYuq5m0/wSAYhw1OqcUJ