Registry · Proposition IV.P202 tau-effective formalized

IV.P202 — 15 = 3 × 5 Boundary Mode Decomposition

15 boundary modes on ∂(τ³) = 3 generations × 5 modes/generation = 3 × N_generators. Per generation: 1 charged lepton + 1 neutrino + 3 color-quarks = 5. The 11/4 split (11 EM-active, 4 EM-silent) gives α = (11/15)²·ι_τ⁴ at 9.8 ppm.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.boundary_mode_15_decomposition