Одити, които не променят действително резултата
Одитът трябва да открие грешно броене. Но в много места одитът е „само информационен" — дори ако открие, че машините се е объркали, не може да отмени резултата, който вече е сертифициран.
Видео с обяснение идва скоро
60-секундна, ясна обяснение на тази пропуск.
Какво се случи всъщност
Michigan е ясен кодифициран пример: според неговия избирателен закон след-избирателният одит „не е преброяване и не променя никакви сертифицирани резултати от избори" — той е информационен, без законов път от одита до действително коригиране на резултата. (Одитите на много щати са подобно необвързващи.)
Къде стойностите днес
Това е настоящ закон, не история. Когато одитите не могат да обвържат резултата, хартиената документация и одитът стават упражнение за успокоение, а не реална проверка. Фигурата по-горе измерва днешните закони.
Проверка на математиката, но сумата вече е заключена
Представете си, че откривате грешка при двойна проверка на важен законопроект — и вам казват, че сумата е окончателна независимо какво сте намерили. Това е необвързващ одит: той се провежда, може дори да установи, че машинното броене е грешно, но няма власт да промени резултата, който вече е сертифициран.
Защо е важно
Хартиена документация и одит са толкова силни, колкото това, което се случва, когато те не се съгласят с машините. Законът на Michigan е ясен — неговият след-избирателен одит „не е преброяване и не променя никакви сертифицирани резултати от избори", и одитите на много щати са подобно информационни. Така че проверката може да открие проблем, и грешният резултат може да остане в сила.
Как TrustVoting го решава
Хартиената документация на TrustVoting, готова за одит с ограничен риск, е построена така, че несъответствие да бъде повишено — към по-широко броене и корекция, ако резултатът е грешен — вместо да бъде записано и игнорирано. Одит, който не може да промени резултата, не е наистина одит.
Как TrustVoting я затваря
Хартиената документация на TrustVoting, готова за одит с ограничен риск, е проектирана така, че одит, който открие несъответствие, да бъде повишен — към по-широко броене и, ако е необходимо, коригиране — вместо да бъде архивиран като бележка. Одит, който не може да промени грешен резултат, не е наистина проверка.