Registry · Remark V.R180 tau-effective formalized

V.R180 — Pulsars probe the strong-field regime

Binary pulsars probe the strong-field regime (|epsilon h| ~ 0.2 at neutron star surfaces), where all three Newtonian-limit conditions fail. The Hulse-Taylor agreement is therefore a strong-field test of the tau-Einstein equation, not merely Newtonian confirmation.

Book V Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.PulsarsProbeTheStrongfieldRegime