referenceSpeed
plain-language theorem explainer
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.
Claim. The 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
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.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.