Registry · Definition V.D282 tau-effective formalized

V.D282 — Blueprint Fusion Energy

Radiated fraction eta(q) = iota_tau^2 * nu where nu = q/(1+q)^2 is the symmetric mass ratio. Derived from linking-class reduction during blueprint fusion at lemniscate crossing point: pre-merger Z^4 reduces to post-merger Z^2.

Book V Part 6 Ch. 53

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.BlueprintFusionEnergy