Spielerando

Was ist eine Story-Bibel, und wie nutzt sie deine KI?

Eine Story-Bibel ist eine einzige Datei, die die Wahrheit über dein Spiel enthält: Figuren, Welt, Zeitleiste und Regeln. Deine KI macht aus dieser Datei ein Modell und lässt einen Checker über jeden Weg laufen, sodass die Datei an deiner Story geprüft wird und nicht nur daneben liegt.

Was geht ohne Story-Bibel schief?

Du baust ein gemütliches Kochspiel auf einem schwimmenden Markt. In einem Chat liegt der Markt auf einem See. In einem anderen auf dem Meer. In einem dritten gibt die KI deiner Heldin eine tote Mutter, obwohl die Mutter den Nudelstand führt.

Das alles stammt aus demselben Projekt. Die richtigen Antworten lagen in deinem Kopf und in alten Chats, und die KI kam an beides nicht heran.

Aber auch eine Datei allein reicht nicht. Eine KI kann sie lesen und trotzdem abdriften. Deshalb speist die Datei ein Modell, und ein Checker vergleicht jeden Weg damit.

Was gehört in eine Story-Bibel?

  • Das Spiel in zwei Sätzen und seine Stimmung.
  • Figuren. Feste Fakten, Ziele, Sprechweise. Siehe So bleiben deine Spielfiguren sich selbst treu.
  • Weltregeln. Was möglich ist und was nicht. Siehe Weltregeln und Lore.
  • Zeitleiste. Was vor dem Spiel geschah und was im Spiel passiert.
  • Szenenplan. Was jede Szene braucht und was sie ändert.
  • Quests. Die Schritte, was jeder Schritt braucht und wie jede Quest enden kann.
  • Was das Spiel sich merkt. Jeder Fakt, den es über die Entscheidungen beim Spielen speichert.
  • Festlegungen. Dinge, die du entschieden hast und die niemand ohne Rückfrage ändert.
  • Offene Fragen. Dinge, die du noch nicht entschieden hast.

Schreib Fakten, keine Prosa: „Der Markt schwimmt auf einem See“ reicht. Kurze Fakten werden direkt zum Modell.

Welche Fakten und Regeln kommen aus der Bibel?

  • Fakten: jede Zeile unter Figuren, Zeitleiste und Was das Spiel sich merkt.
  • Schritte: der Szenenplan, mit dem, was jede Szene braucht und ändert.
  • Regeln: alles unter Weltregeln und Festlegungen.
  • Keine zwei Szenen widersprechen sich. Ein Fakt hat auf keinem Weg zwei verschiedene Werte.

Wie sieht eine echte Prüfung aus?

Hier ist das Kochspiel als Modell. Der Nudelstand legt fest, dass der Markt auf einem See schwimmt und die Mutter den Stand führt. Danach hört man ein altes Lied oder geht zum Fischmarkt. Die KI hat das Lied in einem neuen Chat geschrieben, und darin ist die Mutter tot.

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 KeineZweiSzenenWidersprechenSich is violated.
State 1: szene = "Start", festgelegt = {}
State 2: szene = "Nudelstand", festgelegt = {<<"Markt", "schwimmt auf einem See">>, <<"Mutter", "führt den Nudelstand">>}
State 3: szene = "Altes Lied", festgelegt = {<<"Markt", "schwimmt auf einem See">>, <<"Mutter", "führt den Nudelstand">>, <<"Mutter", "ist tot">>}

Auf dem Weg Start, Nudelstand, Altes Lied führt die Mutter den Stand und ist zugleich tot. Dieser Weg ist der Beweis.

Die Lösung: Das Lied handelt jetzt von der Großmutter der Heldin. 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.

Wer hält sie aktuell?

Lass die KI tippen und behalte selbst das letzte Wort. Eine veraltete Story-Bibel ist schlimmer als keine, weil die KI ihr vertraut. Jede Änderung aktualisiert also Datei und Modell, und der Checker läuft erneut. Und wenn die KI sagt, dass etwas passt, lass dir die Zeile zeigen.

Damit die KI die Datei in jedem neuen Chat liest, richtest du das einmal ein. Warum vergisst meine KI ständig meine Story? zeigt, wie das in Claude Code, Cursor und ChatGPT geht.

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

Erstelle eine Story-Bibel für mein Spiel und prüfe meine Story dann mit einem Werkzeug dagegen.

Lies zuerst alles in diesem Projekt. Wenn du meine Dateien nicht sehen kannst, bitte mich, die bisherige Story einzufügen.

Lege story-bible.md mit diesen Abschnitten an:
1. Das Spiel in zwei Sätzen und seine Stimmung.
2. Figuren: feste Fakten, was sie wollen, wie sie sprechen, was sie nie tun würden.
3. Weltregeln: was möglich ist, was nicht und was etwas kostet.
4. Zeitleiste: was vor dem Spiel geschah und was im Spiel passiert, der Reihe nach.
5. Szenenplan: für jede Szene, was sie braucht und was sie ändert.
6. Quests: die Schritte, was jeder Schritt braucht und wie jede Quest enden kann.
7. Was das Spiel sich merkt: jeder Fakt, den das Spiel über die Entscheidungen beim Spielen speichert.
8. Festlegungen: Dinge, die ich entschieden habe. Ändere sie nie, ohne mich zu fragen.
9. Offene Fragen: alles, was noch nicht entschieden ist.

Beim Schreiben gilt:
- Schreib kurze Fakten, keine Geschichten.
- Sag nach jeder Zeile, woher sie stammt: die Szene, die Datei oder „hast du mir gesagt“.
- Wenn du nicht sagen kannst, woher sie stammt, markiere sie mit VERMUTUNG.
- Frag mich danach zu den Lücken, eine Frage nach der anderen.

Schreib dann in einem Ordner story-check ein TLA+-Modell der Story.
- Fakten als Zustand: die Zeilen unter Figuren, Zeitleiste und Was das Spiel sich merkt.
- Schritte: der Szenenplan, mit dem, was jede Szene braucht und was sie ändert.
- Regeln als Invarianten: Weltregeln und Festlegungen, dazu: Keine zwei Szenen widersprechen sich.

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.

Zeig mir für jede gebrochene Regel den genauen Weg durch die Szenen, den der Checker gefunden hat, in einfachen Worten, und zitiere die Zeile aus story-bible.md, gegen die er verstößt. Ändere meine Story erst, wenn ich eine Lösung ausgewählt habe.

Ab jetzt gilt:
- Lies story-bible.md, bevor du Story schreibst oder änderst.
- Wenn wir etwas Neues festlegen, trag es in Datei und Modell ein, zeig mir die Zeile und führe den Checker erneut aus.
- Wenn du sagst, dass etwas passt, zitiere die Zeile der Datei, auf der das beruht. Wenn keine Zeile das abdeckt, sag „Ich weiß es nicht“.
- 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.

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 den Widerspruch selbst sehen.
  • Schau dir die VERMUTUNG-Zeilen an. Jede ist eine Stelle, an der die KI etwas erfunden hat. Entscheide jede davon.
  • Starte einen neuen Chat. Frag, worum es im Spiel geht und wer die Hauptfiguren sind, ohne etwas einzufügen.
  • Bitte um einen Widerspruch. Bitte um etwas, das gegen eine Zeile unter Festlegungen verstößt. Die nächste Prüfung sollte scheitern und den Weg nennen.
  • Schau in einer Woche noch einmal. Steht in der Datei, was du diese Woche entschieden hast?

Quellen

Stand: 2026-11-02