Demos · Auditor-Toolkit
Each piece is an engine with a frozen answer key and the falsifier that proves the page did not drift from it.
Cada pieza es un motor con su banco de respuestas congelado y el falsificador que prueba que la página no se desvió.
Clasificador de campos algebraicos
Seis números y un resultado: ¿este campo tiene un marco donde B desaparece?
Lorentz invariants, boost en vivo y barrido de β. 66 casos + 8 controles de borde.
¿Tu nulo tiene dientes?
Un test de permutación es un nulo sólo para el invariante que destruye. Cinco remuestreadores, dos invariantes, un veredicto: no lo suficiente. El mismo remuestreador pasa de aprobar a fallar si se le pide otro invariante. 140 casos congelados, los cuatro estados alcanzables.
→El piso de detección: ε no es una tolerancia
Una compuerta con un ε constante no elige una precisión: elige entre dos cegueras. Mueve δ y mira las cuatro celdas — la compuerta local ve la contaminación que la constante aprueba, y bajarla para ver algo enciende el campo honesto. 80 campos bit a bit, 108 compuertas congeladas.
→El umbral: paga el intento, y ¿sobrevives a cobrarlo?
Cada intento cuesta C y paga V con probabilidad p. Son dos preguntas
que parecen una: si el intento paga en promedio, y si te quedan intentos cuando por fin sale. Mueve los
cuatro números y verás que el signo de la política no depende de cuántos te puedas permitir — sólo
tu ruina depende. 250 estados congelados, 4 270 valores exactos, tolerancia cero.
Regla de la casa: ninguna pieza se publica sin el mutante que debe hacerla fallar,
ni sin decir qué no prueba: cada pieza cierra con sus límites declarados, en sus dos idiomas,
y tools/verificar_limites.py falla si ese bloque desaparece o se queda sin traducir.
Si un número de esta página no trae su comando, es un error de la página:
repórtalo.