Zeig mir, wo das steht: So hört deine KI auf zu raten

Gib dich bei deiner KI nie mit „das passt“ zufrieden: Lass sie die Zeile zitieren, auf der ihre Antwort beruht, und einen Checker laufen, der den genauen Weg durch die Szenen zeigt. Kann sie das nicht zeigen, soll sie sagen, dass sie es nicht weiß, statt zu raten.

Warum sagt meine KI, dass etwas passt, wenn es nicht passt?

Eine KI kann genauso sicher klingen, wenn sie rät, wie wenn sie etwas weiß. „Das passt“ zu schreiben kostet sie nichts.

Sagen wir, du baust einen kleinen Hafenkrimi. Du fragst: „Kann Hanne diejenige sein, die das Seetor öffnet?“ Die KI antwortet: „Ja, das passt perfekt zu ihrer Figur und zur Zeitleiste.“ Du baust die Szene.

Aber man kann Hanne warnen, und dann fährt sie mit der letzten Fähre ab. Die ehrliche Antwort hängt also vom Weg ab: auf dem einen ja, auf dem anderen unmöglich. Ein Zitat allein zeigt dir das nicht. Etwas muss beide Wege ablaufen.

Was zählt als Beleg?

• Eine Zeile aus der Story-Bibel, zitiert, mit ihrem Abschnitt. Siehe was eine Story-Bibel ist.
• Eine frühere Szene, benannt, mit der zitierten Zeile.
• Eine Regel, zitiert aus deinen Weltregeln.
• Etwas, das du gesagt hast, zitiert aus dem Chat.
• Ein Weg vom Checker. Die genauen Szenen, die eine Regel brechen, oder die Zahl der Zustände, in denen alle Regeln gehalten haben.

Das zählt nicht: „passt zum Ton“, „wie wir festgelegt haben“, „das sollte funktionieren“ und „fühlt sich richtig an“. Nichts davon zeigt auf etwas, das du nachschlagen kannst.

Wie sieht eine echte Prüfung aus?

Hier ist diese Hafengeschichte als Modell. Man warnt Hanne oder sagt nichts. Dann kommt die Szene am Seetor, in der Hanne das Tor öffnet. Die Regel: Niemand handelt, wo er nicht ist.

Wir haben diese erfundene Story am 2. November 2026 mit TLC 2.19 geprüft. Das ist die echte Ausgabe von TLC. Wir haben nur die Verwaltungszeilen weggelassen und jeden Schritt in eine Zeile gesetzt.

Error: Invariant NiemandHandeltWoErNichtIst is violated.
State 1: szene = "Start", passiert = {}, hanneIst = "am Hafen"
State 2: szene = "Hanne warnen", passiert = {}, hanneIst = "auf der letzten Fähre"
State 3: szene = "Seetor", passiert = {"Hanne öffnet das Seetor"}, hanneIst = "auf der letzten Fähre"

Lies von oben. Auf dem Weg Start, Hanne warnen, Seetor öffnet Hanne das Tor, während sie auf der letzten Fähre ist. Dieser Weg ist der Beweis, dass das „Ja“ auf diesem Weg falsch war.

Die Lösung: Wurde Hanne gewarnt, öffnet stattdessen Wim, der Schleusenwärter, das Tor. Wir haben TLC noch einmal laufen lassen.

Model checking completed. No error has been found.
9 states generated, 7 distinct states found, 0 states left on queue.

TLC hat sich alle 7 Zustände angesehen, die die Story erreichen kann, und die Regel hat auf jedem Weg gehalten.

Was, wenn sie es nicht zeigen kann?

Dann ist „Ich weiß es nicht“ die richtige Antwort, und eine nützliche. Sie markiert genau die Stelle, an der eine Entscheidung bei dir liegt. Entscheide sie, schreib sie in die Story-Bibel, und die Lücke ist geschlossen.

Darf meine KI trotzdem neue Ideen haben?

Ja, und das willst du auch. Sie muss es nur dazusagen. „Das ist neu, und bisher stützt das nichts in der Story“ ist eine gute Antwort. Sobald du zustimmst, kommt die Idee in die Story-Bibel und ins Modell, und ab dann wird sie geprüft wie alles andere.

Muss ich das alles lesen?

