NO. 001 / ELEMENTARY UNIVERSES
A beautiful claim.
One small exception.
Eight tiny instructions make a universe.
Choose a claim. Let
the universe object.
An exhaustive search through finite rings.
Every finding comes
with its evidence.
EXAMINING
A question, made precise.
The examiner is opening this universe.
Beyond the search: a local proof for every ring size
Inspect a moment and its possible pasts
The finding stays attached to its original evidence.
Editing
the beginning is a separate experiment.
ONE CELL DIFFERENT
How long does a difference matter?
The same law. Almost the same beginning.
Flip one cell and
follow both futures, side by side.
THE COMPLETE FUTURE
Every road ends somewhere.
Each island is a repeating orbit and the states that flow into
it.
Select an island to visit its cycle. Sizes count every
starting state.
256 LAWS / ONE QUESTION
The shape of being wrong.
Each tile is an entire rule. Warm colors record the smallest ring that breaks the claim, searching every state on rings of 3–8 cells. A ∀ marks a separate proof for every ring size. Click any tile to inspect the argument.
For these five claims, the finite counterexamples and structural proofs together classify all 256 rules. The ∀ comes from an argument about the local law, never from merely running out of exceptions to find.
THINGS WORTH KEEPING
A cabinet of small certainties.
Findings live in this browser. Export them as independently verifiable certificates, or revisit a specimen to ask a different question.
THE MAKER’S SHELF
Start with a surprise.
THE PREDICTION DESK
How sure, before you know?
Five questions. No clock. Read a rule, make a prediction, and record your confidence before opening the evidence. Every question is finite; “holds” means every state inside the stated bound.
THE RECENT RECORD