pith. sign in
module module high

IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard

show as:
view Lean formalization →

The module supplies reference cross-section values and unit conversions for the weak channel, covering both neutrinos and dark matter at a fixed energy in GeV, plus a certification that the structural band holds. Researchers comparing predicted dark-matter scattering rates against electroweak benchmarks would cite these definitions. The module is assembled by importing the Fermi constant scorecard and the dark-matter cross-section band scorecard, then declaring the concrete reference objects.

claim$E_{ref}$ is the reference neutrino energy (in GeV) for weak-channel normalization; the conversion factor maps GeV$^2$ to cm$^2$; the reference cross sections are denoted $σ_ν^{weak,ref}$ and $σ_{DM}^{weak,ref}$ (in cm$^2$), with the ratio satisfying $J(φ)=φ-3/2$; the certification asserts that the band row holds.

background

The module sits inside the Recognition Science derivation of electroweak and dark-matter parameters. It imports the FermiConstantScoreCard module, whose doc-comment states that the theorem-grade slice is the natural-unit electroweak identity for Phase 1 row P1-C01, and the DarkMatterCrossSectionBandScoreCard module, whose doc-comment states that the native dark-matter cross-section ratio to the neutrino reference channel is the golden-section recognition quantum $J(φ)=φ-3/2$ (row P0-A6-01).

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the weak-reference cross-section scorecard that realizes the ratio band of P0-A6 in physical units and connects it to the electroweak identity of P1-C01. It therefore supplies the concrete normalization objects required by any later dark-matter phenomenology that uses the Recognition Science cross-section predictions.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (8)