Atribución K/P/G en carry 20
La regeneración de carry 21 puede separarse entre Generate en bit 20 y el producto Propagate por carry entrante.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
La regeneración de carry 21 puede separarse entre Generate en bit 20 y el producto Propagate por carry entrante.
Por qué la prueba es relevante
La identidad K/P/G es una descomposición causal. G20 crea carry por sí mismo; P20·c20 transmite complejidad anterior. Es más informativo que correlacionar solo el carry final.
c21=G20∨(P20∧c20)G20=u20∧v20P20=u20⊕v20Cómo se probó
Calcular máscaras de G20, P20, c20 y su producto, atribuir monomios x3 en cada etapa y repetir resúmenes fijos en ambas cohortes.
Qué ocurrió
La recomposición fue exacta con cero errores en 1.361 registros originales y 300 frescos. El atlas localizó la regeneración, pero no produjo selector independiente ni ventaja minera.
Controles de exactitud y estadísticos
La tabla de carry se comprobó lane por lane y se informaron todos los componentes en original y fresco.
Qué significa
V35 identifica el canal aritmético por el que vuelve estructura cancelada. Aporta mecanismo, no hashing más rápido.
Limitaciones
- Atribución no prueba controlabilidad.
- Las medias dependen del contexto.
- No se comparó coste K/P/G con SHA-256 nativo.
Trazabilidad
Derivar G20/P20, reconstruir c21, verificar con el oráculo y repetir atribución x3 en la cohorte fresca.
Variantes canónicas
SUBENGINE-V35ASUBENGINE-V35BSUBENGINE-V35CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.