I get the feeling specifications documents are going to become the hot new programming language. I suspect, over time, we'll see special syntax and semantic conventions get published for specifications docs that result in the best chance for a coding agent to get the implementation right the first time and with minimal tokens.

Isn’t what you are describing, a programming language? I‘m not sold on specs being everything you need to implement correctly.