De la coexistencia normativa entre la Ley N° 3017/2006 y la Ley N° 6318/2019

I. La cuestión fundamental

Para determinar si una ley ha sido derogada por otra, expresa o tácitamente, no basta con atender a la cronología de las normas. Sería un error, tan frecuente como grosero, suponer que la ley posterior aniquila automáticamente a la anterior. El derecho no opera como una sucesión de cataclismos normativos, sino como un sistema de estratos donde cada capa puede conservar su vigencia si regula una materia distinta de la que regula la capa suprayacente. La pregunta decisiva, entonces, no es "¿cuándo fue promulgada cada ley?", sino "¿de qué habla cada ley?". La respuesta a esta pregunta determina, con precisión lógica, si nos hallamos ante una contradicción insalvable o ante una coexistencia perfectamente armoniosa.

II. Definición formal del objeto normativo de la Ley N° 3017/2006

Sea A el conjunto de disposiciones contenidas en la Ley N° 3017, sancionada el 5 de octubre de 2006. Dicho conjunto se caracteriza por regular un régimen de transparencia, auditoría y control aplicable a la tecnología electoral, independientemente de las características específicas del dispositivo tecnológico empleado.

Formalmente:

A = { x | x es una disposición sobre: (i) intervención de apoderados de todos los partidos en el desarrollo del código fuente; (ii) acceso irrestricto a programas fuentes, ejecutables, bibliotecas y sistemas de seguridad; (iii) auditoría preelectoral quince días antes de los comicios, con selección aleatoria de al menos una urna por distrito y prueba de cinco horas; (iv) sorteo de al menos el uno por ciento de las mesas veinticuatro horas antes de la elección; (v) certificación de las urnas sorteadas el día de los comicios; (vi) verificación postelectoral dentro de la semana siguiente; (vii) nulidad total del proceso en caso de adulteración comprobada del código fuente }

Obsérvese que la definición de A no contiene referencia alguna a las características físicas del dispositivo electoral. No exige que la máquina tenga disco duro. No exige que carezca de él. No exige que el voto sea electrónico ni que sea impreso. A no define un objeto tecnológico. Define, en cambio, un procedimiento de confianza que debe rodear a cualquier objeto tecnológico que se utilice en una elección. Esta indiferencia respecto del soporte material es, precisamente, lo que confiere a la ley su vocación de permanencia.

III. Definición formal del objeto normativo de la Ley N° 6318/2019

Sea B el conjunto de disposiciones contenidas en la Ley N° 6318, sancionada el 22 de mayo de 2019. Dicho conjunto se caracteriza por regular dos materias fundamentales: (a) la modificación del sistema electoral para cargos pluripersonales, estableciendo listas cerradas, desbloqueadas y representación proporcional conforme al sistema D'Hondt; y (b) la orden de implementar el voto electrónico con comprobante impreso.

Formalmente:

