eight_tick_period
plain-language theorem explainer
The definition sets the eight-tick period to the constant 8, encoding T7 of the Recognition Science forcing chain as the cycle length 2^D for D=3 spatial dimensions. Researchers deriving the full synchronization period or closure factors in Gap45.Derivation cite this value when forming the lcm with the gap. The assignment is a direct constant that matches the eight-tick octave requirement from the T0-T8 chain.
Claim. The eight-tick period is the natural number $8 = 2^3$, where the exponent 3 equals the number of spatial dimensions forced by the framework.
background
The StillnessGenerative module shows that the zero-defect ground state x=1 is unstable and must generate non-trivial structure. From the T0-T8 chain, T7 requires an eight-tick cycle that visits eight distinct states on the three-dimensional configuration space rather than collapsing to a degenerate period-1 case. This definition supplies the period length 8 used to build the full synchronization period via lcm with the gap of 45.
proof idea
The declaration is a direct definition that assigns the constant 8. It encodes the T7 period requirement with no lemmas or tactics applied.
why it matters
This supplies the period length required by T7 that feeds into downstream results in Gap45.Derivation, including closure_factor defined as eight_tick_period plus one, cycles_of_eight, and D_3_forced_from_structure which asserts eight_tick_period equals 2 cubed together with gap equals 45 and full_period equals 360. It anchors the eight-tick octave landmark, enabling the 360-unit synchronization period.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.