Registry · Remark V.R101 tau-effective formalized

V.R101 — The delta_A thread through the triangle

The proton-neutron mass difference delta_A threads through the entire calibration triangle: a purely weak-sector quantity at the micro vertex, it maps to a weak-sector correction at the TOV vertex via Phi_{p,n}, and the minimal BH mass inherits a weak-sector imprint through topology crossing.

Book V Part 2 Ch. 19

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.TheDeltaaThreadThroughTheTriangle