CoherenceCoupling
plain-language theorem explainer
CoherenceCoupling encodes the RS requirement that electron-phonon coupling must lie exactly on the phi-ladder. Materials modelers working on room-temperature superconductors cite the structure to enforce quantized g values. The declaration is a bare structure definition with four fields and no proof obligations.
Claim. A coherence coupling is a pair consisting of an integer rung index $r$ and a positive real coupling constant $g$ satisfying the quantization condition $g = phi^r$.
background
The module derives room-temperature superconductivity from the phi-ladder energy structure. Pairing energies are quantized as $E_n = E_{coh} phi^n$ with coherence quantum $E_{coh} = phi^{-5}$ eV, which already exceeds thermal energy at 300 K. The rung field indexes position on this ladder; upstream definitions such as rung in AsteroidOreSpectroscopy and AnchorPolicy supply the integer indexing convention used across RS sectors.
proof idea
Structure definition with four fields: rung of type integer, g of type real, the positivity hypothesis 0 < g, and the quantization hypothesis g = phi^rung. No tactics or lemmas are applied.
why it matters
The structure supplies the hypothesis carrier for the downstream theorems coherent_material_has_positive_tc and coherent_coupling_pos (EN-002.12 and EN-002.13). It implements the coherence condition stated in the module doc-comment that places Cooper-pair binding on the phi-ladder, enabling the claim that E_coh exceeds room-temperature thermal energy. It therefore sits inside the EN-002 hierarchy that connects the Recognition Science phi-ladder to observable critical temperatures.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.