A registered result in its source context
Original ledger classification: eta_B from the integrated BDP Boltzmann ODE at the frozen M1 -- near-hit (factor ~1.1) with no M_R dial [C]/[X]
Recorded statement: Track 3 (2026-06-23, F_transfer): eta_B from the INTEGRATED Buchmueller-Di Bari-Pluemacher Boltzmann network at the TFPT-frozen heavy scale -- promotes experiments/ftransfer/leptogenesis_boltzmann, replacing the v326 toy washout (kappa=0.3…
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.BOLTZMANN.SOLVE.01
Original ledger classification: eta_B from the integrated BDP Boltzmann ODE at the frozen M1 -- near-hit (factor ~1.1) with no M_R dial [C]/[X]
Original claim text
Track 3 (2026-06-23, F_transfer): eta_B from the INTEGRATED Buchmueller-Di Bari-Pluemacher Boltzmann network at the TFPT-frozen heavy scale -- promotes experiments/ftransfer/leptogenesis_boltzmann, replacing the v326 toy washout (kappa=0.3 tuned). Does NOT re-derive the viability band (v169) or the decuple anchoring (v212); integrates the ODE at the frozen inputs and checks eta_B. Frozen (NO free M_R dial): M1=M_scal phi0^2/A_Lambda~8.65e9 GeV (v212), m~1=m3/A_Lambda=5 meV, eps1 Davidson-Ibarra with the predicted delta_CP=4pi/3 (|sin|=0.866, v9). [E] the full-ODE efficiency kappa_f~0.09 (strong washout K~4.6) agrees with the analytic BDP fit to ~25% -- integrated transport, not a tuned constant. [C] eta_B(ODE)~6.5e-10 at the frozen M1 lands within a factor ~1.1 of the observed 6.1e-10; the M1 reproducing eta_B_obs is within a factor ~1.1 of the frozen M1. [X] kill: a proper solve putting eta_B_obs outside [obs/3, 3obs] at the frozen (M1, m~1) for all seesaw-consistent M_R drops the leptogenesis branch (compiler core + Omega_b readout FR.ETAB.01 untouched).
Original classification detail
[E] the integrated efficiency; [C] the frozen-scale eta_B near-hit (washout anchored m~1=m3/A_Lambda, M1 via the scalaron route v212); [X] the branch kill test. A typed solver, not a toy; eta_B stays [C] (a transfer target, not a compiler power).
Dependencies as recorded
FR.ETAB.01; v169; v212; v9; v7
Open the original ledger source, row 84Location 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-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
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.
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- SummaryFrontier and open physical interfaces
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v372_ftransfer_boltzmann.pyRegistered verification module · frontier
Read the description recorded in the module registry
Track 3 (F_transfer): eta_B from the INTEGRATED Buchmueller-Di Bari-Pluemacher Boltzmann network at the TFPT-frozen heavy scale -- promotes the experiments/ftransfer solve, replacing the v326 toy washout. Frozen M1=M_scal phi0^2/A_Lambda (~8.65e9 GeV, v212), m~1=m3/A_Lambda=5 meV, delta_CP=4pi/3. [E] integrated efficiency kappa_f~0.09 (strong washout K~4.6) agrees with the BDP fit to ~25%. [C] eta_B(ODE)~6.5e-10 at the frozen M1 lands within a factor ~1.1 of the observed 6.1e-10, NO M_R dial; the M1 reproducing eta_B_obs is within a factor ~1.1 of the frozen one. [X] kill: eta_B outside [obs/3,3obs] for all seesaw-consistent M_R would drop the leptogenesis branch. Stays [C] (a transfer target, not a compiler power).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.