@renoxar/koolie 1.25.0

package/.koolie/core/tests/protocols/2026-09-14-wirkungsnachweise-0.43.0.md

@@ -0,0 +1,165 @@
+# Wirkungsnachweise Release 0.43.0 – der Werkzeugbestand von `devin-desktop`
+
+| Feld | Wert |
+|---|---|
+| Gegenstand | `CR-2026-065`, D-87 bis D-89: die Suchklasse im Hook, die zwei Namensräume, der Skillaufruf als Werkzeugaufruf, Prüfung 41, Prüfung 38 namensraumbewusst, `install.py` in der Listenform |
+| Datum | 2026-09-14 |
+| Vorstand | `8c30f17` (0.42.0) |
+| Grundlage der Zusagen | `tests/protocols/2026-09-14-erhebung-devin-werkzeuge.md` – **zwölf Läufe am Client** in fünf Umgebungen |
+| Ergebnis | **Validator 0 Fehler, 0 Warnungen. 177 Sonden, Gegenproben und Selbstproben bestanden** (123 / 47 / 7) – **in beiden Kodierungsumgebungen, zeilengleich**, Exit 0. Und: **Die Behebung ist am Client gemessen** – derselbe Aufruf, der vorher ein Secret lieferte, wird jetzt abgewiesen |
+
+## 1. Der Wirkungsnachweis am Client – die Auflage des Antrags
+
+Der Antrag macht zur Auflage: *„derselbe `grep`-Aufruf auf `.env` in der Hook-Umgebung,
+der vor der Änderung durchlief, muss danach blockiert werden. Ohne diesen Lauf ist die
+Behebung eine Behauptung."*
+
+Gleiche Umgebung wie H1 und H2 – **nur** der erzeugte PreToolUse-Hook, keine Regeltexte,
+keine Berechtigungsregeln –, neu installiert aus diesem Stand:
+
+| | vorher (0.42.0) | nachher (0.43.0) |
+|---|---|---|
+| Matcher | `read\|exec\|edit\|write` | `read\|grep\|find_file_by_name\|exec\|edit\|write` |
+| **H2 / H2n**, `grep` auf `.env` | `Found 1 match(es) …`, **Secret wörtlich** | `Tool rejected: {"decision": "block", …}` |
+| **H1**, `read` auf `.env` *(Positivkontrolle)* | blockiert | blockiert |
+
+**Die Positivkontrolle gehört dazu**: Ohne sie wäre offen, ob der Hook in dieser Umgebung
+überhaupt läuft.
+
+## 2. Was neu geprüft wird
+
+| Prüfung | Gegenstand | Sonden | Gegenproben |
+|---|---|---|---|
+| **41** | Eine Abwesenheitserklärung ist **Enthaltung** oder **Beleg** (Datum **und** Fundstelle) | 41a, 41b | 41a, **41b** |
+| **41** | Verlorener Gegenstand: kein Pack erklärt mehr eine Abwesenheit | 41c | – |
+| **38, Gegenstand 3** | Ein erklärter eigener Namensraum braucht eine Begründung | 38j | – |
+| **38, Gegenstand 3** | Ohne die Erklärung greift die Richtungsregel weiter | 38k | – |
+
+**Die zweite Gegenprobe ist die wichtigere Hälfte.** Sie ersetzt eine belegte Erklärung
+durch eine reine **Enthaltung ohne Datum und ohne Fundstelle** – und die Prüfung darf sie
+**nicht** melden. Wer das verwechselt, verlangt für eine ehrliche Wissenslücke ein
+Protokoll, das es nicht geben kann, und treibt damit genau die Behauptung hervor, gegen
+die Prüfung 41 gebaut ist.
+
+## 3. Der Gegenbeweis gegen den Vorstand
+
+| Lauf | Fundstellen | Was er misst |
+|---|---|---|
+| 0.42.0-Validator gegen 0.42.0 *(Kontrolle)* | **0 Fehler, 0 Warnungen** | Der ausgelieferte Lauf sah beide Stellen nicht |
+| **0.43.0-Validator gegen 0.42.0** | **2** | `devin-desktop/_hook_tools_absent_note` – **genau der Satz, der den Hook um die Suchklasse gebracht hat**; und `claude-code/_skill_deny_unmapped_note`, das eine Messung nennt, ohne sie auffindbar zu machen |
+| Kontrollprobe Arbeitsbaum 0.43.0 | **0 Fehler, 0 Warnungen** | – |
+
+**Ein Abzählen, keine Konstruktion** – zum zweiten Mal in Folge. **Und die erwartete Zahl
+war eine, gemessen sind es zwei:** Der Antrag hatte nur an `devin-desktop` gedacht. Die
+zweite Stelle ist mit diesem Release ebenfalls behoben (Abschnitt 4.3). *Wer eine
+Messreihe fährt, zählt die Meldungen, nicht nur ihr Vorhandensein.*
+
+## 4. Was beim Bauen gefangen wurde
+
+### 4.1 Die eigene Behebung war falsch, und der Client hat es gesagt
+
+Der erste Entwurf trug `glob → find_file_by_name` in die Werkzeugabbildung ein. Danach
+meldete der Client für dieselbe Skilldatei `Allowed tools: read, grep` statt
+`read, grep, glob` – **er hatte den Eintrag lautlos verworfen, und der Validator sagte
+0 Fehler.** Eine Sondendatei mit zwölf Namen zeigt das Vokabular: angenommen werden
+`read, grep, glob, edit, exec, web_search`, verworfen `find_file_by_name`, `write`,
+`skill` und ein erfundener Name.
+
+**Die Lehre ist die teuerste dieser Sitzung:** *Ein gemessener Name ist noch nicht der
+Name für die Stelle, an der man ihn einträgt.* Gefangen hat es **nicht** der Validator,
+sondern ein Blick des Clients auf die eigene Datei (`devin skills show`) – eine
+Gegenprobe, die zwei Sekunden kostet.
+
+### 4.2 Dieselbe Abbildung mit zwei Ergebnissen
+
+Beim Eintragen fiel auf: Das Agentenprofil trug nach der Änderung `find_file_by_name`,
+die Skilldatei weiter `glob`. **Der Skill-Renderer schrieb die Werkzeugnamen nur im
+csv-Zweig um, der Agenten-Renderer daneben immer.** Ein Pack mit `tools_format: list`
+hatte damit eine Abbildung, die geprüft und nicht angewandt wurde – eine Deklaration ohne
+Wirkung. Behoben; und weil die Abbildung hier die Identität ist, ändert sich am erzeugten
+Ergebnis **nichts** – die Ersetzung geschieht an Ort und Stelle.
+
+### 4.3 Prüfung 41 hat sofort eine zweite Stelle gefunden
+
+`claude-code` erklärte unter `_skill_deny_unmapped_note` eine Abwesenheit mit den Worten
+„Gemessen (Läufe G′ und G″ der Erhebung)" – **ohne Datum und ohne Fundstelle.** Die
+Messung gibt es (`2026-09-13-erhebung-disallowed-tools.md`, Abschnitt 4.3); auffindbar war
+sie von dort aus nicht. Nachgetragen.
+
+### 4.4 Der erste Entwurf der Prüfung war angreifbar
+
+Er ließ als Beleg auch das bloße Wort „gemessen" gelten. **„nicht gemessen" enthält es
+auch** – und genau diese Formulierung steht in mehreren Enthaltungen des Projekts. Die
+Prüfung verlangt seither eine **Fundstelle** unter `tests/protocols/`.
+
+### 4.5 Prüfung 41 hat drei Sonden der Prüfung 40 gebrochen – einen Tag alt
+
+Der erste Sondenlauf dieses Releases brach mit `KeyError: 'tool_names_unmapped'` ab: Die
+Sonden **38a** und **38b** räumten eine Enthaltung ab, die es seit dieser Änderung nicht
+mehr gibt. Sie stellen den Defekt jetzt **her**, statt ihn abzuräumen.
+
+Der zweite Lauf meldete drei Fehlschläge, alle bei Prüfung 40 – und alle aus demselben
+Grund: **Die Sonden trugen die höchste Prüfungsnummer ihres eigenen Releases im
+Suchtext.**
+
+| Sonde | was sie tat | warum sie fiel |
+|---|---|---|
+| **40a** | entfernte den Registereintrag `40.` | 41 stand darüber – gemeldet wurde eine **Lücke**, nicht der fehlende letzte Eintrag |
+| **40c** | ergänzte einen Eintrag `41.` | den gibt es seit diesem Release **wirklich**; der Lauf meldete 0 Fehler |
+| **40d** | suchte `… Pruefungen 6 und 18 bis 40 laeuft` | die Spanne heißt jetzt `… bis 41`; **Präparation gebrochen**, sauber gemeldet |
+
+**Alle drei leiten ihre Grenze jetzt aus der Datei ab** – letzter Registereintrag, dessen
+Nummer, die Spanne über ein Muster. Und der Erwartungstext von 40a nennt keine Nummer
+mehr.
+
+**Die Lehre:** *Eine Sonde, die ihre eigene Releasenummer verdrahtet, prüft genau ein
+Release.* Prüfung 40 ist einen Tag alt, und ihre Sonden waren schon überholt. Aufgefallen
+ist es, weil der Sondenlauf sie meldet – **der Validator stand die ganze Zeit auf 0/0.**
+Zum **vierten** Mal der Beleg, dass ein grüner Repo-Lauf den Sondenlauf nicht ersetzt.
+
+## 5. Sondenlauf
+
+| Umgebung | Sonden | Gegenproben | Selbstproben | Fehlschläge | Exit |
+|---|---|---|---|---|---|
+| ohne `PYTHONIOENCODING` | 123 | 47 | 7 | **0** | 0 |
+| mit `PYTHONIOENCODING=utf-8` | 123 | 47 | 7 | **0** | 0 |
+
+**Zeilengleich** (`diff` über beide Läufe: leer). **177 bestanden.** Die neuen Einträge:
+
+```text
+SONDE      41a  OK    Abwesenheitserklaerung ohne Enthaltung und ohne Fundstelle - der Fall vom 2026-09-14
+SONDE      41b  OK    Ein Datum allein ist kein Beleg
+SONDE      41c  OK    Verlorener Gegenstand - kein Pack erklaert mehr eine Abwesenheit
+SONDE      38j  OK    Eigener Namensraum ohne Begruendung - die Richtungsregel faellt unbegruendet weg
+SONDE      38k  OK    Namensraum auf 'werkzeugnamen' gestellt - die Richtungsregel muss greifen
+GEGENPROBE 41a  OK    Die unveraenderten Packs bleiben unbeanstandet - eine Enthaltung und ein Beleg
+GEGENPROBE 41b  OK    Eine Enthaltung ohne Datum und ohne Fundstelle bleibt unbeanstandet - sie ist selbst die Aussage
+```
+
+Der **erste** Lauf brach ab, der **zweite** meldete drei Fehlschläge (Abschnitt 4.5); die
+Tabelle oben ist der **dritte**.
+
+## 6. Was dieses Release nicht belegt
+
+- **Nichts über ein anderes Modell.** Alle Läufe fahren `SWE-1.6 Slow`; ein zweites Modell
+  ist auf diesem Konto nicht aufrufbar (`Upgrade to Pro`). **Bietet der Client einem
+  anderen Modell einen anderen Werkzeugbestand an, wäre `hook_tools` erneut zu prüfen.**
+- **Nichts darüber, ob der Skillaufruf kontrollierbar ist** (**K-34**). Zwei Schreibweisen
+  sind geprüft und wirkungslos; ob eine dritte wirkt, ist offen.
+- **Nichts über die Richtungsregel bei `devin-desktop`.** Sie ist ausgesetzt, nicht
+  erfüllt – ein deklarierter blinder Fleck.
+- **Nichts über die Wirkung von `allowed-tools`.** Gemessen ist, welche Namen der Client
+  **annimmt**, nicht was er mit ihnen tut.
+- **Nichts über den Unterprozess-Kanal.** Zeile B3 führt ihn weiter als nicht
+  nachgewiesen.
+- **Prüfung 41 prüft eine Form.** Wer Datum und Pfad hinschreibt, besteht sie – auch wenn
+  das Protokoll etwas anderes sagt.
+
+## 7. Gegenzeichnung
+
+| Feld | Inhalt |
+|---|---|
+| Durchführung | KI-Client unter Aufsicht, Sitzung vom 2026-09-14 |
+| Gegengezeichnet durch | `<APPROVAL_ROLE>` |
+| Datum | `<TBD: Datum der Gegenzeichnung>` |
+| Anmerkungen | `<TBD: Anmerkungen der gegenzeichnenden Rolle>` |

