Descomposición afín R4.T2 módulo 16
Los cuatro bits bajos de R4.T2 pueden clasificarse en fórmulas afines exactas por contexto.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Los cuatro bits bajos de R4.T2 pueden clasificarse en fórmulas afines exactas por contexto.
Por qué la prueba es relevante
Módulo 16 solo importan cuatro bits bajos y sus acarreos internos. Una forma afín tiene constante y términos de grado uno; la tabla exhaustiva identifica contextos exactos.
T2_low4=b⊕a₀x₀⊕a₁x₁⊕a₂x₂⊕a₃x₃x∈{0,1}⁴: 16 puntosafín ⇔ coeficientes ANF de grado≥2 son ceroCómo se probó
Se enumeró cada cubo de 16 puntos, derivaron fórmulas y rechazó cualquier discrepancia.
Qué ocurrió
Se compilaron descomposiciones afines para contextos válidos y verificaron exhaustivamente.
Controles de exactitud y estadísticos
Cada fórmula se evaluó en los 16 inputs; una discrepancia rechazaba la clase. No hay error muestral dentro del cubo.
Qué significa
Es una capacidad low-bit, no una afirmación sobre 32 bits o el target final.
Limitaciones
- Solo T2 módulo 16.
- No implica palabra completa afín.
- Identificación y acarreo posterior cuestan.
Trazabilidad
Comprobación exhaustiva de 16 puntos por fórmula publicada.
Variantes canónicas
SUBENGINE-V14ASUBENGINE-V14BSUBENGINE-V14CSUBENGINE-V14DSUBENGINE-V14ESUBENGINE-V14FSUBENGINE-V14GFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.