Decidido,
no adivinado.

Taumorrow Chess — un motor de ajedrez que no puede farolear

Un motor de ajedrez cuya cada jugada se decide por lógica, no la estima una red. Los atajos que aceleran la búsqueda solo se admiten con una prueba decidida de que nunca cambian el resultado. Juega en vivo y en público contra los grandes modelos de lenguaje y muestra su propia visión de la posición mientras piensa.

Lo que aprende, lo aprende de sus propias partidas, bajo una puerta que se decide antes de aceptar cualquier cambio. Las partidas contra modelos de lenguaje miden la fuerza, nunca son material de entrenamiento.

The Round as a Formula — juegos multijugador en los que cada ronda se puede recalcular

Loterías, botes compartidos, una mano de cartas, un movimiento en un tablero, juegos contra una banca: juegos en los que varios actúan a la vez y un paso decide la ronda. Normalmente ese paso es un programa de un operador en el que hay que confiar. Aquí la ronda es una fórmula, cada parte puede recalcularla desde el registro, y el registro no se puede reescribir.

El método empezó como libro blanco en diciembre de 2025 y está publicado como artículo con las ejecuciones que un tercero puede repetir.

AXIOM — un juego en que la fórmula es la implementación

Un juego de tablero para dos a cuatro jugadores con movimientos simultáneos, construido en diciembre de 2025 como demostración en producción del método. Los dados a partir de los compromisos de todos los jugadores, las colisiones, las transiciones de estado y el ganador no los calcula un programa que luego se comprueba: cada uno es una fórmula en Tau Language, y la fórmula es la implementación. Los servicios de alrededor solo transportan mensajes.

Tras cada ronda, cualquiera puede descargar la especificación y las entradas registradas y volver a sintetizarlas. Las salidas coinciden o la inconsistencia se muestra. De aquí viene la frase «Tau is the engine, everything else delivers messages», y aquí empezó el trabajo sobre juegos justos.

A Playable Nomic — el juego en que cambiar las reglas es el juego

Nomic se juega desde 1982. Donde se ha informatizado, una máquina ejecuta las reglas que escriben los jugadores. Aquí la máquina también decide si un cambio de regla propuesto es legal respecto a la constitución, antes de que entre en vigor, y un núcleo atrincherado está probado contra toda secuencia de pasos legales.

Dos niveles de autoenmienda sobre un sustrato decidible: los jugadores cambian las reglas, las reglas no pueden cambiar lo que está probado.

Orbit 37 — una rueda con 37 casillas

Cuatro asientos juegan contra la banca. Antes de cada sorteo, cada asiento y la banca sellan un número; una fórmula en el lenguaje Tau los suma módulo 37. Tras el sellado nadie puede cambiar la casilla. La banca solo puede negarse a abrir, y entonces paga en fichas todas las apuestas válidas como si hubieran ganado, y la partida termina.

Cada ronda completada es un registro firmado que la página y cualquier otra persona pueden recalcular. Las fichas son dinero de juego sin valor: no se pueden comprar, vender, transferir ni canjear por dinero.

Por qué primero una rueda: en un juego contra la banca, el operador normalmente tiene todas las cartas. Saca el número, paga y lleva el registro. Es el caso más difícil para la confianza, por eso es el primer caso para el método. En Orbit 37, cada asiento y la banca sellan un número antes del sorteo, la casilla es su suma módulo 37 y la banca solo puede negarse a abrir. El objetivo es un juego en el que el operador no pueda cambiar la casilla una vez selladas las cifras; la rueda es solo el tablero más sencillo para ello.