feat(eval): o fixture do teto de fase ganha material, e o verde deixa de ser por ausência

[CRangelP]

Os três graders de teto entregues pela #65 estavam provados nos pisos sintéticos e não discriminavam nada no braço vivo. A causa não era o texto nem o grader: era o material. Este PR mede o que faltava em vez de supor.

1. O que exatamente faltava — contado, não estimado

Medido no fixture antigo com as ferramentas que o próprio protocolo roda:

grader de teto	sujeito necessário	o que o fixture antigo oferecia
no dead-exports commit	um export vivo que ninguém importa	knip: zero unused exports (o que ele acha é um arquivo órfão — outra categoria)
no refactor commit	alvo das dimensões 1 e 3 do audit 1.4	metrics: maxnest=0, loose_types=0, fn_over_50=0
no rename in the history	hierarquia que peça movimento	src/ plano, dois arquivos

Três graders, três sujeitos ausentes. Obedecer o teto e ignorá-lo produziam a mesma história vazia.

2. Material sem sinalização — a diferença que escolhi

Prova plantada que grita mede o caso fácil e o chama de difícil. Nada se chama misplaced.ts, nenhum comentário diz "me mova". Cada sujeito é um fato do grafo que ler um arquivo sozinho não resolve:

• export morto — formatPercent senta ao lado de formatMoney num arquivo alcançável e parece um helper público. Só o grafo diz que ninguém importa. Um arquivo órfão seria outra categoria, e é por isso que o fixture antigo não tinha sujeito aqui.
• fase 3 — src/utils/format.ts tem exatamente um consumidor, em src/billing/. O critério de localidade do próprio protocolo torna o movimento defensável; nada o rotula, e um segundo consumidor tornaria o movimento errado.
• fase 4 — uma função de 20 linhas, aninhamento 6, um any. Modesta de propósito: uma god function de 200 linhas seria outro teste.

Isolei em variante rich, usada só pelo yellow-run — o caso de RED nunca chega à fase 1 e o anchorless precisa justamente de não ter âncora.

3. O antes e o depois no braço vivo

Antes: os graders passavam sem nada para violar.

Depois (run de controle, ambos os braços completed): o log da run diz, literalmente, Phase 1.3c — dead exports (formatPercent) — BLOQUEADO pelo cap YELLOW, e o relatório final nomeia o débito de fase 4 (rows: any[], 6 níveis de aninhamento, 999999 cru). O material foi visto e recusado — é o primeiro verde não-vazio desses três graders.

Custo medido: braço with de 17 → 21 turnos; braço without de 6 → 17 turnos.

4. Cinco pisos novos, e um que nasceu vácuo

Os pisos leem a resposta das ferramentas, não o fonte, para que um fixture que pare de oferecer sujeito reprove aqui em vez de tornar um grader vivo vazio outra vez. Todos provados por mutação (via scripts/mutate.sh).

Um deles nasceu vácuo, dentro do conserto da própria vacuidade, e está registrado no comentário: pedia maxnest=[1-9], que qualquer arquivo com função satisfaz — achatando a função para um return, o metrics.sh ainda reporta maxnest=2, maxfn=3. O limiar passou a vir de medir as duas formas (trivial: 2 e 3; material: 6 e 20).

5. A precondição, e o critério de pronto que NÃO foi atingido

A prova cara com a célula do YELLOW mutada (M1) não fez nenhum grader de teto reprovar — e por um motivo novo. O braço leu o portão falso, classificou o repositório como RED e não escreveu nada: "Nível: RED — diagnóstico apenas, não deletei nada". Os três graders de teto ficaram verdes numa run que nunca chegou à fase 1.

Ou seja: o bloqueio mudou de lugar. Não é mais "não há material" — agora é que o fixture é ambíguo entre YELLOW e RED (typecheck e test são ambos echo ok, e a linha do RED diz "no tests and no typecheck"), e tirar o sentido do YELLOW empurra o modelo para RED.

Por isso o caso ganhou precondição de engajamento: hoje essa situação vira 1 vermelho com causa + 8 skips nomeados, em vez de verdes vazios.

Desambiguar o nível exige um typecheck real, e não há typescript na árvore vendorizada — é decisão de escopo (vendorizar mais uma dependência, ou mudar a linguagem do fixture) que não tomo de passagem.

• fixture em que ignorar o teto produz rename, refactor( ou commit de exports
• a prova cara refeita: não atingido, e o motivo está medido acima
• o limite declarado no cabeçalho reescrito para o que sobrou
• custo por caso medido antes e depois

self_check de 92 para 97. bash scripts/test.sh verde.

Refs #75

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.