Detector exacto usando solo la línea base
El certificado V26 puede derivarse desde una traza fuente base y fronteras modulares, sin enumerar online los 16 hijos W3.low4.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El certificado V26 puede derivarse desde una traza fuente base y fronteras modulares, sin enumerar online los 16 hijos W3.low4.
Por qué la prueba es relevante
En el cubo fuente, a4(x)=a4(0)+x mod 2³². Los cambios de bits quedan gobernados por umbrales de carry desde una palabra base, de modo que comparaciones de intervalo predicen freezes.
a4(x)=a4(0)+x (mod 2³²), 0≤x<16bit j freeze ⇔ [a4(0),a4(0)+15] no cruza una frontera del bit jsalida = freezes 15…18 + resets + c18 exactoCómo se probó
Probar la ley afín, compilar tests de frontera desde un estado base, reconstruir freezes y carries y comparar contra enumeración completa en 1.361 registros originales y 300 frescos.
Qué ocurrió
Ley y detector tuvieron cero errores. Detectó 935 high resets originales y 189 de 300 frescos. La capacidad no necesitó trazas SHA online de los 16 hijos.
Controles de exactitud y estadísticos
Cada salida se comparó con enumeración exhaustiva y aritmética directa. Evitar la enumeración es el único alcance de coste; no se midió economía total.
Qué significa
V27 convierte una condición exacta en certificado baseline-only. Es una simplificación computacional aislada clara, todavía no una aceleración completa.
Limitaciones
- Evitar enumeración no garantiza ahorro de reloj o energía.
- Aún requiere estado base y comparaciones.
- Se restringe al cubo declarado.
Trazabilidad
Generar a4(0), derivar fronteras, enumerar 16 hijos solo como oráculo y exigir acuerdo exacto en freezes, reset y c18.
Variantes canónicas
SUBENGINE-V27ASUBENGINE-V27BSUBENGINE-V27CSUBENGINE-V27DFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.