The Dominion machines are programmed for each county in the county clerks office. For each precinct before the election the programmed machines are fed a premarked set of 167 ballots. The ballots are sent through the tabulators and the results compared with the ballot set. The machines are then sealed. After the election random precincts are selected and the ballots are hand counted and compared with the machine tabulation. Again this is Lea County and the Dominion machines are not connected to the internet.
But in other so-called progressive Dem counties I suppose there could be tampering with the programing especially if programming is done without Pub observers. It’s up to the state Pub party to observe and make sure that programming is done properly. Just having a so-called “independent” auditor verify accuracy won’t cut it in my book.
Are you a software engineer?
I have been one for over 25 years. Well your description seems adequate to a lay person, I can think of a thousand ways to go around that scenario and rig the election. They have to release the source code, which can be validated by any independent source any party wishes to review.
And the source code must be buildable to an exact bit by bit binary copy of what’s installed on the machine. And that’s just the start.
Without that critical step nothing else matters. I could program it to do anything I wanted it to do if I was certain nobody could see the source code or rebuild it