AI slop article not worth reading.
> Formal specification layers that agents execute against, not just prompts.
We already have this. It's called the code. Either you write the code, or you write spec that begins to look like code in half an hour, and now you have 2 codebases.