> Very few problems really have "all the tooling to verify its hypotheses"

This is such a blanket dismissal that I can’t agree or disagree.

Maybe very few of YOUR problems are this way. At least mention some problem domains.

Recent experiences: compiler-related (helpful), UI-related (agree it isn’t testable but the design iteration is quick, easy, and correct), debugging technical configuration problems (useless; I basically have to solve each problem myself before the LLM recognizes it).