Audyt to nie ponowne liczenie
Te dwa określenia bywają używane zamiennie, ale oznaczają różne narzędzia do różnych zadań. Ponowne liczenie ponownie zlicza każdy głos — pełne powtórzenie, zwykle uruchamiane przez bardzo niewielką różnicę albo formalne zaskarżenie. Audyt jest lżejszą, rutynową kontrolą: bada część zapisu papierowego, aby potwierdzić, że zgłoszony wynik jest prawidłowy, przed certyfikacją, niezależnie od tego, czy ktoś go kwestionuje.
Można to porównać do różnicy między badaniem kontrolnym a operacją. Audyt to kontrola wykonywana za każdym razem z zasady; ponowne liczenie to interwencja, do której dochodzi się dopiero wtedy, gdy kontrola wykryje problem. Dobrze zaprojektowany audyt to to, co decyduje, czy potrzebne jest ponowne liczenie — zamiast czekać, aż spór polityczny zażąda takiego kroku.
Audyt ograniczający ryzyko
Najsilniejszą formą jest audyt ograniczający ryzyko (RLA), a jego podstawowa idea jest naprawdę sprytna: liczba kart do ręcznego zliczenia zależy od marginesu, a nie od wielkości elektoratu.
Dlaczego? Ponieważ audyt sprawdza wynik, a nie każdą liczbę. Jeśli kandydat wygrał przewagą dziesięciu punktów, tylko ogromny, systemowy błąd mógłby odwrócić rzeczywistego zwycięzcę — a tak duży błąd niemal na pewno ujawniłby się nawet w niewielkiej losowej próbie. Jeśli wyścig rozstrzygnęło kilka głosów, audyt automatycznie pobiera znacznie więcej kart. Rezultat jest wyjątkowo efektywny: wybory z wieloma milionami głosów często można potwierdzić, ręcznie licząc zaledwie kilkaset papierowych kart do głosowania.
Co audyt może wykazać
RLA ma dokładnie dwa możliwe zakończenia i oba są użyteczne:
- Potwierdzenie. Próba jest zgodna ze zgłoszonym zwycięzcą na wcześniej uzgodnionym poziomie ufności, więc audyt zostaje zakończony, a wynik potwierdzony.
- Eskalacja. Próba nie jest zgodna, więc audyt zostaje rozszerzony — a jeśli wątpliwości się utrzymują, eskaluje aż do pełnego ręcznego ponownego liczenia.
Zwróć uwagę, czego audyt nie twierdzi: nie certyfikuje, że każde pojedyncze zliczenie jest bezbłędne. Certyfikuje, że wynik jest prawidłowy z określonym poziomem pewności. To jest zarówno uczciwe, jak i wystarczające — tym, co trzeba chronić, jest to, kto wygrał, i z jaką przewagą.
Audyty a zarzuty, na które odpowiadają
Rzeczywista wartość audytów ujawnia się wtedy, gdy stykają się z zarzutami fałszerstw. Po 2020 roku pojawiło się twierdzenie, że maszyny do głosowania w Antrim County, Michigan, zamieniły głosy. Władze odpowiedziały ręcznym liczeniem papierowych kart do głosowania. Ręczny audyt potwierdził wynik maszynowy, a początkowy błąd w raportowaniu — szybko wykryty i skorygowany — okazał się błędem ludzkim, a nie fałszerstwem.
To jest wzorzec, który należy zapamiętać. Audyt przekształca nieweryfikowalne „maszyny zostały zhakowane” w konkretne, sprawdzalne pytanie: czy papier się zgadza? To odpowiednik dyscypliny opisanej w jak sprawdzić fakt dotyczący twierdzenia — zastąpienie odczucia testem. A tam, gdzie zwykła anomalia statystyczna może jedynie postawić pytanie, audyt może je rzeczywiście rozstrzygnąć.
Audyty wymagają papieru
Nic z tego nie działa bez fizycznego zapisu, z którym można porównać wynik. Audyt porównuje wynik elektroniczny z niezależnym śladem papierowym; usuń papier, a nie będzie czego audytować. Dlatego te dwa zabezpieczenia są w istocie jedną ideą w dwóch częściach: papier tworzy dowód, a audyt go odczytuje. Razem pozwalają wyborom powiedzieć wiarygodnie: sprawdziliśmy — i oto jak można to sprawdzić również.