IndisputableMonolith.Flight.SolidState.VirtualRotor
VirtualRotor module supplies the solid-state coil definition for a phased-array virtual rotor in the flight model. Propulsion modelers integrating geometric spirals with control schedules cite it when building entropic pump components. The module assembles type definitions and supporting lemmas from the imported geometry and schedule files.
claimThe module defines a coil $C$ as a phased-array element in the virtual rotor, constructed from the log-spiral paths of the tetrahedral geometry and the 8-tick schedule surface.
background
The theoretical setting is the Flight domain, which assembles propulsion models from Recognition Science constants. Upstream, Flight.Geometry supplies the purely geometric layer: the φ-tetrahedral angle derived from Recognition Science axioms, log-spiral rotor paths under φ-scaling, and math-only lemmas on step ratios and per-turn multipliers. No physical claims are made here; all geometry derives from the RS constant φ. Flight.Schedule defines a minimal control/schedule surface and reuses the existing 8-window neutrality predicates.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies coil and rotor components used by the Vacuum Pump module, which formalizes the RS hypothesis for entropic energy generation. Standard thermodynamics gives work to heat with entropy increase; the RS version gives ordering vacuum to heat absorption with entropy decrease.
scope and limits
- Does not derive physical claims from the imported geometry.
- Does not implement vacuum pump thermodynamics.
- Does not cover relativistic field effects or pulse coherence.
- Does not address full metric engine dynamics.