Registry · Theorem III.T20 tau-effective formalized

III.T20 — Prime Polarity Scaling Theorem

The GRH at each primorial depth decomposes into three independent statements via Label_n: purity of B-sector zeros, purity of C-sector zeros, and balance of X-sector zeros. Scaling from one primorial level to the next preserves polarity type (III.T13 convergence).

Book III Part 4 Ch. 27

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookIII.Doors.GrandGRH

Symbol: prime_polarity_scaling_check