verify-diff-claimslisted

# Skill: verify-diff-claims ## Quando Usar Invocada pelo `code-evaluator` na **Fase 1.2**, após `verify-build` passar. Determinística (grep/AST/diff stat), barata, executa em segundos. Detecta alucinação textual antes de qualquer reviewer LLM. ## Inputs ```yaml branch: feat/... base: main diff_sha: <sha> ``` ## Comportamento ### 1. Coletar claims do coder O "coder" pode ter deixado declarações em 3 lugares: ```bash # Commit messages do branch git log $base..HEAD --pretty=format:"%h%n%B%n---" # PR description (se variável GITHUB_PR_BODY estiver setada em CI) echo "$GITHUB_PR_BODY" # Comentário inline `// AGENT-CLAIM:` no código git diff $base..HEAD | grep -E "^\+.*AGENT-CLAIM:" ``` Consolidar em `/tmp/claims-raw.txt`. ### 2. Extrair claims acionáveis Padrões reconhecidos (parsing por regex): | Padrão | Interpretação | |---|---| | `add(ed|ei|cionei)?\s+([\w.]+Repository\|Service\|Handler\|Controller)` | Espera símbolo nomeado no diff | | `cria(do|ei)?\s+endpoint\s+(GET\|POST\|PUT\|DELETE)\s+(/[^\s]+)` | Espera rota correspondente | | `add(ed|cionei)?\s+test(s|es)?\s+(?:cover(ing|indo)?)?\s+([\w]+)` | Espera arquivo `*Tests.cs` ou `*.test.ts` tocando o símbolo | | `migration\s+([\w]+)` | Espera arquivo de migration | | `event\s+([\w]+(?:\.v\d+)?)` | Espera evento publicado | Comandos sugeridos: ```bash # Claim: "adicionei IPaymentRepository" grep -rE "interface IPaymentRepository" --include="*.cs" $(git diff $base..HEAD --name-only) # Claim: "endpoint POST /api/