So for example, if the machine in a precinct catches fire and explodes, the vote proceeds, except the ballots are placed in a box. If the numbers reported by the machine are nonsensical, the machine is set aside and the ballots are counted manually. If there is a recount, the ballots are counted manually.
The problem is that this is not a sufficient criteria for detection. Presumably a hacked machine would spit out "sensical" counts that are biased to one side, not 99% for one party or something like that. How would you detect that by just looking at a simple sum?
I can't really see how to verify the count without having everyone check that the machine printed what they thought, and having multiple people perform independent counts that must match.
You could have people count later and check that the machine got it right, but then consider the problems that would cause if the media was reporting bad numbers before the official count is finished.
It is certainly the case that trust in such machines could be misplaced.
Right but if that's the case, you're going to have to count them by hand at some point. So what do the machines bring to the table, if their whole purpose is to avoid that?