Аудит — це не перерахунок
Ці два слова часто вживають як взаємозамінні, але це різні інструменти для різних завдань. Перерахунок повторно підраховує кожен бюлетень — повне повторення, яке зазвичай запускають через дуже малий розрив або формальне оскарження. Аудит — це легша, рутинна перевірка: він вивчає частину паперового запису, щоб до сертифікації підтвердити правильність оголошеного результату, незалежно від того, чи хтось його оскаржує.
Уявіть це як різницю між медичним оглядом і операцією. Аудит — це перевірка, яку ви проводите щоразу за звичкою; перерахунок — це втручання, до якого вдаються лише тоді, коли перевірка виявляє проблему. Добре спроєктований аудит саме й визначає, чи потрібен перерахунок, а не чекає, поки політичний конфлікт вимагатиме його.
Аудит із обмеженням ризику
Найпотужнішою формою є аудит із обмеженням ризику (RLA), і його основна ідея справді вдала: кількість бюлетенів, які потрібно підрахувати вручну, залежить від розриву, а не від розміру електорату.
Чому? Тому що аудит перевіряє результат, а не кожне число. Якщо кандидат переміг із перевагою в десять відсоткових пунктів, лише величезна системна помилка могла б змінити реального переможця — і така велика помилка майже напевно проявилася б навіть у невеликій випадковій вибірці. Якщо ж результат визначили кілька голосів, аудит автоматично відбирає значно більше бюлетенів. Підсумок — вражаюча ефективність: вибори з багатьма мільйонами голосів часто можна підтвердити, вручну перерахувавши лише кілька сотень паперових бюлетенів.
Що може довести аудит
RLA має рівно два можливі завершення, і обидва корисні:
- Підтвердження. Вибірка узгоджується з оголошеним переможцем на заздалегідь погодженому рівні довіри, тож аудит припиняється, а результат підтверджується.
- Ескалація. Вибірка не узгоджується, тож аудит розширюється — і, якщо сумнів зберігається, доходить аж до повного ручного перерахунку.
Зверніть увагу, чого аудит не стверджує: він не засвідчує, що кожен окремий підрахунок бездоганний. Він засвідчує, що результат правильний із заявленим рівнем упевненості. Це і чесно, і достатньо — те, що потребує захисту, це хто переміг, і з яким відривом.
Аудити та твердження, на які вони відповідають
Практична цінність аудитів проявляється тоді, коли вони стикаються з твердженнями про фальсифікації. Після 2020 року поширилося твердження, що виборчі машини в Antrim County, Michigan, перемістили голоси. Посадові особи відповіли ручним підрахунком паперових бюлетенів. Ручний аудит збігся з машинним результатом, а початкову помилку в звітуванні — яку швидко виявили та виправили — було показано як людську, а не як фальсифікацію.
Ось у чому полягає закономірність. Аудит перетворює нефальсифіковане «машини було зламано» на конкретне, перевірюване запитання: чи збігається паперовий запис? Це аналог запобіжника, подібний до дисципліни в як перевірити твердження — заміна відчуття тестом. А там, де проста статистична аномалія може лише поставити запитання, аудит здатен на нього відповісти.
Для аудиту потрібен папір
Усе це не працює без фізичного запису, з яким можна звірятися. Аудит порівнює електронний результат із незалежним паперовим слідом; приберіть папір — і аудиту не буде що перевіряти. Саме тому ці два запобіжники насправді є однією ідеєю, поділеною на дві частини: папір створює доказ, а аудит його читає. Разом вони дають змогу виборам переконливо сказати: ми перевірили — і ось як ви можете перевірити теж.