Certificado corregido del carry interno de T2
El freeze dominante en bit 18 debe reconstruirse desde el carry interno de Σ0(a4)+Maj4; el atajo original por predicados fuente debe rechazarse si no supera revisión independiente.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El freeze dominante en bit 18 debe reconstruirse desde el carry interno de Σ0(a4)+Maj4; el atajo original por predicados fuente debe rechazarse si no supera revisión independiente.
Por qué la prueba es relevante
En T2=Σ0(a4)+Maj(a4,b4,c4), el bit 18 depende de los operandos en 18 y del carry entrante. Un certificado correcto debe reconstruir ese carry exactamente; correlacionar etiquetas no basta.
T2[18]=Σ0(a4)[18]⊕Maj4[18]⊕c18c18=composición K/P/G exacta sobre bits 0…17válido ⇔ T2[18] reconstruido = T2[18] directo en cada laneCómo se probó
Conservar V25 original como invalidado, reabrir el carry interno, construir atlas y vías de reset exactas y ejecutar reconstrucción fresca de 300 registros. Compilar contratos solo tras pasar.
Qué ocurrió
El resultado original no fue promovido. La vía corregida tuvo cero errores. Hubo hard resets internos en 1.305 de 1.361 registros originales y 290 de 300 frescos; las vías de reinicio explicaron 1.104 de 1.129 carries constantes originales y 250 de 253 frescos.
Controles de exactitud y estadísticos
Es un experimento corregido: conserva el intento inválido, usa V24 como padre autoritativo y requiere revisión independiente. Se comprobó reconstrucción exacta en datos originales y frescos.
Qué significa
El mecanismo corregido explica la mayoría de carries constantes mediante aritmética real. Rechazar el atajo anterior es parte central del resultado científico.
Limitaciones
- Algunos carries globalmente constantes no tienen reset individual.
- La cohorte fresca tiene 300 registros.
- Faltan economía conectada y revisión externa.
Trazabilidad
Partir de V24, reconstruir el atlas sin usar la cláusula rechazada como selector y repetir la prueba fresca completa.
Variantes canónicas
SUBENGINE-V25ASUBENGINE-V25BSUBENGINE-V25R-ASUBENGINE-V25R-BSUBENGINE-V25R-CSUBENGINE-V25R-DSUBENGINE-V25R-ESUBENGINE-V25R-FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.