Status: IN
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
Source: entries/2026/05/29/total-order-broadcast-total_order_broadcast.md