ResultsCalibration Constant Pagereadycalibration-cascade, constants-ledger, numerical-predictionsThis page displays the SI G readout only with explicit unit-context guardrails. It does not claim current CODATA recomputation.
This page displays the SI G readout only with explicit unit-context guardrails. It does not claim current CODATA recomputation.
L2τ-effectivereadyrendered diagram
Boundary.
This page displays the SI G readout only with explicit unit-context guardrails. It does not claim current CODATA recomputation.
This page does not recompute CODATA 2022 values or change the existing numerical prediction artifact.
Scope label.τ-effective means internal τ-derived or τ-effective construction/readout. Metadata keeps the stable value tau_effective.
Generated constant/readout inspection page from the Corpus Calibration Cascade projection.
Dependency summary: α_G, m_n, ℏ, c
cg · G
Formula
G = (ℏ c / m_n^2) · α_G
TeX
G = \frac{\hbar c}{m_n^2}\alpha_G
Plain-text fallback
G = (hbar * c / m_n^2) * alpha_G
Unit context
si_after_neutron_mass_anchor
Dependency Diagram
Directed dependency cascade for G from the Calibration Cascade metadata.Mermaid sourcetext equivalent
flowchart TD
iota["ι_τ"] --> alpha["α"]
alpha --> alphaG["α_G"]
alphaG --> G["G = (ℏ c / m_n²) α_G"]
mn["m_n anchor"] --> G
hbar["ℏ"] --> G
c["c"] --> G
G --> compare["CODATA 2018 comparison"]
Text equivalent. α feeds α_G; α_G, the neutron-mass anchor, ℏ, and c converge into G; G feeds the CODATA 2018 comparison.
Search across Corpus, TauLib, Monographs, Research Notes, and Errata.
Try a result name (Hubble tension), a doctrine term
(τ-totality), or a Lean theorem ID
(Theorem 3.2.4).