When your AI starts rewriting its own code, formal verification and corrigibility are essential to ensure safety, control, and reliable performance in auto