`PulseCoherence`

definition

show as: view math explainer →

module: IndisputableMonolith.Flight.SolidState.VirtualRotor
domain: Flight
line: 58 · 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 58.

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

  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.