Logic-Lens — Explicação de Execução

Quando Usar

Use esta habilidade quando precisar explicar o que um trecho específico de código realmente faz para uma determinada entrada, produzindo um rastreamento de execução passo a passo (interprocedural, com resolução de nomes e transições de tipo). Acione quando o usuário estiver confuso sobre o comportamento ou perguntar por que o código produz X em vez de Y — "passe-me por..."

Configuração

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

1. Leia ../_shared/common.md apenas para idioma, variantes de cabeçalho de relatório, roteamento de escopo e orçamento de carregamento.
2. Leia apenas a etapa relevante em logic-explain-guide.md conforme você a alcança.
3. Carregue ../_shared/semiformal-guide.md, ../_shared/semiformal-checklist.md e ../_shared/report-template.md sob demanda quando a etapa atual precisar deles.

Nota: logic-risks.md é intencionalmente ignorado — logic-explain não produz descobertas de código L, e Remedy está intencionalmente fora do escopo para este modo. Se o rastreamento revelar um bug, pare e recomende logic-review ou logic-locate. Ao transferir, não descarte o trabalho já feito — apresente as premissas estabelecidas e as etapas de rastreamento concluídas sob um título "Contexto de rastreamento parcial (levar para a próxima habilidade):" para que o usuário possa passá-las diretamente para a habilidade subsequente.

Processo

Etapa 0. Roteamento de idioma + escopo. Detecte o idioma de acordo com common.md §1. Confirme um único cenário de função + uma única entrada. Se o usuário quiser encontrar bugs sem um cenário, transfira para logic-review.

Etapa 1. Ponto de entrada e cenário (guia Etapa 1) — nomeie a função, o cenário de entrada e o que o usuário está tentando entender.

Etapa 2. Construir premissas (guia Etapa 2) — resolva todos os nomes não óbvios, declare os tipos de variáveis-chave na entrada, observe o estado global/módulo acessado.

Etapa 3. Produzir rastreamento passo a passo (guia Etapa 3) — numerado, interprocedural, voz ativa; cruze os limites da função sempre que for relevante para o cenário do usuário. Mantenha o rastreamento vinculado ao cenário; não se ramifique para caminhos alternativos, a menos que eles expliquem a confusão do usuário.

Etapa 4. Destacar comportamento não óbvio (guia Etapa 4) — resoluções de nomes, coerções implícitas, efeitos colaterais ocultos; os "gotchas" que o leitor casual perderia.

Etapa 5. Resumir real vs. assumido (guia Etapa 5) — uma frase cada; este é o valor principal para o usuário.

Linha de modo no relatório: Execution Explain (Chinês: 执行解释).

Nota: Explicação de Execução é descritiva, não avaliativa. Omita a linha Pontuação Lógica / Confiança de Falha / Veredito do cabeçalho do relatório.

Exemplo

Solicitação do usuário:

Explique o que um trecho específico de código realmente faz para uma determinada entrada, produzindo um rastreamento de execução passo a passo (interprocedural, com resolução de nomes e transições de tipo).

Limitações

• Use esta habilidade apenas quando a tarefa corresponder claramente à sua origem anterior 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.