Design consensus safety, liveness, proposal, quorum, fork choice, finality, membership transitions, and Byzantine-fault handling.
