G_SI
plain-language theorem explainer
Exact rational SI anchor for Newton's constant: G = 6674/10^14 m^3 kg^{-1} s^{-2} (CODATA rounded to four figures). Anyone wiring SI units into the BMV weak-field phase model or the SI bridge cites it. The body is a bare rational literal; no proof obligations.
Claim. The Newtonian gravitational constant in SI units is fixed as the exact rational $G_{\mathrm{SI}} = 6674 / 10^{14}$ (i.e. $6.674 \times 10^{-11}\,\mathrm{m}^3\mathrm{kg}^{-1}\mathrm{s}^{-2}$), a measured CODATA input rounded to four significant figures, not an RS derivation.
background
The ambient module certifies a BMV-style entanglement falsifier band under a Newtonian weak-field phase model plus named geometry. Panel framing is explicit: BMV entanglement is predicted by any quantum mediator, so the package is a falsifier floor, not a pillar-3 discriminator between RS and GR+QFT.
SI constants enter because the weak-field phases and the geometry are written in laboratory units. This declaration supplies the CODATA Newtonian $G$ as an exact rational so that norm_num and kernel-checked band arithmetic stay axiom-free. Sibling anchors in the same file (hbar_SI, masses, separations) follow the same pattern: measured inputs, four-figure rationals.
Upstream, the RS-native action quantum is $\hbar = \varphi^{-5}$ in native units; the SI bridge separately carries CODATA $\hbar$ and $G$ to close dimensional matching. External-anchor and SIBridgeClosure copies of $G$ exist at higher precision ($6.67430\times 10^{-11}$); this module's copy is the four-figure rational used for certified numeric bands.
proof idea
Definition, not a theorem. The body is the exact rational literal $6674 / 10^{14}$. No lemmas, no tactics, no sorry. Downstream positivity and bridge identities discharge numeric goals by norm_num on this literal (or on the higher-precision external-anchor twin).
why it matters
Feeds the SI-bridge closure chain: G_constraint, aT_aM_eq_of_c_G, the main algebraic identity $a_T^2 = \pi \cdot \hbar_{\mathrm{SI}} \cdot G_{\mathrm{SI}} / c_{\mathrm{SI}}^5$, and a_T_eq. Also anchors ExternalAnchors.G_SI / G_SI_pos and the local BMV geometry constants (masses, separations, phases) that build the certified determinant band in $[1/2, 7/10]$.
In the RS primer, native $G = \varphi^5 / \pi$ with $c=1$; this declaration is the measured SI counterpart needed to convert native predictions into laboratory numbers. It is explicitly tagged MEASURED input, not an RS derivation, so a clean BMV null still only refutes the weak-field-phase package unless the unformalized magnitude premise is added (MODEL/OPEN per the module doc).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.