pith. sign in
module module high

IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard

show as:
view Lean formalization →

The module normalizes the neutrino-reference channel to absolute cm² units for dark-matter cross sections. It extends the P0-A6 band scorecard by supplying reference values sigma_nu_reference_cm2 and sigma_DM_cm2 together with a certification object. The structure consists of definitions for the reference and band rows plus a holding theorem.

claimThe module defines the neutrino reference cross section $sigma_nu^ref$ (cm²) and the dark-matter cross section $sigma_DM$ (cm²) whose ratio equals the golden-section quantum $J(phi)=phi-3/2$.

background

This module sits inside the Recognition Science treatment of dark-matter phenomenology and imports the structural band from DarkMatterCrossSectionBandScoreCard. That upstream result states the native ratio of dark-matter to neutrino-reference cross sections is the golden-section recognition quantum $J(phi)=phi-3/2$. The present module converts the band into absolute cm² units via protocol normalization for the neutrino channel.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module completes the absolute-cross-section scorecard for the P0-A6 chain step. It supplies the certification DarkMatterAbsoluteCrossSectionScoreCardCert whose holding theorem darkMatterAbsoluteCrossSectionScoreCardCert_holds records the normalized values. These objects feed downstream applications of the phi-ladder mass formulas and the eight-tick octave structure.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)