ambient_sc_condition
plain-language theorem explainer
The ambient superconductivity condition requires the critical temperature on phi-ladder rung n to meet or exceed room temperature when the latter is normalized to unity. Materials modelers working in Recognition Science would cite the predicate to screen viable rungs for Cooper-pair stability at 300 K. The definition is realized as a direct inequality against the normalized critical-temperature function.
Claim. For rung index $n$ an integer, the ambient superconductivity condition holds when the critical temperature satisfies $T_c(n) = 1$ in units normalized so that room temperature equals 1, where $T_c(n) = phi^n$.
background
Recognition Science places superconductivity on the phi-ladder with pairing energy quantized as $E_n = E_{coh} phi^n$ and $E_{coh} = phi^{-5}$ eV. In the normalized units of the module the critical temperature on rung n reduces to $T_c(n) = phi^n$, so the room-temperature threshold becomes the integer 1. The module states that ambient pressure corresponds to the phi-zero rung and that superconductivity occurs for $T < T_c(n)$ provided the material supports phi-coherent ledger states.
proof idea
One-line definition consisting of the inequality $1 leq T_c_rung n$, with $T_c_rung$ taken directly from the phi-power definition in the same module.
why it matters
The predicate supplies the existence hypothesis for ambient_superconductivity_possible (EN-002.10) and enters the conjunction inside room_temperature_superconductivity_from_ledger. It implements the temperature condition of the EN-002 derivation, confirming that the coherence quantum exceeds thermal energy at room temperature and thereby linking the phi-ladder structure to practical ambient superconductivity.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.