module module moderate

`IndisputableMonolith.Masses.HeavyQuarkFullClosureObstruction`

The module audits heavy quark mass assignments on the Recognition Science phi-ladder and concludes that no single universal extra φ-exponent unifies the charm, bottom, and top channels under the current bridge. Researchers checking consistency of quark mass formulas would cite it when testing whether the ladder closes without additional structure. The module proceeds by defining separate raw eV values, PDG comparisons, and required exponents for each of the three quarks, then stating the mismatch as an audit result.

claimNo single integer $k$ exists such that the required extra φ-exponent equals $k$ simultaneously for the charm, bottom, and top channels in the current mass bridge.

background

Recognition Science assigns masses via the phi-ladder formula yardstick * φ^(rung - 8 + gap(Z)). This module operates in the masses domain and introduces per-quark definitions: raw_eV values extracted from the ladder, direct PDG_eV comparisons, and the required_phi_exponent that would be needed to match observed masses. The setting assumes the standard bridge from upstream mass theorems and evaluates only the three heavy quarks.

proof idea

This is a definition module, no proofs. It consists of sibling definitions that compute raw_eV, PDG_eV, and required_phi_exponent independently for charm, bottom, and top, followed by the audit conclusion that the three exponents differ.

why it matters in Recognition Science

The module identifies an obstruction to full mass closure for heavy quarks and therefore feeds into any parent theorem that attempts a universal extra-exponent bridge. It directly records the audit result that the current construction leaves the three channels mismatched, touching the open question of whether the phi-ladder requires channel-specific corrections.

scope and limits

Does not supply a revised bridge that would produce a common exponent.
Does not compute or report the numerical values of the required exponents.
Does not address light quarks or leptons.
Does not claim the mismatch is independent of the chosen bridge.

declarations in this module (15)

def charm_raw_eV L28
def bottom_raw_eV L29
def top_raw_eV L30
def charm_PDG_eV L32
def bottom_PDG_eV L33
def top_PDG_eV L34
theorem charm_raw_far_below_PDG L36
theorem bottom_raw_far_below_PDG L41
theorem top_raw_far_below_PDG L46
def charm_required_phi_exponent L53
def bottom_required_phi_exponent L54
def top_required_phi_exponent L55
theorem required_exponents_not_equal L57
structure HeavyQuarkClosureObstructionCert L66
theorem heavyQuarkClosureObstructionCert_holds L75