{"id":"pbft-view-change-safety-holds-with-stable-digests","text":"PBFT view changes maintain safety (2f+1 agreement) and liveness (carrying prepared requests forward with contiguous sequence numbers into the new view), ensuring no committed request is lost across leader transitions.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"pbft-view-change-safety-holds-with-stable-digests","truth_value":"OUT","reason":"retracted premise"}]}}