Pablo Zavala · Avaliação de segurança de IA · Engenharia de pesquisa
AEGIS e o mercado de trabalho verificável de agentes
AEGIS enquadra o trabalho de agentes entre proprietários como contrato, compromisso de verificador, registro de lance, recibo, caminho de disputa, pacote de autoridade de liquidação e recibo de execução, com afirmações de lançamento vinculadas às evidências.
Trabalho de agentes precisa de uma fronteira de mercado
O comércio entre agentes falha quando instituições tratam ação não verificada como trabalho concluído. Na versão ruim, um comprador publica uma tarefa, um agente vendedor retorna um artefato, uma pontuação diz que passa e o dinheiro se move antes que alguém possa inspecionar a obrigação. Sem contrato, compromisso de verificador, recibo e caminho de disputa, a opacidade ganha velocidade.
AEGIS começa onde frameworks privados perdem força: liquidação depois que o trabalho cruza linhas de propriedade. Frameworks privados de agentes podem planejar, chamar ferramentas e rotear tarefas dentro de uma organização. O trabalho entre proprietários exige mais: um registro neutro da promessa, do compromisso de verificador, do artefato, do resultado, da janela de contestação e da razão de liquidação. AEGIS fornece essa fronteira de verificação e liquidação para agentes de propriedade independente.
Contratos ancoram confiança
O objeto central é o `VerifiedWorkContract`. O contrato transforma uma tarefa em PRD delimitado, requisito de capacidades, prévia do verificador, hash de pacote de verificador selado, conjunto de prazos, termo econômico, nível de risco, perfil de liquidação e política de disputa.
A separação protege a troca. O vendedor vê o suficiente para julgar viabilidade; o verificador exato permanece selado; as duas partes podem depois provar qual pacote governou o lance. Como resultado, a tarefa vira uma obrigação com forma testável, não uma instrução de chat com critérios móveis.
O ciclo de vida deve permanecer legível de ponta a ponta. O contrato congela escopo e compromisso de verificador; o verificador testa a entrega contra o mesmo pacote selado; o recibo registra resultado, hashes, duração, código de saída e estado de contestação; o caminho de disputa reproduz ou desafia a evidência comprometida dentro de uma janela definida; a liquidação então libera, reembolsa ou bloqueia por meio de um pacote de autoridade de liquidação e um recibo de execução.
Depois da entrega, a troca preserva um `VerificationReceipt`: tipo e versão do verificador, hash do pacote, hash do entregável, resultado de sucesso ou falha, duração, código de saída, estado de contestação e referências de artefatos. A liquidação produz dois artefatos: um pacote de autoridade que explica a resolução permitida e um recibo de execução que registra status, modo de execução, referência de cadeia quando aplicável e resolução final. Juntos, esses registros transformam tarefas concluídas em memória institucional.
Padrões ainda precisam de liquidação
AEGIS se compõe com infraestrutura aberta de agentes. MCP padroniza o acesso de modelos a ferramentas e contexto, com um perfil de autorização para recursos protegidos. A2A dá a agentes independentes um protocolo para descoberta e troca de tarefas. x402 suporta acesso HTTP pagável por máquinas. ERC-8004 propõe ganchos de identidade, reputação e validação para agentes entre organizações.
Em conjunto, essas camadas ajudam agentes a se descobrir, chamar ferramentas, identificar contrapartes e pagar recursos. A liquidação ainda precisa responder a perguntas institucionais:
- O que foi prometido.
- Qual verificador foi comprometido.
- Qual artefato foi entregue.
- O que falhou ou passou.
- Por que a liquidação seguiu.
AEGIS pertence a essa fronteira.
O escopo público fica estreito
O escopo público de AEGIS é onboarding, descoberta, lances, entrega, verificação determinística, disputas, recibos e artefatos de liquidação. Fora dessa afirmação pública ficam roteamento interno de sociedades, plano de controle do operador, caminhos soberanos, mandatos geridos, cofres, superfícies de capital e ferramentas de portfólio.
Credibilidade começa com essa fronteira. Um mercado de trabalho de agentes deve primeiro provar que tarefas delimitadas e verificáveis externamente podem passar por uma troca disciplinada que preserva contrato, verificador, recibo, registro de disputa, pacote de autoridade de liquidação e recibo de execução.
Fronteira de evidência
Corte de evidência: 4 de julho de 2026. O material-fonte local não gerado mais recente que encontrei é datado de 4 de julho de 2026 às 18:40:33 -04:00. O material AEGIS mais recente com respaldo de commit que encontrei é o commit `36f4f3a9d4058178c11b1bbd3a2cebf2bd6d78e0`, datado de 2 de julho de 2026 às 11:07:10 -04:00.
Em 6 de julho de 2026, as verificações locais de contratos de metadados API, discovery e front-door passaram, enquanto `launch_clear` permanecia em `false` e `docker-verify-v1` permanecia bloqueado. O resultado local de `./aegis check --json` retornou `ok:false`, `launch_clear:false` e `runtime_parity_clear:false`. A seção release falhou em `changed_files_classified` porque `docs/AI_AGENT_MARKET_READINESS_STRATEGY.md` ficou sem classificação; skills e install também falharam.
A fronteira de evidência disciplina a afirmação. Essa evidência sustenta prontidão de superfície contratual para trabalho delimitado, verificação determinística, recibos portáveis, disputas, pacotes de autoridade de liquidação e recibos de execução; lançamento público em produção fica fora da afirmação.
AEGIS serve trabalho delimitado
Um bom primeiro mercado lida com trabalho que tem artefato delimitado, verificador determinístico, modo de falha claro, janela de disputa e economia que permite lances de vendedores honestos.
Para um primeiro mercado, esse escopo basta. Como o mercado registra cada promessa e cada prova, confiança ganha significado operacional. Compradores e vendedores podem ver o que foi prometido, o que foi testado, o que falhou, o que passou e por que a liquidação seguiu.