Resumo Técnico: MemTX – Compromisso de Crença Transacional para Memória de Agentes Stateful

1. Declaração do Problema

Os atuais sistemas de memória de agentes de Grandes Modelos de Linguagem (LLMs) tratam cada escrita aceita como uma verdade imediatamente acionável. Em ambientes multi-agente ou de memória compartilhada persistente, este design confunde o registro de uma observação com o compromisso de uma crença. Essa confusão leva à corrupção de estado, onde dados não validados, obsoletos ou poluídos impulsionam silenciosamente chamadas de ferramentas irreversíveis (ex: reembolsos, reservas, e-mails).

O artigo identifica seis famílias específicas de modos de falha resultantes dessa falta de disciplina:

1. Poluição de resultado de ferramenta: Saídas de ferramentas poluídas resumidas em perfis que persistem após a correção da fonte.
2. Escritas tardias obsoletas: Atualizações que chegam após uma correção e sobrescrevem silenciosamente o estado válido.
3. Leituras sujas de estado tentativo: Agir sobre dados não comprometidos ou não verificados.
4. Conflito semântico: Crenças contraditórias coexistindo sem adjudicação.
5. Lavagem de permissão: Registros privados sendo parafraseados em escopos compartilhados, escapando de seus controles de acesso originais.
6. Falhas de rollback em cascata: A incapacidade de reparar registros derivados e efeitos colaterais de ferramentas quando uma crença pai é retratada.

Sistemas existentes focam em armazenamento e recuperação ou resolução de contradição no momento da escrita, mas param antes da fronteira da ação. Eles não rastreiam se uma crença amadureceu o suficiente para ser acionada, nem reparam o que uma crença retratada contaminou.

2. Metodologia: O Protocolo MemTX

O MemTX é um middleware agnóstico ao modelo que introduz um protocolo de compromisso de crença transacional. Ele trata a memória não como um simples log, mas como uma máquina de estados governada, onde uma escrita é distinta de um compromisso (commit).

2.1 Modelo de Dados e Ciclo de Vida da Crença

Cada registro de memória é um objeto governado contendo:

• Evidência: Autoridade da fonte e confiança do escritor.
• Permissões: Proprietário, papéis de leitura/escrita e escopo (privado, compartilhado, público).
• Proveniência: Um Grafo Acíclico Dirigido (DAG) de arestas de derivação.
• Validade: Um intervalo de relógio lógico.
• Tipo: Distinguindo entre crenças, resumos, perfis e ações de ferramentas.

Os registros progridem através de um ciclo de vida de oito estados:

• Bruto (Raw) $\to$ Tentativo (Tentative) $\to$ Validado (Validated) $\to$ Comprometido (Committed) $\to$ Seguro para Ação (Action-Safe).
• Estados de Ramificação: Quarentenado (falhou na validação, revalidável), Suplantado (deslocado por adjudicação) e Revogado (terminal).

2.2 Transações e o Pipeline de Compromisso

O MemTX utiliza transações de isolamento de snapshot. Quando uma transação abre, ela captura um snapshot dos registros visíveis em um nível de isolamento específico. As escritas são preparadas como tentativas e invisíveis para outros agentes até serem comprometidas.

O Pipeline de Compromisso admite registros preparados através de quatro verificações ordenadas:

1. Verificação de Evidência: Requer confiança do escritor $\ge$ 0,6 (a menos que a autoridade da fonte $\ge$ 0,9).
2. Verificação de Validade: Garante que o intervalo de validade do registro contém o tempo lógico atual.
3. Verificação de Conflito Semântico: Adjudica escritas para o mesmo entidade/atributo.
   • Escritas tardias obsoletas (rivais comprometidos após o snapshot) abortam.
   • Fontes de maior autoridade suplantam as de menor autoridade.
   • Autoridade igual de fontes diferentes dispara quarentena para revisão.
   • Bloqueia registros derivados de pais revogados ou lavagem de permissão (privado $\to$ compartilhado).
4. Verificação de Estabilidade de Dependência: Rejeita registros com ancestrais transitivos enfrentando revogação pendente.

Registros que falham são quarentenados; registros que passam são promovidos para comprometidos e, para seguros para ação apenas dentro de transações de ação externa.

2.3 Portão de Ação (Action Gate)

Um Portão de Ação bloqueia chamadas de ferramentas irreversíveis sob duas condições:

1. Estado Tentativo em Curso: Qualquer registro tentativo fora do snapshot da transação está em curso (incluindo o próprio estágio não comprometido do agente).
2. Falta de Suporte Seguro para Ação: Em transações de ação externa, o snapshot deve conter pelo menos um registro seguro para ação.

