> Oh. So, because I said I work in software you assumed I worked in safety critical systems?

No, I didn't. I asked you to provide me an example of code that you had generated via AI that might survive in such an environment. But if you re-read my original post, I also gave you an escape hatch: just code that was correct. Not even formally.

I'd say your refusal to provide any examples of your original claim is pretty telling, and your reasoning is pretty convenient for you, now isn't it?

Edit: also, I'd like to point out that it was you who used the word "software" as a general claim. You never specified what kind of software. Since you continue to expect me to derive the proof for you instead of you providing the evidence, I don't see any need to continue this discussion since nobody is obviously going to learn anything. I'm sure many of us here would love to learn what secret sauce your using that makes software engineering so trivial, but you don't seem willing to actually provide that.

As I said, feel free to experiment, I gave you some hints where to start. Or not. I don't win any prizes either way.