tau_star_s
plain-language theorem explainer
τ★ is defined as 133 million years converted to seconds. Researchers modeling galactic rotation or memory effects in Recognition Science cite this constant to map observed timescales onto the phi-ladder. The definition is a direct arithmetic conversion from years to SI seconds with no lemmas applied.
Claim. Let τ★ denote the characteristic galactic memory timescale. Then τ★ = 133 × 10⁶ × 365.25 × 24 × 3600 seconds.
background
The GalacticTimescale module operates in the gravity domain and anchors galactic scales to Recognition Science units. Upstream, tick defines the fundamental time quantum τ₀ = 1. The SingleAnchor calibration converts this quantum to SI seconds through externalCalibration_of_tau0_seconds applied to a certificate value. PhiForcing supplies the self-similar fixed point used in later rung calculations.
proof idea
One-line definition that evaluates the product of 133 million years with the seconds per year (365.25 days × 24 hours × 3600 seconds).
why it matters
This definition supplies the numerical anchor for N_galactic = log_φ(τ★/τ₀) and the theorem tau_star_is_phi_rung that places τ★ near rung 142. It connects galactic memory to the eight-tick octave by locating the timescale on the discrete phi-ladder. Downstream results N_galactic_approx and tau_star_is_phi_rung bound the rung count between 140 and 145.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.