So bleiben deine Spielfiguren sich selbst treu

Gib jeder Figur ein kurzes Blatt mit festen Fakten, und lass deine KI daraus Regeln in einem Modell machen und einen Checker über jeden Weg laufen. Der Checker zeigt dir die genauen Szenen, in denen jemand gegen sein Blatt handelt oder sich ohne Grund ändert.

Warum benimmt sich meine Figur plötzlich wie jemand anderes?

Bram der Schmied hat im Krieg seine linke Hand verloren und ist zu allen grob. Zwanzig Szenen später bittest du um eine lustige Szene in seinem Laden, und plötzlich ist er dein Freund.

Vielleicht ist das in Ordnung. Wurde ihm sein alter Hammer zurückgebracht, hat er einen Grund aufzutauen. Aber vielleicht ist das nie passiert. Ohne die Fakten vor Augen schreibt die KI einen typischen Schmied, und nichts merkt, dass diese Szene auf einem Weg falsch und auf einem anderen richtig ist.

Welche Fakten und Regeln halten eine Figur stimmig?

Fang mit einem kurzen Blatt für jede Figur an. Es liefert dem Modell die Fakten:

• Feste Fakten: Bram ist Schmied, hat die linke Hand verloren und lebt allein.
• Will und fürchtet: in Ruhe gelassen werden, und Mitleid.
• Wie er spricht: kurz und trocken. „Kauf oder geh.“
• Kann sich ändern: taut auf, wenn ihm sein Hammer zurückgebracht wird.

Daraus werden diese Regeln:

• Feste Fakten bleiben fest. Bram benutzt nie beide Hände.
• Änderung braucht einen Grund. Eine Figur ändert sich nur, wenn das auslösende Ereignis auf diesem Weg passiert ist.
• Niemand weiß, was er nie gehört hat. Eine Figur spricht nur über das, was sie gesehen oder erfahren hat.
• Tote sprechen nicht.

Wie sieht eine echte Prüfung aus?

Hier ist Bram als Modell. Nach der Schmiede bringt man entweder den Hammer zurück oder geht zum Markt. Beide Wege führen zur lustigen Ladenszene, in der Bram freundlich 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 BramTautNurMitGrundAuf is violated.
State 1: szene = "Start", passiert = {}, bramIst = "grob"
State 2: szene = "Schmiede", passiert = {}, bramIst = "grob"
State 3: szene = "Zum Markt gehen", passiert = {}, bramIst = "grob"
State 4: szene = "Lustige Ladenszene", passiert = {}, bramIst = "freundlich"

Auf dem Weg Start, Schmiede, Zum Markt gehen, Lustige Ladenszene ist Bram freundlich, obwohl nichts passiert ist, das ihn ändern könnte. Dieser Weg ist der Beweis.

Die Lösung: Die Ladenszene bekommt eine zweite Version, in der Bram grob bleibt, wenn der Hammer nie zurückkam. 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 Figuren gut sind, und es sagt nichts über Regeln, die niemand aufgeschrieben hat. Wie jemand klingen soll, ist eine eigene Aufgabe, siehe Warum klingen alle meine Spielfiguren gleich?

Das sagst du deiner KI

Sag mir nicht einfach, dass meine Figuren stimmig sind. Modelliere sie und prüfe es mit einem Werkzeug.

1. Lies meine Story und story-bible.md. Wenn du meine Dateien nicht sehen kannst, bitte mich, sie einzufügen.
2. Lege in story-bible.md für jede Figur mit Namen ein Blatt an: feste Fakten, was sie will, was sie fürchtet, was sie nie tun würde, was sich an ihr ändern kann und welches Ereignis das auslöst. Nenne bei jedem Fakt die Szene, aus der er stammt. Wenn nichts in der Story das sagt, schreib „Ich weiß es nicht“.
3. Schreib in einem Ordner story-check ein TLA+-Modell der Story.
   - Fakten als Zustand: wer lebt, was jede Figur weiß, wie jede Figur den Spieler behandelt und was passiert ist.
   - Schritte: jede Szene und jede Entscheidung, mit dem, was sie braucht und was sie ändert.
   - Regeln als Invarianten: Feste Fakten bleiben fest. Eine Figur ändert sich nur nach dem Ereignis, das sie ändert. Niemand spricht über etwas, das er nie gesehen oder gehört hat. Tote sprechen nicht.
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 Zeile vom Blatt und die Zeile aus der Szene, die sich widersprechen.
6. Ändere meine Story noch nicht. Schlag für jeden Weg eine Lösung 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 nach jeder Änderung an einer Figur 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 eine Figur gut ist. Wenn ein Blatt nicht sagt, wie sie handeln würde, 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 sehen, wie die Figur aus der Rolle fällt.
• Bitte um etwas, das die Figur nie täte. Bitte um eine Szene, in der Bram um Hilfe fleht. Die nächste Prüfung sollte scheitern und den Weg nennen.
• Prüf den Körper. Schau Text und Bilder zusammen an. Hat er überall nur eine Hand? Bilder sind nicht im Modell.
• Besuche alle spät im Spiel. Sprich kurz vor Schluss mit jeder Figur. Tut jemand so, als wären die großen Ereignisse nie passiert?