As melhorias que fiz no teu motor — tudo isto acompanha o pacote
Antes de construir qualquer coisa nova, arrumei a casa. Estas melhorias
estão no pacote que te entrego:
Separei o juiz do verificador. A chave que assina não
mora mais no processo que confere. Quem verifica não se autoriza.
Escrevi verificadores novos para operações delicadas —
remover parâmetro de função (delete-kwarg), inserir parâmetro
(kwarg-insert), mudar assinatura junto com todos os pontos que chamam a
função (signature-callsites) — cada um com bateria de casos escondidos
para não se enganar com o caso fácil.
Modelei a álgebra do motor formalmente. O modelo achou
contraexemplos — situações onde o motor errava — e cada contraexemplo virou
correção.
Materializei a tese em artigo (resumo, avaliação de
artefato, base de comparação) para que terceiros possam julgar.
Endureci o conjunto no uso diário. Na medição
AtomicBench, o motor preserva ~98% dos bytes que uma edição por linha
destruiria e redigitaria.
Termos desta páginachecker: programa que confere mecanicamente se uma operação fez exatamente o prometido — não confia no relato da IA, recomputa tudo · gate: portão de qualidade: um teste que a mudança precisa atravessar para seguir adiante; reprovou, não passa · delete-kwarg / kwarg-insert: remover ou inserir um parâmetro nomeado de função — operações que exigem corrigir também todos os lugares que chamam a função · signature-callsites: mudança de assinatura de função propagada a todos os pontos de chamada, de uma vez, sem esquecer nenhum · contraexemplo: caso concreto que demonstra que uma regra falha; no nosso uso, cada um achado virou conserto · AtomicBench: medição própria que compara quantos bytes sobrevivem intactos numa edição do motor contra uma edição comum por linha