Besides the aspect of self improvement I’m impressed with the ability to put a language specification into 3,200 token. This is like a micro-kernel which extend

Besides the aspect of self improvement I’m impressed with the ability to put a language specification into 3,200 token. This is like a micro-kernel which extends itself. Now I wonder, shall we as humans still be able to read and review this code or is the sandbox + permission model as last line of defense sufficient? The 3,200 token specification is not a formal one, I wonder whether having it formalized into a real grammar would help LLMs to generate code?