Skip to main content

A registered result in its source context

Original ledger classification: Physical [C] (sharper scenario; washout anchored; M_1 unpinned)

Recorded statement: HONEST TEST OF THE ANCHORED-BOLTZMANN eta_B PROPOSAL (external review 2026-06-14; firewall verdict: SHARPER SCENARIO, not a closure): the proposal M_1 = M_R phi0^4 and m~1 = m_3/A_Lambda was tested exactly. (1) WASHOUT ANCHOR [C]: m~1 =…

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.03

Original ledger classification: Physical [C] (sharper scenario; washout anchored; M_1 unpinned)

Original claim text

HONEST TEST OF THE ANCHORED-BOLTZMANN eta_B PROPOSAL (external review 2026-06-14; firewall verdict: SHARPER SCENARIO, not a closure): the proposal M_1 = M_R phi0^4 and m~1 = m_3/A_Lambda was tested exactly. (1) WASHOUT ANCHOR [C]: m~1 = m_3/A_Lambda = m_3/10 ~ 5e-3 eV (m_3 ~ sqrt(dm^2_atm) ~ 0.05 eV; A_Lambda=10 = |E(K5)| the action-grammar atom) lands in the strong-washout window [m_*, m_atm] -- a TFPT-flavoured value, a [C] structural relation (like Koide 53/54), not derived; it removes the washout as a FREE dial. (2) M_1 NOT ANCHORED [honest negative]: M_R = v^2/m_3 ~ 6e14 GeV is the SEESAW scale (depends on the un-fixed neutrino Dirac Yukawa) and the nearest clean TFPT powers of Mbar both MISS it (c3-power off ~75%, phi0-power off ~40%; log_c3=2.57, log_phi0=2.83 non-integer), so M_1 = M_R phi0^4 merely RELOCATES the free input M_1 -> M_R -- exactly the reverse-engineering the firewall rejects (the reviewer's 6.0e-10 uses M_R=1.3e15; the seesaw value gives M_1=4.8e9 and eta_B=3.4e-10 -- the hit shifts with M_R, the tell that M_1 is unpinned). (3) NET [C]: feeding (m~1=m_3/10, M_1=M_R phi0^4) into the v169 thermal-leptogenesis estimate lands eta_B in the observed band O(1e-10) bracketing 6.1e-10 (route VIABLE), but M_1 stays a scenario input -- the proposal cuts the free inputs from TWO to ONE, NOT to zero; eta_B stays [C], a sharper scenario, not a derivation. Downstream FR.ETAB.01 (eta_B from closed Omega_b h^2) is the independent, already-hit reading. Python-only

Original classification detail

Physical [C]: m~1=m_3/A_Lambda anchors the washout; M_1=M_R phi0^4 does NOT pin M_1 (M_R = seesaw scale, not a compiler output); eta_B stays a sharper scenario

Dependencies as recorded

FR.ETAB.02; FR.ETAB.01; FLAV.RGSTAB.01; v9_neutrino_texture.py; v169_etaB_boltzmann_interface.py

Open the original ledger source, row 179

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.

All 14 linked sections

Registered verification modules

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