Registry · Proposition
V.P195
tau-effective
not_formalized
V.P195 — Polarity Convergence via Contraction Mapping
Polarity imbalance I_BH converges to unique fixed point I* = 1-2*iota_tau ~ 0.317 under affine contraction F(I) = (1-iota_tau)*I + iota_tau*(1-2*iota_tau) with slope kappa_D = 1-iota_tau < 1. Banach fixed-point theorem guarantees convergence.
Book V
Part 6
Ch. 50