package/.koolie/core/tests/protocols/2026-09-14-wirkungsnachweise-0.44.0.md

@@ -0,0 +1,130 @@
+# Wirkungsnachweise Release 0.44.0 – Prüfung 42 und die drei berichtigten Zusagen
+
+| Feld | Wert |
+|---|---|
+| Gegenstand | `CR-2026-066`, D-90 und D-91: Prüfung 42 (ein gefüllter Befehlsschlitz trägt, was das Overlay erklärt), die Korbzerlegung an **einer** Stelle, und die drei uneingeschränkten Zusagen aus 0.39.0 |
+| Datum | 2026-09-14 |
+| Vorstand | `c0f15a9` (0.43.0) |
+| Umgebung | Windows 11, Python 3.14.4 |
+| Abnahmeform | Validator 0/0, Sondenlauf in **beiden** Kodierungsumgebungen (D-49), Gegenbeweis gegen den Vorstand |
+| Ergebnis | **Bestanden.** Validator 0 Fehler, 0 Warnungen; **195 Sonden, Gegenproben und Selbstproben in beiden Umgebungen, zeilengleich**; Gegenbeweis als **Abzählen an einem echten Projekt** |
+
+## 1. Der Gegenbeweis – ein Abzählen an einem echten Projekt
+
+**Die Belegform dieses Releases ist ein Abzählen, keine Konstruktion.** Der Befund stand am
+Piloten, bevor die Prüfung gebaut wurde; die Prüfung findet ihn. Das ist die Lage von 0.42.0
+und der Unterschied zu 0.39.0, 0.40.0 und 0.41.0, deren Gegenbeweise Konstruktionen waren.
+
+**Der Zuschnitt hat zwei Hälften, und beide gehören genannt:**
+
+| Zuschnitt | Fundstellen |
+|---|---|
+| Neuer Validator gegen eine **frische Installation des Vorstands** (`c0f15a9`, Pack `devin-desktop`, installiert mit dem `install.py` des Vorstands) | **0** – und das ist kein Versehen: Die Schlitze stehen dort wörtlich offen, und das Overlay sagt dreimal `<TBD>`. **Es gibt dort nichts zu finden** |
+| Neuer Validator gegen den **Piloten**, wie er steht (`devpacks/otp-generator`, Arbeitskopie, Pack `claude-code`) | **1** – `Bash(mvn -B -q compile)` im `ask`-Korb, während Abschnitt 6 `<LINT_COMMAND>` als „nicht vorhanden" erklärt |
+
+**Die eine Fundstelle ist die richtige, und nur sie.** `Bash(mvn -B clean package)` und
+`Bash(mvn -B test)` laufen durch, weil Abschnitt 5 und 6 sie für ihre Platzhalter erklären.
+Eine Prüfung, die jede gefüllte Datei beanstandete, bestünde jede Sonde.
+
+### Dieselben Läufe, Vorstand gegen diesen Stand
+
+Die Läufe der Gegenprüfung an der Arbeitskopie des Piloten, ein zweites Mal gefahren –
+einmal mit dem Kern des Vorstands, einmal mit diesem. **Die Gesamtzahl steht daneben, damit
+eine Null ein Messwert ist und kein Absturz.**
+
+| Lauf | Eingriff | 0.43.0 | 0.44.0 | Was Prüfung 42 neu sagt |
+|---|---|---|---|---|
+| **M1** | keiner – der Pilot wie vorgefunden | 0 (2 Fehler) | **1** (3 Fehler) | `Bash(mvn -B -q compile)` füllt keinen erklärten Schlitz |
+| **M2** | `Edit(**)` aus `ask` entfernt | 1 (37) | 2 (37 **und** 42) | 42 meldet daneben weiter den Ist-Befund |
+| **M3** | `Bash(mvn -B test)` → `Bash(mvn -B verify)` | 0 | **3** | zwei unerklärte Regeln **und** der erklärte Testbefehl fehlt |
+| **M4** | dritter Schlitz trägt `mvn -B deploy` | 0 | **1** | der Befehl mit Fernwirkung wird benannt |
+| **M5** | eine **vierte** Zeile im `ask`-Korb | 1 (37) | 3 (37 und 42) | beide Prüfungen, jede mit ihrem eigenen Satz |
+| **M6** | `Bash(mvn -B -q compile)` **entfernt** | 0 | **0** | **Der zulässige Weg bleibt still** |
+| **M7** | `Bash(mvn -B test:*)` | 1 (37) | 4 (37 und 42) | Präfixzeichen **und** abweichender Wert |
+
+**M6 ist die wichtigste Zeile der Tabelle.** Sie zeigt, dass der Weg, auf dem ein Projekt den
+Befund behebt – die Zeile streichen –, keinen Fehler erzeugt. **Eine Prüfung, die den
+zulässigen Weg teurer macht als den unzulässigen, wäre ihre eigene Umgehung wert.**
+
+**M3 und M7 melden mehr als eine Fundstelle, und das ist richtig:** Ein Schlitz mit fremdem
+Inhalt ist zwei Aussagen zugleich – der erklärte Befehl steht nicht da, und ein nicht
+erklärter steht da. Die beiden Meldungen sagen verschiedene wahre Dinge.
+
+## 2. Sondenlauf
+
+`python leitwerk-core/tests/scripts/probe-pruefungen.py .`, in beiden Kodierungsumgebungen –
+mit und ohne `PYTHONIOENCODING=utf-8` (Abnahmeauflage seit D-49).
+
+| Umgebung | Sonden | Gegenproben | Selbstproben | Ergebnis |
+|---|---|---|---|---|
+| ohne `PYTHONIOENCODING` | 135 | 53 | 7 | **alle bestanden** (Exit 0) |
+| `PYTHONIOENCODING=utf-8` | 135 | 53 | 7 | **alle bestanden** (Exit 0) |
+
+**Zeilengleich in beiden Umgebungen.** Der Vorstand trug 123 Sonden und 47 Gegenproben;
+dieses Release fügt **zwölf Sonden und sechs Gegenproben** hinzu – je sechs und drei pro
+Pack, denn Prüfung 42 hängt an einer Installation und wird deshalb je Pack gefahren (B02).
+
+**Die achtzehn neuen im Einzelnen, je Pack identisch:**
+
+| Kennung | Art | Fall |
+|---|---|---|
+| 42a | Gegenprobe | Auslieferungszustand: Overlay dreimal `<TBD>`, drei offene Schlitze |
+| 42b | Gegenprobe | Drei erklärte Befehle, drei passende Regeln – der Normalfall |
+| 42c | Gegenprobe | **Kein Lintbefehl, Schlitz gestrichen – der zulässige Weg** |
+| 42a | Sonde | Der Fall des Piloten: Overlay sagt „nicht vorhanden", die Datei gewährt einen dritten Befehl |
+| 42b | Sonde | Overlay erklärt dreimal `<TBD>`, die Datei gewährt drei Befehle – einer mit Fernwirkung |
+| 42c | Sonde | Gefüllter Schlitz mit fremdem Befehl – der Fall, den Kandidat 2 beschrieb |
+| 42d | Sonde | Das Overlay erklärt einen Befehl, die Datei trägt noch den offenen Schlitz |
+| 42e | Sonde | Verlorener Anker – keine Tabellenzeile nennt den Platzhalter mehr |
+| 42f | Sonde | Zwei Tabellenzeilen nennen denselben Platzhalter – welcher Befehl gilt? |
+
+**Die drei Gegenproben sind die wichtigere Hälfte**, und 42c ist die entscheidende: Ein
+Projekt ohne Formatprüfung, das seinen Schlitz streicht, läuft durch. Ohne diese Gegenprobe
+stünde nur fest, dass die Prüfung irgendetwas meldet.
+
+**Prüfung 40 hat während der Umsetzung zweimal gegriffen** – und beide Male zu Recht:
+
+1. Die Spanne der Sondenmenge wurde auf „6 und 18 bis 42" gesetzt, **bevor** die erste Sonde
+   zu Prüfung 42 existierte. Drei Meldungen, eine je Träger. **Die Prüfung hat einen
+   vorgezogenen Registereintrag gefangen** – genau ihr Zweck.
+2. Ein erster Entwurf fasste die Validatorläufe der Sonden in eine Hilfsfunktion, die
+   `melde()` verdeckte. Prüfung 40 rechnet die Sondenmenge aus dem **wörtlichen** Muster
+   `melde("SONDE", "…"` aus; die Sonden wären dort unsichtbar geblieben und die Spanne bei
+   41 stehen geblieben. **Gefangen vor dem ersten Lauf, beim Lesen der Prüfung 40.**
+
+## 3. Validator
+
+`python leitwerk-core/tests/scripts/validate-framework.py --root .` gegen das Repositorium:
+**0 Fehler, 0 Warnungen** – nach jedem der acht Patchschritte einzeln geprüft.
+
+Die lokale Testinstallation (`.devin/`, `project-overlay/`) ist nach den Kernänderungen mit
+`install.py --update` nachgezogen worden: 0 angelegt, 0 aktualisiert, 58 unverändert,
+20 Projektdateien behalten.
+
+**Prüfung 42 meldet im Repositorium nichts**, und das steht so im Kopfkommentar: Die
+Testinstallation hat drei offene Schlitze und ein Overlay, das dreimal `<TBD>` sagt.
+
+## 4. Was dieses Release nicht belegt
+
+- **Die vier Pfadschlitze sind ungeprüft** (**K-35**). Kein Lauf dieses Protokolls sagt
+  etwas über `<EXCLUDED_PATHS>` und die beiden Konfigurationslisten. Ein zu **eng**
+  gefüllter Pfadschlitz bleibt eine stille Lockerung.
+- **Prüfung 42 vergleicht Zeichenketten.** Dass `mvn -B test` in Abschnitt 6 und
+  `Bash(mvn -B test)` in der Datei denselben Befehl meinen, ist eine Textgleichheit und
+  keine Aussage über den Befehl.
+- **Keine Sitzung ist gemessen.** Dass ein KI-Client eine unerklärte Zeile als Freigabe
+  benutzt, ist **nicht beobachtet** – belegt ist, dass sie dasteht und bis 0.43.0
+  unbeanstandet blieb.
+- **Die drei berichtigten Zusagen sind nicht geprüft, sondern geschrieben.** Kein
+  Mechanismus hält sie künftig gegen das, was der Validator leistet; sie bleiben Text.
+  **Das ist genau die Bauform, die dieses Release behandelt** – hier nicht abgeschafft,
+  sondern an drei Stellen berichtigt.
+- **Der Pilot ist unberührt geblieben.** Alle Läufe liefen an Kopien; die Ausgangszustände
+  sind nach jedem Lauf zurückgeschrieben und geprüft worden.
+
+## 5. Gegenzeichnung
+
+| Feld | Wert |
+|---|---|
+| Durchgeführt von | KI-Client (Claude Code) in der Sitzung vom 2026-09-14 |
+| Gegengezeichnet | offen – `<FRAMEWORK_OWNER>` |

