5.9 辅助节点选举

可以提议和批准辅助的Checker。这个提案是在主⽣成器序列上⽣成。这个提案具有一个超时时间，如果该提案在超时时间内以绝大多数通过，就会选举成功，并将按计划接管职责。

主⽣成器可以通过在生成的序列中插入一条消息来表示进行Checker的切换，也可以插入一个无效的状态并迫使网络回滚到到辅助生成器的状态。

如果选举了⼀个辅助节点，并且当主节点出现问题时，在选举期间会优先考虑是否回滚到辅助节点的状态。