Worlds games

Every move is a receipt

A game is a small world that refuses to lie about its rules.

Games make distributed semantics tangible: who may move, what stays hidden, how randomness enters, which resources survive, and which history everyone may accept.

01

The flagship

The Descent is a world, not a score endpoint.

A daily shared dungeon combines beacon-derived runs, permadeath, capacity-limited relics, key-gated ways, terminal banking, an attested dungeon master, cross-cell equipment and companions, achievements, guilds, quests, crafting, trade, and Bazaar settlement.

live

No-cheat board

The public Descent leaderboard is mounted at the arcade and displays receipted runs.

integrated

World and economy

The game code connects progression, loot, gear, companions, guilds, quests, crafting, trade, and verified Bazaar transfer.

not playable on web

Browser client

The public play URL currently serves a shell whose client and WASM payloads are explicit placeholders. The leaderboard being live does not make the game client live.

02

Three proofs of enginehood

Different rules exercise different semantic organs.

world game

The Descent

A persistent adventure world whose resources, deaths, rewards, and crossings become cell operations.

world₀ ⊢ move ⊢ world₁
custom proof leaf

Automatafl

Simultaneous moves and cellular resolution use a specialized transition proof rather than squeezing complex mechanics into generic predicates.

board₀ ⊢ resolve ⊢ board₁
hidden hand + fold

Multiway tug

Committed hands prove legal card membership; a private match folds into one accepted history without publishing the cards.

hand root ⊢ legal play

03

The shared arcade

Nineteen doors, one offering protocol.

The shared catalogue registers six games, eight role-playing surfaces, and five services. Web, Discord, Telegram, and WeChat derive their offering vocabulary from that one registrar.

Games

dungeon · council · market · bazaar · tug · automatafl

World organs

trade · inventory · cheevos · guild · craft · companion · tavern · party

Services

doc · names · compute · grain · hermes