andrewconway / concretestv Goto Github PK

@AndrewConway thought you might be interested in https://github.com/XertroV/lex3029 given that this repo was created 2 days after the AEC video "The Senate count: Check, then check again" was published. That video was also the motivation for the FOI req, since some of the claims seem... fishy.

the foi req was:

Documents pertaining to all recent records of third parties independently verifying the AEC's count. Here, recent means: the past two election cycles (approx 6 years).

These include: lists of such verifications, notes on the methodological errors of such verifications, initial communications that the AEC has made with third party verifiers who have made methodological issues, minutes regarding considering third party verifications good enough to be valid, etc.

prior to ConcreteSTV, dividebatur was the only thing the AEC knew about (and apparently they knew VERY little), and, as you and Teague pointed out in your paper, dividebatur had different implementations re tie-breaking.

I verified that dividebatur differs from the AEC count as your paper pointed out: https://xertrov.github.io/dividebatur/#/scenario/wa_recount_1/count/48

Also, I note that the schedule of documents for LEX3029 does not contain any indication that the AEC actively engaged anyone to verify their count, but the scope of LEX3029 would include such documents. It may have been the case that the AEC had commissioned a third party audit but kept the results secret. But apparently that isn't the case.

Ahh, the AEC...

The AEC’s values of electoral integrity through agility, professionalism and quality underpin everything we do and assist us to deliver federal elections that are: accessible to all eligible voters; professionally run; impartial; and transparent. We also continue to evolve and innovate in order to meet the demands of the changing external environment.

-- Tom Rogers, 30 August 2021