Verificação Determinística
O que é um 'turn' no reins?
Uma anatomia do turn, a menor unidade de execução do reins. O que não foi registrado não é um turn — desta única definição decorrem a independência de driver, a resiliência a reinícios e a auditabilidade. Comparado ao discurso de Loop Engineering de junho de 2026, vemos como o turn converte aquelas recomendações em estrutura.
abloq — o blog que o agente opera, e a máquina tranca a verificação
Quando você confia um blog ao agente, o texto sai. O problema é que não dá para confiar nele — ele forja fontes, eleva o lastmod de um texto que nem corrigiu e mexe em arquivos que ninguém mandou tocar. Se a pessoa for revisar tudo, não fazia sentido delegar. A resposta de abloq é a divisão do trabalho: a geração é probabilística, a verificação é determinística. O que a pessoa escreve é uma única especificação de insight (insight.yaml), e a escrita, a tradução, a atualização e o reforço de evidências são delegados ao agente como quests, enquanto a qualidade é garantida por um gate determinístico derivado de um único blog.yaml. O PASS travado é irreversível — o agente pode ser descartável, mas o progresso se acumula.
Por que o seu loop de agente diverge
Quanto mais o Loop Engineering se populariza, mais as pessoas batem na mesma parede — o loop não converge, ele diverge. Rotação infinita, deriva, reward hacking: as três faces têm uma só raiz. Recolocar o próprio gerador no slot de julgamento do loop. Mas a divergência ainda é sorte. Porque ela se vê. O que assusta de verdade é o loop que convergiu falsamente em silêncio. A receita é uma só — colocar a autoridade de travar a conclusão não no LLM, mas apenas num gate determinístico.
O tráfego de produção é a especificação
O código legado não tem documentação. Nem testes. E ainda assim está rodando agora mesmo. Um mês de logs bem registrados já é a especificação — se você criar testes de integração Hurl que capturam o comportamento atual a partir do tráfego de produção, você fixa as funcionalidades do legado e estende a rede de segurança da refatoração sem ler uma única linha de código.
reins — deixe ao quest CLI apenas o domínio, o ratchet vira framework
how-make-quest ensinou a construir um quest CLI com as próprias mãos. Mas, ao construir o segundo CLI, você reescreve o mesmo ratchet, o mesmo scan/next/submit, a mesma agregação. reins extrai esse invariante para um framework — ratchet, esqueleto de comandos, agregação e export são fornecidos por reins, e você só implementa o gate do seu domínio (os 4 métodos de gate.Definition). O gate é um catálogo de regras de defesa contra o cheese, e o defeat graph de toulmin devolve ao agente o guia de estratégia de 'por que perdeu e o que mudar para vencer'.
A ferramenta que nos deu rédeas não tinha rédeas em si mesma — a fronteira entre arnês e Reins
"Reins Engineering é, no fundo, harness engineering?" Os dois não se opõem — são peças diferentes do mesmo conjunto. Mas são peças diferentes. Até o melhor agente de código do mundo não colocou rédeas no próprio código. Porque rédeas não são algo que se tem — são algo que se aplica.
Como criar um Quest CLI — construir você mesmo a ferramenta que deixa a máquina julgar a conclusão
A IA diz 'concluí'. Na prática, não terminou. Este texto é sobre construir você mesmo a ferramenta que resolve esse problema — o Quest CLI. Do princípio (por quê) ao esqueleto de comandos em cobra (como), este único texto permite que um agente crie um Quest CLI em Go. huma é o exemplo trabalhado.
As Precondições para Aumentar a Precisão de Múltiplos Agentes de LLM
Rodar vários agentes torna o resultado mais preciso? Só metade está certa. Modelos treinados com os mesmos dados erram nos mesmos lugares. As condições para que múltiplos agentes funcionem são duas — projetar independência de erros, ou erguer um verifier fora do LLM em domínios verificáveis.
Por que o seu agente nunca para
Diante da gabarolice de rodar um agente 24 horas por dia, a sensação não é admiração e sim dúvida — por que ainda não terminou? Código não é um problema de busca, é um problema de satisfação de restrições. Um sistema que consegue parar é um sistema saudável.
Sobre a beleza
70% do que é belo é matemática. A máquina trava a ordem de forma determinística, e apenas 30% de complexidade é decidido pelo humano. Reins Engineering não é uma ferramenta de codificação por IA — é o princípio de travar a ordem e deixar apenas a complexidade para o humano.
Quem define «concluído»? — O problema que os jogos resolveram 40 anos antes
No momento em que definimos a saída do inquilino com cinco fotos de locais específicos, isso se torna uma quest de jogo. Definir «concluído» não como uma afirmação do agente, mas como uma condição mecanicamente verificável — é o problema que os jogos resolveram 40 anos antes, e é como dar ordens corretas a agentes de IA.
Precedente não é verdade — como a IA copia gambiarras e as transforma em autoridade
A IA lê a estrutura do código, mas não distingue se aquilo é uma decisão de design ou uma gambiarra. Por isso, quanto mais copia, mais o defeito acumula falsa autoridade. O que quebrou esse loop não foi um modelo maior — foi uma única linha de dúvida humana.
Agent Operable Codebase
Código fácil de ler para humanos é o mesmo que código fácil de operar para agentes? Não é. Quando um arquivo tem 20 funções, o desempenho do agente cai 30-85%. O escritório deve virar fábrica.
O viés de bajulação da IA é uma feature de negócio
O viés de bajulação dos LLMs não é um bug. É uma inevitabilidade matemática do RLHF e uma feature comercial que as big tech não têm incentivo para corrigir. Por isso LLM-as-Judge é estruturalmente impossível.
Por que agentes de codificação funcionam — e por que quebram
O mesmo modelo alucina no chat web mas entrega uma funcionalidade de 200 linhas num agente de codificação. Não porque o modelo mudou — porque a topologia mudou. Geração pode ser probabilística. Verificação deve ser determinística.