A registered result in its source context
Original ledger classification: Physical [C] (viable falsifiable scenario; M1/washout scenario inputs)
Recorded statement: ETA_B LEPTOGENESIS TRANSFER OPERATIONALISED (the Tier-3 F_transfer Boltzmann path made falsifiable; NOT a new structural class, NOT a compiler theorem): type-I thermal leptogenesis eta_B ~ 0.96e-2 eps_1 kappa_f (sphaleron a_sph=28/79) fed…
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.ETAB.02
Original ledger classification: Physical [C] (viable falsifiable scenario; M1/washout scenario inputs)
Original claim text
ETA_B LEPTOGENESIS TRANSFER OPERATIONALISED (the Tier-3 F_transfer Boltzmann path made falsifiable; NOT a new structural class, NOT a compiler theorem): type-I thermal leptogenesis eta_B ~ 0.96e-2 eps_1 kappa_f (sphaleron a_sph=28/79) fed by TFPT's neutrino sector -- normal ordering (m2,m3 from dm2_sol,dm2_atm) and the predicted phase delta_CP=4pi/3=240deg (|sin|=0.866). (1) Davidson-Ibarra eps_1=(3/16pi)M1 m3/v^2 ~ 8.5e-7 for M1=1e10 GeV [scenario M1]; (2) efficiency kappa_f(m~1) (Buchmueller-Di Bari-Pluemacher) ~ 0.03-0.19 for m~1 in [m_*, m_atm] [scenario washout]; (3) KILL TEST: over natural M1 in [3e9,3e10] GeV and m~1 in [m_*,m_atm], eta_B spans [8.4e-11, 4.7e-9] which BRACKETS the observed 6.1e-10 -- the canonical point (M1=1e10, m~1=5e-3, delta=240deg) gives 6.0e-10 (NOT tuned). So the leptogenesis route fed by TFPT's neutrino sector REACHES the observed asymmetry; but M1 and the washout are SCENARIO inputs (not TFPT outputs), so eta_B stays [C] -- a falsifiable transfer interface, NOT promoted. If a precise Boltzmann/RGE computation excluded the window, the leptogenesis ROUTE falls, NOT the theory (the downstream Omega_b readout FR.ETAB.01 is independent and already hit). Seesaw RGE running (PyR@TE) = an O(1) correction, flagged. Python-only
Original classification detail
Physical [C]: thermal-leptogenesis route viable (band brackets observed 6.1e-10); M1/washout scenario inputs, eta_B stays [C]
Dependencies as recorded
FR.ETAB.01; FLAV.RGSTAB.01; v9_neutrino_texture.py
Open the original ledger source, row 282Location 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-13 (QGEO rigidity theorem v168 + [formula in source] leptogenesis interface v169)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.
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)tfpt research contracts
- Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)Research contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Route B — leptogenesis interface ( ).Frontier and open physical interfaces
Registered verification modules
- v169_etaB_boltzmann_interface.pyRegistered verification module · registry
Read the description recorded in the module registry
the η_B leptogenesis transfer operationalised (Tier-3 F_transfer, NOT a new class): type-I thermal leptogenesis η_B ~ 0.96e-2·ε₁·κ_f (sphaleron 28/79) fed by TFPT's NO neutrino spectrum + the predicted δ_CP=240°. Davidson-Ibarra ε₁=(3/16π)M1·m3/v² ~ 8.5e-7 for M1=1e10 GeV; efficiency κ_f(m̃₁) ~ 0.03–0.19. KILL TEST: over natural M1∈[3e9,3e10] GeV and washout, η_B spans [8.4e-11, 4.7e-9] which BRACKETS the observed 6.1e-10 (canonical M1=1e10, m̃₁=5e-3 gives 6.0e-10, NOT tuned) ⇒ the route is VIABLE; but M1/washout are scenario inputs so η_B stays [C]. If excluded, the route falls, not the theory.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.