Auditoría de coste de reinicios anidados en R60
Un árbol de certificados de reinicio exactos puede evaluar el predicado objetivo de R60 con menos trabajo que el ripple exacto.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Un árbol de certificados de reinicio exactos puede evaluar el predicado objetivo de R60 con menos trabajo que el ripple exacto.
Por qué la prueba es relevante
La reutilización estructural solo es ventaja si se cuentan descubrimiento, bifurcación y fallback. La comparación justa mide decisiones idénticas bajo un único modelo e incluye cada certificado evaluado.
ahorro = 1 − E[Wreinicio]/E[Wripple]H₀:E[Wreinicio]≥E[Wripple]decisión árbol = decisión ripple = sufijo completoCómo se probó
Evaluar árboles registrados sobre 3.000 casos por configuración, contar certificado y sufijo, comparar con ripple y contrastar cada REJECT/CONTINUE con el oráculo completo.
Qué ocurrió
Todas las puertas exactas pasaron. El mejor árbol promedió 43,735 unidades frente a 41,687: razón 1,0491 y ahorro −4,91%. Rechazó 2.984 de 3.000 casos y continuó 16, pero costó más.
Controles de exactitud y estadísticos
Varias configuraciones registradas mostraron penalidades de 4,9–5,0%. Informar la mejor observada favorece conservadoramente a la hipótesis y aun así falla la puerta de coste.
Qué significa
Los certificados son exactos pero operacionalmente inferiores bajo el modelo congelado. V44 es un resultado negativo claro.
Limitaciones
- Las unidades diagnósticas no son joules ASIC.
- Otra implementación podría cambiar constantes.
- El cierre corresponde al árbol y modelo registrados.
Trazabilidad
Congelar árbol, contar toda primitiva, comparar casos idénticos contra ripple y sufijo completo, y reproducir cero errores junto al ahorro negativo.
Variantes canónicas
SUBENGINE-V44ASUBENGINE-V44BSUBENGINE-V44CFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.