Regras que as issues do lote pediram como invariante ficaram só em prosa

[CRangelP]

Achado numa revisão do PR #33. A cultura do repo é que regra que importa vira
invariante executável; estas quatro fecharam como texto:

• Cap de suíte vazia para JVM e política de nível por stack #7 pedia invariante amarrando a tabela de níveis da SKILL.md ao texto de
  references/other-stacks.md. O PR adiciona a frase "Stack caps … override
  the GREEN column" nos três arquivos, mas grep other-stacks scripts/coherence_test.sh só acha comentário — nada executável.
• Execução de terceiros no pipeline: npx sem pin e pip install automático #8 pedia invariante "nenhum npx <pacote> sem versão nas references".
  Todos os npx estão pinados hoje, mas nada impede a volta.
• Hook bloqueando o rollback: abortar em vez de seguir em frente #10 pedia invariante garantindo que o ramo "abortar" aparece onde o
  rollback é citado. grep -i abort scripts/coherence_test.sh → nada. A seção
  3 protege o texto antigo, não o ramo novo.
• Checkpoints: fase 3 em GREEN e YELLOW, branch e commit em RED #12: a seção 7 do coherence afirma só a coluna "Condição" de cada nível.
  A coluna "O que faz" (fase 2 e fase 3 param no checkpoint, YELLOW não roda
  fase 3, RED não commita CLEANUP_PROGRESS.md) não tem invariante.

Cada um tem que reprovar uma regressão real ao ser escrito — invariante que
passa por construção é pior que nenhum, porque compra confiança sem dar
garantia.

[CRangelP]

Precedente funcionando: a seção 14 do coherence_test.sh (PR #45)

Esta issue diz, e é o ponto todo dela:

Cada um tem que reprovar uma regressão real ao ser escrito — invariante que passa por
construção é pior que nenhum, porque compra confiança sem dar garantia.

O PR #45 precisou criar um invariante do zero e usou essa regra como método, não como
intenção. Deixo o padrão aqui porque ele resolve a parte difícil desta issue — não é
escrever o check, é provar que ele morde — e porque os quatro itens abaixo podem seguir
o mesmo roteiro sem inventar nada.

O caso

Os onze ids de operação da fase 4 viviam em quatro lugares escritos à mão: a tabela do
catálogo, as seções do catálogo e duas listas no SKILL.md. Nada comparava os quatro. Mesma
forma dos quatro itens desta issue — regra real, zero execução.

O roteiro, em três passos

1. Derive as duas pontas, não liste à mão. O check extrai as duas listas do próprio
repositório e compara. Uma lista hardcoded no teste vira a terceira cópia do problema.

2. Ponha um piso. Uma derivação que volta vazia faz o teste comparar nada com nada e
passar. A seção 14 exige 11 explicitamente antes de qualquer comparação. O
coherence_test.sh já usa esse padrão nas seções 4 e 6 ("Floor, same reason as in section
4"), então é vocabulário existente da casa.

3. Mute o repo e confirme que reprova. Foi isto que rodei antes de commitar:

cp references/refactoring-catalog.md /tmp/cat.bak
sed -i '' 's/^| A | `named-constant` |/| A | `magic-number` |/' references/refactoring-catalog.md
bash scripts/coherence_test.sh | grep '^FAILED'
#   FAILED: every catalog id has its own section
#   FAILED: SKILL.md names every catalog id
cp /tmp/cat.bak references/refactoring-catalog.md

Duas mutações testadas, as duas reprovaram, o repo restaurado voltou a verde. Sem esse
passo o check é decorativo.

Aplicado aos quatro itens desta issue

A mutação é a especificação. Cada uma tem de deixar a suíte vermelha antes de o check
existir, e o bash scripts/metrics_test.sh do mesmo PR mostra a variante mais forte disso —
rodar a suíte NOVA contra o arquivo ANTIGO (git show HEAD:scripts/metrics.sh) e exigir
que reprove.

item	mutação que tem de reprovar
#7	apagar Stack caps ... override the GREEN column. do SKILL.md
#8	trocar um npx knip@6.32.0 por npx knip numa reference
#10	apagar o ramo "abortar" onde o rollback bloqueado por hook é citado
#12	reescrever a coluna de comportamento da linha YELLOW para liberar exports e fases 2/3

As quatro estão na descrição do milestone como critério de fecho, e a #12 já foi verificada
como passando verde hoje — a suíte não reclama de uma tabela de níveis que autoriza deleção
autônoma sobre rede parcial.

Nota de escopo

A seção 14 não fecha nenhum dos quatro itens: ela trava os ids da fase 4, que é outro
assunto. Está aqui como referência de forma, não como entrega parcial.