G_SI_uncertainty
plain-language theorem explainer
The declaration supplies the one-sigma uncertainty on the gravitational constant drawn from CODATA 2022 and expressed in SI units. Metrologists and experimental physicists comparing Recognition Science mass-ladder predictions to laboratory G measurements would cite this anchor. It is realized by a direct numerical assignment with no derivation from internal cost functions.
Claim. In SI units the one-sigma uncertainty on the gravitational constant equals $0.00015 × 10^{-11}$.
background
The ExternalAnchors module is the single quarantined location for all empirical calibration data that enters Recognition Science from external sources. Its policy keeps the cost-first core, which derives everything from the Recognition Composition Law, free of such imports; any module that brings in ExternalAnchors explicitly acknowledges use of calibration data. All definitions here carry the external_anchor attribute for audit.
proof idea
One-line definition that directly assigns the numerical value 0.00015e-11.
why it matters
It supplies the empirical uncertainty anchor for G, permitting quantitative comparison with the RS-native expression G = phi^5 / pi that follows from the eight-tick octave and D = 3 in the unified forcing chain. The entry belongs to the External Anchors section that mechanically separates calibration data from pure cost derivations. No downstream results are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.