Skip to main content

Follow the source behind the result.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

v211_axion_spine_angle.py

verification/v211_axion_spine_angle.py

This is a registered verification module. Read its original code and the paper sections that cite it, then follow the linked claim to its present classification.

Read the publication code on this page

The registered Python source is shown as text. Displaying it does not execute the code.

"""v211 -- Axion DM, the spine-angle branch theta_i = pi N_fam/g_car = 3 pi/5
(108 deg): an ALTERNATIVE, more robust misalignment angle than the
determinant-line hilltop theta_i ~ 170 deg of v185. A [C] kill-test branch,
NOT a closure: the abundance is still cosmology, and the spine motive competes
with the seam-value motive -- the full finite-T solver decides.

  CONTEXT (v185 / FR.DM.02/03).  The determinant-line axion f_a = M_scal/128 at
  the hilltop theta_i = pi(1 - phi_seam) ~ 170 deg OVER-produces: the converged
  finite-T solve gives Omega_a h^2 ~ 0.66 ~ 5.5x above Omega_DM h^2 = 0.12, and
  Omega_DM is reached only at theta_i ~ 106 deg. Near the 170 deg hilltop the
  relic is exponentially sensitive (a fragile scenario).

  THE SPINE-ANGLE PROPOSAL.
  [I] 1. RATIONAL MOTIVE (no fit).  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.
  [N] 2. ON TARGET.  the same finite-T solver (v185 normalisation: theta_i=1 ->
        Omega_a h^2 ~ 0.03) reaches Omega_DM = 0.12 at theta_i ~ 106 deg; the
        spine angle 108 deg sits essentially there (|108-106| ~ 2 deg). The
        harmonic estimate 0.03 theta^2 = 0.03*(3 pi/5)^2 ~ 0.107 confirms the
        order; a mild anharmonic factor (theta well below the hilltop) lifts it
        to ~0.12.
  [C] 3. ROBUST (the genuine advantage over v185).  108 deg lies in the MILD-
        anharmonic regime, FAR below the 170 deg hilltop, so the relic is NOT
        exponentially sensitive to theta_i -- a far more robust landing on
        Omega_DM than the determinant-line/hilltop branch. IF the misalignment
        angle is the spine quotient, the determinant-line axion is ALL of dark
        matter WITHOUT hilltop tuning.
  [O] 4. 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. This
        branch is registered as DM.AXION.SPINE.01, decided by the full solver --
        a sharper SCENARIO, not a derivation. The abundance is cosmology, never
        a compiler output.
  [X] 5. KILL TEST (dated).  a full finite-T solve at theta_i = 3 pi/5,
        f_a = M_scal/128, N_DW = 1: if Omega_a h^2 is NOT in ~[0.08, 0.16] the
        spine branch is demoted (the compiler core untouched; the no-WIMP E8
        scan is independent).

  Python-only (rational angle + harmonic estimate; the full finite-T ODE with
  chi(T) is the standard cosmology solve, flagged, not a compiler claim).
"""
import mpmath as mp

from tfpt_constants import check, summary, reset, N_fam, g_car

mp.mp.dps = 30
OMEGA_DM = mp.mpf('0.12')          # Planck Omega_DM h^2
THETA_TARGET_DEG = 106.0            # where the v185 full solver reaches Omega_DM


def run():
    reset()
    print("v211 axion spine angle theta_i = pi N_fam/g_car = 3 pi/5 (108 deg) [C] kill-test branch")

    # 1. rational motive, no fit
    theta_i = mp.pi * N_fam / g_car
    theta_deg = float(theta_i * 180 / mp.pi)
    check("RATIONAL MOTIVE [I]: theta_i = pi N_fam/g_car = 3 pi/5 = %.1f deg "
          "EXACTLY (spine quotient 3/5 = N_fam/g_car, a rational multiple of pi, "
          "NOT tuned to the relic)" % theta_deg,
          N_fam == 3 and g_car == 5 and abs(theta_deg - 108.0) < 1e-6)

    # 2. on target: harmonic estimate + the v185 solver target ~106 deg
    omega_harmonic = float(mp.mpf('0.03') * theta_i**2)
    check("ON TARGET [N]: the full finite-T solver (v185 norm theta=1 -> 0.03) "
          "reaches Omega_DM at theta ~ 106 deg; the spine angle 108 deg is "
          "essentially there (~2 deg away). Harmonic estimate 0.03 theta^2 = "
          "%.3f (right order); a mild anharmonic factor lifts it to ~0.12"
          % omega_harmonic,
          abs(theta_deg - THETA_TARGET_DEG) < 3.0 and 0.09 < omega_harmonic < 0.13)

    # 3. robustness: far below the hilltop -> not exponentially sensitive
    theta_hilltop_deg = 170.4
    margin = theta_hilltop_deg - theta_deg
    check("ROBUST [C]: 108 deg is in the MILD-anharmonic regime, %.0f deg below "
          "the %.1f deg hilltop, so the relic is NOT exponentially sensitive -- "
          "a far more robust landing on Omega_DM than the determinant-line/"
          "hilltop branch (v185). If theta_i is the spine quotient, the axion is "
          "all of DM without tuning" % (margin, theta_hilltop_deg),
          margin > 50 and theta_deg < 130)

    # 4. honest: an alternative ansatz, mutually exclusive with the seam-value angle
    check("HONEST [O]: theta_i = 3 pi/5 (spine motive) and theta_i = "
          "pi(1-phi_seam) ~ 170 deg (seam-value motive, v185) are MUTUALLY "
          "EXCLUSIVE readings; neither is forced. Registered as "
          "DM.AXION.SPINE.01, decided by the full solver -- a sharper SCENARIO, "
          "not a derivation; the abundance is cosmology, never a compiler output",
          True)

    # 5. kill test
    check("KILL TEST [X] (dated): a full finite-T solve at theta_i=3 pi/5, "
          "f_a=M_scal/128, N_DW=1 -- if Omega_a h^2 NOT in ~[0.08,0.16] the spine "
          "branch is demoted (compiler core untouched; the no-WIMP E8 scan is "
          "independent); the harmonic estimate %.3f already sits in-band, the "
          "full solve is the operational test" % omega_harmonic,
          0.08 < omega_harmonic < 0.16)

    return summary("v211 axion spine angle 3 pi/5: robust DM landing [C] (kill-test branch)")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)
Recorded source fingerprint

eb14ea64a938bf6f2c901275d35226988951eed075d62663dfe9cb6763d0ce9b

Paper sections that cite this module

=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).)
What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.