Another way to state the real problem: There is no Bitcoin Protocol Spec, most semantics buried in the hairball of the C++ reference implementation
Yes. This will be the death of Bitcoin. When a fully specified crypto currency comes along, it will leave Bitcoin behind. "The implementation is the protocol specification" is wrong, and at Internet scale it is very wrong.