compression_5_discs
plain-language theorem explainer
A Tesla turbine stack with five discs realizes total compression ratio exactly φ^5. Designers optimizing bladeless turbines cite the result when selecting Fibonacci-adjacent disc counts that minimize J-cost of flow distribution. The equality follows at once by reflexivity from the definition totalCompressionRatio N := φ^N.
Claim. The total compression ratio across a turbine with five discs equals $φ^5$.
background
In the Recognition Science model the Tesla turbine fluid path is a logarithmic spiral of pitch κ=1, so each full turn multiplies pressure by φ. The auxiliary definition totalCompressionRatio N returns φ^N for N turns. This rests on the φ-spiral lemmas already proved in the imported Flight.Geometry and Spiral.SpiralField modules.
proof idea
The declaration is a one-line reflexivity that applies the definition totalCompressionRatio N := φ^N directly at N=5.
why it matters
The instance for five discs supports the Fibonacci disc-count results that feed the master certificate tesla_turbine_master. It instantiates the self-similar φ-scaling that follows from the Recognition Composition Law and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.