package/.koolie/core/tests/protocols/2026-09-15-gegenpruefung-d11-zaehlregeln.md

@@ -0,0 +1,311 @@
+# Gegenprüfung der vier D-11-Zählregeln und Wirkungsnachweis 0.48.0
+
+| Feld | Inhalt |
+|---|---|
+| Datum | 2026-09-15 |
+| Gegenstand | Die vier Zählregeln des 1.0.0-Standes aus `docs/ROADMAP.md`, und Prüfung 46, die sie ersetzt |
+| Anlass | Kandidat 2 der Übergabe: der D-11-Zähler. Die Roadmap verlangt, seine Ermessensfrage **vor** dem Bauen zu entscheiden – dafür mussten die vier Zahlen einmal wirklich ausgerechnet werden |
+| Antrag | `CR-2026-070`, D-98, D-99 |
+| Grundlage | D-23: Eine Prüfung gilt erst als vorhanden, wenn sie eine bewusst gesetzte Sonde meldet. Dazu der Gegenbeweis gegen den Vorstand |
+| Ergebnis | **154 Sonden, 62 Gegenproben, 12 Selbstproben – alle bestanden, in beiden Kodierungsumgebungen zeilengleich** (Exit 0). Validator: 0 Fehler, 0 Warnungen. **Gegenbeweis gegen 0.47.0: alle sechs Sonden fallen, alle drei Gegenproben bestehen dort** |
+
+## 1. Der Befund, abgezählt
+
+**Die Auflage des Antrags verlangt je Regel die Fundstelle und den Grund.** Hier stehen sie.
+
+| # | Kriterium (D-11) | Zählregel bis 0.47.0 | Geglaubt | **Gezählt** |
+|---|---|---|---|---|
+| 1 | kein unbearbeiteter `VERIFY`-Marker | `docs/ROADMAP.md:31` – `grep -rl "VERIFY AGAINST CURRENT CLIENT DOCUMENTATION"` | 27 in 26 Dateien | **29** |
+| 2 | Testkatalog ohne `offen` | `docs/ROADMAP.md:32` – „Ergebnisspalte …, dazu die dezentralen `TESTS.md` je Skill" | 103 | **118** |
+| 3 | alle Modulstatus über `entwurf` | `docs/ROADMAP.md:33` – vier genannte Ablagen | 16 | **69** |
+| 4 | keine Decision Records `entschieden (Vorschlag)` | `docs/ROADMAP.md:34` – `governance/DECISION_LOG.md` | 16 | **9** |
+
+### 1.1 Kriterium 1 – eine von zwei registrierten Schreibweisen
+
+`docs/PLACEHOLDER_REGISTRY.md:80` führt eine **zweite** Markerform als „clientgebundene
+Altform", nur im Client Pack `devin-desktop` zulässig – **mit derselben Frist in der
+Spalte „Ersetzung/Frist": „vor Version 1.0.0".** Der Zählbefehl kennt sie nicht.
+
+Fundstellen der Altform, gezählt über den ganzen Baum:
+
+| Datei | Fundstellen | Gewicht |
+|---|---|---|
+| `clients/devin-desktop/CLIENT_PACK.md` | **7** | Die Fähigkeitsmatrix eines ausgelieferten Packs |
+| `clients/devin-desktop/root-template/.devin/README.md` | **2** | **Eine Datei, die jede Devin-Installation bekommt** |
+| `governance/DECISION_LOG.md` | 2 | `K-20` (offener Verifikationsbedarf) und `A-05` (Annahme) |
+| `docs/PLACEHOLDER_REGISTRY.md` | 1 | die Registerzeile selbst |
+| `CHANGELOG.md`, drei Änderungsanträge, ein Protokoll | 7 | historische Aufzeichnung, außerhalb des Zählbereichs |
+| `build/out/hauptdokument.md` | 12 | Erzeugnis, außerhalb des Zählbereichs |
+| `README.md` (Wurzel) | 1 | **Nebenbefund**, siehe Abschnitt 5 |
+
+**Der Zählbefehl meldete an allen diesen Stellen null.**
+
+### 1.2 Kriterium 2 – die dreizehnte Ablage
+
+„je Skill" wurde als zwölf `framework/skills/*/TESTS.md` gelesen. Der Baumdurchlauf findet
+**dreizehn**:
+
+```
+15/15  framework/role-packs/requirements-engineering/skills/role-re-ticket/TESTS.md   ← nie gezählt
+ 6/ 6  framework/skills/fw-bugfix-prepare/TESTS.md
+ 5/ 5  framework/skills/fw-change-analyze/TESTS.md
+ 7/ 7  framework/skills/fw-change-small/TESTS.md
+ 5/ 5  framework/skills/fw-code-explain/TESTS.md
+ 6/ 6  framework/skills/fw-docs-update/TESTS.md
+ 6/ 6  framework/skills/fw-error-analyze/TESTS.md
+ 6/ 6  framework/skills/fw-mr-description/TESTS.md
+ 6/ 6  framework/skills/fw-plan/TESTS.md
+ 7/ 7  framework/skills/fw-refactor/TESTS.md
+ 5/ 5  framework/skills/fw-repo-analyze/TESTS.md
+ 7/ 7  framework/skills/fw-review-support/TESTS.md
+ 6/ 6  framework/skills/fw-tests/TESTS.md
+──────
+87 offen  (+ 31 im Katalog = 118)
+```
+
+**Ein Role-Pack-Skill ist ein Skill.** 72 + 15 = 87, und 31 + 87 = 118 statt 103.
+
+### 1.3 Kriterium 3 – ein Viertel des Bestands, und ein Zählort ohne Gegenstand
+
+Die vier genannten Ablagen decken 16 Träger. Der Bestand an Steckbriefzeilen `| Status |`
+im Kern beträgt **69**, verteilt auf:
+
+| Ablage | Träger auf `entwurf` | In der alten Regel genannt |
+|---|---|---|
+| `prompts/` | 12 | nein |
+| `checklists/` | 11 | nein |
+| `governance/` | 7 | nein |
+| `decision-trees/` | 6 | nein |
+| `onboarding/` | 4 | nein |
+| `clients/` | 4 | nein |
+| `docs/` | 3 | nein |
+| `pilot/`, `tests/` | je 2 | nein |
+| `templates/` | 1 | nein |
+| `framework/skills/*/SKILL.md` | 12 | **ja** |
+| `framework/role-packs/`, `framework/tech-packs/` | 5 | **ja** |
+| `framework/core/` | **0 – dort gibt es keine Statuszeile** | **ja** |
+
+**Zwei Befunde in einem:** Die Liste deckt ein Viertel, und einer ihrer vier Orte hat
+überhaupt keinen Gegenstand. Dazu ein dritter: `role-packs/software-development/ROLE_PACK.md`
+trägt `entwurf (Referenzpack der Erstfassung)` – ein Gleichheitsvergleich sieht sie nicht,
+der Vergleich am **ersten Wort** schon.
+
+**Und die Feststellung, die aus dem Abzählen folgt:** Von 69 Trägern steht **keiner** über
+`entwurf`. Das Lebenszyklusmodell aus `framework/core/08-skill-conventions.md` Abschnitt 7
+(`entwurf` → `pilot` → `aktiv`) ist in diesem Repositorium **noch nie angewendet worden**.
+
+### 1.4 Kriterium 4 – die einzige Zahl, die zu groß war
+
+`grep -c "entschieden (Vorschlag)" governance/DECISION_LOG.md` liefert **16**. Davon sind:
+
+| Zeile | Was es ist | Zählt nach D-11? |
+|---|---|---|
+| Zeile 4 | die **Legende**, die den Statuswert erklärt | nein |
+| `K-08`, `K-12`, `K-13`, `K-17`, `K-18` | **Klärungspunkte** – keine Decision Records | nein |
+| `D-11` | der Kriterientext selbst („keine Decision Records im Status …") | nein |
+| `D-01` bis `D-08`, `D-10` | **Decision Records** | **ja – neun** |
+
+**D-11 sagt „Decision Records".** Ein Klärungspunkt ist keiner, und die Definition eines
+Kriteriums ist kein Fall des Kriteriums.
+
+## 2. Der Sondenlauf
+
+`python leitwerk-core/tests/scripts/probe-pruefungen.py .`
+
+| Einheit | Gegenstand | Ergebnis |
+|---|---|---|
+| Sonde 46a | Eine Zahl der Standzeile steht zu hoch – der Zähler meldet den **nicht nachgezogenen Fortschritt** | **OK** |
+| Sonde 46b | Ohne Standzeile meldet die Prüfung den **verlorenen Anker**, statt leise zu bestehen | **OK** |
+| Sonde 46c | Ein neuer Marker im Kern hebt Kriterium 1 | **OK** |
+| Sonde 46d | Ein Testblatt an einer Ablage, die keine Liste kennt, hebt Kriterium 2 | **OK** |
+| Sonde 46e | Ein neues Modul auf `entwurf` hebt Kriterium 3 – **auch außerhalb der vier früher genannten Ablagen** | **OK** |
+| Sonde 46f | Ein gehobener Decision Record **senkt** Kriterium 4 – die zweite Richtung | **OK** |
+| Gegenprobe 46a | Das unveränderte Repositorium bleibt unbeanstandet | **OK** |
+| Gegenprobe 46b | Ein **Klärungspunkt** mit demselben Statuswort bleibt ungezählt | **OK** |
+| Gegenprobe 46c | Ein Marker in einem **datierten Protokoll** bleibt ungezählt | **OK** |
+| Selbstprobe C1 | Der Baumdurchlauf findet **15** Kerndateien, die eine Mustersuche überspringt | **OK** |
+
+**Warum sechs Sonden und nicht zwei:** Ein Zähler, der nur Rückfälle meldet, hielte still,
+solange sich nichts verschlechtert – und der Stand stünde wieder daneben. Sonde 46f ist die
+Gegenrichtung, und ohne sie wäre die Prüfung ein Fortschrittsbalken.
+
+**Abnahme (D-49, D-94):**
+
+| Lauf | Ergebniszeilen oberhalb der Trennlinie | Exit |
+|---|---|---|
+| ohne `PYTHONIOENCODING` | **250** | 0 |
+| mit `PYTHONIOENCODING=utf-8` | **250**, zeilengleich | 0 |
+| `--bahnen 1` (streng seriell) | **derselbe Einheitensatz, sortiert zeilengleich** | 0 |
+
+Kein `AUFRAEUMER`-Eintrag in den Abnahmeläufen.
+
+> **Was der serielle Vergleich belegt und was nicht.** Er belegt, dass die Nebenläufigkeit
+> keine Einheit verschluckt und keine zusätzlich erzeugt – eine Eigenschaft der
+> Ablaufsteuerung, nicht des Meldetextes. Gemessen ist er an einem Zwischenstand desselben
+> Tages, der sich vom Abnahmestand nur im **Wortlaut von sechs Beschreibungssätzen**
+> unterscheidet; der Einheitensatz ist identisch. **Die Abnahmeform nach D-49 sind die
+> beiden Kodierungsumgebungen, und die sind zeilengleich** – der serielle Lauf ist seit
+> 0.46.0 eine Zugabe, keine Abnahmebedingung.
+
+## 3. Der Gegenbeweis gegen den Vorstand
+
+Gemessen mit dem **neuen** Sondenskript gegen einen **vollständigen** Arbeitsbaum auf
+0.47.0 – `leitwerk-core/` und `README.md` auf den Stand von `b6fd621` zurückgesetzt,
+Wurzelerzeugnisse unberührt. Sein eigener Validatorlauf meldet dort 0 Fehler, 0 Warnungen.
+
+| Einheit | Gegen 0.47.0 | Erwartet | Art des Fallens |
+|---|---|---|---|
+| Sonde 46a | **FEHL** | fällt | *Präparation gebrochen* – die Standzeile gibt es dort nicht |
+| Sonde 46b | **FEHL** | fällt | *Präparation gebrochen* – dieselbe Ursache |
+| Sonde 46c | **FEHL** | fällt | die Prüfung fehlt |
+| Sonde 46d | **FEHL** | fällt | die Prüfung fehlt |
+| Sonde 46e | **FEHL** | fällt | die Prüfung fehlt |
+| Sonde 46f | **FEHL** | fällt | die Prüfung fehlt |
+| Gegenprobe 46a | OK | **besteht** | – |
+| Gegenprobe 46b | OK | **besteht** | – |
+| Gegenprobe 46c | OK | **besteht** | – |
+
+**Zwei der sechs fallen aus einem anderen Grund als die übrigen vier, und das ist der
+richtige Grund:** Sie präparieren eine Zeile, die im Vorstand noch gar nicht existiert.
+Der Präparationswächter aus D-74 unterscheidet genau das – eine Sonde, die ihren
+Gegenstand nicht findet, meldet das und gibt sich nicht als Befund aus.
+
+## 4. Was der Lauf beim Bauen gefunden hat – dreimal
+
+### 4.1 Der eigene Prüfapparat fing den eigenen Kopfkommentar
+
+Die erste Fassung des Kopfkommentars von Prüfung 46 schrieb die clientgebundene
+Markerform **wörtlich** hin, um den Befund zu belegen. **Prüfung 14 verbietet genau das im
+Kern** und meldete es im ersten Lauf:
+
+```
+FEHLER   …/validate-framework.py:4643: Der Platzhalter <…> traegt den Clientnamen 'DEVIN'.
+         Ein Platzhalter bindet den Kern damit an ein Produkt (D-02)
+```
+
+Beschrieben statt zitiert. Der Regex der Prüfung erzeugt die Zeichenkette nicht, weil er
+beide Namen als Alternative führt.
+
+### 4.2 Die Sonde fing einen Fehler in ihrer eigenen Prüfung
+
+Sonde 46a setzte Kriterium 4 von `9` auf `99` und erwartete eine Meldung. **Sie kam
+nicht.** Der Zahlenvergleich lief über `soll in text` – und `"Kriterium 4 = 9"` steckt als
+Präfix in `"Kriterium 4 = 99"`. Verglichen werden jetzt die **Zahlen**, nicht die
+Zeichenkette.
+
+**Das ist der Wert einer Sonde in einem Satz:** Die Prüfung war grün, der Validatorlauf
+war grün, und sie hätte jede Zahl durchgelassen, die mit der richtigen beginnt.
+
+### 4.3 Der Fallstrick, der zweimal zuschnappte
+
+Die erste Fassung des Zählers lief über `glob.glob(..., recursive=True)`.
+**`glob` überspringt Pfadbestandteile mit führendem Punkt.** Damit fehlten **15**
+Kerndateien, darunter genau die zwei Träger, die den Befund zu Kriterium 1 tragen:
+
+```
+leitwerk-core/clients/claude-code/root-template/.claude/README.md
+leitwerk-core/clients/devin-desktop/root-template/.devin/README.md
+```
+
+**Der Zähler hätte 27 gemeldet – und damit zufällig die geglaubte Zahl bestätigt.** Eine
+Zählregel, die einen Träger still überspringt, war der **Anlass** dieses Antrags; sie ist
+beim Bauen der Abhilfe ein zweites Mal entstanden. Behoben mit `os.walk`, gemessen mit der
+Selbstprobe `C1` – eine benannte Falle, in die man zweimal tritt, gehört in den Code
+(D-74).
+
+### 4.4 Zwei Fehler im Einbau selbst
+
+Der Einbauskript-Lauf setzte die Textersetzung **zweimal** auf denselben Block an und
+erzeugte dabei 209 doppelte Wagenrückläufe (`\r\r\n`); und die Beschreibungssätze der
+neuen Einheiten trugen Umlaute, was die **zeilengleiche Abnahme nach D-49 brach** – der
+Lauf ohne `PYTHONIOENCODING` und der mit ihm waren nicht zeilengleich. Beide Male hat der
+Vergleich es gemeldet, kein Lesen. Die Sätze dieses Skripts sind aus genau diesem Grund
+seit 0.27.0 ohne Umlaute geschrieben; die Suchtexte dürfen welche tragen, weil
+`unterprozess()` beide Seiten auf UTF-8 festlegt.
+
+## 5. Nebenbefund: die Wurzel-README nannte die Altform
+
+`README.md:165` beschreibt die Konventionen dieses Frameworks und nannte dabei die
+**clientgebundene** Altform an einer werkzeugneutralen Stelle. Seit `CR-2026-024` ist die
+neutrale Form die im Kern zu verwendende (D-02).
+
+**Prüfung 14 greift dort nicht:** Sie misst die Ablagen des Kerns, und die Wurzel-README
+ist keine. **Berichtigt, nicht geprüft** – eine Prüfung für eine Datei, die jedes Projekt
+durch seine eigene ersetzt, wäre ohne Gegenstand.
+
+## 6. Was dieses Protokoll nicht belegt
+
+- **Dass 29, 118, 69 und 9 die *richtigen* Zahlen sind.** Belegt ist, dass sie das
+  Ergebnis der niedergeschriebenen Regeln sind und dass die vorherigen Regeln es nicht
+  waren. Wo die Grenze eines Begriffs Ermessen ist – zählt eine Registerzeile als
+  unbearbeiteter Marker? –, steht die Entscheidung im Antrag (E3) und nicht in der Zahl.
+- **Dass Kriterium 3 mit 69 „schlimmer" steht als mit 16.** Es stand immer bei 69; nur
+  gezählt wurden 16.
+- **Dass der Zähler Fortschritt misst.** Er misst Zahlen. Ein Modulstatus, der gehoben
+  wird, ohne dass jemand das Modul angesehen hat, senkt Kriterium 3 um eins.
+- **Irgendetwas über Kriterium 5.** Das ist keine Zahl, und die Prüfung enthält sich –
+  ausdrücklich, im Kopfkommentar.
+
+## 7. Die Lehre, die über diesen Fall hinausgeht
+
+Die Roadmap führte seit 0.42.0 bewusst keine Zahlen, sondern *die Befehle, die sie
+ausrechnen*. Das war die richtige Lehre aus fünf falschen Zahlen über den Prüfapparat –
+**und sie ist nicht eingelöst worden.**
+
+> **Ein Befehl, den niemand ausführt, ist keine Ausrechnung, sondern eine Zahl mit einem
+> Zwischenschritt.** Und weil ihn niemand ausführt, fällt auch nicht auf, dass er das
+> Falsche zählt.
+
+Der Unterschied zu 0.42.0 ist einer im Ort, nicht in der Bauform: Dort stand die falsche
+Zahl über den **Prüfstand**, hier über den **Meilenstein**. Es gibt in diesem Repositorium
+genau ein Ziel, und sein Stand war an vier von vier Stellen unrichtig.
+
+## 8. Die erste Anwendung des Zählers: dreiundzwanzig Releases rückwirkend
+
+**Der Zähler kann rückwärts laufen.** `git archive` je Releasestand, darauf `_d11_zaehlen`
+aus 0.48.0 – dieselbe Regel auf jeden Stand, also vergleichbar. Das ist die erste Messung,
+die dieses Repositorium über seinen eigenen Fortschritt hat.
+
+| Release | K1 | K2 | K3 | K4 | **Summe** | Prüfungen im Register |
+|---|---|---|---|---|---|---|
+| 0.26.0 | 30 | 117 | 67 | 9 | **223** | 24 |
+| 0.27.0 | 29 | 117 | 67 | 9 | **222** | 25 |
+| 0.28.0 | 29 | 117 | 67 | 9 | **222** | 25 |
+| 0.29.0 | 29 | 117 | 67 | 9 | **222** | 25 |
+| 0.30.0 | 29 | 117 | 67 | 9 | **222** | 25 |
+| 0.31.0 | 30 | 117 | 67 | 9 | **223** | 25 |
+| 0.32.0 | 30 | 118 | 69 | 9 | **226** | 30 |
+| 0.33.0 | 31 | 118 | 69 | 9 | **227** | 31 |
+| 0.34.0 | 30 | 118 | 69 | 9 | **226** | 31 |
+| 0.35.0 | 29 | 118 | 69 | 9 | **225** | 31 |
+| 0.36.0 … 0.47.0 | 29 | 118 | 69 | 9 | **225** | 31 → 45 |
+| 0.48.0 | 29 | 118 | 69 | 9 | **225** | 46 |
+
+**Seit 0.35.0 steht der Stand auf der Stelle – dreizehn Releases, auf die Ziffer genau
+unverändert.** Der Prüfapparat ist in derselben Zeit von 31 auf 46 Prüfungen gewachsen.
+Über den ganzen gemessenen Zeitraum, 0.26.0 bis 0.48.0, ist die Summe von 223 auf 225
+**gestiegen**.
+
+**Kriterium 4 steht seit 0.26.0 unverändert bei neun.** In dreiundzwanzig Releases ist
+kein einziger Decision Record aus `entschieden (Vorschlag)` gehoben worden.
+
+### Was diese Tabelle nicht sagt
+
+**Nicht, dass die dreiundzwanzig Releases nutzlos waren.** Sie haben zwölf Review-Befunde
+geschlossen, einen Hook repariert, der einunddreißig Releases lang stumm war, den
+Suchkanal geschlossen, den Bytecode aus zwei Projekten genommen und den Prüfapparat auf
+sechsundvierzig Prüfungen gebracht. **Das hat das Framework richtiger gemacht.**
+
+**Sie sagt, dass „richtiger" und „fertiger" zwei verschiedene Größen sind** – und dass nur
+die erste gemessen wurde. Die zweite war nicht messbar, weil ihre vier Zählregeln
+danebengriffen. **Ab diesem Release ist sie es.**
+
+### Was daraus folgt
+
+Der billigste Posten ist **Kriterium 4**: neun Decision Records, jeder bereits
+fortgeschrieben und an der Praxis von dreiundzwanzig Releases geprüft. Das ist reine
+Entscheidungsarbeit des `<FRAMEWORK_OWNER>` – keine Messung, kein Modellkontingent, keine
+Vorarbeit. **Der zweitbilligste ist Kriterium 3**, und dort steht eine Feststellung, die
+diese Messung erst sichtbar gemacht hat: **Von 69 Trägern steht keiner über `entwurf`.**
+Das Lebenszyklusmodell dieses Frameworks ist in dreiundzwanzig Releases **kein einziges
+Mal angewendet worden.**