Skip to main content

A registered result in its source context

Original ledger classification: Numerical (transfer reproduction) [C]

Recorded statement: F_QCD TRANSFER REPRODUCTION OF m_p/m_e (2026-06-18): the contract-only F_transfer/qcd_matching_mp_me pipeline implemented as a real solver. 2-loop alpha_s(M_Z)=0.1179 run with n_f thresholds (carrier b3=-7) gives alpha_s(2 GeV)~0.30 and…

Statement, assumptions and sources

Paper context: Frontier and open physical interfaces

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

FR.MPME.02

Original ledger classification: Numerical (transfer reproduction) [C]

Original claim text

F_QCD TRANSFER REPRODUCTION OF m_p/m_e (2026-06-18): the contract-only F_transfer/qcd_matching_mp_me pipeline implemented as a real solver. 2-loop alpha_s(M_Z)=0.1179 run with n_f thresholds (carrier b3=-7) gives alpha_s(2 GeV)~0.30 and Lambda^(3)_MSbar~0.33 GeV; with the lattice bridge C_p=m_p/Lambda (external O(1)) and the closed m_e, m_p/m_e~1824 vs measured 1836.15 within ~7% external budget. NOT a compiler power -- a [C] transfer reproduction; firewall forbids a compiler integer (SU(9) absent from D5(+)A3). Advances FR.MPME.01.

Original classification detail

[E] b3=-7 carrier output; [N] 2-loop alpha_s running reproduces PDG alpha_s(2 GeV)~0.30; [C] m_p/m_e~1824 reproduced within ~7% external budget (lattice C_p + alpha_s); [X] firewall -- m_p/m_e not an admissible compiler integer, stays [C].

Dependencies as recorded

FR.MPME.01; QCD.LAMBDA.01; CONTRACT.F.01

Open the original ledger source, row 348

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

Sections that explicitly cite this claim

A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

Registered verification modules

  • v262_fqcd_mp_me.pyRegistered verification module · registry
    Read the description recorded in the module registry

    FR.MPME.02 — the F_QCD transfer pipeline for m_p/m_e, implemented as a real solver (the one F_transfer pipeline that was contract-only, experiments/ftransfer/qcd_matching_mp_me). NOT a compiler power -- a [C] standard-physics transfer reproduction. [E] b3=-7=-(11-2 n_f/3) at n_f=6 (the SM/SU(3) one-loop coefficient, the only TFPT number in the run); [N] 2-loop alpha_s(M_Z)=0.1179 run down with thresholds gives alpha_s(2 GeV)~0.30 (real ODE solve); [C] Lambda^(3)_MSbar~0.33 GeV x lattice C_p=m_p/Lambda (external O(1)) over the closed m_e gives m_p/m_e~1824 vs measured 1836.15 within ~7% external budget; [X] firewall: m_p/m_e is not an admissible compiler integer (SU(9) absent from D5(+)A3), stays [C]. Advances FR.MPME.01 [O] to FR.MPME.02 [C].

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Search later reviewed research for this identifierRead the coverage boundaries