Basically yes that’s what I’m proposing. Not sure if I’d describe it as a loop though - more like returning to some midway point after having traveled too far in one direction.

Fully manual coding is the most reliable but extremely slow and costly.

Fully LLM driven coding is extremely fast, but for serious work is too unreliable.

Spec-driven development might be viable, but too often the specs end up being LLM maintained, which defeats the purpose.

You need some hard boundary in the codebase where only human hands touch the files. And you want to enable the velocity that AI allows. So yes, semi-formal programming does seem like a promising solution.