Consumo de la ruta de reset por Σ0(a5)
Si la ruta conectada retiene simplificación, debe observarse en a5[22] o en las cuatro lanes bajas de Σ0(a5) para supervivientes reales.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Si la ruta conectada retiene simplificación, debe observarse en a5[22] o en las cuatro lanes bajas de Σ0(a5) para supervivientes reales.
Por qué la prueba es relevante
Las rotaciones redistribuyen dependencias. La forma normal algebraica (ANF) sobre GF(2) es única y permite comparar soporte no lineal manteniendo las máscaras exactas como puerta principal.
Σ0(a5)=ROTR²(a5)⊕ROTR¹³(a5)⊕ROTR²²(a5)f(x)=⊕ α_S∏x_iN(f)={S:α_S=1, |S|≥2}Cómo se probó
Componer V29 en máscaras exactas de a5[22] y Σ0.low4, comparar soporte entre grupos conectados originales y repetir en 300 registros frescos sin convertir contrastes en selectores.
Qué ocurrió
Cero errores. La media original de soporte Σ0 low4 fue 9,951 en no supervivientes y 9,910 en supervivientes; en fresco fue 10,063 y 10,099, invirtiendo la pequeña diferencia.
Controles de exactitud y estadísticos
Cada ANF se derivó de una máscara exacta. La dirección no replicó, por lo que no se promovió simplificación.
Qué significa
En el primer consumidor Σ0, la señal se atenúa hasta contrastes pequeños e inestables. Es un resultado de no promoción.
Limitaciones
- El número de monomios no es coste de circuito.
- Los grupos no son selectores predictivos.
- Diferencias pequeñas requieren replicación.
Trazabilidad
Reconstruir máscaras, aplicar Möbius para ANF, preservar la partición y repetir contrastes en la cohorte intacta.
Variantes canónicas
SUBENGINE-V30ASUBENGINE-V30BSUBENGINE-V30CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.