Program
The law of one operation
A relation states which before-and-after worlds count as the same act.
proof-native semantic computer
Public proof record worlds
The living arrangement
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
Program
A relation states which before-and-after worlds count as the same act.
Cell
State, program identity, owned resources, authority, and history meet at one committed boundary.
Turn
Several cells may participate in one conserving hyperedge rather than imitate atomicity with messages.
View
Web, Discord, Telegram, WeChat, terminal, and native surfaces can render the same affordance vocabulary.
02
Four inhabited forms
DEOS
Cards are cells; buttons propose turns; inspectors show the provenance and authority under the surface.
Games
Hidden hands, shared dungeons, simultaneous moves, loot, guilds, and markets stress the engine in legible forms.
Agents
A model may propose; confined tools act; receipts say which committed turn actually happened.
Collectives
Election, allocation, private preference, settlement, and graph reduction become reusable semantic organs.
03
Record now
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.
The web catalogue and Telegram Mini App are mounted publicly; the catalogue currently contains nineteen offerings.
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.