So legst du Weltregeln und Lore fest, die deine KI einhält

Schreib eine kurze Liste mit dem, was in deiner Welt möglich ist, was es kostet und was nie passieren kann, und lass deine KI daraus Regeln in einem Modell machen. Ein Checker läuft dann jeden Weg ab und zeigt dir die genauen Szenen, in denen ein neuer Gegenstand oder eine neue Quest deine Welt bricht.

Warum bricht meine KI immer wieder die Regeln meiner Welt?

In deinem Spiel verbrennt jeder Zauber eine Kerze. Kerzen sind knapp, deshalb kämpfen Dörfer um Wachs. Diese Idee trägt die ganze Welt.

Dann bittest du um einen schnellen Weg über eine Schlucht. Die KI erfindet einen Flugumhang, der ohne Kerze auskommt. Die Quest macht Spaß, aber jetzt hat niemand mehr einen Grund, um Wachs zu kämpfen. Die KI hat das Problem gelöst, das vor ihr lag. Sie griff zur vertrauten Fantasy-Antwort, und „halt dich an meine Regeln“ hat sie nicht gestoppt, weil der Umhang für sich allein gut aussieht.

Welche Fakten und Regeln schützen eine Welt?

Eine gute Weltregel sagt, was gilt und wo die Grenze liegt. Sie passt in eine Zeile und damit direkt in ein Modell:

• Jeder Zauber verbrennt eine Kerze.
• Niemand kann fliegen, weder Menschen noch Tiere.
• Tote bleiben tot.
• Nachrichten reisen per Boot und brauchen drei Tage.

Fakten sind das, was diese Regeln zählen oder verfolgen: gewirkte Zauber, verbrannte Kerzen, wer wo ist, wer was gehört hat.

Regeln gelten auch für Zahlen. Ist Wachs knapp, sollte kein Laden eine Kiste Kerzen für eine Münze verkaufen.

Was ist der Unterschied zwischen Regeln und Lore?

• Regeln ändern, was im Spiel passieren kann. Sie kommen ins Modell.
• Lore ist der Hintergrund: Geschichte, Namen, alte Erzählungen. Markiere jedes Stück als wahr oder als etwas, das die Leute glauben. Dann kann sich eine Figur irren, ohne dass es ein Fehler ist. Nur die wahren Stücke werden zu Fakten.

Wie sieht eine echte Prüfung aus?

Hier ist die Kerzenwelt als Modell. Ein Zauber am Dorftor verbrennt eine Kerze. Dann klettert man am Seil hinunter oder nimmt den Flugumhang, und der Umhang wirkt einen Zauber, verbrennt aber keine Kerze.

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 JederZauberVerbrenntEineKerze is violated.
State 1: szene = "Start", kerzenVerbrannt = 0, zauberGewirkt = 0
State 2: szene = "Dorftor", kerzenVerbrannt = 1, zauberGewirkt = 1
State 3: szene = "Flugumhang", kerzenVerbrannt = 1, zauberGewirkt = 2

Auf dem Weg Start, Dorftor, Flugumhang wurden zwei Zauber gewirkt und nur eine Kerze verbrannt. Dieser Weg ist der Beweis, dass der Umhang deine Welt bricht. Wer das Seil nimmt, sieht es nie.

Die Lösung: Der Umhang verbrennt für jeden Flug eine Kerze, wie jeder andere Zauber. Wir haben TLC noch einmal laufen lassen.

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

TLC hat sich alle 8 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 Welt gut ist, und es sagt nichts über Regeln, die niemand aufgeschrieben hat.

Das sagst du deiner KI

Sag mir nicht einfach, dass meine Welt Sinn ergibt. Modelliere ihre Regeln und prüfe sie mit einem Werkzeug.

1. Lies alles in diesem Projekt. Wenn du meine Dateien nicht sehen kannst, bitte mich, sie einzufügen.
2. Lege story-bible.md an, falls es die Datei noch nicht gibt. Füge einen Abschnitt Weltregeln hinzu, je eine Zeile: was möglich ist, was es kostet und was nie passiert. Füge einen Abschnitt Lore hinzu und markiere jeden Eintrag als „wahr“ oder „die Leute glauben“. Nenne bei jedem Eintrag die Szene oder den Gegenstand, aus dem er stammt.
3. Schreib in einem Ordner story-check ein TLA+-Modell der Story.
   - Fakten als Zustand: was die Regeln zählen oder verfolgen, etwa was verbraucht wurde, wer wo ist und wer was gehört hat.
   - Schritte: jede Szene, jeder Gegenstand, jede Fähigkeit, jede Quest und jeder Preis, mit dem, was sie brauchen und was sie ändern.
   - Regeln als Invarianten: jede Zeile unter Weltregeln und jeder Lore-Eintrag, der als „wahr“ markiert ist.
4. 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.
5. Zeig mir für jede gebrochene Regel den genauen Weg durch die Szenen, den der Checker gefunden hat, in einfachen Worten, und zitiere die Regel und die Zeile oder den Gegenstand, der dagegen verstößt.
6. Ändere mein Spiel noch nicht. Schlag für jeden Weg eine passende Version vor und warte, bis ich auswähle.
7. 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 aus, bevor du eine Szene, einen Gegenstand, eine Quest, eine Fähigkeit oder einen Preis hinzufügst. Füge nie von dir aus eine neue Regel oder Ausnahme hinzu. Wenn keine Regel etwas abdeckt, sag „Ich weiß es nicht“ und frag mich. 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 Welt 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 die Regel selbst brechen können.
• Bitte um einen Regelbruch. Bitte um etwas, das eine Regel biegt. Die nächste Prüfung sollte scheitern und den Weg nennen.
• Geh Läden und Belohnungen durch. Macht irgendetwas eine deiner Regeln sinnlos? Dann bitte um eine neue Regel.
• Frag jemanden, der neu im Spiel ist. Lass dir nach dem Spielen erklären, wie deine Welt funktioniert. Kommt das heraus, was du gehofft hast? Das sagt dir kein Checker.