← Todos los artículos

Cuando la única auditoría que funciona es en la sala de tribunales, el sistema ya fracasó

Tres países realizaron elecciones presidenciales. Tres cortes supremas tuvieron que anularlas. La pregunta no es por qué intervinieron los tribunales — es por qué las elecciones necesitaban ser salvadas en primer lugar.

Es la mañana del 1 de septiembre de 2017, y seis jueces en Nairobi están a punto de hacer historia que nadie quería hacer.

La elección presidencial se realizó hace 22 días. Uhuru Kenyatta ha sido declarado ganador. Los votos han sido contados — o algo que se parece al conteo ha ocurrido. Millones de kenianos han estado en línea, marcado sus opciones, y esperado. Y ahora la Corte Suprema, por mayoría de cuatro a dos, está haciendo lo que ningún tribunal en la historia africana había hecho antes: invalidar el resultado completamente.

No porque encontrara fraude masivo. No porque los votos claramente fueron robados.

Porque nadie podía probar que no lo fueron.


Lo que la corte keniana realmente dijo

Lee el fallo cuidadosamente — Presidential Election Petition No. 1 of 2017 — y encontrarás algo más preocupante que una historia de corrupción. La preocupación de la corte era estructural. La constitución de Kenia requiere que las elecciones sean simples, precisas, verificables, seguras, responsables y transparentes. La Comisión Independiente Electoral y de Fronteras había establecido un sistema para hacer que esto sucediera: formularios de resultados de cada centro de votación (llamados Formularios 34A) debían ser transmitidos electrónica y simultáneamente al centro de conteo nacional, creando un vínculo rastreable en tiempo real desde cada urna hasta el número final.

Ese sistema no funcionó como fue diseñado. No todos los Formularios 34A fueron transmitidos. El formulario de conteo nacional final no tenía marca de agua o número de serie. El presidente de la IEBC declaró un ganador antes de que todos los formularios subyacentes hubieran llegado. Cuando la corte buscó la cadena de evidencia que le permitiría — o a cualquiera — verificar independientemente el total anunciado, la cadena tenía brechas.

Dos jueces disintieron: sintieron que la carga probatoria para la anulación no había sido cumplida. Ese desacuerdo honesto es en sí mismo parte de la historia. La mayoría y la disidencia no estaban discutiendo sobre fraude. Estaban discutiendo sobre prueba. Si lo que existía era suficiente para confiar. Si la ausencia de una cadena verificable justificaba anular una elección en la que decenas de millones de personas habían participado.

La corte ordenó una nueva elección dentro de 60 días. Kenia la realizó. La brecha de verificabilidad que causó la anulación — el problema de diseño, no solo la falla de ejecución — siguió siendo un tema de discusión política después.

La corte atrapó algo real. Pero lo atrapó de la manera más difícil posible, después del hecho, bajo presión política, con un país esperando.


El problema del corrector líquido en Malaui

Ocho mil kilómetros al sur, en febrero de 2020, la Corte Constitucional de Malaui hizo lo mismo.

La elección presidencial de mayo de 2019 había regresado a Peter Mutharika como ganador por estrecho margen. Pero cuando los litigantes cuestionaron el resultado y los tribunales examinaron los formularios de conteo oficiales — los documentos físicos que deberían ser la base de cualquier conteo verificable — encontraron algo que no debería existir en ningún sistema electoral serio.

Corrector líquido. Tipp-Ex, aplicado a formularios de resultados del gobierno oficial, sobrescribiendo las cifras originales.

No solo en un distrito. No solo en una región. Profusamente. Junto con formularios de resultados duplicados, formularios sin firmar, y conteos impropios. La Corte Suprema de Apelación confirmó la anulación el 8 de mayo de 2020, encontrando que las irregularidades significaban que el resultado anunciado no podía ser tratado como un reflejo verificable y legal del voto.

Piensa en lo que el corrector líquido significa en este contexto. No es un ataque sofisticado. No es un ciberataque. Es una botella de pintura blanca que cuesta un dólar. Y fue suficiente para hacer que una elección presidencial completa fuera legalmente inverificable.

El formulario de conteo se supone que es el artefacto a prueba de manipulaciones que no puede mentir. Es el pedazo de papel firmado en el centro de votación, frente a testigos, registrando lo que mostró el conteo. Una vez que introduces Tipp-Ex, has eliminado la evidencia a prueba de manipulaciones. Has convertido un registro verificable en un registro alterable, y un registro alterable no es un registro en absoluto.

Malaui realizó una nueva elección en junio de 2020.


El colapso de la cadena de custodia en Austria

