Registry · Proposition
V.P23
tau-effective
formalized
V.P23 — Phi_p,n
Phi_{p,n} preserves the A-sector structure: it maps the weak-sector mass difference delta_A^(tau) = m_n^(tau) - m_p^(tau) to a well-defined weak-sector contribution at the TOV scale: Phi_{p,n}(delta_A^(tau)) = Xi_tau^(NT) * kappa(A,D)/kappa(D;1) * delta_A^(tau).