Status: IN
When the new primary merges prepared sets from VIEW_CHANGE messages, it deduplicates by sequence number using first-writer-wins without verifying that all nodes prepared the same request at that sequence — relying on the PBFT safety proof that at most one request can be prepared per (view, seq).
Source: entries/2026/05/29/byzantine-fault-tolerance-pbft-_handle_view_change.md