Final GPBFT protocol alignment with FIP

[anorth]

Do a final fine-grained pass over the protocol specification in the FIP and the implemented code. Ensure the FIP and implementation code are aligned in all necessary details, and that the FIP is complete enough to be a specification for another implementation (e.g. in Forest/Rust).

Things to pay particular attention to:

• Predicates for completing steps
• Timeout semantics
• Message validation and justification
• Handling of equivocations and duplicated messages at every state update

Tasks

Beta Give feedback

1. Code: Switch to mayHaveStrongQuorum(value, r-1, COMMIT, 1/3)) in tryConverge
2. Spec supplementary data.
3. Describe power lookback.
4. Specify power threshold and applicability of other EC filters on power table participation (consensus fault, fee debt, etc). See Filter SP representation in F3 power table by threshold etc #346

FIP work in filecoin-project/FIPs#1022

[anorth]

FIP PR: filecoin-project/FIPs#1022