Isso garante que os agentes não ajam sobre crenças não verificadas ou crenças que possam ser retratadas.

2.4 Reparo em Cascata Tipado

Quando uma crença é retratada (via aborto ou revogação), o MemTX executa uma rotina de reparo em cascata tipado:

• Crenças: Revogadas.
• Visões Derivadas (resumos, perfis): Quarentenadas para reconstrução a partir de fontes sobreviventes.
• Ações de Ferramentas: Compensadas se reversíveis; registradas como "vazadas" se irreversíveis.
  Este processo percorre o DAG de derivação, garantindo que a remoção de uma crença raiz invalide todos os artefatos dependentes.

2.5 Invariantes e Verificação

O MemTX mantém dois invariantes verificados por máquina:

• I1 (Portão de Segurança de Ação): Chamadas irreversíveis executam apenas se nenhum registro tentativo estiver em curso e se houver suporte seguro para ação para ações externas.
• I2 (Completude de Reparo em Cascata): Após a retração, todos os descendentes não terminais estão inativos (revogados, quarentenados ou compensados).

Estes foram verificados via testes baseados em propriedades e enumeração exaustiva limitada de 5,5 milhões de estados de protocolo, resultando em zero violações.

3. Configuração Experimental

Os autores construíram uma suíte de conformidade de 90 casos (60 armadilhas, 30 controles) cobrindo as seis famílias de corrupção, emparelhadas com uma suíte endurecida de 56 casos apresentando corrupções compostas.

• Baselines: Oito sistemas existentes ou reimplementados (ex: Cordon, Verified Concurrency, TOKI, MemState).
• Backbones: Cinco modelos de três famílias (Qwen3-8B, Qwen2.5-14B, GLM-4.7-Flash, GPT-5.4-mini, GPT-5.5).
• Métricas: Sucesso da tarefa, dano downstream (erros irreversíveis realizados), recall de aborto e aplicação de permissões.

4. Principais Resultados

• Sucesso da Tarefa: O MemTX classificou-se em primeiro lugar em quatro de cinco backbones. No backbone mais forte (GPT-5.5), ele empatou estatisticamente com o melhor baseline (Cordon + revogação) na suíte principal, mas superou significativamente este último na suíte endurecida.
• Dano Downstream: O MemTX foi o único método a alcançar zero dano downstream em todos os backbones. Outros métodos, mesmo com alto sucesso de tarefa, incorreram em erros irreversíveis (ex: reembolsos incorretos).
• Significância Estatística: O MemTX mostrou melhoria significativa ($p < 0,00001$) sobre todos os oito baselines em testes de McNemar pareados em quatro backbones.
• Estudos de Ablação: A margem de desempenho foi atribuída a três componentes principais:
  1. Adjudicação de conflito semântico: Impede que a autoridade sobreponha a precedência temporal.
  2. Herança de permissão: Impede a lavagem de permissão.
  3. Rollback em cascata: Garante que os registros derivados sejam reparados, não apenas deletados.
• Custo: A latência do MemTX permaneceu dentro da banda do baseline, com overhead de tokens aumentando em até 14% em modelos mais fracos devido às chamadas de verificador.

5. Significância e Alegações

O artigo argumenta que a capacidade do backbone não substitui o rigor do compromisso. Mesmo os modelos mais fortes (GPT-5.5) falham em prevenir danos downstream sem um protocolo estruturado de compromisso de crença.

Principais Alegações:

• Distinção Operacional: O MemTX consegue operacionalizar a distinção entre registrar uma observação e comprometer uma crença, estendendo a correção da memória do tempo de escrita para o tempo de ação e reparo a posteriori.
• Segurança sem Troca com Disponibilidade: O MemTX alcança zero dano downstream sem sacrificar a capacidade de executar ações legítimas (as taxas de permissão permaneceram altas, 0,911–0,978).
• Limitações: Os autores reconhecem um "ponto cego de escopo": se um agente transcreve conteúdo privado para um resumo compartilhado sem declarar o pai na proveniência (um padrão de "transcrição e tentativa novamente"), o sistema não consegue detectar a lavagem. Isso permanece um problema aberto que requer uma proveniência que siga o conteúdo até o tempo da ação.

Em conclusão, o MemTX demonstra que tratar a memória do agente como um sistema transacional com ciclo de vida explícito, portão de maturidade e reparo tipado é essencial para a coordenação segura de múltiplos agentes com estado.