Reinicio efectivo en bit 17 hasta el acarreo 22
Un reinicio duro en el bit 17 solo sigue siendo operativo cuando ningún reinicio posterior en el bit 18 lo sobrescribe; bajo esa condición debe reconstruir exactamente el acarreo 22.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Un reinicio duro en el bit 17 solo sigue siendo operativo cuando ningún reinicio posterior en el bit 18 lo sobrescribe; bajo esa condición debe reconstruir exactamente el acarreo 22.
Por qué la prueba es relevante
En una suma ripple, el último reinicio domina todo el historial anterior del acarreo. Contar como útil cada reinicio en bit 17 duplicaría registros luego reiniciados en bit 18; el estimador correcto es el subconjunto efectivo: reinicio17 ∧ ¬reinicio18.
E17 = R17 ∧ ¬R18c18 = valor(R17) sobre E17c22 = G₁₈:₂₁ ∨ (P₁₈:₂₁ ∧ c18)Cómo se probó
Unir el atlas exacto de reinicios con las máscaras de sufijo, conservar solo registros cuyo último reinicio sea el bit 17, reconstruir acarreo 22 carril por carril y repetir el procedimiento congelado en una cohorte independiente de 300 registros.
Qué ocurrió
La cohorte original tuvo 233 reinicios efectivos entre 1.361 registros (17,12%); la fresca, 64 entre 300 (21,33%). La reconstrucción tuvo cero errores semánticos. En la cohorte fresca hubo 28 valores cero y 36 uno; el soporte no lineal medio en acarreo 22 fue 2,484 monomios.
Controles de exactitud y estadísticos
La puerta primaria fue igualdad exacta por carril, no correlación. Se informaron por separado las cohortes original y fresca y se aplicó la dominancia del bit 18 antes de calcular tasas.
Qué significa
V41 valida un reinicio más estrecho y causalmente correcto. Solo el subconjunto efectivo conserva el reinicio hasta la frontera solicitada y su complejidad booleana posterior no desaparece.
Limitaciones
- La fracción efectiva depende de la distribución.
- El soporte ANF no equivale a coste nativo.
- No se midió selector prospectivo ni ahorro ASIC.
Trazabilidad
Reconstruir máscaras R17/R18, elegir el último reinicio, propagar el sufijo exacto hasta c22 y exigir cero errores en cohortes original y fresca.
Variantes canónicas
SUBENGINE-V41ASUBENGINE-V41BSUBENGINE-V41CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.