Factores semánticos del estado de acarreo
El estado de acarreo explícito puede factorizar comportamiento contextual opaco a nivel de palabra.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El estado de acarreo explícito puede factorizar comportamiento contextual opaco a nivel de palabra.
Por qué la prueba es relevante
La suma modular a nivel palabra oculta el acarreo que acopla bits vecinos. Exponerlo convierte el mapeo en una recurrencia exacta y permite compartir factores sin aproximar la suma.
sᵢ=xᵢ⊕yᵢ⊕cᵢcᵢ₊₁=(xᵢ∧yᵢ)∨(cᵢ∧(xᵢ⊕yᵢ))factor=(xᵢ,yᵢ,cᵢ)↦(sᵢ,cᵢ₊₁)Cómo se probó
Se expusieron acarreos, se agruparon transiciones exactas y se contrastaron con aritmética modular directa.
Qué ocurrió
Los factores conscientes del acarreo pasaron las pruebas exactas en seis variantes.
Controles de exactitud y estadísticos
Salidas factorizadas y acarreos se compararon con suma modular directa en todos los contextos registrados. Se exigió igualdad exacta.
Qué significa
El acarreo aporta contexto; almacenamiento, descubrimiento y despacho impiden aún una conclusión operacional.
Limitaciones
- El acarreo explícito consume almacenamiento y ruteo.
- Factores acotados a operandos registrados.
- Economía representacional no es benchmark operacional.
Trazabilidad
Comparación con oráculo de suma modular y definiciones congeladas.
Variantes canónicas
SUBENGINE-V6ASUBENGINE-V6BSUBENGINE-V6CSUBENGINE-V6DSUBENGINE-V6ESUBENGINE-V6FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.