year_dimensionless
plain-language theorem explainer
year_dimensionless normalizes the Earth orbital year to unity in RS dimensionless units. Habitability modelers cite it to scale the resonant period T_RS = year · φ³ / 45. The definition is a direct constant assignment requiring no further reduction.
Claim. In Recognition Science units where the fundamental time quantum is the tick, the Earth orbital period is normalized to $1$.
background
Recognition Science works in units where the fundamental time quantum (tick) equals 1. The module constructs an exoplanet habitability score from orbital resonance with the Earth-resonant period, eccentricity penalty via the J-cost, and moon-mass ratio in the phi-band [φ^{-7}, φ^{-6}]. Upstream, Constants.tick supplies the time quantum and PhiForcingDerived supplies the self-similar fixed point phi.
proof idea
One-line definition that directly assigns the constant value 1. No lemmas or tactics are applied.
why it matters
This normalization anchors T_RS_period and feeds the ExoplanetHabitabilityCert structure. It supports the T7 eight-tick octave by supplying a concrete reference period for orbital coherence calculations. The module provides initial closure for the exoplanet habitability row without claiming Earth lies inside the moon-mass band.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.