I'm not skeptical, but I'm wondering how you can scale this beyond just code.

To me, it makes sense that we start being more rigid in how we specify so we don't ever need to look at the code generated by LLMs.