ResultsCalibration Constant Pagereadycalibration-cascade, constants-ledger, numerical-predictionsThis page displays an anchored SI readout after the neutron mass enters. It does not make the neutron-mass anchor itself a prediction.
This page displays an anchored SI readout after the neutron mass enters. It does not make the neutron-mass anchor itself a prediction.
L2τ-effectivereadyrendered diagram
Boundary.
This page displays an anchored SI readout after the neutron mass enters. It does not make the neutron-mass anchor itself a prediction.
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_n, R1
cme · m_e
Formula
m_e = m_n/R1
TeX
m_e = m_n/R_1
Plain-text fallback
m_e = m_n / R1
Unit context
si_after_neutron_mass_anchor
Dependency Diagram
Directed dependency cascade for m_e from the Calibration Cascade metadata.Mermaid sourcetext equivalent
flowchart TD
iota["ι_τ"] --> R1["R1 mass ratio"]
alpha["α"] --> R1
mn["m_n anchor"] --> me["m_e = m_n/R1"]
R1 --> me
me --> compare["CODATA 2018 comparison"]
Text equivalent. ι_τ and α feed R1; R1 and the neutron-mass anchor converge into m_e; m_e 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).