B = { y | y es una disposición sobre: (i) el sistema de listas cerradas y desbloqueadas para convencionales, senadores, diputados, parlamentarios del Mercosur, juntas departamentales y juntas municipales; (ii) el método de asignación de escaños mediante cocientes sucesivos y sistema D'Hondt; (iii) la obligación del TSJE de disponer la utilización de sistemas de voto electrónico; (iv) la obligación de que dichos sistemas expidan una versión impresa del voto }

Obsérvese que la definición de B no contiene disposición alguna sobre acceso al código fuente, participación de partidos en el desarrollo tecnológico, auditorías en ninguna de sus fases, custodia de claves criptográficas o nulidad por adulteración. B regula el formato de emisión del voto (electrónico y con respaldo impreso). No regula el régimen de transparencia que debe acompañar a esa emisión.

IV. Análisis de la relación entre los conjuntos A y B

Procedamos ahora a determinar la relación de inclusión, exclusión o intersección entre A y B.

Proposición 1: La intersección entre A y B es vacía.

Demostración: Para que exista un elemento z tal que z ∈ A ∧ z ∈ B, sería necesario que alguna disposición de la Ley 3017 regulase la modalidad de emisión del voto (electrónica o no, con o sin comprobante impreso), o que alguna disposición de la Ley 6318 regulase el acceso al código fuente, las auditorías o la nulidad por adulteración. No existe tal disposición en ninguna de ambas leyes. Por lo tanto:

A ∩ B = ∅

Proposición 2: No existe relación de inclusión total entre A y B.

Demostración: La inclusión B ⊂ A exigiría que toda disposición de la Ley 6318 estuviese contenida en la Ley 3017. Esto es falso, porque la Ley 3017 no regula el sistema de listas desbloqueadas ni el método D'Hondt ni la orden de implementar voto electrónico. La inclusión A ⊂ B exigiría que toda disposición de la Ley 3017 estuviese contenida en la Ley 6318. Esto es falso, porque la Ley 6318 no regula el acceso irrestricto al código fuente, ni las auditorías, ni la nulidad por adulteración. Por lo tanto:

¬(B ⊂ A) ∧ ¬(A ⊂ B)

Proposición 3: Las leyes regulan objetos normativos distintos.

De las Proposiciones 1 y 2 se sigue que A y B son conjuntos normativos disjuntos. La Ley 3017 regula el procedimiento de control de la tecnología electoral. La Ley 6318 regula la modalidad de emisión del voto y el sistema de representación. No hay solapamiento material. Son dos estratos normativos que operan en planos diferentes.

V. Consecuencias para la derogación tácita

Conforme al artículo 7° del Código Civil Paraguayo (Ley N° 1183/1985), la derogación tácita opera cuando las disposiciones de la ley posterior son incompatibles con las de la ley anterior. Formalmente:

Derogación tácita ⇔ ∃ z ( z ∈ A ∧ z ∈ B ∧ ¬(z aplicable simultáneamente con A) )

Es decir, se requiere la existencia de al menos un elemento normativo que pertenezca a ambas leyes y que resulte contradictorio.

Dado que A ∩ B = ∅, la condición antecedente de la implicación es falsa. No existe ningún z que pertenezca simultáneamente a ambas leyes. En consecuencia, el consecuente no puede ser verdadero:

¬∃ z ( z ∈ A ∧ z ∈ B ) → ¬(Derogación tácita)

Por lo tanto, la Ley N° 6318/2019 no ha derogado, ni expresa ni tácitamente, la Ley N° 3017/2006.

VI. El error del TSJE

El Tribunal Superior de Justicia Electoral ha actuado como si la Ley 3017 hubiese desaparecido del ordenamiento jurídico. Ha declarado el firmware de la máquina de votación como "secreto comercial", ha impedido el acceso de los apoderados de la oposición al código fuente, ha generado la clave raíz del sistema sin participación de los partidos, ha realizado una "auditoría" que en rigor fue una demostración guiada con equipos confiscados, y ha implementado una arquitectura RAM-only que hace imposible la auditoría postelectoral.

Este comportamiento no encuentra amparo en la Ley 6318, que nunca autorizó semejante opacidad. Tampoco encuentra amparo en la pretendida derogación de la Ley 3017, porque dicha derogación, como se ha demostrado, nunca ocurrió. La conducta del TSJE es, simplemente, una violación directa de la Ley 3017, norma plenamente vigente que el tribunal está obligado a cumplir y hacer cumplir.

VII. Conclusión

La Ley N° 3017/2006 y la Ley N° 6318/2019 coexisten en el ordenamiento jurídico paraguayo. La primera establece las reglas de transparencia, auditoría y control que deben regir cualquier tecnología electoral. La segunda ordena que dicha tecnología sea electrónica y que expida un comprobante impreso. Ambas disposiciones son compatibles y se refuerzan mutuamente, el voto electrónico debe ser transparente porque así lo exige la Ley 3017; la transparencia debe aplicarse al voto electrónico porque así lo ordena la Ley 6318.

El TSJE no puede optar por cumplir una ley e ignorar la otra. No puede invocar la Ley 6318 para justificar un sistema opaco, porque la Ley 6318 no autoriza la opacidad. Tampoco puede argumentar que la Ley 3017 ha sido derogada, porque la derogación, como se ha demostrado con la precisión que exige la lógica, no se ha producido.

La conclusión es ineludible, el sistema de votación electrónica implementado por el TSJE para el proceso electoral de 2026 viola la Ley N° 3017/2006 en múltiples disposiciones esenciales. Esa violación constituye, por sí misma, una causa objetiva y suficiente para la impugnación del proceso electoral. No por capricho, sino por mandato de la ley. De esa ley que el TSJE ha decidido, sin fundamento jurídico alguno, dar por muerta. Pero las leyes, en un Estado de derecho, no mueren por decisión administrativa. Mueren por derogación legislativa, o no mueren. La Ley 3017 no ha muerto. Sigue ahí. Y sigue exigiendo lo que siempre exigió, transparencia, auditoría, participación de la oposición y nulidad para quien adultere el código fuente. El TSJE haría bien en leerla de nuevo. 

La arquitectura del fraude: De la lógica oculta a la dictadura procedimental (especulaciones hipotéticas de lo que muy bien puede suceder)

Un sistema de votación posible actual, no debe ser analizado como un conjunto de dispositivos independientes, sino como una cadena de procesamiento de datos en capas, donde cada eslabón permite una intervención técnica diseñada para garantizar la impunidad.

I. El mecanismo hipotético: La ejecución del fraude en la caja negra

1. La carga del vector (USB). El sistema se inicia cargando sistema operativo y aplicación desde un USB directamente en la RAM. Este entorno volátil permite inyectar código que desaparece al apagar la máquina, eliminando todo rastro forense.

2. La Inserción del flag (Chip RFID). Al votar, la máquina graba la preferencia en el chip e inyecta un flag invisible (bit de marcador lógico). El chip contiene la verdad y la instrucción de desvío simultáneamente.

3. Procesamiento en RAM y consistencia simulada. Durante el escrutinio, el software identifica los flags y altera el conteo interno. La pantalla muestra una cosa; la RAM acumula otra. El fiscal no puede detectar lo. La maquina imprime el verdadero resultado

4. La materialización (Chip TREP). El sistema graba los resultados trucados en el chip TREP. El fraude deja de ser efímero y se vuelve un dato cifrado, firmado e inapelable.

5. La calibración en tiempo real. El TREP permite monitorear el margen de victoria y ajustar la manipulación para que las anomalías estadísticas no salten a la vista.

6. La selección estratégica. No es necesario truchar todas las actas. Solo las suficientes para alcanzar el margen deseado, y estas se sustituyen para ser juzgadas. Las actas reales que no necesitan ser reemplazadas se presentan como coartada: en la mayoría de las mesas coinciden, lo que permite al TSJE argumentar que el sistema es confiable.

II. El "Efecto espejo" y la ratificación Legal

La oposición llega al juzgamiento con su copia del acta y se encuentra con que el acta oficial dice algo distinto. Esa discrepancia no es un error: es el resultado final de la lógica algorítmica ejecutada en la RAM y consolidada en el chip TREP.

El TREP deja de ser un sistema preliminar y se convierte en el guion maestro. El juzgamiento no es una auditoría; es una ratificación de lo que el chip de transmisión dictaminó.

III. La preclusión como guillotina

Aquí el sistema cierra su ciclo de impunidad mediante el Artículo 228 del Código Electoral:

Cuando la oposición alega "mi copia dice X, su acta dice Y", el Tribunal responde: "Eso debió reclamarse en la mesa. Como no consta en el acta de incidencia, su copia no tiene valor legal".

Es la trampa perfecta:

1. El fraude ocurre en la caja negra (RAM/algoritmo) y se consolida en el chip TREP.

2. La ley impide que la prueba de la oposición sea admitida si no hubo queja in situ.

3. La queja in situ es imposible porque el fraude es invisible.

La oposición queda legalmente desarmada.

Conclusión: La dictadura procedimental

El sistema está diseñado para proteger el acta final por sobre la voluntad popular. Al aplicar la preclusión, el TSJE no administra justicia: certifica la eficacia de su propio algoritmo.

Estamos ante una dictadura procedimental: el sistema permite jugar y contar, pero posee el poder absoluto para decidir, mediante una trampa legal, qué actas valen y cuáles deben ser descartadas. La capacidad del sistema para revertir cualquier resultado en el escritorio del juzgamiento es, por diseño, invencible.

La única salida —que el TSJE se niega sistemáticamente a permitir— es la apertura del Sobre N° 4 en una muestra estadísticamente significativa de mesas. Porque si las actas truchadas están distribuidas al azar, una muestra al azar las capturará.

El lobo no necesita esconder el rebaño. Le basta con que el pastor no pueda contar las ovejas después del atardecer. Esa es la dictadura procedimental. Y está escrita en el Código Electoral, ejecutada en la RAM, consolidada en el chip TREP, y ratificada por un tribunal que aplica la preclusión como guillotina.

Nota final. Este texto es un ejercicio de simulación teórica, no una afirmación de hechos consumados. Su legitimidad descansa en la opacidad del sistema que describe. Si el TSJE permitiera una auditoría independiente —acceso al código fuente, copia de los USB, apertura del Sobre N° 4, monitoreo de la RAM durante el escrutinio—, este escenario podría ser refutado o confirmado. Mientras eso no ocurra, permanece como una posibilidad lógica que la ciudadanía tiene derecho a considerar. La ciencia avanza con experimentos reales. Cuando no se permiten, avanza con experimentos mentales. Este es uno de ellos.

El voto electrónico y la caja negra del chip RFID: Un análisis integral de las vulnerabilidades estructurales (Por qué la confianza no puede reemplazar a la verificación independiente)

I. El laboratorio prohibido y el laboratorio permitido

En ciencia experimental, los hechos se evalúan en el laboratorio. Se controlan variables. Se aíslan causas. Se replican resultados. La comunidad científica no acepta una afirmación por el solo hecho de que alguien la describa. Exige poder comprobarla por sí misma.

Nosotros quisimos llevar el software de las máquinas de votación al laboratorio. Solicitamos acceso al código fuente, la posibilidad de copiarlo, la contraseña root del sistema operativo, tiempo suficiente para ejecutar pruebas propias. El TSJE y MSA nos negaron todo. No pudimos hacer ciencia experimental. No nos dejaron.

Pero hay otro laboratorio que nadie puede clausurar. Es el laboratorio de la mente racionalizadora. Allí, sin necesidad de permiso, podemos construir experimentos mentales, probar hipótesis, deducir consecuencias, y someter las afirmaciones del TSJE al escrutinio de la lógica. La ciencia no comenzó en el laboratorio húmedo de los tubos de ensayo. Comenzó en la cabeza de quienes se atrevieron a pensar contra lo evidente.

Nosotros no podemos abrir la máquina. Pero podemos abrir el pensamiento. Y en ese laboratorio, el TSJE no tiene llaves que nos puedan negar.

II. El experimento mental como herramienta de la ciencia

La historia de la ciencia está llena de experimentos mentales famosos. Ninguno requirió permiso de ninguna autoridad.

Galileo, antes de subir a la Torre de Pisa, ya había imaginado el experimento: dos esferas de diferente peso atadas por una cuerda. En su mente, demostró que la hipótesis aristotélica de que los cuerpos más pesados caen más rápido era autocontradictoria. No necesitó dejar caer las esferas. Necesitó pensar.

Newton imaginó un cañón en la cima de una montaña tan alta que sobrepasara la atmósfera. Disparó mentalmente el proyectil a diferentes velocidades y dedujo la órbita circular. No necesitó construir el cañón. Necesitó pensar.

Einstein imaginó un ascensor acelerando en el espacio vacío. Se preguntó si el hombre dentro del ascensor podría distinguir si estaba siendo tirado hacia arriba por una cuerda o si estaba siendo atraído por la gravedad de un planeta. De ese experimento mental nació la teoría de la relatividad general. No necesitó construir el ascensor. Necesitó pensar.

Schrödinger imaginó un gato encerrado en una caja con un dispositivo que, al activarse por un proceso cuántico aleatorio, liberaría un veneno. Demostró que, según la interpretación de la mecánica cuántica de su época, el gato sería simultáneamente vivo y muerto hasta que se abriera la caja. No necesitó encerrar a un gato. Necesitó pensar.

La ciencia avanza con experimentos reales. Pero también avanza con experimentos mentales. Y los experimentos mentales tienen una ventaja decisiva sobre los reales: nadie puede prohibirlos.

III. Anticipatio mentis vs. experiencia bruta

Galileo distinguía dos caminos hacia el conocimiento. Uno era la anticipatio mentis, la anticipación de la mente, el razonamiento que se adelanta a los hechos y los organiza. Otro era la mera experiencia bruta, la acumulación de observaciones sin un hilo conductor.

Los defensores del sistema electoral actual parecen adherir a una versión caricaturesca del método baconiano. Creen que la experiencia bruta —"no encontramos fraude", "los auditores no vieron nada", "los partidos están satisfechos"— es suficiente. No entienden que la experiencia sin teoría es ciega.

La anticipatio mentis, en cambio, nos permite formular hipótesis, deducir consecuencias observables, y diseñar experimentos (mentales o reales) para contrastarlas. Es lo que hemos hecho a lo largo de este análisis. No nos hemos limitado a describir lo que el TSJE dice. Hemos pensado contra lo que dice. Hemos imaginado escenarios que el TSJE no ha considerado. Hemos formulado preguntas que el TSJE no ha respondido.

Esa es nuestra ventaja. Ellos tienen el laboratorio real cerrado. Nosotros tenemos el laboratorio mental abierto. Y en ese laboratorio, no hay restricciones que valgan.

IV. El objeto de la discordia: El chip RFID

En el centro del sistema de votación electrónica paraguayo se encuentra un pequeño dispositivo: el chip RFID. El TSJE describe que este componente almacena el voto en una memoria no volátil, lo encripta y lo bloquea de forma irreversible contra cualquier modificación posterior.

La pregunta molestosa es: ¿cómo sabemos que eso es así? ¿Cómo podemos verificar, por nosotros mismos, que el chip realmente se bloquea, que los datos están encriptados y que nadie puede modificarlos después de la votación? El TSJE lo describe. Nosotros queremos saberlo por cuenta propia. Y hasta ahora, no nos han dejado.

V. La verificación que no verifica: el lector RFID

El TSJE describe que el elector puede verificar su voto acercando el boletín impreso a un lector RFID. La máquina lee el chip y muestra un mensaje en pantalla: "Su voto es correcto". El elector, confiado, deposita el boletín.

La pregunta molestosa es: ¿cómo sabemos que ese lector no está mintiendo? El lector es parte del mismo sistema que se quiere auditar. Si el software es malicioso, nada impide que muestre el mensaje tranquilizador mientras el chip registra otra cosa. El TSJE describe que el sistema es seguro. Nosotros queremos comprobarlo. Pero no podemos, porque el código del lector no es accesible para una auditoría independiente.

La única verificación que realmente podría detectar un desvío es la lectura directa del texto impreso en el papel antes de doblarlo. El TSJE describe que el elector puede hacerlo, pero no lo incentiva. No hay carteles en los cuartos oscuros. No hay instrucción verbal sistemática.

La pregunta molestosa es: ¿por qué el TSJE no pone carteles que digan "Lea su boletín antes de doblarlo"? Si realmente quisiera que verifiquemos, ¿no sería lo más sencillo? El silencio del TSJE al respecto es, cuando menos, llamativo.

VI. El dato que el TSJE no difunde: la baja verificación ciudadana

Los datos empíricos de TEDIC (2023) son elocuentes y no han sido refutados. En Asunción, solo el 23,9% de los electores verificó su voto utilizando el lector RFID. En Ciudad del Este, solo el 14%. En más del 75% de las mesas, los miembros de mesa no alertaron a los electores sobre la necesidad de verificar.

La pregunta molestosa es: si el TSJE sabe que la verificación es baja, ¿por qué no hace campañas masivas para aumentarla? ¿Por qué no capacita mejor a los miembros de mesa? ¿Por qué no exige que se alerte a cada elector? El TSJE describe que el sistema es transparente. Pero los datos muestran que los ciudadanos no están verificando. Y nosotros, como ciudadanos, queremos saber por qué.

VII. La paradoja de la buena fe y la verdad

El sistema enfrenta una contradicción lógica que es estructural a su diseño. El TSJE describe que el elector puede confiar en la máquina porque el voto es secreto y nadie puede ver lo que toca en la pantalla.

La pregunta molestosa es: si nadie puede ver lo que toco en la pantalla, ¿cómo puedo probar que la máquina me mintió si el papel impreso no coincide con mi intención? El TSJE describe que el lector RFID resuelve el problema. Pero el lector puede ser programado para mentir. El secreto del voto, que es un derecho fundamental, se convierte en este diseño en la coartada perfecta de la máquina. El TSJE describe que no hay fraude. Nosotros queremos verificarlo. Pero no podemos, porque la única prueba de nuestra intención es nuestra palabra contra la máquina.

VIII. Las hipótesis del fraude: experimentos mentales sobre la caja negra

A continuación, presentamos formalmente las hipótesis que hemos desarrollado a lo largo de este análisis. No afirmamos que sean verdaderas. Afirmamos que son lógicamente posibles, técnicamente concebibles y que el TSJE no ha proporcionado ninguna evidencia que las falsee.

Hipótesis 1 (Fraude en dos tiempos): El software de votación puede estar diseñado para mostrar una opción en la pantalla durante la votación, grabar otra en el chip RFID, imprimir la primera en el papel, y luego, durante el escrutinio, mostrar en la pantalla del lector la primera opción mientras acumula internamente la segunda.

El escenario es simple: el software marca ciertos boletines durante la votación. Al elector le muestra A en pantalla, pero graba B en el chip. El papel imprime A. El lector RFID, reconociendo la marca, muestra A. El elector deposita confiado. Durante el escrutinio, el software reconoce la marca nuevamente. Muestra A en la pantalla del escrutinio, pero acumula B. El acta final refleja B. El fiscal, que no llevó su propia planilla, no puede probar nada.

Hipótesis 2 (Fraude por flag en memoria): El software puede grabar correctamente la opción del elector en el chip, pero almacenar un flag invisible en la memoria RAM (volátil) asociado a ese boletín. Durante el escrutinio, el software reconoce el flag y desvía el voto acumulando una opción distinta a la que el chip contiene. Al apagar la máquina, la RAM se borra y no queda ningún rastro del desvío.

Esta variante es más difícil de detectar que el fraude en dos tiempos original. Porque en el original, el chip decía B y el papel decía A. Había una inconsistencia que, en teoría, un elector atento podría detectar. En esta variante, no hay ninguna inconsistencia visible. El papel dice A. El chip dice A. El lector RFID muestra A. Todo es consistente. La mentira no está en los datos almacenados. Está en la interpretación que el software hace de esos datos durante el escrutinio. Y esa interpretación ocurre dentro de la caja negra que los auditores no pudieron abrir.

Hipótesis 3 (Inconsistencia del lector RFID): El lector RFID que el TSJE ofrece como mecanismo de verificación puede ser programado para mostrar en pantalla lo que el elector espera ver, independientemente de lo que realmente contenga el chip.

Hipótesis 4 (Baja verificabilidad por diseño): El TSJE no incentiva la lectura del papel impreso (única verificación efectiva) porque hacerlo aumentaría la probabilidad de detección de cualquier posible fraude.

Hipótesis 5 (Neutralización de las copias partidarias): En el juzgamiento de actas, un tribunal parcializado puede argumentar que la discrepancia entre el acta del TSJE y la copia del partido es motivo para anular la mesa, en lugar de corregirla, o puede aplicar reglas de preclusión de manera draconiana para desestimar las impugnaciones.

Hipótesis 6 (El TREP como arma de distracción): El TSJE difunde resultados preliminares del TREP con gran pompa, a pesar de su falta de validez jurídica, para instalar una narrativa de victoria en la opinión pública mientras ocurren acciones clave (ajuste de actas, extravío de sobres, dilación de plazos) fuera del foco mediático.

Hipótesis 7 (El Sobre N° 4 como prueba inútil por diseño): El sobre N° 4 contiene la única prueba independiente, pero el TSJE ha resuelto (Acordada N° 91/2023) que no se puede abrir porque la ley no lo prevé, garantizando así que nunca pueda ser utilizado para verificar los resultados.

IX. La falsación como criterio: Popper en el laboratorio mental

Karl Popper enseñó que una hipótesis científica no se caracteriza por poder ser verificada, sino por poder ser falsada. Una hipótesis que no admite ninguna observación que la contradiga no es científica. Es una creencia.

Nuestras hipótesis son falsables. Cualquiera de ellas podría ser refutada si el TSJE permitiera las pruebas necesarias:

- Si nos dieran acceso al código fuente y pudiéramos demostrar que no contiene instrucciones para desviar votos, la Hipótesis 1 caería.

- Si nos permitieran monitorear la memoria RAM durante la votación y el escrutinio, y no encontráramos flags ni comportamientos anómalos, la Hipótesis 2 caería.

- Si pudiéramos auditar el lector RFID de manera independiente y demostrar que siempre lee y muestra lo mismo, la Hipótesis 3 caería.

- Si el TSJE implementara campañas masivas de lectura del papel y los datos de verificación aumentaran significativamente, la Hipótesis 4 caería.

- Si el TSJE modificara las reglas del juzgamiento para garantizar que la copia del partido prevalece sobre el acta del TSJE en caso de discrepancia, la Hipótesis 5 caería.

- Si el TSJE advirtiera constantemente, en cada difusión del TREP, que los resultados son preliminares y no vinculantes, y si no permitiera que los periodistas declaren ganadores basándose en ellos, la Hipótesis 6 caería.

- Si el TSJE permitiera la apertura del Sobre N° 4 en una muestra estadísticamente significativa de mesas, la Hipótesis 7 caería.

El TSJE no ha hecho ninguna de estas cosas. No ha falsado nuestras hipótesis. Pero la carga de la prueba, según Popper, no recae en quien formula la hipótesis. Recae en quien afirma la teoría establecida.

El TSJE afirma que el sistema es seguro. Esa es su teoría. Nosotros hemos formulado hipótesis alternativas. Corresponde al TSJE diseñar experimentos (reales, no solo mentales) que las falseen. Si no puede o no quiere, entonces sus afirmaciones de seguridad no son científicas. Son dogmas.

X. El error de invertir la carga de la prueba

El TSJE y sus defensores incurren sistemáticamente en el error de invertir la carga de la prueba. Exigen que los escépticos demuestren que hay fraude. Pero la lógica del método científico es exactamente la inversa.

Cuando alguien afirma que un sistema es seguro, debe proporcionar las pruebas. No puede limitarse a decir "no se ha demostrado que sea inseguro". Porque esa misma lógica justificaría afirmar que cualquier sistema no auditado es seguro. Un avión sin inspección sería seguro hasta que alguien demuestre que tiene fallas. Un medicamento sin ensayos clínicos sería seguro hasta que alguien demuestre que es tóxico.

No. La carga de la prueba recae sobre quien afirma la seguridad. Recae sobre quien construye el sistema y lo pone en funcionamiento. Recae sobre el TSJE.

Nosotros no tenemos que probar que hay fraude. El TSJE tiene que probar que no puede haberlo. Y no lo ha hecho. No nos dejó auditar el software. No nos dejó acceder a los chips. No nos dejó abrir los sobres. No nos dejó verificar nada por nosotros mismos.

La inversión de la carga de la prueba es, en sí misma, una confesión de debilidad. Si el sistema fuera realmente seguro, el TSJE no tendría nada que temer de una auditoría independiente. Su negativa a permitirla es la evidencia más elocuente de que algo no está bien.

XI. El juzgamiento de actas: la última trinchera (y la más frágil)

El TSJE describe que los partidos reciben una copia del acta de escrutinio y que, en el juzgamiento definitivo, pueden impugnar si hay discrepancias. El acta física es, según esta descripción, el "testigo de hierro" de la verdad electoral.

La pregunta molestosa es: ¿qué impide que un tribunal parcializado valide un acta adulterada argumentando que la discrepancia entre el acta del TSJE y la copia del partido es motivo para anular la mesa, en lugar de corregirla? El TSJE describe que la justicia electoral es independiente. Nosotros queremos verificarlo. Pero la independencia de los jueces no es algo que podamos comprobar con un acta.

Primera vulnerabilidad: la invalidación por discrepancia. Un tribunal parcializado podría argumentar que la simple existencia de dos documentos oficiales con resultados distintos vicia el proceso. En lugar de aceptar la copia del partido como prueba de la adulteración, podría dictaminar que, al haber "irregularidades formales" o "falta de coincidencia", los resultados de esa mesa no son fiables y, por lo tanto, se anula. El voto de los ciudadanos de esa mesa se pierde. La copia legítima del partido, que debería ser su salvoconducto para impugnar, se convierte en la excusa perfecta para anular la mesa.

Segunda vulnerabilidad: la trampa procesal. El juzgamiento está sujeto a reglas de preclusión. El Artículo 228 del Código Electoral establece que las reclamaciones deben consignarse en el acta en el momento del escrutinio. Un tribunal hostil podría aplicar esta norma de manera draconiana: rechazar la impugnación de la oposición argumentando que la discrepancia no fue reclamada "inmediatamente" o "por escrito" el día de la elección. Validar el acta adulterada del TSJE porque, al no haber sido oportunamente impugnada, la copia del partido pierde su valor como prueba.

El presidente del TSJE, advirtió que "pasa esta etapa y el sector político que no tiene su representante a la hora del cierre de las votaciones para presentar sus reclamos corre peligro de ser 'devorado por los cuervos'". La pregunta molestosa es: ¿y si los representantes están, pero el tribunal no los escucha? ¿Y si los reclamos se presentan, pero se desechan por "cuestiones de forma"? El TSJE describe que la justicia es independiente. Nosotros queremos verificarlo. Pero la independencia no se demuestra con declaraciones. Se demuestra con acciones. Y el TSJE no ha dado ninguna acción que nos permita confiar.

XII. El TREP como arma de distracción masiva

El TSJE describe que el TREP (Transmisión de Resultados Electorales Preliminares) no tiene validez jurídica. Es un instrumento meramente informativo, insisten. Y sin embargo, la noche de las elecciones, todos los ojos están pegados a la pantalla del TREP. Los periodistas anuncian ganadores. La ciudadanía se va a dormir con la idea de que ya sabe quién ganó.

La pregunta molestosa es: si el TREP no tiene validez jurídica, ¿por qué se difunde con tanta pompa? ¿Por qué el TSJE permite que los periodistas declaren ganadores basándose en datos que él mismo sabe que pueden ser inexactos? ¿Por qué no advierte constantemente, en cada pantalla, en cada gráfico, que estos resultados son preliminares y no vinculantes?

El problema no es que el TREP mienta. El problema es que su existencia desvía la atención del único proceso que realmente importa: el juzgamiento definitivo de actas. Mientras el público debate si el TREP es confiable, mientras los periodistas discuten si la muestra es representativa, mientras los fiscales de la oposición se concentran en impugnar los datos del TREP, ocurren acciones clave fuera del foco mediático:

- Se "ajustan" actas en el juzgamiento definitivo.

- Se "pierden" o "extravían" sobres N° 4.

- Se entorpece la fiscalización sobre el terreno.

- Se dilatan los plazos para la presentación de impugnaciones.

La pregunta molestosa es: ¿cómo sabemos que esto no está ocurriendo mientras todos miran la pantalla del TREP? El TSJE describe que el proceso es transparente. Pero la transparencia no puede medirse por lo que se ve en una pantalla. Se mide por lo que ocurre en el silencio de los juzgados, en el tránsito de las actas, en la custodia de los sobres. Y allí, los ciudadanos no tenemos acceso.

XIII. El sobre N° 4: la prueba que duerme para siempre

El sobre N° 4 contiene los boletines electrónicos —los chips RFID con los votos originales—. Es, según cualquier estándar razonable, la única prueba independiente que podría resolver cualquier controversia sobre los resultados.

El TSJE describe que el sobre N° 4 está resguardado. Pero también describe, mediante la Acordada N° 91/2023, que no se puede abrir porque "un recuento de votos en un acto privado con algunos participantes, es un procedimiento no previsto en nuestro ordenamiento positivo".

La pregunta molestosa es: ¿cómo puede ser que la única prueba que podría verificar la verdad del voto sea, al mismo tiempo, jurídicamente inaccesible? El TSJE describe que la ley no lo prevé. Nosotros preguntamos: ¿y por qué la ley no lo prevé? ¿Quién diseñó una ley que impide abrir la única prueba que podría resolver una impugnación? El silencio del TSJE sobre esta pregunta es ensordecedor.

La paradoja es perfecta: los boletines electrónicos existen por mandato legal. Están resguardados por mandato legal. Pero no pueden ser utilizados para verificar nada. Están ahí, pero como si no estuvieran. Son la prueba que prueba nada. El testigo condenado al silencio perpetuo.

XIV. El almacenamiento del sistema: la contradicción que nadie explica

Los técnicos del TSJE describen que la máquina de votación no tiene almacenamiento permanente y que, al apagarse, todo lo que quedaba en la memoria RAM se pierde. El único registro que persiste es el de los votos, grabado en los chips RFID.

La pregunta molestosa es: si el sistema operativo (Linux) y el software (Python, JavaScript) se cargan desde un USB maestro, ese USB es almacenamiento. ¿Cómo podemos verificar que ese USB contiene el mismo software que fue auditado? El TSJE describe que el software está lacrado. Nosotros queremos copiarlo y analizarlo. No nos dejaron.

Otra pregunta molestosa: ¿cómo podemos verificar que la RAM realmente se borra al apagar la máquina? Para eso, necesitaríamos acceso al sistema con privilegios de root. El TSJE describe que es así. Nosotros queremos comprobarlo. No nos dieron la contraseña.

Una pregunta más, a la luz de la Hipótesis 2 (flag en memoria): si el software puede almacenar flags en la memoria RAM durante la votación, esos flags se pierden al apagar la máquina. Eso significa que no quedaría rastro del desvío planificado. El fraude sería perfecto: los chips dicen la verdad, los papeles dicen la verdad, los lectores muestran la verdad, pero el software, durante el escrutinio, habría sumado maliciosamente basándose en flags que luego desaparecieron. No habría ninguna prueba. El TSJE describe que la RAM se borra. Nosotros queremos saber qué se escribió en esa RAM antes de que se borrara. No podemos.

XV. La fuerza del argumento: la convergencia de las evidencias

La fortaleza del caso que aquí se presenta no reside en ninguna de estas líneas de evidencia por separado. Reside en su convergencia.

- La Ley de Benford muestra una anomalía estadística. El TSJE describe que no significa nada. Nosotros queremos saber por qué los números del ganador se desvían tanto de lo esperado. El TSJE no explica.

- TEDIC muestra que la verificación ciudadana es baja. El TSJE describe que el sistema es transparente. Nosotros queremos saber por qué no se incentiva la lectura del papel.

- Los auditores documentaron que no les dejaron verificar. El TSJE describe que la auditoría fue satisfactoria. Nosotros queremos saber por qué negaron el acceso root.

- El análisis lógico muestra una paradoja irresoluble. El TSJE describe que el lector RFID resuelve todo. Nosotros queremos saber cómo puede resolver algo que puede ser programado para mentir.

- Las Hipótesis 1 y 2 muestran escenarios de fraude técnicamente posibles. El TSJE describe que no ocurren. Nosotros queremos comprobarlo. No nos dejaron.

- El TREP muestra cómo se construye una narrativa de victoria antes del juzgamiento. El TSJE describe que no tiene validez. Nosotros queremos saber por qué se difunde con tanta pompa si no la tiene.

- El juzgamiento de actas muestra cómo las copias legítimas de los partidos pueden ser neutralizadas. El TSJE describe que la justicia es independiente. Nosotros queremos saber cómo podemos verificar esa independencia.

- El Sobre N° 4 muestra cómo la única prueba independiente es jurídicamente inaccesible. El TSJE describe que la ley no lo prevé. Nosotros preguntamos: ¿quién diseñó esa ley?

Por separado, cada una de estas preguntas podría ser desestimada. Juntas, forman un caso sólido que exige respuestas.

XVI. Conclusiones

De este análisis epistemológico se desprenden varias conclusiones que deberían ser aceptables para cualquier persona de buena fe, independientemente de su posición política.

Primera: En ciencia, una afirmación que no puede ser puesta a prueba no es conocimiento. Es creencia. El TSJE nos pide que creamos. Nosotros exigimos saber.

Segunda: La ausencia de evidencia de fraude no es evidencia de ausencia de fraude. Especialmente cuando la búsqueda de evidencia fue impedida.

Tercera: La carga de la prueba recae sobre quien afirma la seguridad del sistema. No sobre quien la cuestiona. El TSJE invierte esta carga sistemáticamente. Ese es un error lógico, no una diferencia de opinión.

Cuarta: Nuestras hipótesis son falsables. El TSJE podría refutarlas permitiendo el acceso independiente al código, a los chips, a la memoria RAM, a los sobres N° 4. No lo hace. Esa negativa es, en sí misma, un dato.

Quinta: El experimento mental es una herramienta científica legítima. No necesitamos permiso para pensar. No necesitamos permiso para formular hipótesis. No necesitamos permiso para señalar contradicciones.

Sexta: El sistema electoral no es científico porque no permite la falsación de sus hipótesis centrales. Es dogmático. Se basa en la autoridad del TSJE, no en la evidencia accesible de manera independiente.

Séptima: La democracia no es compatible con un sistema electoral inverificable. Porque la democracia se basa en la confianza de los ciudadanos. Y la confianza no puede ser decretada. Debe ser construida sobre la base de procedimientos verificables.

Octava: El TSJE tiene el poder de cambiar esta situación. Puede abrir el Sobre N° 4. Puede permitir una auditoría independiente. Puede entregar la contraseña root. Puede permitir copiar el código. No lo hace. Esa es una decisión política, no técnica. Y como decisión política, debe ser discutida públicamente.

XVII. La pregunta final (Epistemológica)

Después de recorrer todas estas aristas —el laboratorio prohibido, los experimentos mentales, las hipótesis falsables, la inversión de la carga de la prueba, el fraude en dos tiempos, los flags en memoria, la paradoja de la verificación, la baja fiscalización ciudadana, la anomalía de Benford, el TREP como distracción, el juzgamiento como trampa, el Sobre N° 4 como prueba inútil—, la pregunta no es si hemos demostrado la existencia de un fraude.

La pregunta es: ¿por qué el TSJE se niega a permitir que sometamos sus afirmaciones al escrutinio del método científico?

El chip RFID, ese pequeño dispositivo que contiene la verdad del voto, es la metáfora perfecta del sistema entero. El TSJE describe que es seguro, que está bloqueado, que es inalterable. Nosotros no podemos verificarlo. No porque sea técnicamente imposible. Sino porque el TSJE no nos deja.

En ciencia, cuando alguien dice "esto es así" pero impide que otros lo comprueben, no se le llama científico. Se le llama dogmático. El TSJE puede describir todo lo que quiera. Nosotros seguiremos preguntando: ¿cómo lo sabemos? ¿Cómo podemos saberlo por nosotros mismos?

Mientras no podamos responder con hechos, y no con descripciones, la única certeza que tenemos es la incertidumbre. Y en una democracia, la incertidumbre sobre la integridad del voto es, por sí misma, una derrota. No del candidato perdedor, sino de la confianza que hace posible el juego democrático.

El lobo no necesita ocultar el rebaño. Le basta con describir cómo funciona el corral. Nosotros queremos verificar el corral por nosotros mismos. Pero el lobo tiene las llaves. Y hasta ahora, no nos las ha dado. Porque, sospechamos, el lobo sabe que si abrimos la caja, quizás no nos guste lo que encontremos. O quizás, simplemente, no quiere que miremos. Y esa negativa a mirar, en ciencia y en democracia, es siempre la prueba más elocuente de que algo se esconde.

El método científico nos enseña que no hay conocimiento sin posibilidad de error. Pero también nos enseña que no hay conocimiento sin posibilidad de verificación independiente. El TSJE nos ha negado la segunda. Por eso no podemos otorgarle la primera. La confianza que no se puede verificar no es confianza. Es un acto de fe. Y la democracia, para sobrevivir, necesita más que fe. Necesita hechos. Y los hechos, en este caso, están encerrados en una caja que el TSJE se niega a abrir.