This view needs WebGL. Your browser blocked or lacks it.
Open the 2D dashboard or the guided tour instead.
 
Cold start
Press play. One run, from the empty ledger.
conservation σ (kernel ledger)
0.000000
recognition cost J posted
0.0
eight-tick breath
0 / 8
recognition front (world units)
0.00
distinctions resolved 0
cell provenance
Pause, then click any cube to read its proof: rung, tick forced, J(φ) cost, and the rule.
tick 0
← Reality Simulation Control room Immersive / XR 3D player WebGPU world 2D dashboard North star

One run, from nothing

This is not a slideshow. It is a single run of the recognition kernel, replayed from one trace, with the camera placed inside the first distinction at the cold start and pulled back as the recognition front expands, so the zoom and the run are one motion. It opens paused on that first moment: the ledger at its floor, σ = 0, the books balanced. Press play and the run advances: the cost law is forced, then the scale φ, then the eight-tick cadence, then three dimensions, which is why the carrier is an octree with eight children. The same ladder that sets the cubes' rungs sets particle mass and fixes the constants. The lattice fills. Every stage above the run is tagged for what it is, and chipped with the Lean anchor that backs it. Pause at any time and click a cube to read its individual proof. Inspectable end to end.

The faithfulness line. The camera journey and the captions are presentation. Everything they point at is the engine's own output: which cells exist and when they were forced, the J(φ) each one cost, the eight-tick phase, and σ held at zero across all -- ticks to machine precision (σmax = 4.4×10−16), with total cost J equal to the number of forced interface edges times J(φ) exactly. Press inject σ imbalance to post a recognition without its reciprocal: the needle leaves zero and turns red, exactly as the falsifier requires. The baked trace never does.

How to read the stage tags

THEOREM
Proved in Lean with no sorry in the chain. The cost law, σ = 0, φ, the eight-tick period, D = 3, and the α−1 interval are theorems. The page says "derives," not "believes."
MODEL
A definitional reading. The ethics and consciousness coda reads the kernel's own conservation and boundary as moral law and awareness. The conservation is proved; the reading is a model.
HYPOTHESIS
An empirical prediction with a named falsifier. The galaxy rotation result is shown live on the dashboard's SPARC controls; it is a test reality can fail, not a theorem this run computes.
SCENE
A named scene choice. The demand field that says where distinctions exist stands in for what reality distinguishes. The engine's response to it is the proven part, not the shape.

The honest edge of this run

Two things this page does not yet do, stated plainly. The zoom is in the engine's abstract world units, not physical meters, so it travels from the first distinction to the whole structure, not literally from Planck length to galactic radius; a faithful physical-scale zoom needs a multi-scale recognition map, which is future work. And the frames are baked: the same camera and captions pointed at a live server stream of the engine running unbounded is the only change between this and the full system. The protocol is identical; only the source of frames moves.

Governed by

Phase 4 of the visualization north star: one run from the empty ledger, pausable and inspectable end to end. Pure Recognition Frame Protocol consumer; trace emitted by scripts/cosmogenesis/rfp_emitter.py from the real kernel. Companion to the 3D player, the WebGPU world, and the dashboard. Generated 2026-06-06T00:00:33.