Resumo Técnico: XFlow – Um Sistema de Programação de Protocolos Executáveis para Fluxos de Trabalho Multiagentes Confiáveis

1. Declaração do Problema

Sistemas multiagentes baseados em Grandes Modelos de Linguagem (LLMs) evoluíram de prompts de agente único para fluxos de trabalho coordenados envolvendo planejamento, raciocínio, uso de ferramentas e interação humana. No entanto, sua confiabilidade permanece limitada. O artigo identifica uma fonte central para essa limitação: o limiar subespecificado entre o prompt e o harness (suporte).

Nos sistemas atuais, não existe um mecanismo principiológico para decidir quais compromissos do fluxo de trabalho (restrições, interfaces de estado, políticas, obrigações de processo) devem permanecer dentro de prompts de linguagem natural (trabalho semântico informal) e quais devem ser elevados à estrutura do harness (compromissos formais e governáveis). Consequentemente:

• Estado Implícito: Conhecimentos e restrições governáveis permanecem incorporados nos prompts, forçando os atores a interpretar e aplicar repetidamente esses elementos, em vez de tê-los inspecionados ou preservados pelo sistema.
• Propagação de Erros: Em pipelines multiagentes, erros como fatos alucinados ou saídas malformadas podem se tornar estado compartilhado, desencadeando ações subsequentes e corrompendo decisões posteriores.
• Falta de Meio-Termo: Os frameworks existentes tendem a situar-se em dois extremos: sistemas rígidos baseados em marcação/configuração (checáveis, mas fracos em estado semântico) e orquestração baseada apenas em prompts (flexível, mas deixa o estado e os compromissos implícitos). Há uma falta de uma linguagem para desenhar, testar e ajustar o limiar entre esses dois.

2. Metodologia: O Sistema XFlow

Os autores apresentam o XFlow, um sistema de programação de protocolos executável, e o XPF (XFlow Protocol Format), sua linguagem de domínio específico para programação de protocolos. O XFlow ocupa um meio-termo semi-formal onde os protocolos são legíveis como documentação "literária", mas compilados e executados como programas.

2.1 Filosofia de Design

O XFlow opera sobre três princípios centrais:

1. Regime Intermediário: Ele faz a ponte entre a marcação rígida e o controle baseado apenas em prompts, fornecendo uma superfície de protocolo estável.
2. Limites Explícitos: Ele torna explícito o limiar entre o formal/informal (prompt/harness). O trabalho semântico informal permanece com os atores, enquanto os compromissos governáveis são externalizados na estrutura do harness.
3. Governança de Incerteza: A confiabilidade é alcançada não eliminando a incerteza, mas governando-a. As saídas dos atores são absorvidas em símbolos tipados com estados de ciclo de vida antes de influenciarem decisões subsequentes.

2.2 Arquitetura

O XFlow consiste em três fases distintas:

A. Fase de Especificação (XPF)

Os autores escrevem um documento de protocolo usando XPF, que abstrai o fluxo de trabalho em cinco componentes ($P = (\Sigma, \Delta, \Lambda, F, H)$):

• Espaço de Símbolos ($\Sigma$): Define o estado compartilhado do fluxo de trabalho. Símbolos são células de estado tipadas com papéis (entrada, trabalho, saída do juiz), políticas de origem (quem pode propor) e políticas de compromisso (quando se tornam comprometidos).
• Derivações ($\Delta$): Encapsulam lógica determinística (ex: computar prontidão, frescor ou cobertura) para retirar o registro de dados dos prompts dos atores.
• Interfaces de Ator ($\Lambda$): Vinculam atores de LLM ou humanos a estágios, definindo entradas legíveis e saídas graváveis. Os atores mantêm flexibilidade semântica, mas operam dentro de limites estritos de I/O.
• Fluxo de Controle ($F$): Declara transições de estágio válidas e chamadas de protocolo baseadas em predicados sobre símbolos, impedindo que etapas sejam inferidas de texto livre.
• Transferência de Responsabilidade ($H$): Define explicitamente as passagens de bastão (ex: aprovação, revisão, escalonamento) com base em condições, tornando as mudanças de propriedade parte de um estado auditável.

B. Fase de Compilação

O compilador transforma o documento literário XPF em uma Representação Intermediária (IR) tipada e objetos de tempo de execução:

• Parsing: Separa a prosa (contexto) dos blocos semânticos (lógica executável).
• Resolução e Verificação: Valida nomes de símbolos, alvos de estágio e vínculos de atores. Realiza verificações estáticas para garantir que as interfaces sejam legais e que as políticas não sejam violadas antes do início da execução.
• Lowering (Redução): Converte declarações em objetos tipados (ex: IRSymbol, IRStage) que o tempo de execução pode executar sem re-analisar o texto de origem.

C. Fase de Execução

O tempo de execução impõe o contrato compilado:

