Resumo Técnico: ODYSSEY – Construindo Modelos de Fundação Verificáveis e de Preservação de Verdade Local

Declaração do Problema

Os atuais Grandes Modelos de Linguagem (LLMs) e modelos de fundação funcionam como interfaces de uso geral, mas frequentemente falham em configurações científicas, industriais ou operacionais onde os usuários requerem modelos específicos de domínio que possam ser projetados, inspecionados, adaptados e confiáveis. As abordagens existentes tratam tipicamente os modelos como embeddings opacos, resumos planos ou checkpoints únicos. Essa falta de estrutura torna difícil preservar a evidência local, expor a incerteza, rastrear a procedência e determinar quando uma afirmação não deve ser transportada de um contexto para outro. O artigo argumenta em favor de uma mudança de uma construção de modelo monolítica para uma arquitetção modular e verificável que trata os modelos de fundação como "fundições" (foundries) — blocos de construção reutilizáveis e tipados capazes de preservar a verdade local e gerenciar a consistência de afirmações globais.

Metodologia: O Framework ODYSSEY

O ODYSSEY é um framework categórico para construir modelos de fundação como famílias de modelos lógicos e preditivos locais semelhantes a feixes (sheaves). O princípio central de design é representação = cobertura + colagem (gluing), onde documentos e domínios não são reduzidos a vetores únicos, mas tratados como regiões sobrepostas com lógicas locais.

1. A Pilha de Cinco Agentes

O sistema é implementado como uma pilha determinística de cinco agentes, cada um com fronteiras de artefato explícitas:

• SCYLLA: Traduz solicitações humanas em um "briefing de modelo" (definindo domínio, objetivos, entidades e incertezas) e explica o contrato de resposta responsável.
• HOMER: Compila o briefing em um esqueleto de fluxo de trabalho executável, incluindo coleta de fontes, cronogramas de auditoria e obrigações de atualização.
• ATHENA: Detém a semântica representacional. Ela define a cobertura (contextos locais), atribui tipos de representação local, declara sobreposições e especifica regras de colagem e políticas de obstrução. Utiliza uma partição de valores de verdade finitos: $\perp$ (não suportado), WEAK (fraco), PLAUSIBLE (plausível), SUPPORTED (suportado) e $\top$ (confirmado).
• PROMETHEUS: É a sala de máquinas que instancia o plano da Athena como um Modelo de Mundo Topológico (Topos World Model). Ela materializa seções locais, mapas de restrição, resultados de colagem e fontes de evidência. Constrói "feixes de fontes" (ex: registros corporativos, manuais de reparo ou alegações científicas) e emite registros de obstrução quando a colagem falha.
• TOULMIN: Um agente de argumentação que transforma o estado mantido da fundição em alegações fundamentadas. Ele estrutura argumentos usando os elementos de Toulmin (Alegação, Fundamentos, Garantia, Apoio, Qualificador, Refutação), garantindo que o sistema responda não apenas ao "quê", mas ao "porquê" e ao "onde" um argumento se sustenta.

2. Álgebra de Fundição e Aprendizado de Fundição Universal (UFL)

O ODYSSEY organiza a construção de modelos como uma álgebra de fundições genéricas (ex: evidência/argumento, decisão operacional, institucional/financeira) que podem ser compostas, restringidas e especializadas para criar fundições concretas.

• Aprendizado de Fundição Universal (Universal Foundry Learning - UFL): A admissão de modelos externos (incluindo modelos pré-treinados do tipo GPT) é formalizada usando Extensões de Kan.
  • Extensão de Kan à Esquerda ($Lan$): Consolida artefatos de fontes locais em fundições candidatas (expansão/agregação).
  • Extensão de Kan à Direita ($Ran$): Impõe consistência, restrição e condições de colagem (filtragem/pullback).
• TICKET (Topos Integration using Causal Kan Extension Transformers): Um operador de admissão específico que fatia artefatos externos, transporta-os para uma fundição alvo via um funtor declarado e os submete a verificações de consistência. Um candidato só é promovido se sobreviver à "auditoria de colagem" e ao escrutínio de Toulmin; caso contrário, é colocado em quarentena ou bloqueado.

3. Foundry SQL (FSQL)

Uma superfície de consulta tipada para fatiar e consultar artefatos de fundição mantidos. O FSQL generaliza conceitos de SQL (linhas, joins, views) para seções de fundição, mapas de restrição e verificações de colagem, permitindo que os usuários inspecionem a procedência e a consistência de afirmações específicas.

Principais Contribuições

