pith. sign in
module module high

IndisputableMonolith.Combustion.FlameSpeedFromPhiLadder

show as:
view Lean formalization →

The module defines reference flame speed as the dimensionless constant 1 in RS-native units and constructs the full flameSpeed sequence from the phi-ladder. Combustion researchers working inside the Recognition Science framework cite these objects when scaling velocities without external constants. The module consists of successive definitions plus elementary monotonicity properties that follow directly from the ladder structure supplied by Constants.

claim$v_{ref}=1$ (RS-native). The flame speed at ladder rung $n$ obeys $v(n+1)/v(n)=phi$ with $v$ strictly increasing and positive.

background

Recognition Science obtains all scales from the phi-ladder whose rungs are spaced by the fixed point phi. The imported Constants module supplies the base time quantum tau_0 = 1 tick, which normalizes all velocities to dimensionless form. This combustion module therefore introduces referenceSpeed as the unit value 1 and flameSpeed as the function that steps upward by phi at each rung, together with the elementary positivity and ratio lemmas that follow immediately from that construction.

proof idea

This is a definition module, no proofs. referenceSpeed is set to 1 by definition; flameSpeed is introduced via the phi-ladder recurrence; the remaining declarations establish positivity, the successor ratio equal to phi, and strict monotonicity by direct application of the ladder ordering.

why it matters in Recognition Science

The definitions populate the combustion domain and supply the velocity scale that later theorems in the framework will combine with mass and energy ladders. They instantiate the phi self-similar fixed point (T6) at the level of macroscopic transport and close the dimensionless normalization required by the eight-tick octave.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (8)