Obviously then keep the specification, preferably testable, formal and verifiable of the protocol.

Without this part, you end up with a real big mess similar to 90s internet.