"It could be read to say that computers should be presumed to be executing the instructions they're given reliably, unless evidence shows otherwise. It's about malfunction, not misapplication."

You are making a technical distinction the law does not make. The law relates to the output - to the evidence generated from the system as a whole. The presumption is that the logic is correct too - which is why it is such a terrible assumption.