You are inside the recognition ledger
Every cube is a recognition cell the engine was forced to resolve. Nothing here was drawn by hand. The page loaded a trace the real kernel emitted, one frame per tick, and is replaying it: a cell appears exactly when a distinction was forced there, at the rung the engine assigned, colored by that rung and brightened by how much recognition it carries. Empty space is not missing. It is carried coarse for free, which is why the engine is cheap and why most of the volume stays dark. Click any cube to open its provenance: the exact rung, the tick it was forced, the J(φ) it cost, and the Lean anchors for the rule it obeyed. Every pixel is one click from its proof.
dark = carried coarse, no distinction forced
hue = φ-spaced rung
bright = recognition demand
σ locked at 0
Try to break it. Press inject σ imbalance to post a recognition without its reciprocal. The conservation needle leaves zero, turns red, and the run is flagged, exactly as the kernel falsifier requires. Reset and σ returns to zero. The trace itself is always balanced: across all -- ticks the kernel ledger's σ is 0 to machine precision, and the cost J equals the number of forced interface edges times J(φ) exactly.
What is literal here, and what is a scene choice
Literal, proved
The cost law J(φ), the double-entry σ = 0, the descend-iff-forced rule with threshold zero, the eight-children octree from D = 3, and coarse-carry losslessness. These are the kernel's real output, replayed frame by frame.
A scene choice, named
The demand field, the core, the φ-spaced shells, and the filaments that say where distinctions exist. This stands in for what reality distinguishes. The engine's response to it is the proven part, not the shape itself.
The matter rungs
The same φ ladder that sets the cubes' rungs sets particle mass.
The next step
This replays a baked trace. The same renderer, 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.
Governed by