IndisputableMonolith.Astrophysics.CoronalLyapunovTime
This module defines the reference Alfvén-crossing timescale as unity in RS-native units and introduces the coronalTime function together with its positivity and monotonicity properties. Solar physicists applying Recognition Science to coronal stability and Lyapunov times would cite these constructions when normalizing timescales. It is a definitions module that imports the fundamental time quantum and builds a short chain of basic facts.
claimLet $\tau_{\rm ref}$ be the reference Alfvén-crossing timescale satisfying $\tau_{\rm ref}=1$ in RS-native units. The coronal time function $\tau_{\rm coronal}$ is defined on the natural numbers and obeys $\tau_{\rm coronal}(n)>0$ together with strict increase.
background
The module imports IndisputableMonolith.Constants, whose fundamental object is the RS time quantum with doc-comment 'The fundamental RS time quantum (RS-native). τ₀ = 1 tick.' Recognition Science works throughout in these native units where c=1 and time is discrete in ticks. The module's own doc-comment states that referenceTime supplies the Alfvén-crossing timescale normalized to this unit. Sibling declarations then introduce coronalTime and the lemmas coronalTime_pos, coronalTime_strictly_increasing, and coronal_adjacent_ratio.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the normalized time scale required for any coronal Lyapunov exponent calculation inside the Recognition Science framework. It therefore feeds the parent constructions that certify stability thresholds in the Astrophysics domain, even though the current used_by list is empty.
scope and limits
- Does not derive the value of the Lyapunov exponent.
- Does not incorporate spatial geometry or the phi-ladder.
- Does not address numerical solar parameters or observations.
- Does not connect to the eight-tick octave or forcing chain T0-T8.