So schreibst du eine Spielstory ohne Fehler und Logiklöcher

Lass deine KI aus deiner Story ein Modell bauen und einen Checker jeden Weg ablaufen, denn beim Lesen Szene für Szene entgehen dir Löcher, die nur auf manchen Wegen auftreten. Der Checker liefert dir den genauen Weg durch die Szenen, der eine Regel bricht, und dieser Weg ist dein Beweis.

Warum hat meine Story Logiklöcher?

Ein Buch liest man in einer Reihenfolge. Ein Spiel nicht. Wer spielt, kann eine Nebenquest auslassen, sie früh erledigen oder Stunden später zurückkommen. Eine Szene kann also auf deinem Weg stimmen und auf einem anderen falsch sein.

Die KI um Sorgfalt zu bitten löst das nicht. Auch eine sorgfältige KI liest eine Szene nach der anderen, und schon zwei Entscheidungen mit je zwei Möglichkeiten ergeben vier Wege. Du brauchst etwas, das alle abläuft.

Welche Fakten und Regeln finden Logiklöcher?

Das Modell ist eine Liste von Fakten, dazu jede Szene als Schritt, der bestimmte Fakten braucht und bestimmte Fakten ändert. Bei Logiklöchern zählt vor allem das hier:

• Fakten: wer lebt, wer was weiß, wer wo ist, wer was hat und was passiert ist.
• Tote sprechen nicht. Niemand redet oder handelt, nachdem er gestorben oder gegangen ist.
• Niemand nutzt Wissen zu früh. Niemand nutzt einen Fakt vor der Szene, in der er ihn erfahren hat.
• Keine zwei Szenen widersprechen sich. Ein Fakt hat nie zwei verschiedene Werte.
• Niemand ist an zwei Orten. Eine Person handelt nur dort, wo sie ist.

Wie sieht eine echte Prüfung aus?

Hier ist ein winziger Krimi. Der Bäcker erzählt, dass der Bürgermeister am Montag gegangen ist. Dann geht man entweder in den Keller, wo man einen versteckten Brief findet, oder ins Rathaus. Beide Wege führen ins Gasthaus, wo man sagt: „Ich habe den Brief des Bürgermeisters gelesen. Du wurdest für die Lüge bezahlt.“

Wenn du immer durch den Keller spielst, wirkt das in Ordnung. 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 NiemandNutztWasErNieErfuhr is violated.
State 1: szene = "Start", spielerWeiss = {}, spielerNutzt = {}
State 2: szene = "Bäckerei", spielerWeiss = {"der Bürgermeister ging am Montag"}, spielerNutzt = {}
State 3: szene = "Rathaus", spielerWeiss = {"der Bürgermeister ging am Montag"}, spielerNutzt = {}
State 4: szene = "Gasthaus", spielerWeiss = {"der Bürgermeister ging am Montag"}, spielerNutzt = {"der versteckte Brief"}

Lies von oben: Start, Bäckerei, Rathaus, Gasthaus. Im Gasthaus nutzt man den versteckten Brief, aber er steht nicht in der Liste dessen, was man weiß, denn auf diesem Weg war man nie im Keller. Dieser Weg ist der Beweis.

Die Lösung: Im Rathaus gibt der Schreiber jetzt eine Abschrift des Briefs heraus. Wir haben TLC noch einmal laufen lassen.

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

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

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

Lies meine Story nicht nur durch, um mir dann zu sagen, dass sie gut aussieht. Modelliere sie und prüfe sie mit einem Werkzeug.

1. Lies meine Story und story-bible.md. Wenn du meine Dateien nicht sehen kannst, bitte mich, sie einzufügen.
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. Nimm Nebeninhalte auf, denn sie können früh, spät oder gar nicht gespielt werden.
   - Regeln als Invarianten: Tote sprechen nicht. Niemand nutzt Wissen vor der Szene, in der er es erfahren hat. Keine zwei Szenen widersprechen sich. Niemand handelt, wo er nicht ist.
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, und zitiere die Zeilen meiner Story hinter jedem Schritt.
5. Ändere meine Story noch nicht. Schlag für jeden Weg eine Lösung vor und warte, bis ich auswähle.
6. Aktualisiere nach jeder Lösung das Modell, führe den Checker erneut aus und zeig mir das Ergebnis.

Ab jetzt führst du den Checker nach jeder Story-Änderung 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. Wenn dem Modell ein Fakt fehlt, den du nicht findest, sag „Ich weiß es nicht“ und frag mich. Rate nicht.

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

• Spiel den Weg, den du bekommen hast. Folge genau diesen Szenen im Spiel. Du solltest selbst auf das Loch stoßen. Wenn nicht, passt das Modell nicht zum Spiel. Sag das deiner KI.
• Provoziere ein Loch. Bitte um eine Szene, in der eine tote Figur hereinkommt. Die nächste Prüfung sollte scheitern und den Weg nennen.
• Spiel außer der Reihe. Mach zuerst die Nebeninhalte und zuletzt die Hauptstory. Klingt eine Zeile falsch, und keine Regel hat es gefunden, bitte um eine neue Regel.
• Gib es jemand anderem. Bitte darum, jedes Mal laut „Moment, was?“ zu sagen, wenn etwas nicht zusammenpasst. Der Checker kennt nur die Regeln, die du ihm gegeben hast.