ADR-0012: Regra de código verificada por ferramenta

Decisão: toda regra de código que uma ferramenta consegue checar é checada por ela, no build e no CI, antes da revisão humana: formatador e análise estática no Java, lint e formatador no Angular, teste de mutação no domínio e teste ponta a ponta do portal, porque o agente se corrige sozinho quando o erro aparece na hora, e a revisão humana fica para o que nenhuma ferramenta pega.

Contexto

O agente escreve a maior parte do código. Regra escrita só em texto (rules, CLAUDE.md) é contexto, não garantia; a revisão humana é o gargalo e não deve gastar tempo com formato ou com teste que passa sem testar nada.

Alternativas descartadas

• Só regras em texto e revisão humana: o agente esquece ou interpreta diferente, e o revisor vira corretor de formato.
• Verificar só no CI: o agente descobre o erro minutos depois, num PR já aberto, em vez de no próprio ciclo.

Consequências

• Ganhos: formato uniforme sem discussão; dinheiro comparado ou construído errado quebra a compilação; teste fraco aparece como mutante sobrevivente; o portal é testado como o usuário usa.
• Custos: build mais lento; aviso de compilação quebra o build; teste de mutação e ponta a ponta rodam em jobs próprios para não atrasar os demais.
• Passa a ser obrigatório: mutation score de pelo menos 80% em domain e application; commit com código fora do formato é barrado por hook; regra nova de código ganha ferramenta quando possível, e só fica em texto o que nenhuma ferramenta checa.