{"id":"tob-ordering-verified-under-real-failures","text":"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.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["tob-recovery-replays-missed-slots","tob-contiguous-delivery"],"outlist":["distributed-protocols-simulate-synchronous-delivery"],"label":"Ordering correctness across failures is proven only under synchronous simulation, not asynchronous networks"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"tob-ordering-verified-under-real-failures","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"Ordering correctness across failures is proven only under synchronous simulation, not asynchronous networks","violated_outlist":["distributed-protocols-simulate-synchronous-delivery"]}]}}