Portafolio semántico híbrido
Un portafolio de representaciones exactas especializadas puede cubrir más contextos que una sola gramática global.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Un portafolio de representaciones exactas especializadas puede cubrir más contextos que una sola gramática global.
Por qué la prueba es relevante
Un portafolio une representaciones exactas con dominios separados. El despachador nunca debe aplicar una capacidad fuera de su premisa y las fallidas deben permanecer en la trazabilidad.
P={(Cⱼ,Dⱼ)} con Cⱼ dominio certificadodispatch(x)=j solo si x∈Cⱼsolidez ⇔ Dⱼ(x)=D_baseline(x) en CⱼCómo se probó
Se probaron capacidades, se invalidó V5A dentro de su alcance, se ejecutó la corrección V5A-R1 y solo se compilaron supervivientes exactos.
Qué ocurrió
La familia cerró tras una invalidación acotada y una repetición corregida; el resultado inválido se conserva en la procedencia.
Controles de exactitud y estadísticos
La falla V5A se acotó y conservó; V5A-R1 corrigió la premisa y variantes independientes probaron solo supervivientes. Así se evita sesgo de supervivencia.
Qué significa
La prueba respalda composición disciplinada y muestra por qué las ramas invalidadas no deben borrarse.
Limitaciones
- La cobertura puede ser escasa.
- Despacho y certificados cuentan.
- Una reparación no valida familias no ensayadas.
Trazabilidad
Incluye V5A original, V5A-R1 corregido y variantes de validación independiente.
Variantes canónicas
SUBENGINE-V5ASUBENGINE-V5A-R1SUBENGINE-V5BSUBENGINE-V5CSUBENGINE-V5DSUBENGINE-V5ESUBENGINE-V5FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.