Transporte semántico entre R52 y R56
Solo hace falta transportar la interfaz semántica demandada entre checkpoints para reproducir la decisión progresiva exacta.
El trabajo diagnóstico, el álgebra exacta y las capacidades locales no equivalen a una ventaja minera extremo a extremo.
Qué se probó
Solo hace falta transportar la interfaz semántica demandada entre checkpoints para reproducir la decisión progresiva exacta.
Por qué la prueba es relevante
Un evaluador progresivo no necesita necesariamente todo el estado: necesita las variables semánticas suficientes para la decisión registrada. El transporte solo es válido si esa interfaz reducida conserva exactamente el resultado bajo el contexto congelado.
Iᵣ = proyección de Sᵣ sobre bits demandadosIᵣ₊₁ = Fᵣ(Iᵣ,contextoᵣ)transporte exacto ⇔ D(I₅₆)=D(sufijo SHA completo)Cómo se probó
Se extrajeron los bits requeridos en cada checkpoint y se compararon interfaces y decisiones transportadas con la evaluación completa.
Qué ocurrió
Cero discrepancias de interfaz, bit objetivo y decisión progresiva.
Controles de exactitud y estadísticos
Se comprobaron por separado interfaz, bits objetivo y acción final para evitar errores compensados. Cero discrepancias valida la interfaz declarada, pero no demuestra que sea globalmente mínima.
Qué significa
El transporte es exacto para la interfaz registrada; queda abierto si reduce el coste total de implementación.
Limitaciones
- Suficiencia acotada a decisión y contexto registrados.
- Transporte y almacenamiento cuentan en el coste.
- Exactitud no demuestra circuito menor.
Trazabilidad
Cada decisión transportada fue auditada contra el oráculo progresivo completo.
Variantes canónicas
SUBENGINE-V3ASUBENGINE-V3BSUBENGINE-V3CSUBENGINE-V3DSUBENGINE-V3ESUBENGINE-V3FFuente: informes canónicos auditados internamente. Se excluyen las rutas locales, cabeceras privadas e identificadores operativos.