Relaciones de operandos detrás de hard resets
Los hard resets de bits 16–18 surgen de certificados compactos de constancia o relaciones por pares en T1 y T2, no de un evento irreducible.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Los hard resets de bits 16–18 surgen de certificados compactos de constancia o relaciones por pares en T1 y T2, no de un evento irreducible.
Por qué la prueba es relevante
El reinicio depende de los dos bits de operando que entran a la suma. Pueden ser constantes aunque sus fuentes no lo sean, porque igualdades, complementos o dependencias emparejadas cancelan sobre el cubo registrado.
hard reset en i ⇔ T1[i]=T2[i] es constante en el cuboT1[i],T2[i] ∈ {constante, relación exacta por pares}valor de reset = T1[i] = T2[i]Cómo se probó
Descomponer bits 16, 17 y 18, enumerar gramáticas exactas de relaciones T1/T2, compilar vías conjuntas y reproducirlas de forma independiente. Usar bits 5 y 6 solo como control.
Qué ocurrió
Las 4.083 comprobaciones V23 pasaron. En bit 18, T1 fue constante en 1.319 de 1.361 registros y T2 en 1.132; los 545 hard resets quedaron explicados. Hubo 442 en bit 17 y 318 en bit 16. La prueba fresca siguió exacta.
Controles de exactitud y estadísticos
Cada vía se agotó sobre su cubo y se comprobó con registros frescos. Todos los resets observados quedaron cubiertos; el control se informó por separado.
Qué significa
V24 sustituye una etiqueta por prerrequisitos algebraicos explícitos. Es una base más sólida para detectores, pero diversidad de vías y coste siguen abiertos.
Limitaciones
- Existen decenas de vías conjuntas.
- El control no es una señal minera independiente.
- No hubo puerta económica ni de hardware.
Trazabilidad
Regenerar gramáticas, evaluar cada cubo de 16 puntos, verificar valor y sufijo por aritmética directa y exigir cero errores frescos.
Variantes canónicas
SUBENGINE-V24ASUBENGINE-V24BSUBENGINE-V24CSUBENGINE-V24DSUBENGINE-V24ESUBENGINE-V24FSUBENGINE-V24GSUBENGINE-V24HFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.