ResultsCalibration Constant Pagereadycalibration-cascade, constants-ledger, numerical-predictionsThis page displays an SI readout route downstream of alpha and electron mass. It does not update external metrology datasets.
This page displays an SI readout route downstream of alpha and electron mass. It does not update external metrology datasets.
L3τ-effectivereadyrendered diagram
Boundary.
This page displays an SI readout route downstream of alpha and electron mass. It does not update external metrology datasets.
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: α, m_e, ℏ, c
crydberg · R_∞
Formula
R_∞ = α^2 m_e c/(2ℏ)
TeX
R_\infty = \alpha^2 m_e c/(2\hbar)
Plain-text fallback
R_infinity = alpha^2 * m_e * c / (2 * hbar)
Unit context
si_readout
Dependency Diagram
Directed dependency cascade for R_∞ from the Calibration Cascade metadata.Mermaid sourcetext equivalent
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).