Contexto semántico heredado M4→M5
Una representación M4 exacta sigue siendo útil al heredarse hacia M5 aunque la etiqueta gruesa sea GENERAL.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Una representación M4 exacta sigue siendo útil al heredarse hacia M5 aunque la etiqueta gruesa sea GENERAL.
Por qué la prueba es relevante
Una etiqueta GENERAL en M5 no borra la fórmula exacta heredada de M4. El contexto heredado se trata como estado adicional y se prueba suficiencia para la transición.
q₅=(etiqueta₅,ID heredado₄)F₅(x|q₅)=transición compiladaerror handoff=F₅−salida R5 directaCómo se probó
Se compilaron transiciones heredadas y ejecutó prueba exacta de handoff con 30.000 muestras.
Qué ocurrió
Cero errores; las fórmulas exactas previas sobrevivieron la transición.
Controles de exactitud y estadísticos
IDs M4 congelados se llevaron a 30.000 pruebas independientes con cero errores. No se extrapoló fuera de esos dominios.
Qué significa
GENERAL no borra información exacta heredada. Aún no existe motor principal ni veredicto económico.
Limitaciones
- Solo handoff M4→M5.
- Metadatos cuestan.
- Sin motor principal ni resultado económico.
Trazabilidad
IDs M4 congelados y comparación R5 directa sobre muestras independientes.
Variantes canónicas
SUBENGINE-V17ASUBENGINE-V17BSUBENGINE-V17CSUBENGINE-V17DSUBENGINE-V17ESUBENGINE-V17FSUBENGINE-V17GFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.