Pith. sign in
module module high

IndisputableMonolith.Chemistry.GlassTransition

show as:
view Lean formalization →

The Chemistry.GlassTransition module centers definitions for glass transition on the fundamental 8-beat period scaled to the RS time quantum. Condensed matter physicists modeling supercooled liquids and amorphous materials would cite these objects. The module collects sibling definitions and basic properties around the eight-tick structure without complex derivations.

claimThe module introduces the eight-beat period as fundamental, with associated quantities including fragility $m$, Kauzmann ratio, glass universality parameters, and relaxation time, all referenced to the RS time quantum $\tau_0 = 1$ tick.

background

The module imports Constants, whose doc-comment states the fundamental RS time quantum (RS-native) $\tau_0 = 1$ tick. It opens with the assertion that the 8-beat period is fundamental, consistent with the eight-tick octave of the forcing chain. The local setting applies Recognition Science discrete time to chemical relaxation in glassy systems.

Sibling definitions cover eight-beat period, fragility, glass_univ, kauzmannRatio, kauzmann_pos, isStrongGlass, isFragileGlass, and relaxationTime. These supply the basic vocabulary for strong versus fragile glass classification and Kauzmann bounds.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the interface that applies the eight-tick octave (T7) to glass transition chemistry. It positions the 8-beat period as the base unit for relaxation times and fragility, preparing objects that would feed parent results on material dynamics in the Recognition framework. No downstream uses are recorded yet.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (13)