sigma_nu_reference_cm2
plain-language theorem explainer
This definition supplies the fixed normalization constant of 10^{-38} cm² for the neutrino reference channel in absolute dark-matter cross-section calculations. Researchers comparing Recognition Science predictions to detector limits would reference it to anchor the derived band between 1.1 × 10^{-39} and 1.3 × 10^{-39} cm². The assignment is a direct numerical definition with no internal computation or lemmas.
Claim. Let σ_{ν,ref} denote the reference neutrino cross-section normalization. Then σ_{ν,ref} = 10^{-38} cm².
background
In the P0-A6 scorecard module the absolute dark-matter cross section is obtained from the ratio σ_DM/σ_ν multiplied by this reference value. The module sets the protocol normalization σ_ν_ref = 1e-38 cm² with the ratio constrained to the open interval (0.11, 0.13). This produces the absolute band (1.1e-39, 1.3e-39) cm² once a sub-0.35 keV efficiency curve is supplied. The local setting treats the normalization as a protocol choice whose derivation from Recognition Science primitives or a concrete neutrino channel remains open.
proof idea
The declaration is a direct definition that assigns the real number 1e-38. No lemmas or tactics are invoked; the value is used verbatim by unfolding in the sibling theorems row_sigma_nu_reference_pos and row_sigma_DM_cm2_band.
why it matters
The constant anchors the DarkMatterAbsoluteCrossSectionScoreCardCert structure that certifies the absolute band under the ratio constraint. It fills the P0-A6 row of the scorecard whose falsifier is a detector with valid efficiency at or below 0.35 keV that excludes the band. The open question is derivation of the 1e-38 value from RS primitives such as the phi-ladder or J-cost functions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.