Apertura de la gramática GENERAL
Casos llamados GENERAL por una gramática gruesa pueden admitir estructura exacta en bits bajos.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Casos llamados GENERAL por una gramática gruesa pueden admitir estructura exacta en bits bajos.
Por qué la prueba es relevante
GENERAL era una etiqueta de gramática, no un teorema de irreducibilidad. Toda función booleana en un cubo finito tiene tabla y forma normal algebraica únicas.
f:{0,1}⁴→{0,1}f(x)=⊕S aS∏i∈S xᵢcoeficientes ANF por transformada de MöbiusCómo se probó
Se sustituyó la etiqueta opaca por tablas de verdad y forma normal algebraica en cubos registrados.
Qué ocurrió
Casos antes opacos se descompusieron en estructuras exactas explícitas.
Controles de exactitud y estadísticos
Se enumeró cada punto del subcubo y la forma reconstruida debió igualar la salida directa. Es exhaustivo dentro de cuatro bits.
Qué significa
GENERAL era una limitación de gramática, no prueba de irreducibilidad criptográfica.
Limitaciones
- Solo cubos low-bit registrados.
- ANF crece rápido con dimensión.
- Visibilidad algebraica no es ventaja.
Trazabilidad
Enumeración exacta dentro de cada subcubo fuente registrado.
Variantes canónicas
SUBENGINE-V13ASUBENGINE-V13BSUBENGINE-V13CSUBENGINE-V13DSUBENGINE-V13ESUBENGINE-V13FSUBENGINE-V13GFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.