{"id":"pbft-view-change-preserves-prepared-requests","text":"Requests that reach the prepared state survive view changes: the new primary collects prepared-but-uncommitted requests from VIEW_CHANGE messages and re-proposes them with fresh PRE_PREPARE messages in the new view.","truth_value":"IN","source":"entries/2026/05/29/byzantine-fault-tolerance-test_pbft.md","source_url":"","source_hash":"","justifications":[],"dependents":["pbft-view-change-preserves-safety-and-liveness"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"pbft-view-change-preserves-prepared-requests","truth_value":"IN","reason":"premise"}]}}