{"id":"tob-contiguous-delivery","text":"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","truth_value":"IN","source":"entries/2026/05/29/total-order-broadcast-total_order_broadcast.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"tob-contiguous-delivery","truth_value":"IN","reason":"premise"}]}}