This repository contains some videos demonstrating our IRV extensions to colorado-rla. These are currently in prototype form, using code from raire-java, raire-service and our fork of colorado-rla. We're working actively on updating the prototype, so the version you pull may not quite match the videos you see here.
The demonstrations use real election data from Boulder (2023) and the Australian state of New South Wales (NSW) (2021).
The root directory contains videos for a mixed election in which we pretend that the NSW data was uploaded by various Colorado counties. It shows setting up the election and generating, downloading and visualizing the assertions. You can view the assertions yourself by downloading the assertions zip file and loading the individual contests into the assertion explainer.
The Boulder23 directory shows more about the actual audit process, including how the audit board inputs audited IRV ballots. Note that the UI is still in prototype. We get fairly high sample sizes because the public redacted CVRs have some ballots removed for privacy, but in a real IRV audit we would not expect IRV sample sizes to be significantly larger than plurality sample sizes for contests of the same margin.
The AssertionVisualizer video shows a more detailed explanation of the Assertion Visualizer.