Logic-Lens — Localizar Falha

Quando Usar

Use esta habilidade quando precisar localizar a causa raiz de uma falha CONFIRMADA por meio de rastreamento semi-formal de trás para frente e depois para frente. Ative quando o usuário fornecer um stack trace, uma asserção falha, uma mensagem de erro ou uma observação específica de valor incorreto — "encontre o bug", "este teste está falhando", "rastreie este crash", "por que...

Configuração

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

1. Leia ../_shared/common.md apenas para idioma, Lei de Ferro, Confiança na Falha, roteamento de escopo, disciplina de Remédio, campos de configuração e orçamento de carregamento.
2. Leia apenas a etapa relevante em logic-locate-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. Roteamento de idioma + escopo. Detecte o idioma por common.md §1. Confirme a existência de uma falha concreta (stack trace, asserção falha, valor incorreto específico). Se for apenas uma suspeita, mude para revisão lógica.

Etapa 1. Entender a falha (guia Etapa 1) — comportamento observado, comportamento esperado, caminho de reprodução.

Etapa 2. Identificar o ponto de entrada (guia Etapa 2) — teste falho, frame mais externo da aplicação ou manipulador de requisição — o que estiver mais próximo da falha. Permaneça dentro do cone de falha primeiro: frames de pilha, fixture de teste falha, funções locais chamadas diretamente e valores de configuração/ambiente lidos nesse caminho. Não escaneie módulos não relacionados, a menos que o rastreamento os cruze.

Etapa 3. Rastrear para trás a partir do ponto de falha (guia Etapa 3) — percorra cada valor e estado até sua origem, construindo premissas a cada salto.

Etapa 4. Rastrear para frente para confirmar (guia Etapa 4) — a partir da raiz suspeita, verifique se o rastreamento alcança o sintoma observado.

Etapa 5. Rastreamento interprocedural se um chamado for implicado (guia Etapa 5) — rastreie para dentro do chamado; verifique valores de retorno sob condições observadas, exceções não tratadas, mutação de estado compartilhado. Aplique o limite de profundidade e o formato Rótulo de Contexto da Cadeia de Chamada definidos em semiformal-guide.md §Rótulos de Contexto da Cadeia de Chamada; no limite, declare o caminho restante do chamado como uma suposição de premissa e rebaixe para Confiança Média (por common.md §7).

Etapa 6. Identificar a divergência raiz e classificar (guia Etapa 6) — declare a linha/expressão exata, a premissa violada, o comportamento real, a cadeia de propagação até o sintoma; escolha o L-code.

Etapa 7. Gerar o relatório focado (guia Etapa 7) — Confiança na Falha (Alta/Média/Baixa, por common.md §7); Falha Primária (única descoberta de cinco campos); opcionalmente Fatores Contribuintes; um Remédio mínimo por common.md §10. O formato é obrigatório mesmo para bugs simples de uma função: sempre emita os campos rotulados Premissas / Rastreamento / Divergência / Gatilho / Remédio e a linha de Confiança na Falha. Nunca responda com uma sugestão de correção simples.

Linha de modo no relatório: Fault Locate (Chinês: 故障定位).

Formato de saída: a seção Descobertas tem UMA Falha Primária, não uma divisão completa de Crítico/Aviso/Sugestão. A linha Pontuação Lógica é substituída por Confiança na Falha: Alta / Média / Baixa.

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.