In code, you have no insight into what actually happens.
trivia: did you know that a tear in any of the pages of your passport renders it invalid?
How? Any possible scheme I can think of that could theoretically allow a tabulation machine to behave differently on audit ballots than it does on real ballots, can also theoretically be mitigated via audit procedures.