octavePeriod
plain-language theorem explainer
octavePeriod sets the RS-native octave period to eight fundamental ticks. Forcing and geology researchers cite this when scaling J-cost impulses over the minimal climate-cascade period. The definition directly multiplies the tick constant by eight, consistent with the eight-tick octave from the unified forcing chain.
Claim. The octave period equals $8 tau_0$, where $tau_0$ is the fundamental RS time quantum.
background
The RS-Native Measurement System module defines tick as the atomic time quantum with value 1 and Time as an abbreviation for the reals. Upstream, the tick definition states that one octave equals 8 ticks as the fundamental evolution period. This places the octave on the phi-ladder for scaling times and energies in the native system with c = 1.
proof idea
This is a one-line definition that assigns eight times the tick constant to octavePeriod.
why it matters
It supplies the period for impulse_per_octave and related results in VolcanicForcingAsJCostImpulse, where J-cost is multiplied by the octave length to obtain the climate impulse. The definition realizes the T7 eight-tick octave at D = 3 in native units. It is referenced in the module status to confirm base units and the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.