Registry · Definition V.D80 tau-effective formalized

V.D80 — Ring Homomorphism Phi_p,n

The ring homomorphism Phi_{p,n}: R_partial^(micro) -> R_partial^(meso) is the boundary-ring map Lift_D circ Scale_{Xi_tau^(NT)} circ Embed_{A->D}, connecting the proton-neutron mass split (micro vertex) to the TOV scale (meso vertex) through sector-coupling algebra.

Book V Part 2 Ch. 19

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.RingHomomorphismPhipn