N_tau_conjecture
plain-language theorem explainer
The definition sets the conjectured galactic timescale rung N_τ to 142 by subtracting 2 from the Fibonacci-square F_12. Galactic dynamics researchers in the Recognition Science program cite this rung when mapping the phi-ladder to observed galactic rotation periods. The construction is a direct arithmetic step from the established F_12 constant.
Claim. $N_τ := F_{12} - 2$, where $F_{12} = 144$ is the unique non-trivial Fibonacci square.
background
This module derives phenomenological galactic gravity parameters from Recognition Science first principles using the golden ratio φ. Parameters are classified as derived (like α and Υ★), RS-based (like C_ξ and p), or phenomenological. F_12 is defined as the unique non-trivial Fibonacci-square with value 144, serving as the base for the timescale rung conjecture.
proof idea
The declaration is a one-line definition that subtracts 2 from the constant F_12. It requires no additional lemmas or tactics beyond the prior definition of F_12.
why it matters
This supplies the conjectured galactic timescale rung N_τ = 142 that is used by N_r_conjecture to define the radius rung as N_τ - 16 and by the theorem N_tau_conjecture_eq_142 to assert equality to 142. It fills the conjectured entry in the gravity parameters table, linking to the Recognition Science phi-ladder and the eight-tick octave structure. The downstream rung_relationship theorem confirms the 16-rung offset if the conjecture holds.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.