This issues tracks the efforts to document and specify the interaction between the consensus state machine (State) and the communication layer (Gossip) inside the Consensus reactor.
This task will serve as input to #9880

The object of this effort is v0.37.x.

• Document the current implementation State/Gossip/P2P interaction #9930
• Specification of the P2P/Gossip/Consensus interaction #9931
• Draft specification of the P2P/Gossip/Consensus interaction #9932

DoD:

• The current implementation is well understood
  • all components of the current implementation are documented
  • the interaction between Gossip and State is documented.
• There exists a formal specification of the State/Gossip/P2P interactions and mismatches between requirements and provisions are identified.