Pick a view above. Drag the picture to turn it, scroll to zoom. Every number on the right is worked out live from the Torsion Limit, and the colored tag next to it says how it compares with the measured value.
READOUTS
HOW EACH VALUE COMPARES
EVERY DIGIT matches the measured value at every published digit. WITHIN ± lies within the measurement's stated uncertainty. WITHIN α² agrees to the fine-structure scale α² ≈ 5.3 × 10⁻⁵, which the Bohr levels leave out. OUTSIDE differs by more than that.
INPUTS
EXPORT
RECORD copies a plain-text session record citing the Lean theorems at [9,9,3,21].