ShadowFringeFrequency
plain-language theorem explainer
ShadowFringeFrequency assigns the shadow fringe frequency to the reciprocal of eight times the fundamental tick duration tau0. Researchers modeling black hole shadows under Recognition Science's eight-tick octave cite this when predicting phase fringes at the event horizon. The definition is a direct algebraic assignment that encodes the period from the T7 landmark without additional computation.
Claim. The frequency of the shadow fringe is given by $f = 1/(8 tau_0)$, where $tau_0$ is the duration of one fundamental tick in RS-native units.
background
The module Black Hole Shadow and Phase Fringe Predictions formalizes ILG-corrected lensing predictions with the objective of proving that the 8-tick cycle creates a detectable phase fringe at the event horizon. In Recognition Science the eight-tick octave is the fundamental evolution period of length 8 ticks, each of duration tau0 (T7 in the forcing chain). Upstream, tick is defined as the fundamental RS time quantum with tau0 equal to tick, and Frequency is the type alias for real numbers used for such rates.
proof idea
This is a definition that directly encodes the inverse of the eight-tick period. No lemmas are applied; the body is a single arithmetic expression matching the octave length.
why it matters
This definition supplies the explicit frequency value used by the downstream theorems shadow_fringe_frequency_identity and fringe_frequency_grounded. It realizes the experimental prediction that the interference fringe frequency is determined by the 8-tick cycle, linking directly to the T7 eight-tick octave in the UnifiedForcingChain. The placement supports the module goal of showing observable phase fringes arising from Recognition Science time structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.