pith. sign in
module module low

IndisputableMonolith.Physics.DarkMatterMassFromGap45

show as:
view Lean formalization →

This module defines the dark matter mass ratio m_DM/m_W as the reciprocal of gap45 within the Recognition Science phi-ladder mass construction. Physicists deriving particle masses from the unified forcing chain would cite these definitions for dark matter candidates. The module consists entirely of direct definitions and equalities with no proofs.

claim$m_{DM}/m_W = 1/ gap_{45}$, together with the supporting objects gap45, dmMassRatio, mW_GeV, mDM_GeV, mDM_band and DarkMatterMassCert.

background

Recognition Science assigns masses via the formula yardstick times phi to the power of (rung minus 8 plus gap(Z)). This module isolates the gap45 parameter that produces the dark matter to W-boson ratio. It supplies the explicit ratio dmMassRatio, numerical GeV anchors, a mass band, and a certification object.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the dark matter mass ratio derived from gap45 for insertion into the Recognition Science mass formula. It completes the concrete numerical layer for the dark matter candidate on the phi-ladder and feeds the broader particle-mass certification chain.

scope and limits

declarations in this module (9)