optimalTempRatio
plain-language theorem explainer
The definition sets the optimal operating-to-minimum temperature ratio for the Haber-Bosch process equal to the golden ratio φ. Chemists checking RS-derived process parameters against industrial data would cite it when confirming the predicted operating point near 485°C. It is a direct abbreviation with no computation or lemmas required.
Claim. The optimal operating-to-minimum temperature ratio is defined by $r_T := φ$.
background
The module derives Haber-Bosch parameters from the φ-ladder. Here φ is the self-similar fixed point forced at step T6 of the UnifiedForcingChain. The definition supplies the temperature scaling factor that converts the minimum kinetic threshold into the predicted optimum.
proof idea
One-line definition that directly equates optimalTempRatio to phi. No lemmas or tactics are applied.
why it matters
This supplies the temperature ratio that appears in the HaberBoschCert structure, which certifies the ratio exceeds one and places the optimum inside the industrial window (400, 550)°C. It realizes the first RS prediction listed in the module doc-comment. The value φ traces to the self-similar fixed point at T6.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.