We don't need to solve the halting problem. We just need to come up with a sensible set of practices that, if followed, make the risks small enough to be consid

We don't need to solve the halting problem. We just need to come up with a sensible set of practices that, if followed, make the risks small enough to be considered acceptable. Then we can point at that list and say, "this is what the reasonable expectation of due diligence in software engineering is" - and legally enforce that.