A registered result in its source context
Original ledger classification: Physical [C] (post-inflationary reframing)
Recorded statement: determinant-line axion f_a=M_scal/(2 dim S+ |mu4|)=M_scal/128~2.39e11 GeV, m_a~23.8 ueV. POST-INFLATIONARY REFRAMING [C] (2026-07-10; isocurvature analysis experiments/theory-contracts/axion01-06): the R^2 branch fixes H_inf=pi Mbar…
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.DM.02
Original ledger classification: Physical [C] (post-inflationary reframing)
Original claim text
determinant-line axion f_a=M_scal/(2 dim S+ |mu4|)=M_scal/128~2.39e11 GeV, m_a~23.8 ueV. POST-INFLATIONARY REFRAMING [C] (2026-07-10; isocurvature analysis experiments/theory-contracts/axion01-06): the R^2 branch fixes H_inf=pi Mbar sqrt(A_s r/2)~1.6e13 GeV, so H_inf/f_a~66>1 and H_inf/(2pi f_a)~10 -- a FIXED pre-inflationary misalignment angle (108 deg spine DM.AXION.SPINE.01 or 170 deg hilltop FR.DM.03) is INCONSISTENT (CDM isocurvature >> Planck beta_iso<0.038). The natural DIAL-FREE resolution is POST-INFLATIONARY PQ breaking: theta_i is a horizon average (NOT a prediction), the relic follows from f_a alone -- f_a~2.39e11 sits in the post-inflationary window (Omega_a h^2~O(0.1-0.5)). DOMAIN-WALL-SAFE: N_DW = seam det-line index = inflow level |C|=1 (v470/v472) => N_DW=1 [C]. The axion branch is REFRAMED not killed: drop the fixed angle as observable, keep f_a + N_DW=1. NOT closed (relic O(1) string/wall uncertainty; N_DW identification [C])
Original classification detail
Physical [C]: post-inflationary determinant-line axion, relic from f_a (in window), N_DW=|C|=1 domain-wall-safe; the fixed pre-inflationary spine/hilltop angle is inconsistent (isocurvature) and NOT observable -- reframed, not a closed hit
Dependencies as recorded
FR.DM.01; M_scal=c3^{7/2}Mbar; v470; v472
Open the original ledger source, row 36Location 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
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.
- Dark matter — the candidate is fixed, the scale is pendingFrontier and open physical interfaces
- 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
- v25_frontier_conjectures.pyRegistered verification module · frontier
Read the description recorded in the module registry
conjectures: Koide φ₀/24; axion f_a = M_scal/128
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.