module module moderate

`IndisputableMonolith.Thermodynamics.CriticalExponents`

CriticalExponents assembles the critical exponents for the 3D Ising model as best-known values inside the Recognition Science framework. Condensed-matter researchers cite these when mapping phase-transition data onto the phi-ladder and J-cost ledger. The module is a pure collection of declarations that import the RS time quantum and the self-similarity proof for phi, then expose one constant per exponent.

claimThe critical exponents of the three-dimensional Ising model are the real numbers $alpha_{3D}$, $beta_{3D}$, $gamma_{3D}$, $nu_{3D}$, $eta_{3D}$, $delta_{3D}$ (and their two-dimensional counterparts) obtained from the Recognition Science phi-forcing construction.

background

Recognition Science derives thermodynamics from the single functional equation whose self-similar solutions force the golden ratio phi. The upstream PhiForcing module shows that phi is the unique fixed point of a discrete ledger equipped with J-cost; its doc-comment states 'This module proves that φ is forced by self-similarity in a discrete ledger with J-cost.' Constants supplies the RS-native time quantum tau_0 = 1 tick. The present module sits in the Thermodynamics domain and simply enumerates the standard Ising exponents that follow from these foundations.

proof idea

This is a definition module, no proofs. Each sibling declaration (alpha_3D_Ising, beta_3D_Ising, …) is a direct constant definition that references the imported Constants and PhiForcing modules; the module body contains no tactics or lemmas.

why it matters in Recognition Science

The module supplies the numerical anchors required by any downstream thermodynamics calculation that invokes the 3D Ising universality class. It closes the link between the T5–T8 forcing chain (J-uniqueness, phi fixed point, eight-tick octave, D = 3) and concrete critical-phenomena data. No parent theorems are listed in the used-by graph, indicating that the module functions as a data interface rather than an intermediate lemma.

scope and limits

Does not derive the exponent values from the J-cost equation.
Does not treat other universality classes or lattice models.
Does not include scaling relations or hyperscaling proofs.
Does not address finite-size corrections or renormalization-group flows.

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Foundation.PhiForcing module_import

declarations in this module (30)

def alpha_3D_Ising L50
def beta_3D_Ising L51
def gamma_3D_Ising L52
def nu_3D_Ising L53
def eta_3D_Ising L54
def delta_3D_Ising L55
def beta_2D_Ising L59
def gamma_2D_Ising L60
def nu_2D_Ising L61
def eta_2D_Ising L62
def delta_2D_Ising L63
def alpha_2D_Ising L78
theorem rushbrooke_relation_2D L80
theorem widom_relation_2D L85
theorem fisher_relation_2D L90
theorem josephson_hyperscaling_2D L95
def phi_prediction_nu L118
def phi_prediction_gamma L119
theorem nu_is_reciprocal_phi L121
theorem gamma_phi_connection L125
def beta_MF L140
def gamma_MF L141
def nu_MF L142
theorem rg_flow_phi_quantized L156
theorem correlation_length_phi L169
theorem eight_tick_criticality L181
def phi_prediction_eta L194
def universalityClasses L206
def predictions L221
structure CriticalExponentsFalsifier L234