pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Physics.DarkMatterWeakReferenceCrossSectionScoreCard

show as:
view Lean formalization →

The module supplies reference cross sections in cm² for the weak neutrino channel and the corresponding dark-matter channel, normalized at 1 GeV using the Fermi constant and the J(phi) ratio. It assembles scorecard entries that connect the electroweak identity to the dark-matter structural band. The content consists of constant definitions, unit conversions, and a certification theorem. Modelers of dark-matter detection rates cite these values for the weak-channel baseline.

claim$E_0 = 1$ GeV as reference neutrino energy, conversion factor from GeV² to cm², reference neutrino weak cross section $σ_{ν,weak}^{ref}$, dark-matter counterpart $σ_{DM,weak}^{ref} = σ_{ν,weak}^{ref} · J(φ)$ with $J(φ) = φ - 3/2$, and certification that the pair lies inside the predicted structural band.

background

The module sits inside the physics domain and imports two upstream scorecards. FermiConstantScoreCard encodes the natural-unit electroweak identity of phase-1 row P1-C01. DarkMatterCrossSectionBandScoreCard supplies the P0-A6 structural band whose predicted ratio is the golden-section recognition quantum J(φ) = φ - 3/2. Local definitions introduce the reference energy E_ref_GeV for weak-channel normalization, the GeV²-to-cm² conversion, the two reference cross sections σ_ν_weak_ref_cm2 and σ_DM_weak_ref_cm2, and the row functions that place them inside the band.

proof idea

This is a definition module, no proofs. The certification theorem is obtained by direct substitution of the imported Fermi constant, the reference energy, the unit conversion, and the J(φ) ratio taken from the upstream band scorecard.

why it matters in Recognition Science

The module supplies the concrete weak-channel reference that completes the dark-matter cross-section band P0-A6. It links the Fermi-constant normalization to the recognition quantum J(φ) and thereby feeds higher-level dark-matter phenomenology scorecards. The certification closes the reference calculation inside the Recognition Science forcing chain at the T5–T6 step.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (8)