A registered result in its source context
Original ledger classification: F_pole external [E]/[C]/[O]: the Koide source->pole transfer is a one-loop EM effect; Koide is rescaling-invariant (Q(c*m)=Q(m)) so the shift is flavor-split; the tree->pole gap 0.0022 is one-loop-EM-sized (=phi0/24 to 0.6%, =alpha/pi to ~5%), pole at 2/3 (IR attractor); a 1-loop QED per-lepton-log estimate shifts Koide by EM-loop order toward 2/3; the exact flow time t~2.84 is scheme-dependent external QED, only sized; F_pole stays [C], firewalled (v187) -- rate forced (v327/v82), flow external
Recorded statement: F_pole, the external side (2026-06-25): the Koide source->pole transfer is a ONE-LOOP ELECTROMAGNETIC effect, not an algebraic step -- the honest 'do the external physics' follow-up to v93 (which left the source->pole flow time t~2.84 as…
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.POLE.QED.01
Original ledger classification: F_pole external [E]/[C]/[O]: the Koide source->pole transfer is a one-loop EM effect; Koide is rescaling-invariant (Q(c*m)=Q(m)) so the shift is flavor-split; the tree->pole gap 0.0022 is one-loop-EM-sized (=phi0/24 to 0.6%, =alpha/pi to ~5%), pole at 2/3 (IR attractor); a 1-loop QED per-lepton-log estimate shifts Koide by EM-loop order toward 2/3; the exact flow time t~2.84 is scheme-dependent external QED, only sized; F_pole stays [C], firewalled (v187) -- rate forced (v327/v82), flow external
Original claim text
F_pole, the external side (2026-06-25): the Koide source->pole transfer is a ONE-LOOP ELECTROMAGNETIC effect, not an algebraic step -- the honest 'do the external physics' follow-up to v93 (which left the source->pole flow time t~2.84 as an undetermined [P] generator) and to the clock No-Go (the unitary/algebraic lens cannot reach a contraction rate). [E] KOIDE RESCALING INVARIANCE: Q(m)=sum m/(sum sqrt m)^2 is degree-0 homogeneous, Q(c*m)=Q(m) for all c>0, so any FLAVOR-UNIVERSAL running leaves the Koide ratio EXACTLY fixed -- the source->pole shift is purely the FLAVOR-SPLIT (per-lepton) part of the running. [C] ONE-LOOP-EM SIZE: the tree ladder gives 2/3-Q_src=0.002203, which is the TFPT seed quantum phi0/24=0.002216 to 0.6% AND the one-loop EM scale alpha/pi=0.002323 to ~5%; the PDG pole sits AT 2/3 (gap 2.2e-6, the IR attractor) -- the source->pole gap is a one-loop EM size, so the transfer is QED. [C] FLAVOR-SPLIT QED ESTIMATE: a standard 1-loop QED pole<->MSbar relation with the per-lepton log shifts Koide by EM-loop order (|dQ|/(alpha/pi)~0.5) and the pole (IR) is closer to 2/3 than the MSbar (UV) -- the IR is the attractor (v82 direction); size EM-loop, exact value scheme/scale-dependent. [O]/[C] HONEST NEGATIVE/FIREWALL: the EXACT flow time t~2.84 (v93) depends on the renormalisation scheme and the tree-scale identification (external QED choices), so it is NOT derived here, only sized; the algebraic lens forces the RATE (2/3)^6 (v327/v82), this external EM physics supplies the source->pole flow; F_pole stays [C], firewalled (v187), never re-pressed into the compiler. VERDICT: the Koide source->pole transfer is identified as a one-loop EM effect (size ~alpha/pi, IR-attractor direction), confirming F_transfer is genuinely external -- the open theme is sharpened (QED), not closed. Numerical (mpmath), Python-only.
Original classification detail
Physical
Dependencies as recorded
FR.KOIDE.04; FR.KOIDE.05; CONTRACT.F.01; FR.POLE.SOLVE; v93; v82; v327; v371; v187
Open the original ledger source, row 488Location 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.
- Frontier and open physical interfaces
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.
- 2026-06-25 (F_pole external: the Koide source [formula in source] pole transfer is one-loop EM: v420)Research changelog; TFPT — Introduction and reading guide
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- The Koide relation — near [formula in source] , computed exactlyFrontier and open physical interfaces
Registered verification modules
- v420_fpole_qed_running.pyRegistered verification module · frontier
Read the description recorded in the module registry
F_pole external: the Koide source->pole transfer is a ONE-LOOP ELECTROMAGNETIC effect, not an algebraic step -- the honest 'do the external physics' follow-up to v93 and the clock No-Go. Koide Q(m)=sum m/(sum sqrt m)^2 is rescaling-invariant (Q(c*m)=Q(m)) so flavor-UNIVERSAL running leaves it fixed -- the source->pole shift is purely flavor-SPLIT; the tree->pole gap 2/3-Q_src=0.002203 is one-loop-EM-sized (= phi0/24 to 0.6%, = alpha/pi to ~5%), and the PDG pole sits AT 2/3 (the IR attractor); a 1-loop QED per-lepton-log pole<->MSbar estimate shifts Koide by EM-loop order toward 2/3 (the v82 IR-attractor direction); the EXACT flow time t~2.84 (v93) is scheme/scale-dependent external QED, NOT derived, only sized. F_pole stays [C], firewalled (v187): the lens forces the RATE (2/3)^6 (v327/v82), this external EM physics supplies the flow. Numerical (mpmath), Python-only.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.