IndisputableMonolith.Foundation.MaximalForcing.RSGravityUniverse
Defines the Recognition Science gravity universe: the loosest admissible coupling class, its RS tightening, and the forced gravitational coupling kappa. Physicists tracing how G and the Newtonian limit sit inside Maximal Forcing will cite it. The module packages classifiers, positivity, and independence facts that feed the Reality Closure certificate rather than proving a single crown theorem.
claimThe loosest gravity class $L_{\mathrm{grav},0}$ admits every candidate coupling; the RS gravity class $L_{\mathrm{grav},\mathrm{RS}}$ is its tightening. The gravity universe carries a forced coupling $\kappa>0$ that is independent over $L_{\mathrm{grav},0}$, together with a classifier and closure certificate placing the kappa claim inside the forcing closure.
background
Maximal Forcing aims at a Reality Closure certificate: every claim $C$ in the forcing closure of a package $P$ and universe $U$ receives a definite classification. This module specializes that program to gravity. It sits under Foundation and imports the crown-theorem interface from RealityClosure plus RS-native constants (including the fundamental time quantum $\tau_0=1$ tick).
The loosest gravity class collects every candidate coupling value with no RS selection yet imposed. The RS gravity class is the tightened subclass compatible with Recognition composition and the forced constants. The distinguished coupling $\kappa$ is the gravitational strength parameter whose positivity and independence over the loose class are recorded as separate facts, so that the gravity universe can be treated as a classified forcing object rather than an ad hoc constant choice.
Sibling material in the module names the gravity universe, its classifier, the forced-invariant package, and the certificate that the kappa claim lies in the closure.
proof idea
Definition-and-certificate module, not a single crown proof. It introduces the loose and RS gravity classes, the tightening relation between them, the kappa-claim predicate, and the gravity-universe bundle. Supporting lemmas record $\kappa>0$, independence of $\kappa$ over the loose class, membership of the kappa claim in the forcing closure, and a classifier/certificate pair aligned with the RealityClosure interface. Argument structure is packaging plus local positivity and independence facts, ready for downstream closure assembly.
why it matters in Recognition Science
Places Newtonian/RS gravity inside the Maximal Forcing stack so gravitational coupling is not an external input. Downstream the module is positioned to feed Reality Closure: once the gravity universe and its kappa claim are classified, they become admissible data for the crown certificate that every forcing-closed claim is classified. In RS-native units the gravitational sector is tied to $G=\phi^5/\pi$ and the broader forcing chain (T5 J-uniqueness through T8 for $D=3$); this file isolates the gravity-universe fragment of that story. No used-by edges are recorded yet, so its immediate role is to supply the gravity side of the closure interface rather than to discharge a named parent theorem in-tree.
scope and limits
- Does not assert the final Reality Closure crown theorem.
- Does not derive Einstein field equations or post-Newtonian parameters.
- Does not fix numerical G in SI units; works in RS-native coupling language.
- Does not by itself force spatial dimension or the eight-tick octave.
- Does not classify non-gravitational Standard Model couplings.
depends on (2)
declarations in this module (13)
-
def
Lgrav0 -
def
LgravRS -
def
tighten_Lgrav0_LgravRS -
def
isKappaClaim -
def
gravUniverse -
theorem
forced_kappa -
theorem
isKappaClaim_in_closure -
def
gravForcedInvariant -
theorem
gravUniverse_classifier -
def
gravUniverseCert -
theorem
kappa_value_pos -
theorem
kappa_independent_over_Lgrav0 -
theorem
tightening_Lgrav0_LgravRS_effective