En julio de 2016, la Corte Constitucional austriaca anuló una segunda vuelta presidencial que había sido decidida por aproximadamente 30,000 votos. La corte encontró violaciones procedimentales que afectaban aproximadamente 77,000 votos por correo: sobres abiertos temprano, conteos comenzados por personas no autorizadas, testigos requeridos ausentes. El margen ganador era más pequeño que el número de votos manejados en violación de las reglas.

Críticamente — y este es el punto que la mayoría de reportajes perdieron — la corte no encontró evidencia de fraude. A nadie se acusó de cambiar un voto. La corte anuló la elección no porque encontrara manipulación, sino porque no podía verificar que la manipulación no hubiera ocurrido. Los procedimientos que existen para hacer que una elección sea independientemente verificable habían sido violados a una escala que podría haber afectado el resultado.

Una segunda vuelta repetida fue realizada en diciembre de 2016.

Aquí está la cosa sobre Austria: los procedimientos que fueron violados no son tecnicismos oscuros. Son los mecanismos de verificabilidad. Quién puede manejar los votos, en presencia de quién, a qué hora — estas reglas existen para que cualquiera con legitimidad pueda mirar el registro y confirmar que ninguna persona no autorizada tuvo la oportunidad de alterar lo que estaba dentro de esos sobres. Cuando abres sobres antes del tiempo permitido, sin testigos, no solo rompes una regla. Destruyes la base de evidencia que hace que el resultado sea verificable. Haces la verificación retroactivamente imposible.

Por eso la corte no tuvo opción. No se trataba de castigar un error. Se trataba de la pregunta básica de si un resultado legítimo y verificable existía en absoluto.


Tres elecciones, un problema subyacente

Kenia. Malaui. Austria. Tres países muy diferentes. Tres modos de falla muy diferentes — una brecha de transmisión digital, una botella de Tipp-Ex, una apertura de sobres prematura. Tres cortes supremas forzadas a actuar como la última línea de defensa.

Pero nota lo que las conecta: en todos los casos, la falla de verificación fue anterior a la corte. El problema no fue que el sistema de la corte fracasara. El problema fue que el sistema electoral no produjo ningún registro independientemente verificable. La corte fue llamada a examinar algo que ya se había vuelto inverificable.

Una corte que no puede verificar un resultado y anula la elección está haciendo exactamente para qué están las cortes. Pero también es una señal de que todo lo que debería haber prevenido la necesidad de esa intervención ya había fracasado.

Los tribunales son lentos. Son costosos. Son inherentemente ambientes políticos — como esos dos jueces disidentes kenianos nos recuerdan, personas razonables examinando el mismo registro pueden llegar a conclusiones diferentes sobre si la evidencia alcanza el estándar. Una corte dividida no obliga a un recuento; solo deja un resultado disputado en pie.

Una corte es un último recurso, no un mecanismo de verificación. Y la diferencia importa enormemente, porque en el momento en que una corte está involucrada, el daño a la legitimidad ya ha sido hecho.


Cómo se vería la verificación integrada realmente

La Corte Constitucional Alemana expresó el principio claramente en su fallo de 2009 sobre máquinas de votación electrónica: los pasos esenciales de la votación y de la determinación del resultado pueden ser examinados por el ciudadano de manera confiable y sin ningún conocimiento especializado. No por un juez. No por un informático. Por un ciudadano.

Ese es un estándar más alto de lo que suena. Y es exactamente el estándar que Kenia, Malaui y Austria todos fracasaron en alcanzar — antes de que cualquier corte estuviera involucrada.

¿Cómo se vería alcanzar ese estándar en la práctica?

En Kenia, significaría que cada Formulario 34A sea fotografiado, transmitido con una firma a prueba de manipulaciones, y publicado en tiempo real en una URL pública que cualquiera pueda verificar. Un votante en Mombasa podría buscar el resultado de su centro de votación, compararlo con el conteo nacional, y detectar cualquier discrepancia sin necesitar un abogado o una orden judicial.

En Malaui, significa formularios de conteo que sean firmados en bolígrafo, atestiguados, fotografiados, y codificados — para que si alguien aplica corrector líquido al original, el registro digital muestre lo que decía el formulario antes de que la pintura fuera aplicada.

En Austria, significa registros de cadena de custodia con marcas de tiempo y testigos que sean en sí mismos parte del registro público, no notas administrativas privadas que solo una corte puede citar.

