Auditoría exacta de transición R5→R6
Una reducción relevante más allá de T2₅ debe permanecer visible tras la actualización completa hacia a6 y e6.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Una reducción relevante más allá de T2₅ debe permanecer visible tras la actualización completa hacia a6 y e6.
Por qué la prueba es relevante
Las actualizaciones acoplan T1 y T2: a_{t+1}=T1+T2 y e_{t+1}=d_t+T1. Un patrón puede desaparecer en a6 y persistir en e6, por lo que se auditan ambos estados y carries.
a6=T1₅+T2₅ (mod 2³²)e6=d5+T1₅ (mod 2³²)interfaces={T1₅,T2₅,carry a6,a6,carry e6,e6}Cómo se probó
Componer máscaras low4 exactas en las transiciones a6/e6, registrar carries 1–3 y comparar grupos fijos en original y fresco.
Qué ocurrió
Cero errores en 1.361+300 transiciones. Replicaron T2₅, carry a6, carry e6 y e6 low4; no T1₅ ni a6 low4. La diferencia e6 fresca fue −0,145 frente a −0,116 original.
Controles de exactitud y estadísticos
El estado directo verificó cada máscara. Se predefinieron seis interfaces y se publicaron las seis: cuatro replicaron y dos no.
Qué significa
Una atenuación pequeña llega a e6, no a a6. Justifica una auditoría final, pero es demasiado condicional para un claim minero.
Limitaciones
- Son promedios descriptivos pequeños.
- Contrastes por resultado no son prospectivos.
- Solo low4.
Trazabilidad
Reconstruir T1₅/T2₅, calcular a6/e6 y carries, comparar con el oráculo y repetir seis contrastes.
Variantes canónicas
SUBENGINE-V39ASUBENGINE-V39BSUBENGINE-V39CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.