Gravity Running G

Gravitational running

Gravitational running is the prediction that Newton's gravitational constant G is not truly constant but strengthens at nanometer scales. The Recognition Science module for this effect formalizes a specific running law: the effective constant G_eff(r) grows from its macroscopic value G_∞ as the distance scale r shrinks toward a reference scale r_ref. The strengthening is controlled by an exponent β derived from the golden ratio φ, with β = -(φ - 1) / φ^5, approximately -0.056.

The module proves structural facts about this running law. The ratio G_ratio(r, R) = 1 + |β| (r / R)^β is monotone in the reference scale R: for a fixed distance r, a larger R gives a larger ratio, and the ratio is always positive. At the self-scale R = r, the ratio is exactly 1 + |β|, which lies between 1 and 2. The ratio is continuous in the reference scale, and it can be made arbitrarily large by choosing R far enough from r. The module also proves that a positive reference scale exists, with 20 nanometers serving as an explicit witness.

The running law is tied to the framework's phi-ladder. A reference scale is defined as an approximate phi-rung, with r_ref_phi_rung_approx = 364, which is 4 units above the sync period 360 = 8 × 45. A hypothesis states that r_ref equals ell0 times an integer power of phi and that the ratio at 20 nanometers is within 1 of 32, the predicted nanoscale enhancement. A separate hypothesis ties r_ref to ell0 times phi raised to the 360th power and requires the ratio at 20 nanometers to be within 2 of 32. These hypotheses are not established; they define the target the running law is meant to hit.

The module also checks the physical context of the prediction. The gravitational pressure between plates at nanometer separation, even with a 32-fold enhancement, is negligible compared to the Casimir pressure. This is established for a specific parameter set: gravitational pressure with G = 6.674e-11, density 1e4, time 1e-6, and enhancement 32 is less than 1e-10, and the Casimir pressure dominates it by a factor of 1e17. The running effect, if real, would not alter the known dominance of Casimir forces in nanoscale plate experiments.

MODEL beta_running · IndisputableMonolith/Gravity/RunningG.lean

THEOREM G_ratio_mono · IndisputableMonolith/Gravity/RunningG.lean

THEOREM G_ratio_at_self · G_ratio_at_self_lt_two · IndisputableMonolith/Gravity/RunningG.lean

THEOREM H_GravitationalRunning_certificate · IndisputableMonolith/Gravity/RunningG.lean

THEOREM grav_dominated_by_casimir_on_nano · IndisputableMonolith/Gravity/RunningG.lean

What this page does not claim

The prediction that G actually runs at nanometer scales is not established; it is a hypothesis. The reference scale hypotheses (H_rref_phi_ladder, H_rref_sync_period) are not established. The module does not derive the value of G_∞ or the absolute strength of gravity.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Gravity/RunningG.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: