Status: IN
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.
The fragile default=str digest function could cause honest nodes to compute different digests for identical requests, breaking prepared certificate matching and undermining the 2f+1 threshold
Depends on (SL): pbft-view-change-preserves-safety-and-liveness, pbft-executed-log-sequence-numbers-contiguous
Unless: pbft-default-str-fragile