IndisputableMonolith.Physics.RGTransportCertificate
This module certifies the renormalization group transport exponent f^RG_i(μ*, μ_end) for the twelve Standard Model fermions using the canonical policy. Particle physicists deriving RS-consistent masses or spectra would cite it to enforce scale invariance between the anchor μ* and endpoint scales. It consists entirely of definitions for f_RG_certified, tolerance bounds, and interval checks with no proofs.
claimThe certified RG transport exponent $f_i^{RG}(μ^*, μ_{end})$ for each fermion species $i$, obtained from the canonical policy via the Z-map and gap function $F(Z) = ln(1 + Z/φ)/ln(φ)$.
background
The module sits in the RS-to-SM bridge and imports Anchor, which supplies the twelve fermions, the charge-indexed integer $Z_i = q̃^2 + q̃^4$ (+4 for quarks), the gap function $F(Z) = ln(1 + Z/φ)/ln(φ)$, and massAtAnchor at the reference scale μ⋆. These objects convert discrete charge data into continuous rungs on the phi-ladder while preserving the self-similar fixed point required by T6.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
It supplies the certified transport exponent that feeds massAtAnchor into observable spectra and closes the link between the T5–T8 forcing chain and concrete particle masses. The definitions ensure RG flow respects the Recognition Composition Law and the phi-ladder structure used in the alpha band (137.030, 137.039).
scope and limits
- Does not derive the canonical policy from the forcing chain.
- Does not compute explicit numerical masses without external inputs.
- Does not address particles outside the twelve SM fermions.
- Does not verify stability beyond the stated tolerance interval.