Consumidor low-bit completo T2₅
Una simplificación local solo importa si sobrevive al consumidor T2₅ completo, incluido Σ0(a5), Majority y carry interno.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Una simplificación local solo importa si sobrevive al consumidor T2₅ completo, incluido Σ0(a5), Majority y carry interno.
Por qué la prueba es relevante
T2₅ combina rotaciones, Majority no lineal y suma modular. Probar piezas aisladas puede omitir interacciones; la interfaz conectada completa es la prueba correcta.
T2₅=Σ0(a5)+Maj(a5,b5,c5) (mod 2³²)low4(T2₅)=low4(Σ0+Maj+carry interno)replicación exige igual signo en original y frescoCómo se probó
Construir máscaras exactas de Σ0.low4, Maj5.low4, carry 1–3 y T2₅.low4; comparar soporte en la partición original y repetir en fresco.
Qué ocurrió
Cero errores. Replicaron los signos de Majority y T2₅, no los de Σ0 ni carry. La diferencia T2₅ fue +0,011 original y +0,125 fresca: los supervivientes no fueron más simples.
Controles de exactitud y estadísticos
El consumidor completo se comparó con aritmética directa; se informaron los cuatro componentes, incluidos los dos que no replicaron.
Qué significa
La atenuación aislada no sobrevive como menor complejidad en el consumidor completo. Es una dirección operativa negativa.
Limitaciones
- Monomios no son tiempo de ejecución.
- El contraste no clasifica futuros candidatos.
- Solo cubre low4.
Trazabilidad
Reconstruir componentes, verificar su suma, preservar particiones y comparar todos los signos sin eliminar resultados desfavorables.
Variantes canónicas
SUBENGINE-V36ASUBENGINE-V36BSUBENGINE-V36CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.