Nein. Das Modell und die Ausgabe des Checkers musst du nie selbst lesen, denn deine KI schreibt es, führt es aus und sagt dir das Ergebnis in einfachen Worten. TLA+ ist eine Sprache zum Modellieren, und TLC ist das Werkzeug, das ein Modell prüft. Wenn TLC auf deinem Rechner nicht läuft, kann deine KI über unseren MCP-Server einen fertigen Checker holen und in deinem Projekt ausführen. Spielerando schaut sich deine Story nie an.

Bestanden heißt, dass deine Regeln auf jedem Weg im Modell gehalten haben. Es heißt nicht, dass deine Story gut ist, und es sagt nichts über Regeln, die niemand aufgeschrieben hat.

Das sagst du deiner KI

Arbeite ab jetzt mit Beweisen. Das ist wichtiger als alles andere, worum ich dich bitte. Sag mir nie einfach, dass etwas passt, fertig oder wahr ist.

1. Lies story-bible.md und die bisherige Story. Wenn du meine Dateien nicht sehen kannst, bitte mich, sie einzufügen. Wenn es keine story-bible.md gibt, erstelle sie aus dem, was du findest.
2. Schreib in einem Ordner story-check ein TLA+-Modell der Story.
   - Fakten als Zustand: wer lebt, wer was weiß, wer wo ist, wer was hat und was passiert ist.
   - Schritte: jede Szene und jede Entscheidung, mit dem, was sie braucht und was sie ändert.
   - Regeln als Invarianten: jede Regel aus story-bible.md und dazu diese: Tote sprechen nicht. Niemand nutzt Wissen vor der Szene, in der er es erfahren hat. Niemand handelt, wo er nicht ist. Keine zwei Szenen widersprechen sich.
3. Führe den Model Checker TLC auf dem Modell aus, damit er jeden Weg abläuft. Wenn TLC hier nicht läuft, nutze get_recipe mit story-model-check über Spielerando und führe diesen Checker in diesem Projekt aus. Wenn du beides nicht ausführen kannst, sag es mir und behaupte nicht, dass etwas geprüft wurde.
4. Zeig mir für jede gebrochene Regel den genauen Weg durch die Szenen, den der Checker gefunden hat, in einfachen Worten.
5. Wenn du etwas über meine Story sagst, zeig mir, worauf das beruht: die genaue Zeile, zitiert, mit der Stelle, an der sie steht, oder das Ergebnis des Checkers. Kopiere jedes Zitat wörtlich aus der Quelle. Schreib keine Zitate aus dem Gedächtnis.
6. Wenn du es nicht zeigen kannst, sag „Ich weiß es nicht“. Rate nicht, und füll die Lücke nicht mit etwas, das gut klingt.
7. Wenn du etwas Neues vorschlägst, sag „Das ist neu“. Trag es erst in story-bible.md und ins Modell ein, wenn ich zustimme, und führe dann den Checker erneut aus.

Melde nur, welche Regeln gehalten haben, wie viele Zustände geprüft wurden und ob die Prüfung abgebrochen wurde. Sag mir nie, dass die Story gut ist.

Fang gleich an: Nimm die letzten drei Story-Entscheidungen in diesem Projekt und zeig mir, wo jede davon steht und was der Checker dazu sagt.

Oder spar dir das und schließ den MCP an: Dann findet deine KI das alles von selbst.MCP anschließen

So prüfst du es

• Sag „zeig mir, wo das steht“. Nimm etwas, das deine KI dir gerade gesagt hat. Sie sollte dir eine Zeile nennen, die du finden kannst.
• Schlag ein Zitat selbst nach. Auch eine KI kann falsch zitieren. Such in der Datei nach ein paar der Wörter. Steht die Zeile dort nicht, sag es der KI.
• Spiel den Weg, den du bekommen hast. Folge genau diesen Szenen im Spiel. Du solltest das Problem selbst sehen.
• Frag nach etwas, das die Story nie sagt. Frag, wie Hannes Mutter heißt. Die KI sollte sagen, dass sie es nicht weiß.
• Stell eine Fangfrage. Frag, warum Hanne das Tor auf dem Weg geöffnet hat, auf dem sie abgefahren ist. Die KI sollte dich korrigieren und den Weg zeigen.
• Bitte um eine neue Idee. Die KI sollte dir sagen, dass die Idee neu ist.