session-setup.md § Scope nennt ein anderes Kriterium als die tatsaechliche Budget-Ausnahmeliste
#76
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Ergebnis
instructions/session-setup.mdundinstructions/gates.mdnennen jetzt das Kriterium, nach dem das Iteration Budget tatsaechlich zaehlt: eine feste Allowlist, keine Faustregel darueber, ob ein Kommando das Wiki veraendert.Geliefert in
2c4c2b1(Stackversion5.0.0-beta.1).Was der Befund war
session-setup.md§ Scope sagte:Das war nicht das Zaehlkriterium. Die Codewahrheit steht in
tools/chemenu/commands/run_budget.py:SKIP_COMMANDS(search,doctor) undSKIP_COMMAND_PATHS(budget status,links show,cite id,eval score|sessions,version show|check|notes|"",migrate list|status|verify,upstream verify) — zwoelf befreite Formen, alles andere zaehlt.lintsteht nicht darauf: es schreibt nur ins gitignortereports/, sieht damit folgenlos aus und wird trotzdem gezaehlt wie jedes mutierende Kommando.Damit waren zwei verschiedene Kriterien als eines beschrieben — "aendert das Wiki" gegen "steht nicht auf der Ausnahmeliste".
Was geaendert wurde
session-setup.mdZ. 18wikitoolcall that changes anything"wikitoolcall that is not exempt from the budget", mit Verweis auf § Scopesession-setup.md§ Scopesearchals einzige genannte Ausnahme, Kriterium "aendert das Wiki"lintals der Fall ausgeschrieben, der die falsche Lesart brichtgates.mdZ. 162wikitool searchis exempt from this budget entirely"tools/CONTRACT.mdstatt einer zweiten ListeDie Liste selbst bleibt an genau einer Stelle: den Kommandozeilen in
tools/CONTRACT.md, die je Kommando "exempt from the Iteration Budget Gate" tragen. Beide Instruktionen verweisen darauf, statt sie zu kopieren (Invariante 8).Akzeptanzkriterien
instructions/session-setup.md§ Scope nennt das Kriterium, nach dem tatsaechlich gezaehlt wird, und nicht ein davon abweichendes.searchsei die einzige oder die typische Ausnahme, wenn es zwoelf gibt.tools/CONTRACT.md);session-setup.mdverweist darauf, statt sie zu kopieren.lintaufruft, den Setup-Schritt braucht. Antwort: ja —lintzaehlt.tools/wikitool instructions verifyundtools/wikitool docs verifylaufen ohne neue Findings.Was das fuer
wiki-statusheisstDer Ausloeser des Issues —
wiki-statusruftlint, traegt aber keinensession-setup.md-Verweis — ist damit entscheidbar geworden, aber nicht entschieden: nach dem jetzt korrekten Kriterium fehlt der Verweis. Das ist eine Aenderung an einem Skill und gehoert nicht in dieses Issue, das die Instruktionsluecke schliesst. Als eigenes Paket weiterverfolgen.Verifikation
tools/wikitool docs verify,tools/wikitool instructions verifyundpytest(1101 Tests, zusaetzlich im gehaerteten Leerumgebungs-Lauf nachinstructions/dev/testing-conventions.mdSchritt 6) — alle gruen vor dem Publish.Herkunft
Analyse aus #65, Sitzung 2026-09-09. Aufgefallen bei der Pruefung, ob
wiki-queryundwiki-statusden fehlendensession-setup.md-Verweis zu Recht haben; vom Operator korrekt eingewandt, dass Suchen budgetbefreit sind — was den urspruenglichen Befund halbierte und diesen hier freilegte. Derwiki-query-Teil ist #75.Changelog: Body auf den Endstand umgeschrieben. Gegen den urspruenglichen Stand neu: die Codewahrheit ist verifiziert statt abgeleitet (
run_budget.pySKIP_COMMANDS/SKIP_COMMAND_PATHS, nicht nur die Kommandotabelle), die Vorher/Nachher-Tabelle nennt alle drei geaenderten Stellen einschliesslichsession-setup.mdZ. 18 — die dasselbe falsche Kriterium trug wie § Scope. Derwiki-status-Ausloeser ist ausdruecklich als entscheidbar geworden, aber nicht entschieden vermerkt: nach dem jetzt korrekten Kriterium fehlt dort der Verweis, das ist aber eine Skill-Aenderung und gehoert in ein eigenes Paket.Der offengelassene
wiki-status-Teil ist jetzt #84 — mit der Vorfrage, ob der Verweis ergaenzt oderlintdort durch ein budgetbefreites Kommando ersetzt wird.