IndisputableMonolith.Physics.GeneralRelativityFromRS
This module derives the Einstein coupling constant from Recognition Science constants, fixing κ = 8φ^5/π and proving its positivity. Researchers connecting RS foundations to classical gravity would cite it when checking consistency with the Einstein equations. The module consists of targeted definitions for GR effects together with basic positivity results.
claimThe Einstein coupling constant satisfies $κ = 8φ^5/π > 0$.
background
The module imports the Constants module, which fixes the RS time quantum as τ₀ = 1 tick. It introduces definitions such as GREffect and einsteinKappa that translate RS-native quantities into the language of general relativity. The local setting is the embedding of GR parameters inside the Recognition Science framework that already forces the phi fixed point and D = 3 dimensions.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
This module supplies the coupling constant that feeds the GeneralRelativityCert and generalRelativityCert declarations, completing the step from RS constants to the Einstein field equations. It directly implements the relation G = φ^5/π that yields κ = 8φ^5/π.