De los cocientes de telemetría a la reconstrucción certificada: una arquitectura formal para la inferencia oculta limitada por puente | Synapse