referenceSpeed
The referenceSpeed definition sets the base laminar flame speed to the dimensionless constant 1 in RS-native units. Combustion researchers modeling premixed flames on the phi-ladder cite this as the zero-rung anchor for scaling predictions across fuels. The definition is a direct constant assignment with no computation or hypotheses.
claimThe reference laminar flame speed $S_{L,0}$ equals the dimensionless constant 1 in Recognition Science native units.
background
The module develops laminar flame speed predictions on the phi-ladder, where each integer step in chain-branching intensity multiplies $S_L$ by exactly the golden ratio φ. The referenceSpeed serves as the base case at rung zero. Upstream rung definitions establish the integer ladder structure in contexts such as particle masses and ore classes, providing the discrete steps used for scaling here.
proof idea
The definition is a direct constant assignment of the real number 1.
why it matters in Recognition Science
This definition anchors the flameSpeed computation that scales the reference by φ^k for rung k, supporting the structural prediction that adjacent-rung ratios equal φ. It connects to the self-similar fixed point φ from the forcing chain and the eight-tick octave structure. The module documentation notes empirical bench values for methane-air, ethylene-air, and hydrogen-air that align with the ladder ratios within calibration tolerances.
scope and limits
- Does not provide conversion factors from RS-native units to SI laboratory units.
- Does not incorporate mixture composition effects beyond the integer rung index.
- Does not include turbulence, stretch, or curvature corrections to the laminar speed.
Lean usage
def exampleSpeed := flameSpeed 0formal statement (Lean)
31def referenceSpeed : ℝ := 1
proof body
Definition body.
32
33/-- Flame speed at φ-ladder rung `k`. -/