chimera-list-exemptions-not-obligations

Sie setzen eine Eigenschaft durch, die an jeder Stelle einer bestimmten Art gelten muss: Jede unbeaufsichtigte Oberfläche geht durch das Governance-Profil, jeder Writer passiert das Gate, jede API-Route regeneriert ihr Schema. Die Regel ist ein Satz, aber die Stellen wurden zu unterschiedlichen Zeiten von unterschiedlichen Händen geschrieben, und keine davon nennt das Ding so, wie die anderen es nennen.

Das gilt nicht, wenn die Population konstruktionsbedingt geschlossen ist — eine Regel über die drei Einträge einer Dispatch-Tabelle ist durch die Tabelle bereits aufgezählt. Dieses Muster rechtfertigt seine Kosten nur, wenn eine neue Stelle in einer Datei auftauchen kann, die es noch nicht gibt.

1. Zählen Sie die Population maschinell auf. Laufen Sie über jede *.py unterhalb des Pakets (PACKAGE.rglob("*.py")), nicht über eine handgeschriebene Liste der Dateien, die Ihnen gerade bekannt sind.
2. Erkennen Sie die Stelle strukturell. Parsen Sie den AST und laufen Sie ihn nach dem Aufruf ab, der Sie interessiert; ein grep kann eine zusammengebaute Registry nicht von denselben Wörtern in einem Docstring unterscheiden, und dieser Docstring wird existieren, weil jemand einen Kommentar über den Fix schreiben wird.
3. Laufen Sie verschachtelte Scopes ab und schlüsseln Sie nach der umschließenden Kette — chimera/cli/main.py:solve._run_solve. Die eine Oberfläche, die Chimera verloren hat, baute ihre Registry innerhalb einer factory()-Closure auf (chimera/server/manager.py:_gateway_on_message.factory), unsichtbar für einen Durchlauf, der nur auf Top-Level-Funktionen schaute.
4. Machen Sie den Standard zu FEHLSCHLAG. Halten Sie ein EXEMPT: dict[str, str] von Stellen-Schlüssel auf schriftlich festgehaltene Begründung, und lassen Sie die Assertion jede gefundene Stelle auflisten, die kein Schlüssel darin ist.
5. Schreiben Sie die Begründung als Satz über genau diese Stelle, und trennen Sie die Arten von Begründung. „attended: interactive REPL" (ein Mensch kann Strg-C drücken) ist eine viel stärkere Behauptung als „assembles an equivalent stack from its own flags" — die zweite markiert eine zu konsolidierende Doppelimplementierung, keine ausgemachte Antwort.
6. Fügen Sie einen zweiten Test hinzu, der prüft, dass jeder EXEMPT-Schlüssel weiterhin eine lebende Stelle benennt, damit die Liste den Code, den sie entschuldigt, nicht überleben und zur Formalität verrotten kann.

Die Liste umzudrehen verlagert die Kosten auf denjenigen, der eine legitime neue Stelle hinzufügt: Ein unbeteiligter PR wird rot mit einem Fehler über Governance, an die er nicht gedacht hat. Das ist der beabsichtigte Tausch, aber nur, wenn die Fehlermeldung beide Wege zur Konformität nennt — leite es durch das Profil, oder füge die Ausnahme mit einer Begründung hinzu. Ein Gate, das bei Arbeit anschlägt, für deren Absicherung es nicht gebaut wurde, wird so lange kleingeredet, bis es bei nichts mehr anschlägt.

Die strukturelle Erkennung ist außerdem enger, als sie sich anfühlt. Sie fängt die eine Form, die sie kennt; eine Oberfläche, die Tools über einen anderen Aufruf zusammenbaut oder eine vorgefertigte Registry von woanders importiert, liegt außerhalb des Durchlaufs, und der grüne Build sagt nichts über sie. Fixieren Sie die Abdeckung der Datei, die regressiert ist, namentlich in einem eigenen Test, damit ein Durchlauf, der diese Datei still nicht mehr abdeckt, fehlschlägt statt zu bestehen.