module module high

`IndisputableMonolith.Flight.TeslaTurbine`

The Flight.TeslaTurbine module supplies geometric definitions and J-cost expressions for a Tesla turbine realized as a stack of parallel discs with uniform gaps and tangential inflow that spirals inward under phi-scaling. Researchers modeling RS-derived propulsion geometries would cite it when computing optimal spacing and compression ratios. The module consists entirely of definitions and supporting lemmas that import the phi-tetrahedral log-spiral scaffold and the Recognition Composition Law; no independent proofs are present.

claimA Tesla turbine is a stack of $N$ parallel discs of outer radius $R$ separated by uniform gap $g$, with fluid entering tangentially and following a logarithmic spiral path inward; the associated J-cost is $Jcost(N,g,R)$ minimized subject to phi-disc spacing and boundary-layer thickness derived from the Recognition Composition Law.

background

The module sits in the Flight domain and imports the RS time quantum tau_0 = 1 tick from Constants together with the J-cost function from Cost. It draws the purely geometric layer from Flight.Geometry, which supplies the phi-tetrahedral angle and log-spiral rotor paths under phi-scaling with no physical claims. It further imports the variational ansatz for logarithmic spiral fields under phi-scaling and eight-tick gating from Spiral.SpiralField. The local setting is the disc-stack geometry stated in the module comment: fluid enters at the outer radius and spirals inward.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the concrete geometric objects and cost expressions needed for Tesla-turbine analysis inside the Recognition Science flight framework. It feeds downstream calculations of compression ratios and velocity profiles that rely on the imported spiral-field structures and the phi-ladder. It fills the geometric layer for disc-based propulsion models derived from the Recognition Composition Law and the eight-tick octave.

scope and limits

Does not derive equations of motion or time-dependent flow.
Does not include viscosity beyond the boundary-layer thickness definition.
Does not claim empirical validation against laboratory turbines.
Does not extend to non-phi scaling or multi-phase flows.

depends on (4)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Cost module_import
IndisputableMonolith.Flight.Geometry module_import
IndisputableMonolith.Spiral.SpiralField module_import

declarations in this module (19)

abbrev Jcost L61
structure TurbineGeometry L69
def boundaryLayerThickness L87
def velocityRatio L100
theorem phi_disc_spacing_optimal L108
theorem phi_spacing_Jcost L125
theorem spiral_pitch_one_is_phi L135
theorem per_turn_at_kappa_one L140
theorem kappa_one_step_ratio L150
def totalCompressionRatio L160
theorem compression_3_discs L163
theorem compression_5_discs L164
theorem compression_8_discs L165
theorem fibonacci_compression_step L175
theorem single_turn_Jcost L189
theorem no_compression_zero_cost L194
theorem compression_has_cost L198
theorem phi_is_optimal_compression L213
theorem tesla_turbine_master L230