So Eth2 Phase 0 is apparently a frozen spec.
The Phase 0 document appears to be a code-only or code-mostly “specification”, and elsewhere in the repo are tests. This approach to creating specifications poses challenges to implementers and security researchers, but is probably something which the Ethereum protocol researchers will not or cannot change.
Update: there is to be a wiki which will contain key parts of the spec.
Is there anything Magicians can do to help create a better specification for the next-generation protocol?