{"id":"reprepare-merges-by-sequence","text":"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).","truth_value":"IN","source":"entries/2026/05/29/byzantine-fault-tolerance-pbft-_handle_view_change.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"reprepare-merges-by-sequence","truth_value":"IN","reason":"premise"}]}}