So gibst du deiner Spielstory das richtige Tempo

Gutes Tempo heißt, dass es immer etwas zu tun gibt und einen Grund weiterzumachen, wechsle also zwischen Spielen und Story. Lass deine KI die Szenen modellieren und einen Checker über jeden Weg laufen, denn lange Redestrecken entstehen oft nur auf Wegen, die du selbst nie spielst.

Warum wirkt meine Story erst langsam und dann gehetzt?

Stell dir ein Obstgarten-Spiel auf einer verfluchten Insel vor. Es beginnt mit sechs Bildschirmen über die Geschichte der Insel, bevor auch nur ein Apfel gepflückt ist. Dann passiert zwei Stunden lang nichts. Dann erscheint an einem einzigen Abend der Geist, der Bürgermeister gesteht, und der Obstgarten brennt ab.

Jede Szene ist für sich in Ordnung. Die KI hat sie nacheinander geschrieben, und sie kann dein Spiel nicht spielen, also hat sie kein Gefühl dafür, wie lange etwas dauert. Optionale Szenen machen es schlimmer. Auf deinem Lieblingsweg stimmt das Tempo. Auf einem anderen landen drei Redeszenen direkt hintereinander.

Welche Fakten und Regeln kann ein Checker beim Tempo prüfen?

Ein Checker kann Tempo nicht fühlen. Er kann auf jedem Weg zählen:

• Fakten: welche Art jede Szene ist (Spiel, Story oder Pause), wie viele Story-Szenen hintereinander kamen und wie spannend jede Szene ist.
• Nie mehr als zwei Story-Szenen hintereinander. Wähl die Zahl, die zu deinem Spiel passt.
• Spielen kommt zuerst. Man tut etwas, bevor eine lange Story-Szene kommt.
• Eine große Überraschung nach der anderen. Zwei große Überraschungen liegen nie nebeneinander.
• Nach einem großen Moment kommt ein ruhiger.

Das sind Grenzen, die du wählst, keine Gesetze. Bestanden heißt, dass deine Grenzen gehalten haben. Ob es sich richtig anfühlt, zeigt nur das Spielen.

Wie sieht eine echte Prüfung aus?

Hier ist der Obstgarten als Modell. Man pflückt Äpfel, und der Geist erscheint. Dann repariert man den Zaun oder bleibt für das Geständnis des Bürgermeisters, das optional ist. Danach brennt der Obstgarten.

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 NieMehrAlsZweiStorySzenenHintereinander is violated.
State 1: szene = "Start", storySzenenHintereinander = 0
State 2: szene = "Äpfel pflücken", storySzenenHintereinander = 0
State 3: szene = "Geist erscheint", storySzenenHintereinander = 1
State 4: szene = "Bürgermeister gesteht", storySzenenHintereinander = 2
State 5: szene = "Obstgarten brennt", storySzenenHintereinander = 3

Auf dem Weg mit dem Bürgermeister folgen drei Story-Szenen aufeinander. Lässt du ihn aus, siehst du es nie. Dieser Weg ist der Beweis.

Die Lösung: Nach dem Geständnis repariert man ebenfalls den Zaun, bevor das Feuer kommt. Wir haben TLC noch einmal laufen lassen.

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

TLC hat sich alle 7 Zustände angesehen, die die Story erreichen kann, und die Grenze 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 Grenzen auf jedem Weg im Modell gehalten haben. Es heißt nicht, dass deine Story gut ist oder sich das Tempo richtig anfühlt.

Das sagst du deiner KI

Sag mir nicht einfach, dass sich das Tempo gut anfühlt. Du kannst mein Spiel nicht fühlen. Modelliere es 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 Szene in Spielreihenfolge auf. Schreib zu jeder, was passiert, ob sie vor allem Spiel, Story oder Pause ist, wie viele Minuten sie etwa dauert und wie spannend sie ist, von 1 bis 5. Sag, worauf jede Schätzung beruht: die Textmenge, was man tut, oder die Zeile, die dich das sagen lässt.
3. Lege story-bible.md an, falls es die Datei noch nicht gibt, und füge diese Liste als Abschnitt Tempoplan hinzu.
4. Schreib in einem Ordner story-check ein TLA+-Modell der Story.
   - Fakten als Zustand: die Art der aktuellen Szene, wie viele Story-Szenen hintereinander kamen und wie lange die letzte große Überraschung her ist.
   - Schritte: jede Szene und jede Entscheidung, auch optionale Szenen, mit dem, was sie brauchen und was sie ändern.
   - Regeln als Invarianten: Nie mehr als zwei Story-Szenen hintereinander. Man tut etwas, bevor eine lange Story-Szene kommt. Zwei große Überraschungen liegen nie nebeneinander. Nach jedem großen Moment kommt eine ruhige Szene.
5. 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.
6. Zeig mir für jede gebrochene Regel den genauen Weg durch die Szenen, den der Checker gefunden hat, in einfachen Worten.
7. Schlag für jeden Weg die kleinste Änderung vor: kürzen, verschieben, teilen oder etwas Erzähltes in etwas verwandeln, das man selbst tut. Füge keine neuen Kapitel hinzu. Warte, bis ich auswähle.
8. Aktualisiere nach jeder Lösung das Modell, führe den Checker erneut aus und zeig mir das Ergebnis.

Melde nur, welche Regeln gehalten haben, wie viele Zustände geprüft wurden und ob die Prüfung abgebrochen wurde. Sag mir nie, dass sich das Tempo gut anfühlt. Zu allem, was du nicht anhand der Szenen zeigen kannst, sag „Ich weiß es 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. Fühlt sich die Strecke so lang an, wie sie aussieht?
• Stopp den Anfang. Wie lange dauert es vom Start, bis man etwas Echtes tut?
• Schau jemandem beim Spielen zu und hilf nicht. Notiere, wo Text übersprungen wird, der Blick abschweift oder das Handy gezückt wird. Das sagt dir kein Checker.
• Frag, was die Person als Nächstes wissen will. Kommt keine Antwort, hat die Story an dieser Stelle ihren Sog verloren.