Estas no son ideas hipotéticas. Colorado ha realizado auditorías de limitación de riesgo a nivel estatal desde 2017 — comprobaciones estadísticas que proporcionan niveles de confianza definidos en lugar de sonidos reconfortantes. Georgia contó manualmente aproximadamente cinco millones de votos en 2020, produciendo un resultado que cualquiera podría comparar contra los totales de la máquina. La brecha fue aproximadamente una décima de uno por ciento. Eso no es perfección, pero es un número verificable, público, independientemente reproducible. La comisión electoral del gobierno holandés concluyó en 2007 que una elección solo es confiable si el público puede verificarla — y el país volvió a votos en papel y conteo manual.

El hilo común es este: la verificabilidad no es una característica que agregues después. Es una propiedad que construyes desde el principio, o no la tienes en absoluto.


Por qué 'la auditoría lo confirmó' no es la lección

Cuando los funcionarios electorales señalan una auditoría que confirmó un resultado, la respuesta debería ser siempre: confirmó cómo, ¿y puedo verificarlo?

Un formulario de conteo con Tipp-Ex que pasa una revisión superficial no está confirmado. Un registro de transmisión electrónica que solo la comisión puede acceder no está confirmado. Una corte que se divide cuatro a dos no es una confirmación — es un hallazgo controvertido que estuvo peligrosamente cerca de ir al otro lado.

Incluso un recuento manual a mano — el supuesto estándar de oro — lleva error humano irreducible. La auditoría de votos presidenciales de diciembre de 2020 del Condado Antrim, Michigan, difirió de la tabulación de la máquina por aproximadamente una docena de votos de aproximadamente 15,700 emitidos. Doce votos. En un condado pequeño con un margen cómodo, eso es ruido. En una carrera decidida por menos votos que eso, es lo importante. Y como la auditoría forense de Windham, New Hampshire mostró en 2021, un pliegue en una boleta de una máquina plegadora arrendada — sin malware, sin fraude, sin conspiración — fue suficiente para causar que el escáner leyera una arruga como un óvalo marcado, cientos de veces.

"Un conteo manual lo confirmó" es un consuelo. "Una auditoría lo confirmó" es un consuelo. Un Secretario de Estado diciendo "todo coincidió" es un consuelo.

Los consuelos no son verificables. Los registros sí.

La Corte Suprema de Kenia no fue dada los registros que necesitaba. Las cortes de Malaui miraron los registros y encontraron que habían sido alterados. La corte austriaca encontró que el registro de quién había manejado los votos, y cuándo, simplemente no existía.

Tres cortes. Tres anulaciones. Sin verificación integrada.


La pregunta que sigue abierta

Ninguna de las tres nuevas elecciones que siguieron — en Kenia, Malaui y Austria — corrigieron el problema sistémico que causó la anulación original. Cada país realizó un nuevo voto bajo la misma arquitectura estructural que había fracasado. La elección repetida de Kenia en octubre de 2017 fue boicoteada por la oposición principal, y la pregunta subyacente de cómo hacer que la transmisión de resultados digitales sea independientemente verificable nunca fue completamente resuelta. La repetición de junio de 2020 en Malaui produjo un ganador diferente, pero el diseño del formulario de conteo — papel, firmado a bolígrafo, susceptible al corrector líquido — no fue reemplazado.

¿Qué cerraría realmente la brecha? No una nueva corte. No una auditoría más agresiva después del hecho. No una declaración más fuerte de una autoridad electoral.

Un sistema donde la cadena desde el voto hasta el total anunciado esté codificada criptográficamente, con marca de tiempo, publicada, e independientemente descargable por cualquiera — antes de que el primer desafío legal sea presentado.

No un sistema donde una corte tenga que ordenar la producción de registros. Un sistema donde los registros ya son públicos, ya son legibles por máquina, ya están archivados de una forma que ningún funcionario individual puede alterar silenciosamente.

Eso es lo que las cortes siguen encontrando la ausencia de. Es lo que la Corte Constitucional Alemana exigió en principio. Es lo que la constitución de Kenia requería y la IEBC fracasó en entregar. Es lo que los formularios de conteo con corrector líquido de Malaui destruyeron. Es lo que los abridor de sobres no autorizados de Austria socavaron.

La corte siempre es el último recurso. La pregunta que vale la pena hacer — antes de cualquier elección, no después — es si tu sistema fue construido para que la corte nunca tenga que ser llamada.

"Una corte que no puede verificar un resultado y anula la elección está haciendo su trabajo. Un sistema que fuerza una corte hacia esa posición ya ha fracasado."


Ve cuán común es esta brecha de verificación en todo el mundo →

Lee la versión de dos minutos de por qué la verificabilidad integrada importa →

Explora dónde están las brechas de tu sistema electoral →


Fuentes