pith. sign in
module module moderate

IndisputableMonolith.Chemistry.SuperconductingTc

show as:
view Lean formalization →

This module defines phonon-route proxies for superconducting transition temperatures evaluated at phi-ladder steps n. Condensed-matter researchers applying Recognition Science to cuprates and related families would cite these proxies for scaling relations. The module consists solely of definitions and auxiliary scaling objects with no internal proofs.

claimThe phonon-route $T_c$ proxy at ladder step $n$ is the function $T_c(n)$ obtained by scaling the RS time quantum from the base rung using the phi-ladder.

background

Recognition Science obtains all constants from the J-uniqueness relation and the self-similar fixed point phi. The module imports the fundamental RS time quantum tau_0 = 1 tick together with interval-arithmetic bounds on the logarithm to guarantee rigorous numerical enclosures. It introduces the SuperconductorFamily enumeration and the associated tcFamily and tcFamilyK objects that assign each material class to a discrete ladder rung.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the Tc proxies required by the chemistry domain of Recognition Science. It connects the phonon mechanism to the eight-tick octave and the D = 3 spatial dimensions fixed by the unified forcing chain (T5-T8). No downstream theorems are recorded yet.

scope and limits

depends on (3)

Lean names referenced from this declaration's body.

declarations in this module (13)