Public proof record worlds

The living arrangement

A world is a graph of meanings people can inhabit.

Documents, games, markets, and agents look different from the front. Underneath, each is committed state changed by authorized semantic operations and remembered by receipts.

01

The shared anatomy

Law, state, action, evidence, view.

Lean-authored

Program

The law of one operation

A relation states which before-and-after worlds count as the same act.

kernel path

Cell

A place where law has consequences

State, program identity, owned resources, authority, and history meet at one committed boundary.

composable

Turn

One authorized transition

Several cells may participate in one conserving hyperedge rather than imitate atomicity with messages.

many glasses

View

The world without a privileged UI

Web, Discord, Telegram, WeChat, terminal, and native surfaces can render the same affordance vocabulary.

03

Record now

The organism exists in pieces of unequal public reach.

implemented

World and view machinery

The shared view tree, multi-surface renderers, world affordance path, replay, time travel, branch stitching, editors, and web cells are implemented and tested in-tree.

public

Arcade catalogue

The web catalogue and Telegram Mini App are mounted publicly; the catalogue currently contains nineteen offerings.

frontier

One coherent public world

The native DEOS, game surfaces, agent host, and network are not yet one generally available hosted environment. Their shared architecture is real; the unified doorway is not.