El Departamento de Estado de Colorado inició el 13 de julio la auditoría de límite de riesgo (RLA) de la elección primaria de 2026 con una reunión pública para establecer sus parámetros. El procedimiento, realizado con participación bipartidista en los condados que utilizan equipos de conteo, emplea software de código abierto y una semilla aleatoria de 20 dígitos obtenida mediante el lanzamiento público de veinte dados de diez caras. La semilla alimenta un generador pseudoaleatorio que determina las boletas que cada condado deberá examinar. Según el Departamento de Estado, desde la primera RLA estatal de 2017 ninguna discrepancia detectada ha sido atribuible a un funcionamiento incorrecto del sistema de votación.
Colorado inicia la auditoría de límite de riesgo de la primaria de 2026 con software de código abierto
Contexto
- Una auditoría de límite de riesgo (RLA) es una auditoría poselectoral basada en evidencia estadística que limita la probabilidad de que un resultado incorrecto sobreviva a la auditoría sin ser detectado y corregido. La muestra examinada puede ampliarse progresivamente y llegar a un recuento manual completo cuando la evidencia obtenida no basta para satisfacer el límite de riesgo establecido.1
- Las RLA requieren un registro de votos independiente del sistema de tabulación que pueda examinarse manualmente. En Colorado, la Regla Electoral 25 contempla auditorías de comparación, que contrastan boletas seleccionadas aleatoriamente con sus correspondientes registros electrónicos de voto, y auditorías por muestreo de boletas cuando el sistema no puede exportar esos registros.1
- Colorado incorporó las RLA a su legislación en 2009 mediante la HB 09-1335, que creó la sección 1-7-515 de los estatutos estatales y dispuso inicialmente un programa piloto. En noviembre de 2017 se convirtió en el primer estado en completar una RLA a escala estatal, y el procedimiento quedó desarrollado reglamentariamente en la Regla Electoral 25.2
- El software utilizado para administrar las RLA de Colorado fue desarrollado originalmente por Free & Fair y publicado bajo licencia de código abierto GPLv3. La apertura del código permite inspeccionar el software que procesa los datos de la auditoría, mientras que la semilla generada públicamente permite reproducir la selección pseudoaleatoria de las boletas; son mecanismos distintos y complementarios de transparencia.3
- Las RLA siguen siendo una modalidad minoritaria dentro de las auditorías poselectorales estadounidenses. Los 50 estados cuentan actualmente con alguna forma de auditoría poselectoral establecida legalmente, pero siete exigen estatutariamente auditorías de límite de riesgo; otros estados las permiten o han realizado programas piloto.4
- 1.Colorado Secretary of State, Definición, modalidades y requisitos de las auditorías de límite de riesgo en Colorado. sos.state.co.us/pubs/rule_making/CurrentRules/8…
- 2.Colorado Secretary of State, Colorado, primer estado en completar una RLA estatal (nov. 2017); mandato legislativo de 2009 y Regla Electoral 25. sos.state.co.us/pubs/newsRoom/pressReleases/201…
- 3.Free & Fair, Desarrollo y publicación bajo GPLv3 del software de auditoría de límite de riesgo de Colorado. freeandfair.us/blog/risk-limiting-audits/
- 4.NCSL, Auditorías poselectorales en los 50 estados y siete estados que exigen RLA. ncsl.org/state-legislatures-news/details…