Proof-or-Stop transforma o DONE de agentes de código em um gate de evidências

O artigo Proof-or-Stop propõe que estados do ciclo de vida de agentes de código, como testado, revisado e concluído, exijam evidências recentes e verificáveis mecanicamente. Por que importa: Sistemas autônomos de programação são mais arriscados quando declaram conclusão sem prova atual. Estados baseados em evidências tornam a saída do agente mais auditável, reproduzível e conectada a CI ou políticas de revisão.

Para testar: Adicione uma lista de conclusão que exija saída atual de testes, diff exato, arquivos alterados e riscos pendentes antes de aceitar o trabalho de um agente como concluído.