Registry · Proposition V.P131 tau-effective formalized

V.P131 — Three Falsifiable BH T² Predictions with Fiber Structure Derivation

Wave 12 upgrade: QNM ratio ι_τ⁻¹ proven via Nat-level cross-multiplication (iota_tau_numer < iota_tau_denom). Echo time ordering proven (denom² > numer²). Sorry count 2→0. All 3 depends_on already τ-effective. Bool→Nat: 15 Bool fields → 8 Nat proof fields. Three predictions (QNM ratio, shadow correction, echo times) all from ι_τ, zero free parameters. Scope: τ-effective.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.fiber_shape_ratio_structural