{"id":"tob-value-adoption-on-prepare","text":"In `_handle_prepare_response`, if any acceptor reports a previously accepted value, the proposer must adopt the one with the highest proposal number — this is the core Paxos safety invariant preventing decided values from being overwritten","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-value-adoption-on-prepare","truth_value":"IN","reason":"premise"}]}}