Teorema contextual global exacto de R4.T2
La regla contextual de V14 puede promoverse de observación a teorema exacto de contexto fijo.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
La regla contextual de V14 puede promoverse de observación a teorema exacto de contexto fijo.
Por qué la prueba es relevante
V15 promueve V14 solo tras derivar selector y agotar el dominio declarado. nTime fresco comprueba que la regla pertenece al contexto, no que memorizó la muestra.
q(contexto)→fórmula afín fq∀x∈{0,1}⁴:T2_low4(x,q)=fq(x)reuso solo si qnuevo=qcertificadoCómo se probó
Se derivó selector, probaron 100.000 muestras, contextos nTime nuevos y agotó el dominio low-bit relevante.
Qué ocurrió
Pasaron handoff y pruebas frescas; el selector queda restringido a su nTime correspondiente.
Controles de exactitud y estadísticos
Selector probado en 100.000 muestras, casos nTime frescos y contextos exhaustivos; cero errores. El reuso cruzado queda prohibido.
Qué significa
Formaliza conducta local exacta. Reusar entre jobs o nTime exige otro teorema.
Limitaciones
- Teorema ligado al contexto.
- Solo cuatro bits.
- Teorema no implica ahorro.
Trazabilidad
Derivación determinista, agotamiento de contextos y validación fresca.
Variantes canónicas
SUBENGINE-V15ASUBENGINE-V15BSUBENGINE-V15CSUBENGINE-V15DSUBENGINE-V15ESUBENGINE-V15FSUBENGINE-V15GFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.