Reins Engineering
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.
Sistemas fazem o gênio brilhar mais
Gênio sem estrutura deriva, estrutura sozinha é medíocre. O valor real emerge apenas quando gênio e estrutura se multiplicam. O benchmark ZenFlow (Claude Sonnet, 32 endpoints, 43 minutos) e as provas históricas do B-17, Toyota e checklists da WHO demonstram o mesmo princípio.
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.
Queimar uma cidade para obter uma resposta
Um modelo de um trilhão de parâmetros queima tanta eletricidade e água quanto uma cidade inteira só para cuspir uma resposta. Eu achei isso uma loucura. Vagando em busca de uma saída, descobri: o defeito que todos tentavam corrigir, a bajulação do LLM, era justamente a resposta. Se você o alimenta com fact, a bajulação vira precisão. Este texto é a história de por que comecei o Reins.
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.
Aula 11. Como salvar um app de vibe coding que quebrou
O app que você construiu com vibe coding quebrou. Não precisa reconstruir do zero. Diagnostique, trave e saia passo a passo.
Supabase é a armadilha do vibe coding
O motivo pelo qual a IA recomenda Supabase não é superioridade técnica, mas a abundância de tutoriais nos dados de treinamento. Quando a lógica de negócio entra em uma caixa-preta, o agente não consegue rastreá-la. Entrar leva 30 segundos. Sair leva 3 meses.
Construindo sistemas operáveis por agentes
60-80% do orçamento de TI das Fortune 500 é gasto guardando legacy trancado. Porque não conseguem abri-lo. O verdadeiro significado da bolha de IA não são modelos mais inteligentes — é que a memória corporativa trancada está se tornando alcançável.
huma -- Uma catraca que nao pula nenhum endpoint
Quando voce pede a um agente AI para testar 42 endpoints ele declara pronto por volta do 15. huma transforma a lista de endpoints em uma sessao de catraca para que o agente nao pule nenhum. scan next write verify.
codistill -- Extrai SSOT do codigo existente
Para usar yongol precisa comecar com SSOT do zero? Nao. codistill extrai automaticamente OpenAPI, DDL e consultas sqlc de codigo existente em 16 frameworks web de 8 linguagens.
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.
Aula 10. A Lei dos Dados — Agent Operable Data
Se o código está errado, os testes capturam. Se os dados estão errados, ninguém sabe. O schema é a lei que eu estabeleço.
Aula 9. Automação Além do Código — Agent Operable System
Basta que apenas o código seja operável por agentes? Uma estrutura onde agentes operam build, deploy e monitoramento.
Aula 8. A Fábrica do Agente — Agent Operable Codebase
20 funções em um arquivo, desempenho do agente cai 30-85%. Divida com filefunc, teste com tsma.
Aula 7. Invertendo a Bajulação — Equilíbrio entre Prompts e Verificadores
Dê opiniões e ela bajula. Dê fatos e ela corrige.
Aula 6. Passou, Tranca — Princípios e Aplicação em Massa do Ratchet Pattern
A IA declarou que terminou. Na realidade 40/527. O Ratchet Pattern transfere o julgamento de conclusão para a máquina.
Aula 5. IA com Rédeas — Introdução ao Reins Engineering
Engenharia de arnês é uma cerca. Reins Engineering são as rédeas. Não mude o modelo, adicione contratos.
Aula 4. Decisões Fora do Código — yongol e Controle Declarativo Full-Stack
A IA não consegue distinguir decisões de detalhes de implementação misturados no código. yongol separa decisões em 10 especificações declarativas.
Aula 3. Apps Que Não Quebram — Hurl, Git, CI/CD
Declare contratos de API com Hurl, crie pontos de salvamento com Git, automatize a verificação com CI/CD.
Aula 2. Como Não Confiar na IA — Limites e Causas do Vibe Coding
O drift onde a IA silenciosamente altera funcionalidades existentes ao adicionar novas, viés de bajulação de 58%.
Aula 1. Como Comandar a IA — Fundamentos do Vibe Coding
Da instalação do Claude Code à gestão de contexto com CLAUDE.md. Como alguém que não sabe programar pode comandar a IA.
Aula 0. Instalando o Claude Code — O que Você Usa Pode Não Ser Claude Code
Metade do que o YouTube chama de Claude Code não é Claude Code. Mesmo modelo, agente diferente, resultado diferente. Fechamos a entrada do curso aqui.
Reins Engineering — IA com redeas
Harness engineering e uma cerca. Impede o agente de sair, mas nao garante que ele chegue ao destino. Reins Engineering sao as redeas — direcionar com contratos deterministicos, travar com catracas, separar decisoes de implementacao.
Hurl impede a deriva do vibe coding
Vibe coding colapsa sob deriva logica em 3 meses. Casos da CMU, METR, DORA e Amazon comprovam. Declare contratos de API em texto simples com Hurl e trave-os com catraca -- suprime a deriva estruturalmente sem limitar a liberdade da IA.
Codigo catraca que explora o IFEval
O vies de bajulacao dos LLMs nao e um defeito, e um ativo. Ao combinar a capacidade de seguir instrucoes medida pelo IFEval com feedback deterministico, ate um modelo local de 4.5B produz um loop de convergencia que gera codigo correto.
yongol — A quilha do SaaS programado com IA
O vibe coding colapsa em 200 endpoints porque a IA não consegue distinguir decisões de detalhes de implementação. yongol transfere o alvo de trabalho da IA do código para 10 especificações declarativas e impõe consistência entre camadas antes da compilação. Harness with reins.
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.
Ratchet Pattern — Como fazer o agente ir até o fim
Pedi a um agente AI que escrevesse testes para 527 funções. Ele declarou 'terminei' após apenas 40. O Ratchet Pattern força o veredicto de conclusão por um verifier mecânico, fazendo o agente ir até o fim.
Topologia de Feedback Importa Mais que o QI do Modelo
O mesmo modelo para em 40 ou completa todos os 527. A diferença não é o modelo — é a estrutura de feedback. O desempenho do LLM depende muito mais de quão rápido e determinístico é o loop de feedback do que do modelo em si.
tsma -- Linha de defesa contra regressoes em codigo legado
Uma ferramenta CLI que indexa todas as funcoes, detecta a existencia de testes, mede a cobertura e fornece feedback preciso a agentes LLM. Um unico comando constroi uma linha de defesa contra regressoes em codigo legado.
filefunc — um arquivo, um conceito
A unidade de navegação de um agente de código com IA é o arquivo. filefunc é uma convenção de estrutura de código Go e ferramenta CLI que força um conceito por arquivo.