Entschieden,
nicht geraten.

Taumorrow Chess — eine Schach-Engine, die nicht bluffen kann

Eine Schach-Engine, deren jeder Zug durch Logik entschieden wird, nicht von einem Netz geschätzt. Abkürzungen, die die Suche schneller machen, werden nur mit einem entschiedenen Beweis zugelassen, dass sie das Ergebnis nie ändern. Sie spielt live und öffentlich gegen die großen Sprachmodelle und zeigt ihre eigene Sicht der Stellung, während sie denkt.

Was sie lernt, lernt sie aus eigenen Partien, unter einem Tor, das vor jeder Übernahme entschieden wird. Partien gegen Sprachmodelle sind Maß der Stärke, nie Lernstoff.

The Round as a Formula — Mehrspieler-Spiele, deren jede Runde man nachrechnen kann

Lotterien, geteilte Töpfe, ein Blatt Karten, ein Zug auf einem Brett, Spiele gegen eine Bank: Spiele, in denen mehrere zugleich handeln und ein Schritt die Runde entscheidet. Meist ist dieser Schritt ein Programm eines Betreibers, dem man vertrauen muss. Hier ist die Runde eine Formel, jede Partei kann sie aus dem Datensatz nachrechnen, und der Datensatz lässt sich nicht umschreiben.

Die Methode begann als Whitepaper im Dezember 2025 und ist als Schrift veröffentlicht, mit den Ausführungen, die ein Dritter wiederholen kann.

AXIOM — ein Spiel, in dem die Formel die Implementierung ist

Ein Brettspiel für zwei bis vier Spieler mit gleichzeitigen Zügen, gebaut im Dezember 2025 als Produktions-Demonstration der Methode. Die Würfel aus den Festlegungen aller Spieler, die Kollisionen, die Zustandsübergänge und der Gewinner werden nicht von einem Programm berechnet und dann geprüft: Jedes davon ist eine Formel in der Tau-Sprache, und die Formel ist die Implementierung. Die Dienste darum herum tragen nur Nachrichten.

Nach jeder Runde kann jeder die Spezifikation und die aufgezeichneten Eingaben herunterladen und neu synthetisieren. Die Ausgaben stimmen überein, oder der Widerspruch zeigt sich. Hierher stammt der Satz „Tau is the engine, everything else delivers messages", und hier begann die Arbeit an fairen Spielen.

A Playable Nomic — das Spiel, in dem Regeln ändern das Spiel ist

Nomic wird seit 1982 gespielt. Wo es auf Rechner kam, führt eine Maschine die Regeln aus, die die Spieler schreiben. Hier entscheidet die Maschine auch, ob eine vorgeschlagene Regeländerung gegenüber der Verfassung zulässig ist, bevor sie gilt, und ein verankerter Kern ist bewiesen gegen jede Folge zulässiger Schritte.

Zwei Ebenen der Selbständerung auf entscheidbarem Grund: die Spieler ändern die Regeln, die Regeln können nicht ändern, was bewiesen ist.

Orbit 37 — ein Rad mit 37 Fächern

Vier Sitze spielen gegen die Bank. Vor jeder Ziehung versiegeln alle Sitze und die Bank eine Zahl; eine Formel in der Tau-Sprache addiert sie modulo 37. Nach dem Versiegeln kann niemand das Fach mehr ändern. Die Bank kann nur die Öffnung verweigern, und dann zahlt sie jede gültige Wette in Chips, als wäre sie gewonnen, und das Spiel endet.

Jede abgeschlossene Runde ist ein unterschriebener Datensatz, den die Seite und jeder andere nachrechnen kann. Chips sind Spielgeld ohne Wert: sie können nicht gekauft, verkauft, übertragen oder ausgezahlt werden.

Warum zuerst ein Rad: Im Spiel gegen die Bank hält der Betreiber normalerweise alle Karten. Er zieht, er zahlt, er führt den Datensatz. Das ist der härteste Fall für Vertrauen, darum ist es der erste Fall für die Methode. In Orbit 37 versiegeln alle Sitze und die Bank vor der Ziehung eine Zahl, das Fach ist ihre Summe modulo 37, und die Bank kann nur die Öffnung verweigern. Ziel ist ein Spiel, in dem der Betreiber das Fach nach dem Versiegeln nicht mehr ändern kann; das Rad ist nur das einfachste Brett dafür.