IndisputableMonolith.Physics.DarkMatterMassFromGap45
This module defines the dark matter to W-boson mass ratio as the reciprocal of gap45 on the Recognition Science phi-ladder. Physicists modeling dark matter masses cite these objects for the predicted ratio and GeV-scale values. The module consists entirely of definitions and equalities with no proofs.
claim$m_{DM}/m_W = 1/ gap45$, together with $m_W$ in GeV, $m_{DM}$ in GeV, the band $mDM_band$, and the certificate $DarkMatterMassCert$.
background
Recognition Science assigns masses via the phi-ladder formula yardstick times phi to the power of (rung minus 8 plus gap(Z)). gap45 is the specific gap value tied to dark matter. The module introduces dmMassRatio as exactly 1/gap45, supplies the concrete GeV masses mW_GeV and mDM_GeV, and packages them under the certification object DarkMatterMassCert.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the dark matter mass ratio used in Recognition Science mass predictions. It implements the phi-ladder mass formula at the gap45 rung and feeds the resulting ratio into downstream particle phenomenology calculations.
scope and limits
- Does not derive the numerical value of gap45.
- Does not compare the ratio against collider or cosmological data.
- Does not treat other dark matter candidates or interactions.
- Does not embed the ratio into dynamical field equations.