Logic-Lens — Diferença Semântica

Quando Usar

Use esta habilidade quando precisar comparar duas versões de código para equivalência semântica através de rastreamento semi-formal de ambas as versões lado a lado. Ative quando o usuário compartilhar um refatoramento, reescrita, migração ou implementação A/B e quiser confirmar que o comportamento não mudou — "eu quebrei alguma coisa", "isso é equivalente", "são...

Configuração

Use carregamento preguiçoso por ../_shared/common.md §13:

1. Leia ../_shared/common.md apenas para idioma, Lei de Ferro, cabeçalho de Veredito, roteamento de escopo, disciplina de Remédio, campos de configuração e orçamento de carregamento.
2. Leia apenas a etapa relevante em logic-diff-guide.md conforme você a alcança.
3. Carregue ../_shared/logic-risks.md, ../_shared/semiformal-guide.md, ../_shared/semiformal-checklist.md e ../_shared/report-template.md sob demanda quando a etapa atual precisar deles.

Processo

Etapa 0. Idioma + roteamento de escopo. Detecte o idioma por common.md §1. Confirme que duas versões foram fornecidas. Se houver apenas uma versão, mude para logic-review.

Etapa 1. Identifique a especificação compartilhada (guia Etapa 1) — quais entradas ambas as versões devem lidar; quais saídas/efeitos colaterais são esperados. Se o usuário declarar que o refatoramento mudou intencionalmente o comportamento em uma área específica (por exemplo, "Mudei o caminho de erro para lançar em vez de retornar None"), registre isso como uma mudança de especificação declarada e trate as divergências dentro dessa área como esperadas. Sinalize apenas divergências fora da mudança declarada como achados.

Etapa 2. Construa premissas independentes para cada versão (guia Etapa 2) — aplique a Lista de Verificação de Construção de Premissas à Versão A e à Versão B separadamente.

Etapa 3. Rastreie ambas as versões para o caso comum (guia Etapa 3) — rastreamento paralelo, mesma entrada, anote a primeira divergência, se houver.

Etapa 4. Rastreie casos de borda (guia Etapa 4) — vazio/nulo/zero, máximo/mínimo, entradas de erro, primeiro/último de coleções. Comece com no máximo três cenários de borda de maior risco, a menos que o usuário peça equivalência exaustiva ou a especificação compartilhada exija mais.

Etapa 5. Identifique e classifique divergências semânticas (guia Etapa 5) — cada divergência é um achado com Premissas → Rastreamento → Divergência → Gatilho → Remédio e um código L.

Etapa 6. Veredito de equivalência (guia Etapa 6) — um de: ✅ Semantically Equivalent, ⚠️ Conditionally Equivalent (declare a condição precisamente), ❌ Semantically Divergent.

Etapa 7. Saída (guia Etapa 7) — Modelo de Relatório com o cabeçalho Veredito por common.md §5; localize os cabeçalhos se o usuário escreveu em chinês. O formato é obrigatório mesmo para trechos trivialmente curtos: cada achado de divergência DEVE usar os cinco campos rotulados (Premissas / Rastreamento / Divergência / Gatilho / Remédio); nunca substitua por um parágrafo simples ou tabela.

Linha de modo no relatório: Semantic Diff (Chinês: 语义对比).

Limitações

• Use esta habilidade apenas quando a tarefa corresponder claramente à sua origem upstream e ao contexto do projeto local.
• Verifique comandos, código gerado, dependências, credenciais e comportamento de serviços externos antes de aplicar alterações.
• Não trate exemplos como substitutos para testes específicos do ambiente, revisão de segurança ou aprovação do usuário para ações destrutivas ou custosas.