Logic-Lens — Correção Lógica Total

Quando Usar

Use esta habilidade quando precisar de um pipeline autônomo de auditoria e correção em todo o repositório: saúde → revisão → localizar/explicar → corrigir → comparar-verificar → iterar até que esteja limpo. Começa com um prompt de consentimento obrigatório (intensivo em tokens); após o consentimento, roda sem intervenção. Acione quando o usuário quiser que TODAS as questões lógicas sejam encontradas e corrigidas — "corrija...

Configuração

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

1. Antes do consentimento, leia apenas ../_shared/common.md para idioma, roteamento de escopo, campos de cabeçalho de correção total, campos de configuração e orçamento de carregamento; em seguida, leia logic-fix-all-guide.md através do mapa de fases e guide-phases-0-2-consent-scope-health.md através da Fase 0.
2. Após o consentimento, leia cada arquivo de fase apenas ao entrar nessa fase.
3. Carregue ../_shared/logic-risks.md, ../_shared/semiformal-guide.md, ../_shared/semiformal-checklist.md, ../_shared/report-template.md e os outros guias de habilidade sob demanda quando essa fase invocar sua metodologia.

Processo

Etapa 0. Roteamento de idioma + escopo. Detecte o idioma por common.md §1. O escopo padrão é a raiz do repositório; respeite um subcaminho nomeado pelo usuário ou um trecho colado. Para um trecho colado, pule o prompt de consentimento e execute o pipeline de correção diretamente. Leia .logic-lens.yaml para ignore:, custom_risks, severity:, focus: e fix_all.max_iterations.

Etapa 1. Consentimento + enumeração de escopo (guia Fase 0–1) — para escopo de repositório/diretório: prompt de consentimento obrigatório exibindo escopo / método / custo / limite de iteração; no consentimento, enumere arquivos que afetam a execução (código fonte / configuração / restrição / documentação), exclua .git e artefatos de build, classifique por nível de risco. Para um trecho colado: pule o consentimento, enumere as funções do trecho diretamente.

Etapa 2. Passagem de saúde (guia Fase 2) — aplique a metodologia de saúde lógica para mapear Pontuações Lógicas por módulo e padrões de código L.

Etapa 3. Revisão profunda (guia Fase 3) — aplique a revisão lógica por arquivo para coletar achados completos de Premissas → Rastreamento → Divergência.

Etapa 4. Clarificação condicional (guia Fase 4–5) — aplique a localização lógica onde falhas concretas existem; aplique a explicação lógica quando o caminho de um achado for incerto (profundidade de chamada > 3, entre módulos ou assíncrono).

Etapa 5. Fila de correção + remediação (guia Fase 6) — ordene por gravidade; escreva uma Remediação pronta para colar para cada achado; roteie contradições entre arquivos para o destino de edição correto (código / restrição / configuração / documentação).

Etapa 6. Aplicar + verificar (guia Fase 7) — aplique cada correção, em seguida, aplique a metodologia de comparação lógica comparando o código original vs. corrigido. Veredicto esperado: ⚠️ Conditionally Equivalent onde a condição diferente é exatamente o cenário do bug. Reverte se o veredicto for ✅ Semantically Equivalent (a correção não teve efeito) ou mostrar novas divergências fora do cenário do bug (regressão). Tente até 3 vezes.

Etapa 7. Iterar + relatar (guia Fase 8–9) — reexecute a saúde + revisão em arquivos modificados e seus consumidores; Críticos repetem sem limite; Rodadas de Aviso/Sugestão limitadas por fix_all.max_iterations com prompt de escalonamento do usuário no limite. Gere o Relatório de Correção.

Linha de modo no relatório: Logic Fix All (Chinês: 逻辑全修).

Adições ao relatório de correção (anexadas após o Resumo padrão; localize todos os rótulos):

## Scope

| Role (source/config/constraint/doc) | Files scanned | Tier H/M/L | Truncated? |
|-------------------------------------|---------------|------------|------------|

## Skill Invocations
logic-health: N · logic-review: N · logic-locate: N · logic-explain: N · logic-diff: N

## Iteration History

| Round | Severity class | New findings | Action |

## Fix Log

| # | File | Lines | Finding | Risk | Severity | Fix Applied (one-line edit or diff summary) | Status (resolved/unresolved/reverted) |

## Resolved by Clarification
[Findings the Phase-5 logic-explain pass revealed as false positives. Empty if none.]

## Unresolved Findings
[Include reason per entry: "conflicting constraints", "user stopped iteration at round N",
"hard iteration ceiling reached", "ambiguous spec", "unclear whether spec or consumer is wrong".
Empty if all resolved.]

Campos de cabeçalho do relatório (substitua o cabeçalho de linha única padrão por common.md §5):

**Logic Score (before):** XX/100
**Logic Score (after):**  YY/100
**Findings fixed:** N  (Critical: n1 · Warning: n2 · Suggestion: n3)
**Findings unresolved:** M

Limitações

• Use esta habilidade apenas quando a tarefa corresponder claramente à sua origem upstream e ao contexto do projeto local.

…