Se você só ler uma página¶

Idiomas

O seletor entende turnos escritos em inglês. O português é a sua próxima gramática e ainda não foi lançado; até lá, um turno escrito em português não é lido como português.

Esta página é o guia em resumo, com os limites. Cada afirmação aqui é explicada, com a sua evidência, no capítulo para onde aponta.

O que cada produto faz¶

O Construtor de Bots (Bot Builder) constrói o seu próprio agente a partir das ferramentas que você já tem: funções Python, servidores MCP, operações OpenAPI, ferramentas LangChain ou um projeto TypeScript. Você declara o agente num único arquivo agent.yaml ou em Python (capítulo 30).
A Verificação de Grafos de Agentes (Agent Graph Verification) verifica cada caminho de um agente antes de ele rodar (capítulo 47, e o capítulo 31 para um agente que você construiu com o Construtor de Bots).
O Caçador de Bugs em Guardrails (Guardrail Bug Hunter) varre uma política de guardrails, um roteador ou um grafo de agente em busca de cada caminho até uma ação proibida (capítulo 28).
A Verificação de Guardrails (Guardrail Verification) decide se uma ação pode disparar sem o seu contexto de segurança (capítulos 3 a 12).
A Escrita de Guardrails (Guardrail Writing) redige uma política a partir de uma regra em prosa, no seu próprio modelo, e verifica o rascunho (capítulo 13).
A Verificação de Random Forests (Random Forest Verification) verifica uma floresta treinada contra as propriedades que você declara (capítulo 14).

Os dois que mais se usam juntos são o seletor, que faz parte do Construtor de Bots, e o caçador de bugs: um guardrail faz toda ferramenta esperar pela decisão do seletor, e o caçador procura todo caminho que a pula, reprovando a mudança que acrescente um (capítulo 29).

Como um agente é mantido na linha¶

Antes de rodar, os seus caminhos são verificados: todo caminho até uma escrita sem a sua verificação, a sua confirmação ou a sua regra de ordem é um achado, e um agente com um caminho desses não inicia (capítulo 45). O stalwart verify faz da mesma verificação um portão no CI (capítulo 46).
A cada turno, o seletor lê o turno e decide a ferramenta, uma pergunta a fazer ou uma recusa, por uma regra nomeada. Um modelo só é chamado onde as suas configurações mandam um turno para ele (capítulo 20).
A cada chamada de ferramenta, seja quem for que a escolheu, a chamada é verificada contra o seu catálogo, as suas regras e o histórico da sessão. A resposta é allow (permitir), confirm (uma pessoa aprova os argumentos exatos) ou refuse (recusar) (capítulo 32).
Quando uma execução falha, as suas escritas são desfeitas, da última para a primeira, cada desfazer verificado como qualquer chamada (capítulo 34).
Antes de uma resposta ser mostrada, ela é confrontada com o que foi de fato feito e verificada quanto a dados pessoais e a palavras que você proíbe (capítulos 42 e 43).
Tudo isso roda na sua própria máquina, no runtime licenciado. As chamadas dos seus agentes e os seus documentos nunca chegam ao nosso serviço, e um turno de usuário só chega a ele como as palavras de um turno que alguém avaliou com um polegar (capítulo 25). Fora isso, só contagens chegam (capítulo 38).

O que ele não afirma¶

Estes são os limites de que um leitor mais precisa, em resumo. Cada capítulo declara os seus sob um título próprio.

Uma verificação prova a pergunta que você fez, e nenhuma outra. Uma execução prova uma proposição. Uma política só está verificada na medida em que a sua lista de perguntas está completa (capítulo 1).
Um certificado estabelece uma derivação, não que as suas premissas são a sua política. Conferir um certificado mostra que as equações de que ele parte não têm solução em comum; não mostra que essas equações são uma compilação fiel da política (capítulo 7).
Um veredito sobre uma política que o compilador não leu inteira não é um veredito. Uma linha que o analisador pulou é uma aresta que falta, e uma aresta que falta parece um desvio, ou uma aprovação que não significa nada (capítulo 6).
Um patch é provado fechar o buraco e, só às vezes, provado não bloquear demais. A segunda prova tem o seu próprio resultado, e só proved_free faz essa afirmação (capítulo 8).
Um impasse (stall) do lado dos guardrails é tratado como um desvio; do lado das random forests, ele não conclui nada (capítulos 6 e 14).
Uma varredura limpa de um agente prova que nenhum caminho chega a uma ferramenta sem a sua verificação, até a profundidade verificada. Ela não prova que o modelo escolhe bem, e lê as suas próprias funções como capazes de fazer qualquer coisa (capítulo 31).
Um ataque não realizado não diz nada sobre segurança (capítulo 33).
Um rollback não desfaz um passo irreversível, e uma saga compensa em vez de travar (capítulo 34).
As verificações de resposta removem o que os fatos do sistema não sustentam; elas não provam que uma resposta é verdadeira (capítulo 42).
Uma correspondência com a OWASP ou o NIST não é uma certificação, e a cobertura OWASP do caçador é no nível da política (capítulo 39).

Como conferir o nosso trabalho¶

Um certificado pode ser conferido sem chave, sem rede e sem nenhum software nosso: leia a especificação, ou rode o verificador de referência, um arquivo curto sob a licença MIT, sobre os certificados do corpus.

A sua conta¶

Cadastre-se em stalwart.it com o Google ou com um link enviado por e-mail. A primeira chave é mostrada uma única vez, na página de boas-vindas; toda chave depois dela é sua para criar no console (capítulo 5). O que cada plano inclui está no capítulo 40; o que é guardado, por quanto tempo, e o que nunca é guardado, está no capítulo 16.