Registry · Proposition V.P24 tau-effective formalized

V.P24 — Defect absorption rate

Defect absorption rate: at orbit depth n+1, the kernel condition reduces defect support by at least the gravitational self-coupling factor, |supp(d_{n+1})| <= (1 - iota_tau) |supp(d_n)| where (1 - iota_tau) approx 0.6585 = kappa(D;1).

Book V Part 3 Ch. 21

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.Inversion

Symbol: Tau.BookV.Thermodynamics.DefectAbsorptionRate