{"id":"tob-consensus-uses-paxos-ballot-numbers","text":"`ConsensusInstance.prepare(n)` / `accept(n, val)` use monotonic proposal numbers where a higher prepare preempts a lower one, causing `accept` with a stale number to return `{accepted: False}`","truth_value":"IN","source":"entries/2026/05/29/total-order-broadcast-test_total_order_broadcast.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"tob-consensus-uses-paxos-ballot-numbers","truth_value":"IN","reason":"premise"}]}}