Registry · Proposition IV.P178 tau-effective formalized

IV.P178 — SM-Independent Census

The structural census gives 11 EM-active / 4 EM-silent modes without SM physics input. Combined with T130 equivalence, this proves the 11/15 fraction is τ-derived. The 4 silent modes: 3 gravity (Rule 1) + 1 Z⁰ (Rule 2).

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (2)

IV.D330 IV.T130

Depended on by (2)

IV.C02 IV.R387

Lean Formalization

Module: TauLib.BookIV.Sectors.BoundaryFiltration

Symbol: Tau.BookIV.Sectors.BoundaryFiltration.census_structural