Certified World Models as Sensing Clocks: Drift-Aware Deadlines for Active Perception

Resumo Técnico: Modelos de Mundo Certificados como Relógios de Sensoriamento

Declaração do Problema
Os modelos de mundo atuais podem prever estados futuros, mas carecem de um mecanismo intrínseco para determinar quando suas previsões expiram. Agentes que dependem de previsões de malha aberta (open-loop) ("planejamento contínuo" ou coasting) enfrentam um compromisso crítico: realizar o sensoriamento tarde demais compromete a garantia de validade do modelo, enquanto realizar o sensoriamento cedo demais desperdiça um orçamento de sensoriamento escasso. As abordagens existentes utilizam ou períodos de replanejamento fixos (ignorando a confiabilidade do modelo) ou monitores reativos que atuam apenas após os erros de previsão já terem crescido. Este artigo aborda o elemento primitivo ausente: um relógio de sensoriamento certificado que traduz o horizonte de validade de um modelo de mundo em um prazo operacional para quando um agente deve realizar o novo sensoriamento.

Metodologia
O método proposto deriva um prazo de sensoriamento proativo a partir de um modelo de mundo equivariante e auditado. A inovação central é um método de implantação consciente do desvio (drift-aware deployment method) que corrige horizontes espectrais ingênuos.

1. Horizonte Espectral (Ingênuo): Teoricamente, se o erro cresce puramente por uma taxa de expansão local $\lambda$, o prazo $T_\lambda$ é derivado de $\log(\epsilon/e_0)/\lambda$. No entanto, os autores demonstram que, em modelos de mundo congelados reais, confiar apenas na taxa de Lyapunov no manifold ($\lambda$) superestima o intervalo de coasting válido em aproximadamente uma ordem de magnitude.
2. Correção Consciente do Desvio: O prazo implantado é governado por um envelope de desvio de rollout nativo calibrado ($b^{UCB}_h$), que captura o viés nativo do modelo, a partida do manifold e o desvio de rollout que o $\lambda$ negligencia.
   • O limite de erro realizado é definido como: $r_h \le b^{UCB}_h + C e^{\lambda h}e_0 + \eta_h$.
   • No regime de ressencimento total (onde o erro pós-sensoriamento $e_0 \approx 0$), o termo espectral desaparece, e o prazo reduz-se ao relógio do envelope de desvio: $T_{drift}(\epsilon) = \sup \{h : b^{UCB}_h \le \epsilon_{cert}\}$.
3. Certificado como Relógio: O sistema define uma métrica de Violação de Certificado de Intervalo Simultâneo (ICV): a probabilidade de o erro de previsão exceder uma tolerância certificada $\epsilon_{cert}$ em qualquer etapa dentro de um intervalo de coasting. O prazo é definido de tal forma que essa probabilidade seja limitada por um alvo $\alpha$.

Principais Contribuições
O artigo apresenta quatro contribuições positivas específicas e declara explicitamente um limite:

1. A Primitiva de Relógio de Sensoriamento: Um prazo de coasting certificado que controla a violação de certificado de intervalo simultâneo. Diferente de relógios de período fixo ou monitores reativos, este é um gatilho proativo e fundamentado em certificados.
2. Método de Implantação Consciente do Desvio: A demonstração de que prazos implantáveis não podem depender apenas de $\lambda$. A taxa espectral no manifold serve como uma interface de auditoria teórica, mas o envelope de desvio de rollout nativo carre o suporte da garantia real.
3. Instanciação em Modelos Reais: O método foi instanciado em um modelo de mundo equivariante VN-JEPA (Arquitetura de Predição de Embedding de Neurônio Vetorial) 3D congelado. O relógio resultante controlou com sucesso o ICV de intervalos mantidos (held-out) através de múltiplas sementes e fragmentos de dados (data shards).
4. Base de Teorema de Contraste Reativo: Em um benchmark sintético onde todos os agendadores compartilham exatamente o mesmo modelo, o relógio certificado permaneceu válido na distribuição de implantação e reduziu substancialmente as violações de cauda de eventos (de 0,36 para 0,16) em comparação ao agendamento de crença esperada de mistura exata (MB-EIG) com um orçamento de sensoriamento equivalente. O MB-EIG exigiu aproximadamente 3$\times$ o orçamento para recuperar proteção de cauda semelhante.

Resultados e Limitações
O artigo reporta resultados rigorosos enquanto delimita explicitamente suas afirmações:

• Validação: A primitiva de relógio de sensoriamento controlou com sucesso o ICV no modelo VN-JEPA congelado (Estágio 1b-lite).
• Risco de Cauda: O relógio certificado supera agendadores reativos de crença esperada na gestão de intervalos "eventuais" raros e de alto risco (Estágio 2A).
• Resultados Nulos (Limites):
  • Tempo de Antecipação (Lead-Time): Em benchmarks de curto horizonte e dependentes de estado, o relógio certificado não proporcionou vantagem de tempo de antecipação sobre agendadores periódicos ou reativos residuais (Estágio 2B).
  • Substituibilidade: No regime de ressencimento total e curto horizonte, um horizonte conformal empírico (não espectral) igualou a validade e o desempenho de orçamento do relógio implantado. Isso sugere que o termo espectral não é empiricamente dominante neste regime específico (Estágio 2C-V).
  • Borda Espectral: Uma exploração de reset parcial desenhada para ativar o termo espectral ($\lambda$) não encontrou vantagem clara de orçamento sobre horizontes conformais (E0).

Significância e Alegações
O artigo enquadra explicitamente sua contribuição como um novo elemento primitivo e um método de implantação, não como uma alegação de dominância empírica universal.

• O que foi Estabelecido: A interface "certificado-como-relógio", que transforma um horizonte de validade em um prazo operacional de ressentiamento, e a necessidade de correções conscientes do desvio para implantação no mundo real.
• O que Não é Alegado: Os autores não alegam que relógios espectrais dominam empiricamente todos os agendadores não espectrais (como agendadores conformais ou robustos) em todos os regimes.
• Identidade Teórica: O trabalho conecta modelos de mundo certificados à inferência ativa, mostrando que, em um modelo de brinquedo Gaussiano, o relógio certificado e o agendador de limiar epistêmico parametrizam a mesma família de cronogramas.

Em resumo, o artigo estabelece um framework rigoroso para quando um agente deve interromper o coasting e realizar o novo sensoriamento com base em um horizonte de validade certificado, relatando honestamente que, nos atuais regimes de curto horizonte e ressencimento total, métodos conformais mais simples podem igualar o desempenho, deixando a superioridade da abordagem espectral para regimes de longo horizonte ou sensoriamento parcial como trabalho futuro.