Disponibilidade de material de apoio

Este texto do catálogo contém as orientações embutidas abaixo, mas não inclui os seguintes caminhos de suporte. Eles são pré-requisitos externos, não arquivos incluídos:

• <support-root>/scripts/grade-iteration.py

Obtenha o material necessário da fonte upstream declarada, ou de uma instalação fornecida pelo usuário dessa fonte. Resolva cada caminho em relação a essa instalação, inspecione seu conteúdo e verifique quaisquer licenças e pré-requisitos de execução aplicáveis. Não execute um comando nem afirme que um procedimento referenciado foi seguido até que seu arquivo necessário exista. Não fabrique os scripts ausentes nem trate um arquivo não relacionado com o mesmo nome como equivalente. Etapas independentes totalmente documentadas aqui podem prosseguir dentro do escopo autorizado do usuário; relate qualquer etapa dependente como indisponível.

Logic-Lens — Revisão de Lógica

Quando Usar

Use esta habilidade quando precisar encontrar bugs de lógica em um único arquivo ou função por meio de rastreamento de execução semi-formal (Premissas → Rastreamento → Divergência → Gatilho → Remédio). Use quando um usuário compartilhar código e suspeitar que algo está errado sem nomear uma falha concreta — frases como "revise isto", "isso parece certo",...

Contrato de Esqueleto de Saída

O avaliador downstream (scripts/grade-iteration.py) e outras habilidades do Logic-Lens consomem este relatório por correspondência de subcadeias de caracteres de tokens literais definidos em ../_shared/common.md §1 (mapa de cabeçalho), §2 (rótulos de campo obrigatórios + Pontuação de Lógica) e ../_shared/report-template.md (esqueleto). Parafrasear esses tokens — mesmo com um sinônimo que soa bem para um humano — quebra o contrato, independentemente da qualidade da análise.

Três modos de falha observados em benchmarks que merecem destaque específico além da regra geral:

• Substituição de sinônimos para rótulos de campo cujas formas substituídas omitem a subcadeia necessária — substituindo Premises / 前提 por 前置条件构建 / 前置条件 (eval-201), ou Divergence / 偏差 por 根因 / 核心缺陷 / 结论 (eval-252). Cada substituição soa bem para um humano e pode até aparecer como um cabeçalho de seção ou coluna de tabela, mas a palavra substituída NÃO contém a subcadeia necessária, então o avaliador e os consumidores entre habilidades veem o documento como faltando o campo inteiramente. Use o token literal de common.md §1; você ainda pode adicionar uma subtítulo descritiva ao lado dele.
• Rebaixar uma descoberta confirmada de código L para ### 附加观察（非 Finding） / ### Additional observation — se Premissas→Rastreamento→Divergência for verdadeiro, a descoberta pertence a ## Findings com os cinco campos literais, mesmo em severidade de Sugestão. Esta foi uma causa recorrente de falha do eval-279 (quicksort L4) em execuções do Sonnet.
• Omitir o campo Divergence: / 偏差： inteiramente — o modo de falha mais frequente. Muitas saídas analisam corretamente o bug, mas escrevem a divergência como prosa, em uma célula de tabela ou sob cabeçalhos como 根因, 故障点, 核心问题, 缺陷. O campo Divergence: é o rótulo específico para "o ponto onde o comportamento real diverge da premissa". Ele NÃO é opcional e não tem sinônimo aceitável. Para descobertas sem bugs, use Divergence: None — [why the premise holds] (中文 偏差：无——[原因]).

Descoberta formatada corretamente — use como modelo:

### 🔴 Critical
**[L4] — Mutation during iteration skips elements**
Premises: `users` is `list[User]` passed by reference; `list.remove()` shifts subsequent elements left; the `for` iterator advances by index.
Trace: [1] index=0, user is inactive → `remove()` shifts list. [2] Iterator advances to index 1, which now holds the element originally at index 2 — the original index-1 element is skipped. Rebuttal check: PASSED — no defense found.
Divergence: `remove_inactive([inactive₁, inactive₂, active])` returns `[inactive₂, active]` (2 elements) instead of `[active]` (1 element) — the second inactive user is never visited.
Trigger: `remove_inactive([User(False), User(False), User(True)])` → expected 1, actual 2.
Remedy: Replace loop body with `return [u for u in users if u.is_active]`. Dry-run: ✅ divergence eliminated.

Cada bloco de descoberta DEVE conter todos os cinco rótulos literais (Premises: / Trace: / Divergence: / Trigger: / Remedy: ou 前提： / 追踪： / 偏差： / 触发： / 修复：) como prefixos de início de linha. Cabeçalhos de seção (### Premises, ## Execution Trace) NÃO satisfazem este requisito — os rótulos devem aparecer dentro do bloco de descoberta.

…