Well, how are they going to "fix it" when their system is an "end to end neural net"? It's a black box. There's no code to update to tell it to behave differently during red lights.
Although maybe I hope you are right because it can be proven to be unsafe and shut down.
You confirm it is fixed by ensuring your validation set also has sufficient data representing the failures (and that they now succeed).