This is why nearly all people that write code are not engineers, no "Software Engineer" would be willing to sign off on their code like this, yet this is level of safety guarantees real engineering is about.