IndisputableMonolith.Cosmology.GravitationalLensingFromRS
This module constructs gravitational lensing predictions directly from Recognition Science by defining lensing regimes and deflection angles tied to RS constants. Cosmologists comparing RS-derived lensing to observations would cite these constructions. The module proceeds through a sequence of definitions that build a certification for the lensing effect from the imported time quantum.
claimThe module defines the lensing regime $L$ and deflection angle $d$ in RS-native units, together with a certification that gravitational lensing follows from the fundamental time quantum $τ_0 = 1$ tick.
background
Recognition Science derives all physics from one functional equation whose fundamental time quantum is $τ_0 = 1$ tick in RS-native units. This module sits in the cosmology domain and imports the core constants to introduce lensing-specific objects. It defines the LensingRegime type along with deflectionAngle, deflection_ratio, and GravitationalLensingCert that quantify light deflection consistent with the phi-ladder and J-cost structure of the parent framework.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
This module supplies the gravitational lensing certificate that supports cosmological applications of Recognition Science. It links the RS time quantum to observable deflection effects and contributes to the framework's predictions for spatial dimensions $D=3$ and the alpha band. No downstream uses are recorded, indicating it functions as a foundational block for further cosmology developments.
scope and limits
- Does not compute explicit numerical deflection values for observed lenses.
- Does not extend to strong gravitational lensing or multiple images.
- Does not derive lensing from the full J-cost functional equation or the forcing chain T0-T8.