chimera-list-exemptions-not-obligations

Stai facendo rispettare una proprietà che deve valere in ogni punto di un certo tipo: ogni superficie non presidiata passa per il profilo di governance, ogni writer attraversa il gate, ogni route API rigenera il proprio schema. La regola è una frase sola, ma i punti sono scritti in momenti diversi da mani diverse, e nessuno di essi chiama la cosa che chiamano gli altri.

Non si applica quando la popolazione è chiusa per costruzione — una regola sulle tre voci di una dispatch table è già enumerata dalla tabella stessa. Questo pattern ripaga il proprio costo solo quando un nuovo punto può comparire in un file che ancora non esiste.

1. Enumera la popolazione in modo meccanico. Attraversa ogni *.py sotto il package (PACKAGE.rglob("*.py")), non una lista scritta a mano dei file di cui ti capita di sapere.
2. Rileva il punto in modo strutturale. Fai il parsing e attraversa l'AST cercando la chiamata che ti interessa; un grep non sa distinguere un registry assemblato dalle stesse parole dentro una docstring, e quella docstring ci sarà, perché qualcuno scriverà un commento sulla correzione.
3. Attraversa anche gli scope annidati e usa come chiave la catena che li racchiude — chimera/cli/main.py:solve._run_solve. L'unica superficie che Chimera si è persa aveva il registry costruito dentro una closure factory() (chimera/server/manager.py:_gateway_on_message.factory), invisibile a un attraversamento che guardava solo le funzioni di primo livello.
4. Fai in modo che il default sia il FALLIMENTO. Tieni un solo EXEMPT: dict[str, str] che mappa la chiave del punto a un motivo scritto, e fai in modo che l'asserzione elenchi ogni punto trovato che non sia una chiave lì dentro.
5. Scrivi il motivo come una frase su quello specifico punto, e tieni distinti i tipi di motivo. "attended: interactive REPL" (una persona può premere Ctrl-C) è una tesi molto più forte di "assembles an equivalent stack from its own flags" — la seconda segnala un'implementazione duplicata da consolidare, non una questione chiusa.
6. Aggiungi un secondo test che verifichi che ogni chiave di EXEMPT nomini ancora un punto vivo, così la lista non può sopravvivere al codice che scusa e marcire in una formalità.

Invertire la lista sposta il costo su chi aggiunge un nuovo punto legittimo: una PR non correlata diventa rossa con un errore sulla governance a cui non stava pensando. È lo scambio voluto, ma solo se il messaggio di fallimento indica entrambi i modi per conformarsi — instradarla attraverso il profilo, oppure aggiungere l'esenzione con un motivo. Un gate che scatta su lavoro che non era stato costruito per difendere viene contestato finché non scatta più su nulla.

Anche il rilevamento strutturale è più stretto di quanto sembri. Cattura l'unica forma che conosce; una superficie che assembla le tool con una chiamata diversa, o che importa un registry già costruito da altrove, sta fuori dall'attraversamento e la build verde non dice nulla su di essa. Fissa per nome, in un test dedicato, la copertura del file che è regredito, così un attraversamento che smette silenziosamente di coprire quel file fallisce invece di passare.