`FieldVelocity`

definition

show as: view math explainer →

module: IndisputableMonolith.Flight.SolidState.VirtualRotor
domain: Flight
line: 46 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Flight.SolidState.VirtualRotor on GitHub at line 46.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

  43/-- The Tip Speed of the virtual field.
  44    v = distance / time = (2π r) / (period).
  45    Period = n_coils * pulse_width. -/
  46def FieldVelocity (r : ℝ) (n_coils : ℕ) (pulse_width : ℝ) : ℝ :=
  47  (2 * Real.pi * r) / (n_coils * pulse_width)
  48
  49/-- RS Hypothesis: Relativistic Field Effect.
  50    If the virtual field velocity approaches c, the ILG kernel treats it
  51    as a relativistic mass current, even if no matter is moving. -/
  52def RelativisticFieldEffect (v_field c : ℝ) : Prop :=
  53  v_field > 0.1 * c -- Significant fraction of c
  54
  55/-- RS Falsifier: 8-Tick Coherence.
  56    The pulse sequence must strictly obey the 8-tick neutrality constraint.
  57    Any jitter or phase slip destroys the "solid" nature of the virtual object. -/
  58def PulseCoherence (schedule : ℕ → Bool) : Prop :=
  59  Schedule.eightGateNeutral (fun t => if schedule t then 1 else -1) 0
  60
  61end VirtualRotor
  62end SolidState
  63end Flight
  64end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.