IndisputableMonolith.Astrophysics.CoronalLyapunovTime
The module defines the reference Alfvén-crossing timescale as the RS-native time quantum of 1 tick and introduces the coronalTime function together with its positivity and monotonicity properties. Astrophysicists mapping Recognition Science time scales to solar corona dynamics would cite these definitions when computing Lyapunov times from Alfvén crossings. The module is organized as a sequence of definitions followed by short lemmas on ordering.
claimLet $\tau_{\rm ref} = 1$ be the reference Alfvén-crossing timescale in RS-native units. The coronal time function $\tau_c$ satisfies $\tau_c > 0$ and is strictly increasing, with adjacent ratios fixed by the self-similar scaling of the Recognition Composition Law.
background
The module imports Constants, whose doc-comment states: "The fundamental RS time quantum (RS-native). $\tau_0 = 1$ tick." It therefore sets the reference Alfvén-crossing timescale equal to this quantum. The module introduces referenceTime as the base scale, coronalTime as the time at successive steps on the phi-ladder, and the lemmas coronalTime_pos, coronalTime_strictly_increasing, and coronal_adjacent_ratio that record the required ordering properties.
proof idea
This is a definition module, no proofs. The structure consists of the referenceTime definition, the coronalTime definition, and the subsequent lemmas that establish positivity and strict increase via direct comparison on the phi-ladder.
why it matters in Recognition Science
The module supplies the time-scale definitions used by CoronalLyapunovCert and coronalLyapunovCert inside the same module. It therefore connects the RS time quantum to the eight-tick octave structure required for coronal Lyapunov calculations.
scope and limits
- Does not derive numerical values for observed coronal events.
- Does not compute the Lyapunov exponent itself.
- Does not link to specific solar mission data.
- Does not invoke the mass formula or the alpha band.