Status: OUT
Total Order Broadcast maintains identical delivery ordering across node failures: recovered nodes deliver the same slot sequence as live nodes, confirming that per-slot Paxos consensus and contiguous slot delivery enforce a single global order even through failure and recovery.
Ordering correctness across failures is proven only under synchronous simulation, not asynchronous networks
Depends on (SL): tob-recovery-replays-missed-slots, tob-contiguous-delivery