Meine Skills

Was er tut: Ein Bug wird zum Ausgangspunkt. Erst alle Orte, an denen er auftaucht. Dann die Geschwister mit demselben Mechanismus. Dann hinauf: welche Annahme war falsch, welche Lücke im Prozess hat sie durchgelassen. Auf jeder Stufe steht, was wir falsch gemacht haben, und eine Gegenmaßnahme.

Was er bringt: Das Modell bleibt nicht bei der einen Zeile an der Stelle, an der es weh tut. Es wird aufs Design gelenkt, und jede Stufe muss durch eine Suche belegt sein. Eine Stufe, die nichts Neues findet, wird gestrichen.

Wie gut belegt: Er ist in mehreren Sessions gelaufen, und zwei Analysen liegen als Datei vor, zum Beispiel der Fall mit der Wanduhr im Datumsausdruck. Ob das Modell ohne Skill dieselbe Tiefe erreicht hätte, habe ich nicht geprüft.

Was er tut: Nach Rich Hickeys Design in Practice. Kriterien als Zeilen, Ansätze als Spalten, der Status quo zuerst. In die Zellen kommen Fakten, nicht Noten. Das Urteil steht getrennt daneben.

Was er bringt: Jeder Ansatz muss jedes Kriterium beantworten. Lücken und verdeckte Kosten fallen dadurch auf, bevor entschieden wird.

Wie gut belegt: benutzt, nicht gegen eine Alternative gemessen.

Was er tut: Ein Reviewer schlägt Befunde vor. Pro Befund versucht ein eigener Verifier, ihn zu widerlegen. Was überlebt, wird behoben. Das wiederholt sich, bis eine Runde nichts mehr übrig lässt.

Was er bringt: Ein einzelner Review-Durchgang liefert selbstsichere Befunde, von denen viele falsch sind. Der Widerlegungsversuch filtert sie, und der Verifier ist unabhängiger als eine Selbstkritik im selben Kontext.

Wie gut belegt: benutzt. Die Aussage zur Unabhängigkeit ist plausibel, aber meine Deutung. Die Studienlage zu Selbstkorrektur stützt sie nur vorsichtig.

Die Schichtenanalyse mit umgedrehtem Zeitpfeil. Die Änderung gilt als gescheitert, die Ursachen werden aufgezählt, verallgemeinert und jede bekommt einen Check, der jetzt laufen kann. Der Gewinn wäre, dass Risiken als Ursachen mit Prüfung dastehen und nicht als Sorgen. Ob das stimmt, zeigt erst ein echter Fall.

Eine Annahme wird zu „für alle X aus S gilt P". Dann entstehen Fälle, die sie brechen sollen, sie laufen, und die Annahme wird neu formuliert. Er soll die L2-Annahme einer Analyse systematisch angreifen. „Hält" heißt nur: hält unter diesen Fällen.

Ein Operator wird in Achsen zerlegt, die Nachbarn werden gesucht, jede Achse einzeln umgedreht. Das ist der Skill, mit dem die letzten vier entstanden sind, und er hat genau den Fehler der Konstruktion am Schreibtisch: Alles passt in die Struktur, weil es aus ihr stammt. Deshalb steht in ihm die Regel, dass ein Operator erst gebaut wird, wenn eine beobachtete Instanz ihn belegt.

Vor der Anwendung wird gewählt, welcher Operator zum Problem passt, und der Grund wird genannt. Schoenfeld hat in empirischen Studien gezeigt, dass Pólyas Heuristiken allein nicht reichen und dass die Kontrolle (Auswahl, Überwachung, Abbruch von Lösungswegen) entscheidend ist. ¹ Der Router wählt bisher nur unter Skills aus demselben Raum.