module module high

`IndisputableMonolith.Experimental.Xenon1TExcess`

This module supplies the reported Xenon1T excess energy interval of 2-3 keV for electron recoils together with related rate and significance quantities. Experimental physicists testing Recognition Science mass ladders against direct-detection data would cite these values when comparing predicted recoil spectra to observed excesses. The module consists entirely of definitions with no theorems or proofs.

claimThe Xenon1T excess is confined to electron recoils in the interval $2$ to $3$ keV.

background

Recognition Science starts from a single functional equation whose time quantum is fixed by the Constants module as the RS-native tick τ₀ = 1 tick. The present experimental module imports that constant and records the energy window, significance, and tritium-background parameters reported by the Xenon1T collaboration for low-energy recoils. These quantities sit alongside sibling definitions that isolate the excess rate, the tritium endpoint, and the most probable tritium concentration.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module anchors the experimental side of the framework by supplying the precise energy band against which RS-derived recoil rates can be tested. It supplies input for any later comparison of the phi-ladder mass formula with direct-detection results, though no downstream theorems currently reference it.

scope and limits

Does not derive the 2-3 keV window from the Recognition functional equation.
Does not model detector efficiency or quenching factors.
Does not perform statistical fits to the full recoil spectrum.
Does not assert consistency or tension with any RS prediction.

depends on (1)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import

declarations in this module (24)

def excess_energy_min L55
def excess_energy_max L56
def excess_significance L60
def excess_rate L64
theorem excess_low_energy L68
theorem significance_moderate L74
def tritium_concentration L82
def tritium_endpoint L86
def tritium_rate L90
theorem tritium_rate_matches L94
theorem tritium_spectrum_peak L100
theorem tritium_most_likely L104
def axion_coupling L112
theorem axion_coupling_small L116
theorem axion_viable_not_required L122
def neutrino_moment L130
def neutrino_moment_sm L134
theorem moment_exceeds_sm L138
theorem moment_requires_bsm L144
theorem neutrino_disfavored L150
theorem bsm_not_required L158
theorem axion_preferred_over_nu_moment L162
theorem further_data_needed L168
def ea006_certificate L188