theorem proved term proof

`why_exactly_three`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 134theorem why_exactly_three :
 135    -- 8-tick cycle has exactly 3 bits, corresponding to 3 dimensions
 136    (8 : ℕ) = 2^3 := by norm_num

proof body

Term-mode proof.

 137
 138/-- **THEOREM (No Fourth Generation)**: Electroweak precision tests and
 139    Higgs production rule out a 4th generation with SM-like couplings.
 140    RS explains WHY: there's no "room" in the 8-tick structure for a 4th. -/

depends on (11)

Lean names referenced from this declaration's body.

tick in IndisputableMonolith.Constants decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
has in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
Generation in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Generation in IndisputableMonolith.Foundation.UniversalForcing.BiologyRealization decl_use
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
tests in IndisputableMonolith.ILG.CPMInstance decl_use
and in IndisputableMonolith.NumberTheory.CirclePhaseLift decl_use
Generation in IndisputableMonolith.Physics.CKM decl_use
Generation in IndisputableMonolith.Physics.ThreeGenerations decl_use
Generation in IndisputableMonolith.RecogSpec.RSLedger decl_use