1. Arquitetura de Fundição: Introduz o ODYSSEY como um sistema para construir modelos de fundação inspecionáveis como famílias semelhantes a feixes, em vez de embeddings opacos.
2. Contrato de Agente: Especifica o contrato de implementação e os artefatos duráveis trocados entre SCYLLA, HOMER, ATHENA, PROMETHEUS e TOULMIN.
3. Álgebra de Fundição: Define uma álgebra formal para compor e especializar fundições genéricas para produzir instâncias delimitadas por domínio.
4. Mecanismos de Admissão: Introduz o FSQL para consultar e o TICKET para admitir modelos externos em estado durável usando Transformadores de Extensão de Kan Causais.
5. Núcleo Formal: Formaliza o núcleo de estado preditivo local e de teoria de feixes, incluindo contextos, coberturas, valores de verdade finitos e registros de obstrução.
6. Implementação Empírica: Documenta um conjunto de fundições implementadas, incluindo:
   • Dick's Sporting Goods (DKS): Uma fundição de varejo que combina evidências de avaliações, operações de loja e registros corporativos.
   • Escrita do Indo (Indus Script): Uma fundição de desafio científico que preserva hipóteses rivais e controvérsias sem forçar um consenso prematuro.
   • MyFixIt: Uma fundição procedural para manuais de reparo, convertendo texto em estados preditivos de ação-observação.
   • TCC 44K: Um atlas de alegações causais sobre 44.000 artigos econômicos.
   • IKEA ASM: Uma fundição de montagem multimodal.
   • Amazon Reviews 2023: Uma fundição de benchmark de corpus.

Resultados e Avaliação

O artigo apresenta resultados empíricos preliminares em diversos domínios, enfatizando a avaliação baseada em artefatos em vez de pontuações escalares únicas:

• Recuperação MyFixit: Em tarefas de recuperação procedural, a representação de estado preditivo de ação-observação (PSR) superou significativamente a linha de base baseada em tokens.
  • nDCG@10: Melhorou em +0,2478 (Atual), +0,2460 (Amplo) e +0,2726 (Estrito).
  • Recall@10: Melhorou de 0,1000 (linha de base) para 0,6130 (perfil Estrito).
  • Fatias de Falha: O sistema preservou explicitamente casos de falha (ex: aliases de texto, lacunas de fundamentação de imagem) como artefatos duráveis, em vez de suavizá-los pela média.
• Certificação de Toulmin: Testes determinísticos em sete domínios (Indus, TRACE, TCC, 10-K, etc.) mostraram que o sistema construiu com sucesso tickets de Toulmin completos (Alegação, Fundamentos, Garantia, Qualificador, Refutação) e identificou corretamente obstruções, levando à "quarentena para revisão" em vez de promoção silenciosa.
• Independência de Escala: Experimentos com LLMs locais (Llama 3.2-3B, Qwen3-80B, Qwen3-235B) mostraram que a detecção de obstrução (ex: alegações de Extinção de Dinossauros) estava ligada ao pacote fundamentado no feixe (sheaf-grounded packet) e não à escala específica do modelo, indicando robustez na lógica de admissão.
• Transporte Bidirecional: O sistema importou com sucesso 129 artefatos da família Prometheus (admitindo 6, colocando 6 em quarentena e mantendo 117 como candidatos) e exportou fundições ODYSSEY de volta para o Prometheus para inspeção visual.

Significância e Alegações

O artigo posiciona o ODYSSEY não como um substituto para grandes modelos pré-treinados, mas como um substrato verificável para eles. Sua significância reside na:

• Disciplina Epistêmica: Separa a solicitação humana, o fluxo de trabalho, a semântica de representação, o modelo de mundo e a camada de argumentação, garantindo que "o acordo e o desacordo sejam ambos artefatos duráveis".
• Preservação de Verdade Local: Ao usar a teoria de feixes (sheaf theory), o sistema rastreia explicitamente onde as alegações são garantidas, onde elas falham em se colar e onde o transporte é bloqueado, evitando o "colapso do leaderboard" de médias globais que obscurecem contradições locais.
• Rigor Causal e Argumentativo: Integra o raciocínio causal (via PROMETHEUS e BRIDGE/SKFM) e a argumentação (via TOULMIN) diretamente no ciclo de vida de construção do modelo, indo além da depuração pós-hoc para uma justificativa integrada.
• Escopo Empírico Modesto: Os autores reconhecem que a implementação atual é um "sistema em estágio de design" com componentes baseados em templates e atribuições de verdade determinísticas. Os resultados são apresentados como validações preliminares do contrato da fundição e dos esquemas de artefatos, não como benchmarks finais. O objetivo é demonstrar que a mesma maquinaria categórica pode suportar construção de domínio, reprodução de artefatos e escrutínio fundamentado através de fontes heterogêneas.

O artigo conclui que o ODYSSEY oferece um caminho para transformar grandes modelos de fundação em "fundições verificáveis e de preservação de verdade local", onde a escala fornece o material expressivo, mas a maquinaria categórica decide onde esse material é garantido e onde a revisão humana permanece essencial.