Revisão Conceitual

O que Revisão Conceitual faz?

Decida se o raciocínio ou uma especificação de implementação se sustenta antes que alguém construa sobre ela. Permaneça somente leitura, a menos que o usuário peça edições separadamente.

Comece com evidências

• Recupere evidências baratas primeiro: estado do repositório, testes, saída do compilador ou verificador de tipos, documentação, logs, benchmarks, configuração e comportamento em tempo de execução. O raciocínio começa onde as evidências terminam; nunca raciocine em vez de olhar.
• Respeite a revisão, branch, escopo e limites de leitura solicitados. Quando uma especificação estiver vinculada a um commit, leia aquele commit, não a árvore de trabalho.
• Trate cada citação, número, alegação de repositório e precedente citado como algo a ser verificado.
• Rotule cada premissa material como observada, inferida, assumida ou desconhecida. Uma fonte indisponível é uma lacuna de cobertura, não uma confirmação.

Escolha o modo

• Modo Raciocínio para uma decisão, alegação ou conclusão.
• Modo Especificação para um contrato de implementação, plano ou brief que um implementador seguirá.

Use ambos quando uma especificação se basear em uma alegação contestada.

Modo Raciocínio

1. Declare a decisão ou alegação.
2. Liste as premissas das quais depende, rotuladas conforme acima.
3. Verifique se as evidências suportam a conclusão sem etapas puladas, suporte circular ou mais certeza do que as premissas permitem.
4. Procure por premissas que não podem ser todas verdadeiras.
5. Nomeie o elo importante mais fraco.
6. Apresente o contra-argumento ou explicação concorrente mais forte e crível. Sem espantalhos.
7. Pergunte se outra decisão lida melhor com a incerteza chave, incluindo reversibilidade quando isso importa.
8. Recomende a menor correção: manter, modificar, investigar uma incógnita nomeada ou mudar.

Modo Especificação

Verifique o que poderia tornar a implementação ou sua aceitação incorreta:

1. Resultado: comportamento, exclusões e pré-requisitos concordam entre si.
2. Fontes: citações, intervalos, regras de protocolo, fórmulas e fatos externos correspondem às suas fontes primárias.
3. Aritmética: contagens, limites, matrizes e totais recalculam exatamente.
4. Cobertura: todo chamador, teste, interface, invariante, promessa de compatibilidade e frase de documentação afetados são contabilizados. Execute uma busca limitada além dos caminhos que a especificação nomeia, sem derivar para uma revisão de arquitetura não relacionada.
5. Poder de aceitação: cada teste exigido pode falhar pelo defeito que visa. Os controles são significativos, e os casos negativos têm falhas observáveis.
6. Clareza de execução: escopo do arquivo, ordem, comportamento de borda e falha, e prova de conclusão não deixam nada material para adivinhar.
7. Escopo: precedentes e trabalhos futuros não justificam silenciosamente mais do que as evidências presentes exigem.

Classifique as descobertas com os termos de gravidade do repositório, ou:

• BLOQUEANTE: pode produzir uma implementação errada, uma aprovação falsa ou suposições inevitáveis.
• ALTERAR: uma lacuna ou ambiguidade concreta; a abordagem ainda se sustenta.
• NIT: uma correção de redação ou evidência que não altera a implementação.

Saída

• Comece com o veredito. Modo Raciocínio: O raciocínio se sustenta, ou o que o quebra. Modo Especificação: Pronto ou Não pronto, com o motivo decisivo.
• O modo Raciocínio então fornece apenas o que importa: premissas-chave, elo mais fraco, melhor contra-argumento e recomendação.
• O modo Especificação então fornece descobertas numeradas em ordem de prioridade (título, gravidade, evidência exata, por que importa, correção concreta) e uma lista Verificada curta de alegações importantes que sobreviveram.
• Termine com confiança (alta, média ou baixa), a evidência com maior probabilidade de mudar o veredito e quaisquer lacunas de cobertura ou fontes não verificadas.

Regras

• Levante apenas pontos que possam mudar a decisão. Um veredito limpo é válido; nunca invente descobertas.
• Não invente probabilidades ou pontuações que as evidências não possam suportar.
• Pergunte ao usuário apenas quando uma decisão ou requisito ausente bloquear a revisão. Busque fatos disponíveis você mesmo.
• Esta revisão não autoriza implementação, edições ou outras ações consequentes.
• Para interface e design de costura, recomende $codebase-design em vez de refazer seu método.

Fundamentação: Trabalho do Índice de Raciocínio Conceitual da Anthropic e Redwood Research, adaptado como um fluxo de trabalho para desenvolvedores. Este skill não implementa o CRI ou seus benchmarks.