Recovery path needs to identify if there was a chosen value only from F+1 nodes (out of 2*F+1 nodes total).
When two proposers with same proposal-number, but different values have partially executed the protocol before the crash, then you would end up with all F+1 nodes with same proposal number indicating successful consensus previously, but with divergent values.
Recovery path needs to identify if there was a chosen value only from F+1 nodes (out of 2*F+1 nodes total).
When two proposers with same proposal-number, but different values have partially executed the protocol before the crash, then you would end up with all F+1 nodes with same proposal number indicating successful consensus previously, but with divergent values.