IndisputableMonolith.Cosmology.DarkMatterCrossSectionBound
The module supplies the RS-predicted dark-matter cross-section ratio along with positivity, band membership, and certification results. Cosmologists comparing direct-detection experiments to theory would cite the DarkMatterCrossSectionCert object. The module consists of a central definition followed by short lemmas that establish the listed algebraic properties from the imported constants and cost functions.
claimThe RS-predicted dark-matter cross-section ratio $r$ satisfies $r > 0$ and lies inside the band derived from RS constants; the certification object packages this prediction for falsification tests.
background
The module sits in the cosmology domain and imports the RS time quantum τ₀ = 1 tick from Constants together with the cost machinery from Cost. These supply the numerical anchors and J-cost evaluations used to construct the ratio. The central definition is crossSectionRatio; supporting results include crossSectionRatio_pos for positivity, crossSectionRatio_band for interval membership, and DarkMatterCrossSectionCert as the packaged claim.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies a concrete, testable prediction for dark-matter interactions that connects RS constants to cosmology. It fills the doc-comment claim for the predicted ratio and provides the falsification interface via FalsifiesPrediction and band_excludes_falsifier. No parent theorems appear in the used_by graph, leaving it as a leaf for downstream cosmology work.