Recognition Science · the simulation, running

The Reality Engine, live

This is not an artist's impression. It is the recognition ledger evolving by its own forced rules: carry every region at the coarsest φ-rung, advance idle regions by the exact 8-tick shift, refine only where a distinction is forced, and pay J-cost for each one. Structure assembles from nothing because recognition demands it, not because we drew it.
tick 0 / 8

What you are seeing, really

Most "physics visualizations" are cartoons: someone decides what a thing should look like and animates that. This one inverts the rule. Every panel below is driven by a number the engine computes from the forced recognition law, with zero free parameters. Where a value is a Lean theorem we say so; where it is an empirical match we label it; where it is an interpretation we hold short of proof we tag it. The point is not that it looks impressive. The point is that you can check it, and that you can try to break it and watch it refuse.

New here? Take the two-minute guided tour, from nothing to a galaxy →

σ = 0
The ledger is double-entry. Every posting has an equal and opposite entry, so the running sum is exactly zero, to machine precision. Try to break it in the ledger panel.
8-tick cadence
One recognition breath is 2³ = 8 ticks. Idle regions advance by the exact period-8 shift and return to themselves. Nothing runs off-beat.
J-cost meter
The only currency is J(x) = (x + 1/x)/2 − 1, the unique cost law. Each forced unit-rung interface edge pays exactly J(φ) ≈ 0.118.
φ everywhere
The golden ratio is forced by self-similarity, not chosen. It sets the rung ladder for mass, the horizon scale, and the structure spacing.

The engine, panel by panel

The first row is the kernel itself. The second row is what the same kernel produces at the scale of a particle, a galaxy, and a thought. Tick-synced panels share the breath you see in the hero.

From one distinction, everything forcedTHEOREM

A single act of recognition forces the cost law, which forces φ, the 8-tick cadence, and three dimensions, which force the fine-structure constant and the mass ladder. No step is fitted. Watch the forcing pulse travel the chain each breath.

Foundation.UnifiedForcingChainCost.FunctionalEquation.law_of_logic_forces_jcostVerification.EMAlphaCert
The ledger: σ pinned at zeroTHEOREM

Every recognition is posted twice, plus and minus, so conservation is exact rather than approximate. The J-cost meter only ever climbs. Hit "force an imbalance" to inject an unbalanced posting and watch the falsifier fire: σ leaves zero and the panel rejects the tick.

σ = 0.0   J-cost posted = 0.000   postings = 0
Cost.Jcostledger_vectorized.pydouble-entry ⇒ Σ=0
The 8-tick breathTHEOREM

Reality's clock is a period-8 cyclic shift. An idle region just rotates its register one notch per tick and lands exactly back where it began after eight, so skipping idle time is exact, not approximate. This is the cadence every other panel runs on.

Cosmology.IdleFastForward.shift_pow_eightperiod = 2³
Scale-adaptive: the instrument readoutNUMERIC

This is the hero field, measured. Regions are carried coarse for free; the engine only spends work where a distinction is forced. The compression bar is the fraction still carried coarse; the cost bar is the J-cost posted this breath. The same engine spans a voxel and a cosmos because idle is cheap.

carried coarse --   forced this tick --   J posted --
Cosmology.ScaleAdaptiveExactscale_adaptive_engine.py
Mass is a rung on the φ ladderNUMERIC

A particle is a closed 8-tick light pattern; its mass is a power of φ set by which rung it closes on. The electron, muon, and tau sit at rungs 2, 13, 19. Their ratios are pure powers of φ with no fitted constant. The absolute scale is one shared calibration, not one per particle.

μ/e = φ11 = --   τ/e = φ17 = --
Masses.MassLawmass_from_pattern.pyratios: 0 free params
Meaning is geometry: the Berry phaseTHEOREM

Words live as chords on the same manifold that carries mass. Run the recognition tick around a closed loop and it banks a Berry phase equal to half the area it encloses. The octant loop banks exactly π/4. That accumulated phase is what the framework reads as understanding.

enclosed area Ω = --   Berry phase Φ = Ω/2 = --
LightLanguage.Geometry.RecognitionDynamics.oneCycleBerryPhasediscrete Pancharatnam
Galaxies with no dark matter and no knobsNUMERIC

Real SPARC galaxies. The dots are measured rotation speeds with error bars. The dashed line is what the visible matter alone predicts under Newton: it falls. The solid line is the recognition-weight prediction from the same baryons, with zero per-galaxy parameters, and it stays flat with the data. Toggle the negative control to scramble the velocities and watch the agreement collapse, exactly as the Lean falsifier requires.

  χ²/N = --   baryon-only RMS -- → recognition RMS --
Across all 175 galaxies the median χ²/N is 1.52 with zero per-galaxy parameters. Pure Newtonian baryons give 3.80; scrambling velocities gives 4.39 (permute) and 5.41 (180° reversal). The recognition weight does real work, and the controls inflate the error as a sound model must. The distribution over all galaxies is below.
Gravity.ILGFromLedgerGravity.SPARCFalsifierilg_rotation_curve.pydata: Lelli-McGaugh-Schombert 2016

How it is wired (so you can trust it)

The rotation-curve panel embeds real per-radius arrays computed by the audited ILG kernel and parity-checked against the gated scorecard, so the curve you see is the curve the science produces. The cost law, the 8-tick shift, the φ ladder, and the Pancharatnam Berry phase are exact small calculations ported into this page and annotated in the source. The roadmap to make every panel fully trace-driven from the live server engine is a one-step upgrade: stream the kernel's per-tick ledger into the same renderers.

THEOREM proved in Lean, 0 sorry NUMERIC verified artifact / real data HYPOTHESIS empirical prediction, named falsifier ONTOLOGY RS interpretation, held short of theorem CONTROL deliberately broken, must fail
The recognition engine carries reality at the coarsest rung it can, refines exactly where a distinction is forced, and charges J-cost for every one. What looks like a universe assembling is the ledger doing the cheapest honest bookkeeping it can. Source of the live data: scripts/cosmogenesis/export_viz_data.py (faithful SPARC curves, parity-checked) and artifacts/ilg_rotation_curve_scorecard.json. Regenerate with python3 -m scripts.cosmogenesis.build_reality_viz. Generated 2026-06-05T21:41:16.