As a kernel developer, I have always had to worry about what happens in the 0.000001% of cases. You're either correct all of the time or you likely have an exp

As a kernel developer, I have always had to worry about what happens in the 0.000001% of cases. You're either correct all of the time or you likely have an exploitable security hole in your code that will turn into a CVE at some point in the future that will cost a lot of money to fix. One has to use strategies to reason through proof that your code does the right thing in all states, including the insertion of delays and other fault injection techniques to trigger the cases that aren't normally hit. It's also kind of like saying that an LLM only pushes 0.01% of people off the deep end in a psychotic episode, so it doesn't really matter. That doesn't actually get rid of the liability. All that said, I will always refuse to write life safety code. I am not a good enough developer to do so.