• Ação Mediada por Interface: Os atores são invocados como unidades semelhantes a funções, com entradas e saídas tipadas. Seu raciocínio interno permanece informal, mas a travessia de fronteira é governada.
• Símbolos Governados por Ciclo de Vida: As saídas dos atores entram como valores PROPOSTOS (PROPOSED). Tornam-se VALIDADOS (VALIDATED) após verificações de esquema/contrato e COMPROMETIDOS (COMMITTED) apenas após satisfazer as políticas de compromisso (ex: aprovação humana).
• Estado Reativo: Se um símbolo comprometido muda, os símbolos derivados dependentes são invalidados ou recalculados.
• Recuperação de Sessão: O contexto de execução (frames, saídas pendentes, logs de eventos) é preservado para permitir retomada ou auditoria sem reconstruir o contexto a partir de transcrições.

3. Principais Contribuições

1. Sistema XFlow: Um sistema de programação de protocolos executável que trata o limiar prompt–harness como um objeto de design de primeira classe, permitindo que os autores decidam explicitamente quais compromissos permanecem com os atores e quais se tornam estruturas de fluxo de trabalho aplicáveis.
2. Linguagem XPF: Um formato de protocolo semi-formal com suporte de compilador e tempo de execução que transforma símbolos, interfaces de ator, regras de fluxo e políticas de ciclo de vida em estruturas verificáveis, preserváveis e aplicáveis.
3. Avaliação Empírica: Uma avaliação abrangente em três classes distintas de benchmarks demonstrando que a externalização do protocolo melhora a confiabilidade enquanto preserva a flexibilidade do ator.

4. Resultados Experimentais

Os autores avaliaram o XFlow utilizando Qwen3.5-9B e DeepSeek-V4-Flash como modelos de base em três configurações:

• Interação Restrita ($\tau^3$-bench):

  • Objetivo: Testar a correção do agente sob restrições de domínio explícitas (ex: regras de elegibilidade, requisitos de divulgação).
  • Resultado: O XFlow melhorou significativamente a Conformidade (ex: de 96,5% para 100,0% em Varejo, de 77,2% para 82,5% em Telecomunicações) enquanto mantinha taxas de sucesso de tarefa ($pass_1$) comparáveis.
  • Insight: Agentes de linha de base frequentemente atingiam o estado final correto via caminhos inválidos (violando restrições de processo). O XFlow impôs o caminho de execução correto (ex: exigindo confirmação explícita antes de mutação).

• Raciocínio de Longo Contexto (CorpusQA):

  • Objetivo: Avaliar a visibilidade de evidências e o compromisso de resposta sobre documentos longos.
  • Resultado: Combinar XFlow com XpandA (um baseline de recuperação/agregação) melhorou a precisão (ex: de 59,3% para 61,7% com Qwen3.5-9B).
  • Insight: O XFlow permitiu que regras de processamento específicas do domínio (ex: convenções de sinais em dados financeiros) fossem codificadas como derivações determinísticas, evitando que o modelo interpretasse incorretamente os valores recuperados.

• Engenharia de Software Agêntica (SWE-bench Verified):

  • Objetivo: Testar a confiabilidade em interações estendidas com ferramentas e edição de código.
  • Resultado: O XFlow melhorou as taxas de aprovação (ex: de 77,4% para 79,8% para mini-SWE-agent com DeepSeek-V4-Flash).
  • Insight: Portões de protocolo impediram que agentes enviassem patches após falhas de validações locais, forçando tentativas direcionadas e garantindo que as normas de processo fossem seguidas.

5. Significância e Alegações

O artigo alega que o XFlow fornece um mecanismo para desenhar e governar o limiar prompt–harness. Ao externalizar restrições, fatos e fluxos de trabalho reutilizáveis da memória do ator para estruturas governadas pelo protocolo, o XFlow torna os sistemas de agentes mais confiáveis sem sacrificar a flexibilidade dos atores de LLM.

• Mecanismo Operacional: Ele desloca a confiabilidade de melhorias puramente do lado do modelo (ex: melhor prompting) para a governança do lado do fluxo de trabalho (ex: transições de estado explícitas, portões de compromisso e frames de recuperação).
• Aplicabilidade Cloud–Edge: O artigo demonstra a utilidade do XFlow em sistemas cloud–edge, onde ele restringe modelos de borda a ações estreitas e verificáveis, e evita que saídas locais incertas se propaguem silenciosamente para o estado global.
• Auditabilidade: Como os compromissos são estruturas de protocolo explícitas, eles são inspecionáveis, preserváveis e aplicáveis através de fluxos de trabalho heterogêneos.

Os autores concluem que o XFlow argumenta a favor do tratamento do limiar prompt–harness como uma abstração de primeira classe, permitindo a construção de sistemas multiagentes que são mais fáceis de inspecionar, recuperar de erros e confiar. Eles reconhecem limitações, como a curva de aprendizado para a autoria de protocolos e a falta de garantias formais sobre a qualidade semântica das saídas dos atores, sugerindo trabalhos futuros em scaffolding assistido por IA e validação baseada em contratos.