thermal_ratio_room_temp
plain-language theorem explainer
The definition fixes the room-temperature thermal ratio at 0.289 in RS units scaled by the coherence quantum. Engineers modeling ambient superconductivity cite this constant when verifying that E_coh exceeds k_B T at 300 K. It is introduced as a direct numerical abbreviation of the ratio computed from the imported Boltzmann constant and E_coh = phi^{-5}.
Claim. $k_B T_{room}/E_{coh} = 0.289$, where $E_{coh} = phi^{-5}$ is the RS coherence quantum in native units.
background
The module EN-002 derives room-temperature superconductivity conditions from the phi-ladder energy structure. E_coh is defined as phi to the power -5, fixing the fundamental pairing scale near 0.090 eV. The thermal ratio is then the room-temperature energy k_B T_room divided by this scale, giving the numerical value 0.289 from the standard conversion 0.026 eV over 0.090 eV.
proof idea
Direct numerical definition with no lemmas or tactics applied. The value is assigned from the external ratio of Boltzmann thermal energy to the coherence quantum.
why it matters
It supplies the concrete constant used to prove thermal_ratio_lt_one and thermal_ratio_pos, which establish E_coh greater than room-temperature thermal energy. The definition fills the EN-002.2 step in the module's hierarchy of coherence, temperature, and pressure conditions. It supports the claim that phi-ladder quantization allows coherent pairing to overcome fluctuations at ambient temperature, consistent with the T5 J-uniqueness and T6 phi fixed-point landmarks.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.