Registry · Theorem IV.T130 tau-effective formalized

IV.T130 — Structural–Physics Census Equivalence

The structural census (from carrier + polarity rules) agrees with the physics-based census (from SM knowledge) for ALL 15 boundary modes. Proved by exhaustive case analysis. Resolves OQ.11 circularity flag.

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (2)

IV.D330 IV.D49

Depended on by (4)

IV.C02 IV.P178 IV.R387 IV.T133

Lean Formalization

Module: TauLib.BookIV.Sectors.BoundaryFiltration

Symbol: Tau.BookIV.Sectors.BoundaryFiltration.structural_agrees_with_physics