Regeneración de complejidad por carry
La supresión atribuida a x3 puede borrarse cuando la suma modular regenera términos no lineales mediante carry.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
La supresión atribuida a x3 puede borrarse cuando la suma modular regenera términos no lineales mediante carry.
Por qué la prueba es relevante
XOR cancela monomios, pero la suma entera introduce productos en la recurrencia del carry. Un operando más simple no garantiza una suma más simple.
s_i=u_i⊕v_i⊕c_ic_{i+1}=(u_i∧v_i)∨(c_i∧(u_i⊕v_i))término regenerado=ausente antes y presente después del carryCómo se probó
Seguir los componentes x3 hasta la suma conectada, construir tablas exactas de regeneración y comparar soporte no lineal de grupos reales en ambas cohortes.
Qué ocurrió
Los perfiles conectados se reconstruyeron con cero errores en 1.361 registros originales y 300 frescos. El carry regeneró parte de la estructura suprimida y no quedó autorizada una rama simplificada.
Controles de exactitud y estadísticos
Cada máscara posterior al carry se comparó con suma directa y se conservaron los resúmenes predefinidos de ambas cohortes.
Qué significa
Confirma por qué una simplificación XOR local es frágil: la complejidad puede volver inmediatamente mediante carry.
Limitaciones
- El perfil corresponde a una frontera concreta.
- Soporte no lineal es proxy representacional.
- No sobrevivió ventaja computacional medida.
Trazabilidad
Partir de máscaras exactas, ejecutar ripple completo, etiquetar monomios regenerados y contrastar con suma modular directa.
Variantes canónicas
SUBENGINE-V34ASUBENGINE-V34BSUBENGINE-V34CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.