False dichotomy IMO.

I've rarely met a "craft" person that authors TLA+ models to find correctness issues in their systems. And yet as an outcome person I frequently ask my AI minions to do this and similar exercises.

What I think you're actually describing is competency using AI as a tool to drive effective and correct outcomes. That takes practice and systems - same as it ever was.

If you buy in, I think you'll find you can create great, correct systems... only more than you could ever do alone. Without N*N comms overhead. Without having to convince your louder, less competent teammate to actually finish their work.