A machine for testing ideas
| The Principia Machina: map |
|---|
| Reading the diagrams Structure key Process key Definition of terms Roles |
| Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent |
| The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each) |
The walk, page 1 of 8. Written for the general reader; nothing here is a rule, and every rule it mentions is linked to the page of the specification that states it.
A machine for testing ideas
Imagine you have a set of ideas about how the world works. Not a hunch: a short list of things you are prepared to promise. "Space is like this." "Energy is conserved in that way." "This quantity never goes negative." Physicists call such promises postulates, and the whole game of theoretical physics is to find out what follows from them, and then to check whether the world agrees.
Finding out what follows is slow, careful, error-prone work. A single mistake in step forty of a derivation can hide for years. And when two people work from the same promises and reach different answers, the argument that follows is usually about whose mistake it was, not about the promises.
The Principia Machina is a machine for doing that work in the open. You write your promises down once and lock them. AI agents then do the deriving, one finding at a time, and every finding is written to this wiki with everything it leaned on: which promises, which earlier findings, which extra assumptions it had to make along the way. Nothing is remembered in someone's head; everything is on the record where anyone can check it.
The picture that guides the whole design is the wind tunnel. A tunnel is a sealed box: you keep the weather and the terrain out so that one thing can be measured. The Principia Machina gives each set of promises its own sealed box. That box is called a UUID Workspace Container, a UWC, and in everyday talk just a container: one locked set of promises, and the growing list of everything derived from them, kept apart from every other container. Comparing one container with a more complete picture of the world is deliberately not the machine's job; that comparison happens afterwards, outside the box, and is written down as its own finding.
Here is the life of one container, end to end. You need none of the words yet; the walk will give them to you one page at a time.
The five stages of a container: draft, certify, work, audit, and what happens when the promises must change. (the diagram's page, with its source and a plain reading.)
The process key in the panel explains the shapes: gray boxes are things the machine does, blue slanted boxes are things only a person may do, yellow cylinders are pages and records that exist afterwards.
On the next page we open the box and look at the promises themselves.