module module moderate

`IndisputableMonolith.Thermodynamics.CriticalExponents`

The module declares the critical exponents of the 3D Ising model using best-known values. Condensed matter physicists cite these when testing Recognition Science predictions for phase transitions against lattice data. It is a declaration module that imports the RS time quantum and the phi-forcing self-similarity argument to set the scale for the exponents.

claimCritical exponents of the 3D Ising model: $\alpha_{3D}, \beta_{3D}, \gamma_{3D}, \nu_{3D}, \eta_{3D}, \delta_{3D}$ (with 2D counterparts).

background

Recognition Science derives physics from a single functional equation whose J-cost structure forces the golden ratio via self-similarity. The upstream PhiForcing module shows that φ arises as the fixed point of a discrete ledger with J-cost. Constants supplies the fundamental time quantum τ₀ = 1 tick. This module sits in the Thermodynamics domain and anchors the Ising exponents to those RS-native objects.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the 3D Ising critical exponents that connect lattice results to the Recognition Science thermodynamics framework. It supports the T7 eight-tick octave and T8 D = 3 by providing benchmark values. The doc-comment states the purpose as recording best-known values for the 3D Ising model.

scope and limits

Does not derive the exponents from the J-cost equation.
Does not prove numerical agreement with RS predictions.
Does not supply error estimates or simulation details.
Does not cover other universality classes beyond Ising.

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