Registry · Proposition
V.P111
tau-effective
formalized
V.P111 — Tensor-Square Connection
Cross-multiplied Nat verification linking ExponentDerivation and SpectralPage: 121^18 active mode tuples out of 225^18 total, times ι^72. Establishes α_G ∝ (121/225)^18 · ι^72 as a structural identity.
Book V
Part 2
Ch. 15