So werden Entscheidungen im Spiel wirklich wichtig

Eine Entscheidung zählt, wenn das Spiel sie sich merkt und man später die Folgen sieht. Lass deine KI jede große Entscheidung modellieren und einen Checker jeden Weg ablaufen, damit er dir den genauen Weg zeigt, auf dem eine Entscheidung nichts ändert.

Warum fühlen sich die Entscheidungen in meinem Spiel unecht an?

Auf einer kleinen Raumstation bittet eine Fremde darum, im Frachtraum versteckt zu werden. Die Wachen wollen, dass du sie auslieferst. Du bekommst zwei spannende Szenen. Danach ist die nächste Szene in beiden Fällen gleich, und niemand erwähnt die Fremde je wieder.

Das merkt man beim Spielen schnell. Sobald klar ist, dass sich nichts ändert, klickt man nur noch weiter.

Du hast um eine Entscheidung gebeten, also hat die KI eine geschrieben. Um das, was danach kommt, hat niemand gebeten. „Mach, dass Entscheidungen zählen“ bringt dir schönere Worte, aber kein Spiel, das sich etwas merkt. Du musst Weg für Weg sehen, ob die Folge da ist.

Welche Fakten und Regeln belegen, dass eine Entscheidung zählt?

• Fakten: was gewählt wurde und welche späteren Szenen eine Folge davon zeigen.
• Jede große Entscheidung wird gespeichert. Das Spiel merkt sie sich, auch nach dem Laden.
• Jede große Entscheidung zeigt sich zweimal. Mindestens zwei spätere Szenen ändern sich dadurch, auf jedem Weg.
• Sie zeigt sich bald und spät. Eine Folge kommt in den nächsten Minuten, eine viel später.

Kleine Echos reichen. Eine geänderte Zeile, eine andere Begrüßung oder ein Preis sind günstig zu bauen, und man spürt sie beim Spielen. Du brauchst kein zweites Spiel. Siehe die Anleitung zu verzweigten Storys.

Wie sieht eine echte Prüfung aus?

Hier ist die Station als Modell. Man versteckt die Fremde oder liefert sie aus. Dann kommen Kantine, Andockring und Ende. Die Regel: Bis zum Ende hat man mindestens zwei Folgen gesehen.

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 JedeGrosseWahlZeigtSichZweimal is violated.
State 1: szene = "Start", wahl = "keine", gezeigteFolgen = {}
State 2: szene = "Fremde verstecken", wahl = "versteckt", gezeigteFolgen = {}
State 3: szene = "Kantine", wahl = "versteckt", gezeigteFolgen = {}
State 4: szene = "Andockring", wahl = "versteckt", gezeigteFolgen = {}
State 5: szene = "Ende", wahl = "versteckt", gezeigteFolgen = {}

Man erreicht das Ende, und die Liste der gezeigten Folgen ist immer noch leer. Dieser Weg ist der Beweis, dass die Entscheidung unecht war.

Die Lösung: Wurde die Fremde versteckt, liegt ein Dankeszettel in einer Kiste, und später winkt sie aus einem Shuttle. Wurde sie ausgeliefert, gibt der Koch dir nichts mehr, und die Wachen winken dich durch. Wir haben TLC noch einmal laufen lassen.

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

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

Das sagst du deiner KI

Sag mir nicht einfach, dass meine Entscheidungen zählen. Modelliere sie und prüfe es mit einem Werkzeug.

1. Lies die Story und das Spiel. Wenn du meine Dateien nicht sehen kannst, bitte mich, sie einzufügen.
2. Liste jede Entscheidung auf, die man im Spiel trifft.
3. Schreib in einem Ordner story-check ein TLA+-Modell der Story.
   - Fakten als Zustand: was gewählt wurde und welche Folgen jeder Entscheidung bisher gezeigt wurden.
   - Schritte: jede Szene und jede Entscheidung, mit dem, was sie braucht und was sie ändert.
   - Regeln als Invarianten: Jede große Entscheidung wird gespeichert. Bis zu einem Ende haben mindestens zwei spätere Szenen eine Folge jeder großen Entscheidung gezeigt, auf jedem Weg.
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 Zeilen hinter jedem Schritt.
6. Schlag für jede Entscheidung, die nichts ändert, zwei kleine Folgen vor: eine bald und eine viel später. Halte sie klein, etwa eine geänderte Zeile, eine Begrüßung, einen Preis oder einen Gegenstand. Schlag keine neuen Kapitel vor. Sag bei jeder „Das ist neu“. Warte, bis ich auswähle.
7. Bau, was ich ausgewählt habe, aktualisiere das Modell, führe den Checker erneut aus und zeig mir das Ergebnis. Zeig mir auch, wo das Spiel jede Entscheidung speichert und welche Szene sie nutzt.

Ab jetzt führst du den Checker nach jeder neuen Entscheidung 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 Entscheidung gut ist. Wenn du nicht erkennen kannst, ob eine Szene eine Entscheidung nutzt, 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 sehen, dass sich nichts ändert.
• Spiel zweimal. Nimm jeweils die andere Möglichkeit und notiere, was anders ist.
• Speichern und laden. Speichere direkt nach einer Entscheidung, schließe das Spiel und lade. Weiß das Spiel noch, was du gewählt hast? Siehe Spielstände, die die Story behalten.
• Frag jemanden. Frag nach dem Spielen, was gewählt wurde und was daraus wurde. Kommt keine Antwort, ist die Folge zu gut versteckt.