Fair enough, but there is also another problem. What happens if you detect a discrepancy in one or two places, but good results in many others? Do you still iss

Fair enough, but there is also another problem. What happens if you detect a discrepancy in one or two places, but good results in many others? Do you still issue a full recount of all places that the machine was used? If not, then an adversary can still subtly modify the results of the election, at least probabilistically.