Desenvolvimento de Software Apoiado por IA — 2026.4

Aula 7
Loop engineering

👨‍🏫 Prof. Gustavo Pinto 🏛️ UFPA 📅 29 de setembro de 2026 🕐 20h

A terceira camada de abstração

Primeiro veio o prompt: você escreve, o modelo responde
Depois a engenharia de contexto: você cura o que entra na janela
Agora o loop engineering: você constrói o sistema que prompta o agente por você

A definição

Em vez de conversar com o agente, o desenvolvedor projeta sistemas que disparam execuções por agenda ou por evento do repositório, e as encerram quando uma condição verificável por computador é atendida.

Lulla, Nersesyan, Mohsenimofidi, Treude e Baltes, 2026, arXiv:2608.21884

Os blocos de construção

Gatilho: agenda, push, issue aberta, teste que quebrou
Condição de parada: verificável por máquina, não por opinião
Arquivo de estado: o que o loop já fez, entre execuções
Subagente verificador: alguém que confere o trabalho do primeiro
Limite de tokens e ponto de escalação para o humano

O que o estudo encontrou

Varredura de 36.710 repositórios
Loops autônomos operando em 217 deles
Os repositórios versionam a configuração, mas quase nenhum versiona o arquivo de estado

Estado fora do controle de versão significa que ninguém reproduz o que o loop fez, nem audita.

A ponte com a aula passada

A condição de parada do loop é o critério de aceite do seu SPEC.md.

Sem condição verificável, o loop roda para sempre ou para cedo demais
É por isso que SDD vem antes desta aula
Se usarem loop no projeto, versionem o estado. É requisito

Dúvidas?

Próxima: testes como contrato e revisão de código gerado

📧 gpinto@ufpa.br