{"id":"pbft-view-change-preserves-safety-and-liveness","text":"PBFT view changes maintain both safety (requiring 2f+1 messages before acting) and liveness (carrying prepared-but-uncommitted requests into the new view), matching the theoretical protocol guarantees.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"pbft-view-change-preserves-safety-and-liveness","truth_value":"IN","reason":"premise"}]}}