IndisputableMonolith.Materials.RoomTSuperconductorCandidate
The module defines the reference critical temperature in RS-native units, calibrated to MgB₂ at rung zero with dimensionless value one. It supplies scaling functions tcAtRung together with positivity, ratio, and monotonicity lemmas on the phi-ladder. Condensed-matter researchers working inside the Recognition Science framework cite these objects when estimating room-temperature superconductivity thresholds. The module is definitional with supporting lemmas on the scaling properties.
claimReference $T_c = 1$ (RS-native dimensionless), calibrated so that MgB₂ sits at rung 0. For rung $r$, $T_c(r) = T_c(0) +$ scaling term derived from the phi-ladder, with $T_c(r) > 0$ and $T_c(r+1)/T_c(r)$ strictly greater than 1.
background
The upstream Constants module supplies the base time quantum τ₀ = 1 tick. This materials module introduces referenceTc as the RS-native critical temperature fixed at 1 and anchored to MgB₂ at rung 0. It then defines tcAtRung as the rung-dependent critical temperature obtained by phi-ladder scaling, together with adjacent-ratio and strict-increase lemmas. The local setting is the phi-ladder for energy scales, where each rung increment multiplies the yardstick by phi.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the reference and rung-scaling objects required to certify room-temperature superconductor candidates. It feeds RoomTSuperconductorCert and roomTCert by providing the Tc values on the phi-ladder. In the RS chain it connects the self-similar fixed point (T6) and eight-tick octave (T7) to concrete materials predictions.
scope and limits
- Does not convert RS-native Tc to laboratory Kelvin values.
- Does not identify specific chemical compositions beyond the MgB₂ reference.
- Does not prove that any candidate actually superconducts at room temperature.
- Does not incorporate external magnetic fields or finite-size effects.