Separación entre descubrimiento y motor forward
El descubrimiento offline puede separarse de un motor online pequeño y exacto con procedencia explícita.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
El descubrimiento offline puede separarse de un motor online pequeño y exacto con procedencia explícita.
Por qué la prueba es relevante
El descubrimiento offline puede buscar relaciones sin ocultar ese coste en runtime. La arquitectura válida congela fórmulas, dominios y procedencia; el motor online solo verifica y evalúa.
offline: datos→(fórmula,dominio,prueba)online: verificar precondición→evaluarWtotal=Wsetup/amortización+Wdispatch+Wonline+WfallbackCómo se probó
Se dividieron artefactos de búsqueda y contratos ejecutables; el lado online solo consume capacidades congeladas.
Qué ocurrió
Siete variantes implementaron roles separados de descubrimiento y ejecución.
Controles de exactitud y estadísticos
Siete variantes separaron roles y auditaron cada despacho contra cálculo directo. No se validó un Wtotal favorable.
Qué significa
La separación evita ocultar el coste de descubrimiento; falta medir amortización total.
Limitaciones
- Amortización por jobs desconocida.
- Tamaño y caché no medidos.
- Un motor exacto puede costar más.
Trazabilidad
Artefactos congelados consumibles por un verificador independiente.
Variantes canónicas
SUBENGINE-V12ASUBENGINE-V12BSUBENGINE-V12CSUBENGINE-V12DSUBENGINE-V12ESUBENGINE-V12FSUBENGINE-V12GFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.