Recognition Science · interactive zero-parameter proof

The Counterfactual Cosmos

You have the controls of reality. Try to break it.

Every prior physics hands its owner dials. The Standard Model has 19; ΛCDM adds 6 more, and fine-tuning arguments are a literature about how narrowly those 25 dials are set. Recognition Science makes a stronger claim: there are no dials. This page is that claim made operational rather than asserted. Below are the seven controls a designer of universes would expect to own. Turn any of them. Your browser recomputes the downstream universe live, with the same functions already verified bit-identical to the Python engine. Each control either does nothing, refuses by a theorem re-checked as you watch, or clicks exactly one integer into a cosmos that contains observers.

THIS COSMOS PRODUCES OBSERVERS
free, and powerless

Dial 1 · The first ratio x₀

Engine gate: seed-independence (genesis_purity.py). x₀ = 1 is excluded: unity is not a distinction; the Python engine raises ValueError there.
forbidden by composition

Dial 2 · The cost law exponent p

Lean: Cost.FunctionalEquation.law_of_logic_forces_jcost (0 sorry). The imposter family Fp(x) = (cosh(p·ln x) − 1)/p² passes every surface check (symmetric, normalized, calibrated, continuous) for all p. The composition law is the assassin.
forbidden by parity

Dial 3 · The cadence T

8 ticks per complete recognition cycle
Lean: T7 eight-tick (Foundation.UnifiedForcingChain.t7_holds). The count above is a live dynamic-programming enumeration over all one-bit closed walks on the 3-cube, run in your browser on every click.
forbidden by topology

Dial 4 · The spatial dimension D

3 period = 2D ticks
Lean: T8 (t8_holds, axioms [propext, Classical.choice, Quot.sound] only); linking obstruction Foundation.LinkingNecessity; H₁(S¹;ℤ) ≅ ℤ proved over Mathlib singular homology (CircleWindingChain.circleH1ZIsoInt_holds).
forbidden by algebra

Dial 5 · φ itself

Lean: T6 (t6_holds): the scale ratio is the unique positive root of x² = x + 1. α⁻¹ recomputed live through w8(φ) = (348 + 210√2 − (204 + 130√2)φ)/7; interval (137.030, 137.039) from Verification.EMAlphaCert.
one click survives

Dial 6 · The baryon rung r  (ηB = φ−r)

44 integer rung, no fractions exist
Honesty tag: the band test is live and real. Deriving 44 (rather than selecting it against the measured band) is a named open gate in the terminus ledger.
one click survives

Dial 7 · The dark-energy fraction k/16

11/16 ΩΛ = k/16 − (1/α⁻¹)/π
Honesty tag: the Planck comparison is live. The 11/16 derivation is hypothesis-grade, not theorem-grade. Counterfactual wrong_omega_lambda in the Python engine checks the same failure.

What just happened

Seven controls. One is free and does nothing. Four refuse: an algebra fact, a composition law, a parity argument, and a topology obstruction, each re-verified by your browser while you held the knob. Two are integers that click exactly once into the measured band.

Fine-tuning arguments ask why the universe's dials sit so precisely where life requires. The Recognition Science answer is that the dial panel was never wired to anything. The seed you can move is absorbed by the recurrence in ~22 ticks. The cost exponent, cadence, dimension, and scale ratio are not set, they are forced, and forcing means the neighboring values are not improbable, they are contradictions. What remains are two integers, and an integer is not a fine-tuning: it is a click. Either the click is derivable (the open gates below) or RS is wrong. There is no third option where someone quietly adjusts a continuous knob.

The falsification console

A zero-dial theory cannot retreat when measurement moves; that is the price of having no knobs, and the value. These are the standing kill-shots, with live derived numbers. One row has already fired, which is how you know the trigger works.

Prediction (derived live) Measurement Kill condition Status

Epistemic ledger for this page

THEOREM — J-cost uniqueness (dial 2), eight-tick minimality (dial 3), D = 3 linking obstruction over Mathlib homology (dial 4), φ as the unique positive root (dial 5), the α⁻¹ interval (dial 5 downstream). Lean-proved, 0 sorry in the chain, no RS-specific axioms.

HYPOTHESIS / NUMERIC — the rung integer 44 (dial 6), the 11/16 fraction (dial 7), the bare φ-ladder lepton ratios (φ¹¹ = 199.0 vs 206.77 measured, a few percent residual before gap corrections), ns = 1 − 2/45 at 2.22σ. Each carries a named falsifier and a named open derivation gate.

FALSIFIED — the φ-geometric identification of CMB acoustic peak ratios. Measured peaks are harmonic (ℓ₂/ℓ₁ = 2.456), not φ-spaced. The row stays on this page because a falsification console that hides its own hits is theater.

All baseline functions on this page are the ones verified bit-identical to the Python engine in simulation/Reality_Engine_Terminus_20260609.html (run 2026-06-09). Counterfactual semantics mirror scripts/cosmogenesis/counterfactual.py (kinds: wrong_seed, broken_reciprocal, wrong_cadence_dim, wrong_eta_B_rung, wrong_omega_lambda, wrong_cmb_ratio). Numbers re-checked against Python 2026-06-09: φ+0.0005 ⇒ α⁻¹ = 137.049228 (outside interval); φ⁻⁴⁴ = 6.3759e−10 (unique rung in band, neighbors 1.03e−9 and 3.94e−10 outside); T = 8 admits exactly 12 complete closed walks, T < 8 admits zero; k = 11 sits 0.66σ from Planck, k = 10 and 12 sit > 10σ. Lean spine: Foundation.UnifiedForcingChain, Cost.FunctionalEquation, Foundation.LinkingNecessity, Verification.EMAlphaCert. Hub: simulation hub · companion: Reality Engine Terminus.