Status: IN
Messages are delivered to the application only when all prior slots are decided; `_next_slot` advances through a contiguous run, and a gap (undecided slot N when N+1 is decided) blocks all later delivery
Source: entries/2026/05/29/total-order-broadcast-total_order_broadcast.md