I agree - it is easier to prove that a software implementation is correct. In many other industries the definition of what’s good work is less tangible. There are also jobs where the liability for mistakes is extremely high.

the current dynamic is still an engineer manually auditing and signing off on code.

why wouldn’t that work for other high trust industries (law, medicine, government, etc.)