IndisputableMonolith.Flight.Schedule
Flight.Schedule supplies the minimal per-tick control datum together with neutrality scoring and eight-tick periodicity helpers for the spiral-field propulsion model. Propulsion and gravity-bridge researchers cite these definitions when building drive schedules or falsifiers. It is a pure definition module containing no theorems.
claimDefines control datum $d_t$ per tick $t$, neutrality score $N$, and Periodic8 predicate with shift invariance under eight-tick cycles.
background
The module sits inside the Flight domain and imports the Spiral Wavefields scaffold. That upstream module supplies a variational ansatz for logarithmic spiral fields under φ-scaling together with an eight-tick gating constraint; its doc states that it defines only basic structures and helpers with no proofs required.
Schedule itself introduces the minimal control datum per tick as the basic interface, plus associated neutralityScore functions and Periodic8 structures that enforce the eight-tick periodicity.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module is imported by the Flight facade, Falsifiers, GravityBridge, Report, VirtualRotor, and Searl modules. It supplies the scheduling primitives that realize the eight-tick octave (T7) inside the Recognition Science forcing chain for spiral-field propulsion hypotheses.
scope and limits
- Does not specify hardware-level refinements of the control datum.
- Does not prove any properties of neutralityScore.
- Does not connect to mass formulas or RS constants.
- Does not implement full drive schedules beyond the minimal datum.