Status: OUT
Consensus protocol correctness is doubly unverified: both Raft and TOB represent untested inverse optimizations of Multi-Paxos whose safety properties diverge specifically under asynchrony and crash failures, AND the testing methodology covers neither crash nor asynchronous failure modes — the exact conditions under which the two optimization strategies would reveal different safety profiles.
The test methodology's blind spots exactly coincide with the conditions that would differentiate the consensus variants, making their safety claims maximally unfalsifiable.
Depends on (SL): consensus-safety-unverified-across-optimization-variants, testing-covers-neither-crash-nor-async-failure-modes