The argument that all coding agents need is the right deterministic constraints - enforced by compilers, type checkers, unit tests, provers etc - to replace the need for judgement built on experience forgets one very salient fact:

We've had those things for decades, and they didn't.