| byte-positivity | lei do motor: byte certo não morre — a edição aceita é a menor possível e todo o resto do arquivo permanece intacto |
| proofOfIncorrectness | para apagar código existente é preciso apresentar prova escrita de que ele está errado; sem prova, o motor recusa |
| write firewall | nenhuma escrita em arquivo acontece por fora da transação verificada |
| transação verificada | a mudança empacotada com conferência prévia e possibilidade de desfazer — como em banco de dados, para código |
| checker | programa que confere mecanicamente se a operação fez o prometido; recomputa em vez de confiar no relato |
| gate | portão de qualidade que a mudança precisa atravessar; reprovou, não passa |
| tautologia | regra que se aprova usando a si mesma como critério — circularidade disfarçada de prova |
| witness | registro fiel de uma edição real de trabalho: antes, depois, contexto e resultado |
| corpus | o acervo acumulado de witnesses |
| indução | extrair a regra geral de casos particulares |
| política certificada | operação induzida que sobreviveu a todos os exames e foi assinada pelo juiz; o que roda em produção |
| juiz | autoridade separada que assina políticas; a chave dele não mora no verificador |
| delete-kwarg / kwarg-insert | remover / inserir parâmetro nomeado de função, corrigindo também todos os pontos que a chamam |
| signature-callsites | mudar a assinatura de uma função e todos os seus pontos de chamada de uma vez |
| AST | a árvore de estrutura do código; editar por AST é editar a gramática, não o texto |
| MCP | o protocolo que conecta ferramentas a agentes de IA (Claude Code, OpenCode, Codex) |
| smoke (47/47) | bateria de 47 provas de ponta a ponta que roda na tua máquina, sem rede — o motor se demonstra sozinho |
| SWE-bench | benchmark acadêmico padrão: ~2.300 issues reais do GitHub; o agente produz o patch e os testes do próprio projeto julgam |
| held-out | casos guardados fora do treino, usados só na hora do exame — para impedir decoreba |
| baseline | solução simples de referência; se a regra sofisticada não bate a simples, não merece subir |