pith. sign in
module module moderate

IndisputableMonolith.Gravity.GalacticTimescale

show as:
view Lean formalization →

This module defines the characteristic galactic memory timescale τ★ in seconds. Researchers modeling galactic dynamics or self-similar gravity structures cite these definitions. It assembles the RS time quantum with phi-forcing results from upstream modules. The module contains only definitions and no internal proofs.

claimThe characteristic galactic memory timescale τ★ (in seconds), together with τ₀^SI, ϕ-rung time, and N_galactic.

background

The module resides in the Gravity domain. It imports the fundamental RS time quantum τ₀ = 1 tick from Constants. PhiForcing establishes that φ is forced by self-similarity in a discrete ledger with J-cost. The module builds timescale expressions on these foundations, introducing sibling definitions such as tau_star_s, phi_rung_time, N_galactic, and galactic_status.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the galactic timescale definitions that feed into parent theorems on galactic dynamics within the Gravity section. It extends the phi-forcing chain to macroscopic scales, linking the eight-tick octave to galactic memory effects.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (7)