I have a related concern with the idea that the Bitcoin Core source code is the Bitcoin protocol specification.

Eventually, the C++ language will go the way of COBOL. Very few people will be able to interpret and maintain the specification in the not-too-distant future.