Tour 03: Physics from Category τ

A guided tour showing how the 7 axioms (K0-K6) and 5 generators produce real, quantitative physics predictions — with zero free parameters beyond the single master constant ι_τ = 2/(π + e) and one dimensional anchor (the neutron mass).

Step through this file in VS Code with the Lean 4 extension. Hover over #check to see types and #eval to see computed values.

What this tour covers

• Electroweak synthesis — 9 EW quantities from ι_τ alone (Book IV)

• Three generations — why exactly 3 fermion families (Book IV)

• Majorana neutrinos — σ = C_τ proves all ν are Majorana (Book IV)

• Strong CP — θ_QCD = 0 exactly from SA-i (Book IV)

• CMB first peak — ℓ₁ = 220.6 from holonomy matter (Book V)

• Rotation curves — flat curves without dark matter (Book V)

• Baryogenesis — η_B from exponent 15 = dim(τ³) ×

  generators

  (Book V)

• Axiom and sorry transparency

Prerequisites: Tour 01 (Foundations). Familiarity with ι_τ and σ.