Решено,
а не угадано.

Taumorrow Chess — шахматный движок, который не умеет блефовать

Шахматный движок, каждый ход которого решает логика, а не оценивает сеть. Сокращения, ускоряющие поиск, допускаются только с решённым доказательством того, что они никогда не меняют результат. Он играет вживую и публично против передовых языковых моделей и показывает собственный взгляд на позицию, пока думает.

Чему он учится, он учится на собственных партиях, через затвор, который решается до принятия любого изменения. Партии против языковых моделей — мера силы, а не учебный материал.

The Round as a Formula — многопользовательские игры, каждый раунд которых можно пересчитать

Лотереи, общие банки, рука карт, ход на доске, игры против банка: игры, где несколько сторон действуют одновременно и один шаг решает раунд. Обычно этот шаг — программа оператора, которому приходится доверять. Здесь раунд — формула, каждая сторона может пересчитать её по записи, а запись нельзя переписать.

Метод начался как белая книга в декабре 2025 года и опубликован как статья с исполнениями, которые третья сторона может повторить.

AXIOM — игра, в которой формула и есть реализация

Настольная игра для двух–четырёх игроков с одновременными ходами, построенная в декабре 2025 года как демонстрация метода в продакшене. Кости из обязательств всех игроков, столкновения, переходы состояний и победитель не вычисляются программой с последующей проверкой: каждое из этого — формула на языке Tau, и формула и есть реализация. Сервисы вокруг лишь передают сообщения.

После каждого раунда любой может скачать спецификацию и записанные входы и синтезировать их заново. Выходы совпадают — или проявляется несоответствие. Отсюда фраза «Tau is the engine, everything else delivers messages», и отсюда началась работа над честными играми.

A Playable Nomic — игра, в которой менять правила и есть игра

В Nomic играют с 1982 года. Там, где его переносили на компьютер, машина исполняет правила, написанные игроками. Здесь машина также решает, законно ли предложенное изменение правил относительно конституции, прежде чем оно вступит в силу, а закреплённое ядро доказанно переживает любую последовательность законных шагов.

Два уровня самоизменения на разрешимом основании: игроки меняют правила, правила не могут изменить доказанное.

Orbit 37 — колесо с 37 ячейками

Четыре места играют против банка. Перед каждым розыгрышем каждое место и банк запечатывают число; формула на языке Tau складывает их по модулю 37. После запечатывания никто не может изменить ячейку. Банк может лишь отказаться от раскрытия — и тогда оплачивает фишками все действительные ставки, как выигравшие, и партия заканчивается.

Каждый завершённый раунд — подписанная запись, которую страница и любой желающий могут пересчитать. Фишки — игровые деньги без стоимости: их нельзя купить, продать, передать или вывести.

Почему сначала колесо: в игре против банка обычно все карты у оператора. Он разыгрывает, он платит, он ведёт записи. Это самый трудный случай для доверия, поэтому он первый для метода. В Orbit 37 каждое место и банк запечатывают число до розыгрыша, ячейка — сумма этих чисел по модулю 37, а банк может лишь отказаться от раскрытия. Цель — игра, в которой оператор не может изменить ячейку после запечатывания; колесо — лишь самая простая площадка для этого.