IndisputableMonolith.Astrophysics.CoronalTimescaleFromPhiLadder
This module defines coronal timescales in astrophysics by applying the Recognition Science phi-ladder to the fundamental time quantum. It introduces CoronalTimescale, timescaleAtRung, timescaleRatioPhiRung and associated certificates. The module consists entirely of definitions that build directly on the imported Constants.
claimMain objects: CoronalTimescale (structure), timescaleAtRung(r) = \tau_0 \phi^r, timescaleRatioPhiRung, CoronalTimescaleCert.
background
The module sits in the astrophysics domain of Recognition Science and imports only Mathlib plus IndisputableMonolith.Constants. The upstream Constants module supplies the RS-native time quantum \tau_0 = 1 tick. Sibling declarations introduce rung-based scaling (timescaleAtRung), counting functions (coronalTimescaleCount), ratio computations (timescaleRatioPhiRung) and certification objects (CoronalTimescaleCert).
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
Supplies the coronal timescale primitives that connect the phi-ladder to astrophysical observables. No downstream uses are recorded yet; the definitions stand ready for parent theorems that would embed coronal phenomena inside the eight-tick octave and D=3 spatial structure of the framework.
scope and limits
- Does not contain any theorems or proofs.
- Does not import observational data or external constants beyond \tau_0.
- Does not define \phi or the phi-ladder itself.
- Does not address spatial geometry or forcing-chain steps T5-T8.