Apertura del muro de complejidad Σ0 / Maj en R5
La complejidad global puede localizarse en fronteras de carry y ramas condicionales de Majority.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
La complejidad global puede localizarse en fronteras de carry y ramas condicionales de Majority.
Por qué la prueba es relevante
T2 combina rotaciones Σ0, Majority no lineal y suma modular con acarreos. Separar esas fuentes localiza complejidad sin asumir que una simplificación sobrevive la ronda completa.
Σ0(x)=ROTR²(x)⊕ROTR¹³(x)⊕ROTR²²(x)Maj=(x∧y)⊕(x∧z)⊕(y∧z)T2=Σ0(a)+Maj(a,b,c) (mod 2³²)Cómo se probó
Se construyeron atlas exactos, descompusieron acarreos, buscaron selectores y verificaron contratos.
Qué ocurrió
Descomposición y test cerraron exactos; señales laterales quedaron solo como candidatos descriptivos.
Controles de exactitud y estadísticos
Atlas exactos y contratos se compararon con ronda directa en los subcubos. Señales laterales quedaron descriptivas por falta de formalización y réplica operacional.
Qué significa
El muro está mejor localizado, pero sigue siendo el obstáculo principal; no implica ventaja minera.
Limitaciones
- Localiza pero no elimina complejidad.
- Señales no son selectores validados.
- Veredicto económico y SHA completo abierto.
Trazabilidad
Exacto en subcubos registrados; candidatos empíricos hasta formalización independiente.
Variantes canónicas
SUBENGINE-V20ASUBENGINE-V20BSUBENGINE-V20CSUBENGINE-V20DSUBENGINE-V20ESUBENGINE-V20FSUBENGINE-V20GSUBENGINE-V20HFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.