Reality Simulation
The universe, run forward from one law.
Most simulations fit parameters to data. This one has none. It runs a single proved cost law forward on a recognition ledger, computes only what reality actually distinguishes, and lets the constants of nature fall out. Every rule it obeys is a machine-checked theorem.
one run from the empty ledger, pausable and inspectable end to end · or open the control room · stand inside it (XR) · the larger world (WebGPU) · live dashboard · see what runs today
Coarse until forced. Calm regions advance by the exact eight-tick shift at no cost. Fine structure appears only where a distinction is posted, and the engine charges J(φ) for it. The compression is exact, not approximate.
The wager
Three commitments that no other model of reality makes at once.
A theory of everything is cheap if you are allowed to tune it. The discipline here is what you give up: the dials, the volume-priced compute, and the right to assert a rule without proving it.
Zero free parameters
There are no dials. The golden ratio, the eight-tick clock, three spatial dimensions, and the fine-structure constant are forced by one functional equation, not fitted to a measurement. If a predicted number comes out wrong, the theory is wrong. There is nothing to adjust.
Coarse until forced
Reality does not resolve what it is not recognizing, so neither does the engine. Each region is carried at the coarsest scale its recognition allows and refines only when a distinction is forced. Cost tracks information, not volume. That is why this kernel runs a million exact steps on a laptop-class budget.
Machine-checked
The rules are not asserted, they are proved in Lean 4 with no assumptions beyond standard logic. The forcing chain from logic to three dimensions carries zero free axioms. The simulation is the executable witness of theorems a computer has already verified.
What runs today
Where it stands.
This is not yet the whole universe running. It is the recognition-ledger kernel of the universe running in a finite, exact model. The rules that make it literal are proved. The engine runs them forward. Here are the numbers.
The shape of it
One law, seen at different frequencies.
The goal is not to hand-code each science. It is to show that each one is a limit of the same kernel. Gravity is the low-frequency limit. Quantum mechanics is the high-frequency limit. Chemistry is quantum mechanics coarse-grained. The simulation runs one engine, and the layers emerge from it.
Logic to constants
A single forced distinction fixes the golden ratio, the eight-tick clock, three dimensions, and the dimensionless constants. Nothing here is chosen.
The engine
The recognition operator and its light-language gates: the one executable tick that every layer above runs on. This is the part the simulation literally steps.
Gravity and quantum mechanics
The same operator at two frequencies. Spacetime curvature is one limit; quantum dynamics is the other. They are not bolted together, they are the same thing slowed down and sped up.
Matter
Particles as closed eight-tick light patterns. Mass is where a pattern sits on the golden-ratio ladder, not a number put in by hand.
Meaning
The same register read as light. The geometry of meaning lives on a compact projective space, and emergent mass is what that geometry costs.
Chemistry, genetics, life
Atoms, the structure of the genetic code, and proteins that fold by cost descent on the same lattice. Biology as the ledger run at the scale of molecules.
Consciousness
Awareness as a recognition boundary with a sharp threshold, formalized rather than hand-waved. The top of the ladder is still the same law.
How it gets built
A simulation and a proof assistant, in one loop.
This is what turns a clever model into a discipline. The engine and the prover correct each other, and every disagreement points to an exact, named gap.
Run
The kernel runs forward and a gate compares an observable it produces to
measured reality, with the threshold set to exactly zero tolerance where the math
allows it.
Disagree
A failed gate is not a defeat, it is a coordinate. It names the precise theorem
that is still open or conditional, and hands it to the prover.
Close
A prover discharges the theorem in Lean, the engine tightens, and the next disagreement surfaces. The frontier moves by one verified step.
Scale this across many provers and unbounded compute and you do not get a better fit. You get a complete, machine-checked re-derivation of physical law, with a simulation you can run, pause, and inspect as its living witness.
Open frontier
What we do not yet claim.
The credibility of a parameter-free theory is in its exposed surface. These are named, dated, and tracked in a living build plan. A theory that hides its open problems is not a theory.
A single dimensionful ruler
One unit convention still anchors the otherwise parameter-free ladder to meters and seconds. It is a convention, not a fit, but it is not yet derived.
Gravity beyond the weak field
The rotation-curve regime is published and tested. The strong-field, fully dynamical limit is still being assembled from the same operator.
The CMB acoustic scale
An early golden-ratio identification of the first acoustic peak was tested and falsified. We record it as a negative result and keep the spectral-index prediction separate.
Ab-initio chemistry
The periodic structure is forced and the genetic code's combinatorics fall out, but a full chemistry that runs from the kernel is open engineering.
If the numbers are right, there was never anything to tune.
The Recognition Physics Institute develops the recognition framework and the simulation that runs it. The papers are peer-reviewed, the proofs are public, and the open problems are listed above.