Yeah. The audits are a joke. In the end it amounts to nothing but an idiotic judge-god-king proudly declaring that the machines are UNQUESTIONABLE.

Our congress has determined that a paper trail must be implemented but the judges aren't having it.

https://news.ycombinator.com/item?id=36543423

Source code is a red herring too. If there's no reproducible builds that cryptographically establish source-executable correspondence, showing us the source code would prove nothing and only serve to embarrass us. Supply chain attacks could compromise it without any source code vulnerability. What they need to do is publish the signed executables that ran on election day as well as every executable used to construct those artifacts. Our AIs will make short work of the binaries.

In any case, the prevailing theory is that the mesários are partidarian and simply impersonate people who didn't show up to vote in order to boost their candidate's numbers. Very low tech, can be fixed with surveillance: have people from all parties everywhere observing everything. It boggles my mind that this isn't being done already.