Registry · Theorem III.T15 tau-effective formalized

III.T15 — B/C Non-Collapse Theorem

B-sector and C-sector are genuinely distinct: no tower-compatible isomorphism between B-supported and C-supported subrings exists. Growth-rate asymmetry (B=exponent, C=tetration) creates an inescapable coherence obstruction.

Book III Part 3 Ch. 19

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIII.Spectral.Trichotomy

Symbol: bc_non_collapse_check