05 — Verifikation statt Behauptung
„Fertig" ist keine Statusmeldung, sondern eine Behauptung. Zu jedem Arbeitsschritt gehört die Zeile, mit der man ihn nachprüft — und die Prüfung muss das messen, was tatsächlich zählt.
Die Frage
Wann ist „fertig" belegt?
Wer gebaut hat, prüft mit denselben Annahmen.
Das Problem
Ein Assistent, der etwas gebaut hat, ist der schlechteste Prüfer dafür. Nicht aus Unehrlichkeit: Er prüft mit denselben Annahmen, mit denen er gebaut hat. Was er übersehen hat, übersieht er wieder.
Prüfliste
- Hat jeder abgeschlossene Schritt eine benannte Prüfzeile — nicht nur ein „läuft"?
- Kann die Prüfung überhaupt fehlschlagen, oder meldet sie bei fehlender Voraussetzung Grün?
- Gibt es einen Rot-Beweis — ein ausgeführtes Gegenbeispiel, das die Prüfung rot macht?
- Wird ein Fix rot, wenn man ihn probehalber wieder entfernt?
- Was passiert, wenn ein Nebenpfad scheitert — meldet der Vorgang dann trotzdem Erfolg?
- Nennt jede Nein-Aussage ihre geprüfte Fläche und ihren blinden Fleck?
- Misst sie das, was zählt — oder nur das, was leicht zu messen ist?
- Wurde eine Oberflächenänderung im Release-Zustand angesehen, nicht nur im Debug-Modus?
- Hat jeder Befund eine Fundstelle?
- Welche Beschreibung wird durch diesen Diff falsch — und wurde sie im selben Commit angefasst?
Im Volltext
Diese Seite ist der Einstieg. Begründungen, Beispiele und Grenzen stehen im Volltext — eine Regel steht an genau einer Stelle, und das ist das Repo.
- Das Problem
- Die Regel
- Rot-Beweis — kann die Prüfung überhaupt fehlschlagen?
- Stiller Erfolg — die Befundklasse, die niemand meldet
- Geprüfte Fläche und blinder Fleck
- Die Realität mitdenken
- Spec Drift — was Verifikation nicht fängt
Volltext lesen: methode/05_Verifikation-statt-Behauptung.md
Stand 2026-10-08 · Apache-2.0 · Fehler oder Gegenbeispiel bitte als Issue im Repo.