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

IndisputableMonolith.Physics.DarkMatterCrossSectionBandScoreCard

show as:
view Lean formalization →

The module defines the native dark matter to neutrino cross-section ratio as sigma_DM over sigma_nu equals J of phi. Particle physicists normalizing dark matter interaction predictions would cite this ratio when scaling against neutrino references. It is a definition module that imports the RS constants and supplies the 0.11 to 0.13 band for downstream scorecards.

claim$sigma_{DM}/sigma_nu = J(phi)$ where $J(x) = (x + x^{-1})/2 - 1$ and phi is the self-similar fixed point from the forcing chain.

background

Recognition Science derives all physics from the J-cost function obeying the Recognition Composition Law J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y). This module sits in the physics domain and imports Constants, which fixes the fundamental time quantum tau_0 to one tick. It introduces the cross-section ratio sigma_DM_over_sigma_nu_RS by direct application of J to phi to set the predicted band for dark matter interactions.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the ratio used in the P0-A6 absolute cross-section normalization scorecard, where sigma_DM equals the ratio times sigma_nu_ref with the band 0.11 to 0.13. It also supports the weak neutrino-reference scorecard by providing the scaling factor from the J function.

scope and limits

used by (2)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (5)