>The issue was not that no one found the flaw, it’s that no one could prove it wasn’t there.

Are cars since then required to have formally verified codebases, or is "no one could prove [there are no bugs]" still true?

---

Trying to evaluate what happened based on observation of events alone and stats, in absence of a formal proof of issue or non-issue... the cars didn't just disappear overnight so if there was such an issue... where did it go?