The axion misalignment branch
Original ledger classification: Physical [C] (spine angle = structural rational / NOT observable post-inflationary; relic from f_a + N_DW=1; reframed by FR.DM.02)
Recorded statement: AXION DM SPINE-ANGLE BRANCH theta_i = pi N_fam/g_car = 3 pi/5 = 108 deg (2026-06-15): an ALTERNATIVE, more ROBUST misalignment angle than the determinant-line hilltop theta_i ~ 170 deg (FR.DM.03/v185, which over-produces Omega_a h^2 ~ 0.66…
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
DM.AXION.SPINE.01
Original ledger classification: Physical [C] (spine angle = structural rational / NOT observable post-inflationary; relic from f_a + N_DW=1; reframed by FR.DM.02)
Original claim text
AXION DM SPINE-ANGLE BRANCH theta_i = pi N_fam/g_car = 3 pi/5 = 108 deg (2026-06-15): an ALTERNATIVE, more ROBUST misalignment angle than the determinant-line hilltop theta_i ~ 170 deg (FR.DM.03/v185, which over-produces Omega_a h^2 ~ 0.66 ~ 5.5x). (1) [I] RATIONAL MOTIVE: theta_i = pi N_fam/g_car = 3 pi/5 = 108 deg EXACTLY (the central spine quotient 3/5 = N_fam/g_car, a rational multiple of pi, NOT tuned to the relic). (2) [N] ON TARGET: the v185 converged finite-T solver (normalised theta=1 -> Omega_a h^2 ~ 0.03) reaches Omega_DM h^2 = 0.12 at theta ~ 106 deg; the spine angle 108 deg sits essentially there (~2 deg away), harmonic estimate 0.03 theta^2 = 0.107 confirms the order, a mild anharmonic factor lifts to ~0.12. (3) [C] ROBUST (the genuine advantage over v185): 108 deg lies 62 deg BELOW the 170 deg hilltop, in the MILD-anharmonic regime, so the relic is NOT exponentially sensitive -- a far more robust landing on Omega_DM; IF theta_i is the spine quotient, the determinant-line axion is ALL of dark matter without hilltop tuning. (4) [O] HONEST -- AN ALTERNATIVE ANSATZ: theta_i = 3 pi/5 (spine motive) and theta_i = pi(1-phi_seam) ~ 170 deg (seam-value motive, v185) are MUTUALLY EXCLUSIVE readings of the same angle; neither is forced -- the full finite-T solver decides. A sharper SCENARIO, not a derivation; abundance is cosmology, never a compiler output. (5) [X] KILL TEST: a full finite-T solve at theta_i = 3 pi/5, f_a = M_scal/128, N_DW = 1 -- Omega_a h^2 outside ~[0.08,0.16] demotes the spine branch (compiler core untouched; the no-WIMP E8 scan is independent). Python-only. POST-INFLATIONARY REFRAMING [C] (2026-07-10, FR.DM.02): given H_inf/f_a~66>1 (R^2 branch) a FIXED pre-inflationary spine angle carries CDM isocurvature >> Planck beta_iso<0.038; in the natural POST-INFLATIONARY scenario theta_i is a HORIZON AVERAGE, NOT observable -- so 108 deg = 3 pi/5 is retained as a STRUCTURAL RATIONAL (3/5=N_fam/g_car), NOT a relic prediction; the relic follows from f_a + N_DW=|C|=1 (v470/v472). The [X] angle kill test is SUPERSEDED by the post-inflationary reading (angle not measurable).
Original classification detail
Physical [C]: theta_i = pi N_fam/g_car = 3 pi/5 = 108 deg (spine quotient) lands on Omega_DM ~106 deg ROBUSTLY (mild-anharmonic, far below the 170 deg hilltop) -- a more robust DM branch than v185; an alternative ansatz, the full solver decides; kill test outside ~[0.08,0.16] demotes the branch
Dependencies as recorded
FR.DM.01; FR.DM.02; FR.DM.03; v185_axion_relic_solver.py
Open the original ledger source, row 299Location 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-26 ( v429 — the `unmapped' golden [formula in source] structure is the geometry of the one external input [formula in source] )Research changelog; TFPT — Introduction and reading guide
- Dark matter — the candidate is fixed, the scale is pendingFrontier and open physical interfaces
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-06-15 (frontier: two sharper [C] scenario branches — axion angle + leptogenesis)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.
- 2026-06-15 (the F_transfer functor contract CONTRACT.F.01)Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-28 (CXXXVIII) (the master-object wave, part 2 — the second external bird's-eye review (``one 4D lattice [formula in source] one seam simple current [formula in source] one unitary dilation [formula in source] one determinant line [formula in source] one [formula in source] '') adjudicated: its four machine-checkable candidate results verified and integrated as FOUR new modules (suite [formula in source] , ledger [formula in source] : one new row FLAV.NUSCALE.05; three contract rows updated, NO status-marker moves). (1) v983_ simple_ current_ generator.py: the SEAM.SIMPLECURRENT.GENERATOR.01 generator is identified — the glue vector [formula in source] with [formula in source] , [formula in source] , order 4 in the discriminant group [formula in source] of [formula in source] ; isotropic glue [formula in source] even unimodular rank-8 overlattice ( [formula in source] ); coset root census [formula in source] — the odd fusion powers of the ONE class carry the full [formula in source] spinor sector; kill tests (vector-class / mismatched glue) fire; holomorphy shadow [formula in source] vs [formula in source] at the lattice level; the analytic half (G1–G4) stays . (2) v984_ markov_ qca_ dilation.py: the DISCRETE leg of DYN.UNITARY.DILATION.01 realized constructively — the collision step [formula in source] is exactly unitary, the Stinespring identity [formula in source] holds symbolically, [formula in source] and six fresh ancillas give [formula in source] exactly (radius-1 collision band); must-fail fires ( [formula in source] ); typed remark AGAINST the review text: a reused mod-3 adder ancilla still reproduces the populations exactly; the continuous Hamiltonian/OS legs stay . (3) v985_ quillen_ channel_ swap.py: the v974 CHANNEL-SWAP face of ALPHA.QUILLEN.EXACT.01 resolved at the finite level by [formula in source] -character grading — the deck swap [formula in source] maps the jump spectrum [formula in source] onto the mark pattern [formula in source] exactly (odd swap fails), the graded [formula in source] difference is [formula in source] -free [formula in source] , the channelwise unit ratio is uniform [formula in source] ; continuum Bismut–Freed, KMS rigidity and the [formula in source] compensation stay . (4) v986_ nu_ scalaron_ rung.py: the SCALARON-TRACE RUNG [formula in source] GeV — a structured point INSIDE the v481 window, [formula in source] from the 1-loop requirement (the review claimed [formula in source] 1\%; the honest value is 1.8), [formula in source] sharper than the declined integer rung; exact ladder position [formula in source] , [formula in source] from the closed [formula in source] Clebsch door — adjacency TYPED, not consumed (v488 killed the Clebsch mechanism; the generation-blind scalaron trace is a different class, itself ); kill test [formula in source] eV; new row FLAV.NUSCALE.05 [C]/[N], no seesaw closure. The remaining review content is typed, not consumed: the axion line ( [formula in source] , [formula in source] ) and the Riemann–Roch carrier ARE the existing v185/v211/v189; the 4D action, chiral measure, OS package, bulk dictionary, determinant-line unification, [formula in source] , transduction matrix and joint likelihood stay open contracts exactly as registered on 2026-08-27. Paper surfaces: tfpt_research_contracts (three executed-update paragraphs), tfpt_2_standard_model (scalaron-trace rung paragraph).)Research changelog; TFPT — Introduction and reading guide
- 2026-06-24 (A falsifiable clock probe of the frontier: v397 how external is the ``external physics''?)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportFrontier and open physical interfaces
Registered verification modules
- v211_axion_spine_angle.pyRegistered verification module · frontier
Read the description recorded in the module registry
axion DM, the spine-angle branch θ_i = π N_fam/g_car = 3π/5 (108°): an ALTERNATIVE, more robust misalignment angle than the determinant-line hilltop θ_i≈170° (v185, which over-produces Ω_a h²≈0.66). [I] rational motive θ_i=π N_fam/g_car=3π/5=108° exactly (spine quotient 3/5, no fit); [N] the v185 finite-T solver (θ=1→0.03) reaches Ω_DM at θ≈106°, so 108° is essentially on target (harmonic 0.03θ²=0.107); [C] ROBUST: 108° is 62° below the 170° hilltop, in the mild-anharmonic regime — not exponentially sensitive, a far more robust landing than v185; [O] HONEST: an alternative ansatz to θ_i=π(1−φ_seam)≈170° (mutually exclusive, neither forced — the full solver decides, DM.AXION.SPINE.01); [X] kill test: full finite-T solve, Ω_a h² outside ~[0.08,0.16] demotes the branch. A [C] kill-test branch, NOT a closure.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.