tcReferenceK
plain-language theorem explainer
The definition fixes the reference critical temperature at 300 K for the n=1 rung of the phi-ladder that classifies superconductor families. Researchers deriving family-specific Tc values cite this calibration to reproduce the 90-100 K cuprate scale at n=3. It is realized as a direct constant assignment with no computation or lemmas.
Claim. The reference superconducting critical temperature scale is set to $T_c^ref = 300$ K at the $n=1$ step of the phi-ladder.
background
The Superconducting Tc Families module derives critical temperatures from the phi-ladder energy scales in Recognition Science. The gap Delta for Cooper pairing scales with phi, and families occupy different rungs: conventional BCS at n greater than or equal to 6, MgB2 near n=5, iron-based near n=4, and cuprates at n=2-3. Macroscopic coherence requires alignment with the 8-tick ledger structure. The upstream for structure from UniversalForcingSelfReference records the meta-realization axioms that support self-consistent scaling across the ladder.
proof idea
This is a direct constant definition that assigns the literal value 300 with no lemmas applied and no tactics executed.
why it matters
The constant anchors tcFamilyK, which multiplies it by the family factor to obtain Tc in Kelvin. It supplies the calibration step in the CM-007 derivation so that n=3 reproduces the observed cuprate range. The choice connects directly to the phi-ladder and T7 eight-tick octave in the T0-T8 forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.