A registered result in its source context
Original ledger classification: Numerical/synthesis [E]/[C]/[I] (F_transfer solver suite)
Recorded statement: THE F_transfer SOLVER SUITE (2026-06-22): the four transfer readouts as ONE runnable harness, each a gapped relaxation to a unique attractor, with values + uncertainties + honest typing (productises FR.DYNAMICS.01/v303). [E] F_pole…
Statement, assumptions and sources
Paper context: Origin Theory
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.SUITE.01
Original ledger classification: Numerical/synthesis [E]/[C]/[I] (F_transfer solver suite)
Original claim text
THE F_transfer SOLVER SUITE (2026-06-22): the four transfer readouts as ONE runnable harness, each a gapped relaxation to a unique attractor, with values + uncertainties + honest typing (productises FR.DYNAMICS.01/v303). [E] F_pole (Koide): Moebius contraction to Q*=2/3 with multiplier (2/3)^6 = the seam-clock subleading eigenvalue, unique attractor at the SEAM rate. [C] F_Boltzmann (eta_B): washout contraction to the balance 6.1e-11, monotone (H-theorem), external thermal rate. [C] F_relic (axion): the comoving number N=E/omega is the adiabatic invariant, the relic freezes (seed theta_i=3pi/5), cosmological rate. [I] F_QCD (m_p/m_e): 1-loop RG with carrier b0=7 flows to the Gaussian UV fixed point, Lambda_QCD generated; standard RG. [N] F_RareKaon (bridge): BR(K+)=9.45e-11 on NA62 2016-2024 (v202). [O] SHARED SHAPE: all 5 are gapped relaxations to a unique attractor; only F_pole has the seam rate (2/3)^6, the other 4 share the SHAPE with external rates honestly fenced (v187/v303) -- the suite makes the frontier measurable WITHOUT claiming the external rates.
Original classification detail
[E] the F_pole seam-rate contraction; [C] the Boltzmann/relic relaxations (shape, external rates); [I] the QCD RG flow; [N] the rare-kaon bridge. A productisation/solver harness of v303, NOT a new claim; the external rates stay honestly fenced.
Dependencies as recorded
FR.DYNAMICS.01; v303; v82; v184; v185; v202
Open the original ledger source, row 425Location 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.
- Origin Theory
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-22 (next-steps round: the keystone collapsed to one shared premise (Lean [formula in source] one citable theorem), the [formula in source] solver suite, the cusp weight derived from a minimal rewrite, and the [formula in source] pressure point: FORM.QGEO.BW.01, v325, v326, v327, v328)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.
- Honest statusinput 4 origin theory
- 2026-06-23 (Track 3 — the [formula in source] functor promoted from contracts to TYPED runnable solvers with kill tests: Koide source [formula in source] pole ( v371), [formula in source] Boltzmann ( v372), axion finite- [formula in source] relic ( v373), [formula in source] uncertainty budget ( v374))Research changelog; TFPT — Introduction and reading guide
- Honest statusorigin theory
- Honest statusOrigin Theory
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Honest statusinput 4 origin theory
Registered verification modules
- v326_ftransfer_suite.pyRegistered verification module · frontier
Read the description recorded in the module registry
The F_transfer solver suite: the four transfer readouts as ONE runnable harness, each a gapped relaxation to a unique attractor, with values + uncertainties + honest typing (productises v303). F_pole (Koide): Moebius contraction to Q*=2/3 with multiplier (2/3)^6 = the seam-clock subleading eigenvalue, unique attractor at the SEAM rate. F_Boltzmann (eta_B): washout contraction to the balance 6.1e-11, monotone (H-theorem), external thermal rate. F_relic (axion): the comoving number N=E/omega is the adiabatic invariant, the relic freezes (seed theta_i=3pi/5), cosmological rate. F_QCD (m_p/m_e): 1-loop RG with carrier b0=7 flows to the Gaussian UV fixed point, Lambda_QCD generated; standard RG. F_RareKaon (bridge): BR(K+)=9.45e-11 on NA62 2016-2024 (v202). Only F_pole has the seam rate (2/3)^6; the other four share the SHAPE with external rates honestly fenced (v187/v303) -- the suite makes the frontier measurable without claiming the external rates.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.