{"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":["tob-ordering-verified-under-real-failures"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"tob-contiguous-delivery","truth_value":"IN","reason":"premise"}]}}