Registry · Definition V.D90 tau-effective formalized

V.D90 — Defect half-life

Defect half-life: n_{1/2} = ln 2 / (-ln(1 - iota_tau)) approx 1.66 orbit steps, the number of orbit steps for the defect count to halve. Controlled by the gravitational self-coupling; every approximately two orbit steps, half of remaining defects are absorbed.

Book V Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DefectExhaustion

Symbol: Tau.BookV.Thermodynamics.DefectHalflife