compression_8_discs
plain-language theorem explainer
An 8-disc Tesla turbine stack realizes a total compression ratio of exactly φ^8 when the per-turn spiral pitch equals 1. Turbine designers selecting Fibonacci disc counts for minimal flow-distribution cost would cite this equality to compute stage performance. The proof is a one-line reflexivity that follows immediately from the definition of totalCompressionRatio.
Claim. The total compression ratio across a turbine with 8 discs equals $φ^8$.
background
In the Tesla turbine model, fluid follows a logarithmic spiral between closely spaced discs, with momentum transfer governed by boundary-layer adhesion. The module defines totalCompressionRatio N as φ^N at unit pitch κ=1, so the cumulative ratio after N turns is simply the power. Disc counts are restricted to Fibonacci numbers because they minimize J-cost of the velocity profile across the stack, as established by the upstream CellularAutomata.step locality and the phi-ladder construction.
proof idea
The proof is a one-line reflexivity wrapper that applies the definition totalCompressionRatio N := phi ^ N directly at N=8.
why it matters
This equality supplies one concrete instance of the Fibonacci disc-count hierarchy that feeds the master certificate tesla_turbine_master. It instantiates the φ-scaling forced by the Recognition Composition Law and the self-similar fixed point T6, confirming that each Fibonacci step multiplies compression by an integer power of φ. No open scaffolding remains for this specific case.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.