The loop can write correct code unattended. What it can’t do is grant itself permission — and in a regulated estate that gap is a gate, not a better checker.
A documented failure mode gets reviewed. A system constraint gets enforced. The difference is whether governance scales with headcount or with the system.