pith. sign in
module module high

IndisputableMonolith.Physics.DarkMatterAbsoluteCrossSectionScoreCard

show as:
view Lean formalization →

The module normalizes the neutrino-reference cross-section channel to absolute cm² units for dark-matter comparisons in Recognition Science. Physicists scoring absolute cross-section predictions against the J(φ)-based band would cite it to convert relative ratios into laboratory units. It is a definition module with no proofs, importing the structural band scorecard and exposing the reference sigma definitions.

claimThe module defines the normalized neutrino reference cross section $σ_{ν,ref}$ (cm²) and the corresponding dark-matter cross section $σ_{DM}$ (cm²) by scaling the ratio band $J(φ)=φ-3/2$ to absolute units.

background

The upstream DarkMatterCrossSectionBandScoreCard module states that the native dark-matter cross-section ratio to the neutrino reference channel equals the golden-section recognition quantum $J(φ)=φ-3/2$. This module supplies the protocol that converts that ratio into physical cm² values for the absolute scorecard. It operates in the Physics domain and lists sibling definitions for $σ_{ν,reference}$ and $σ_{DM}$ that perform the unit normalization.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the absolute normalization step required to turn the P0-A6 ratio band into laboratory units. It feeds the absolute cross-section scorecard that closes the loop from the recognition quantum to observable predictions, consistent with the T0-T8 forcing chain. No downstream theorems are listed yet.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)