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.

v986_nu_scalaron_rung.py

verification/v986_nu_scalaron_rung.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.

"""v986 -- FLAV.NUSCALE.05: the SCALARON-TRACE RUNG M_R = N_fam M_scal =
3 c3^{7/2} Mbar, a structured point INSIDE the v481 window, 1.8% from the
1-loop requirement.  Candidate [C]/[N] -- NO seesaw closure, mechanism [O].

THE POINT (external master-object review, wave 2, 2026-08-28).  v481 left
the honest endpoint 'M_R free inside the PS window; required M_R = 9.3e13
GeV under the carrier normalisation y_nu = y_t [P]'; v482 declined the
integer rung c3^3 Mbar (m_3 comes out 40% low) and v488 killed the 3/5
group-theory Clebsch rescue.  The review proposes a DIFFERENT mechanism
class for a structured point: the Majorana operator rides the scalaron
(the common trace mode, M_scal = c3^{7/2} Mbar, v253/v272 anchors) times
a generation-space insertion whose third-generation slot is the family
count N_fam = 3:

    M_R = N_fam * M_scal = 3 c3^{7/2} Mbar.

  HONEST MOTIVATION (wave-3 retype, 2026-08-28): the original trace
  argument Tr_A3 I = 3 is LOOSE -- Spec(I) = {1,1,1}, and a trace of 3
  does not make 3 an eigenvalue.  The operator reading is the Q_+
  eigenvalue route Spec{1,2,3} (v10/v50/v69); the mixed insertion
  texture M_R = M_scal diag(eps, 2eps, 3) is typed
  DATA_CONSTRAINS_TEXTURE in the nu-scalaron v2 project (untextured
  Y prop I is killed x10^4; aligned diagonal Y incompatible with v270
  PMNS).  The NUMBER below is unchanged: M3 = 3 M_scal remains the
  candidate rung.  The mechanism stays [O].

  [N] 1. THE NUMBER: 3 M_scal = 9.180e13 GeV vs the v481-required
        M_R = 9.346e13 GeV (same 1-loop SM inversion, y_nu = y_t) --
        deviation -1.8%; m_3 at the candidate rung = 0.0512 eV vs the
        observed 0.0503 eV (+1.9%, well inside the >50% RG scheme
        envelope named in v482).  NOTE: the review text claimed 'about
        one percent'; the honest number at the frozen v481 inputs is 1.8.
  [E] 2. EXACT LADDER POSITION: 3 c3^{7/2} = (3 sqrt(c3)) c3^3, i.e. the
        candidate sits a factor 3 sqrt(c3) = 3/sqrt(8 pi) = 0.598413
        below the declined integer rung -- numerically 0.26% from the
        3/5 = 0.6 of the v482/v488 story.  ADJACENCY TYPED HONESTLY: the
        v488 negative killed 3/5 as an SO(10)/PS CLEBSCH; the
        scalaron-trace reading is a different mechanism class (an
        absolute scale from the gravity/scalaron sector times a
        generation-space insertion whose third slot is N_fam -- the
        Q_+ Spec{1,2,3} eigenvalue route, not Tr I = 3; texture
        DATA_CONSTRAINS_TEXTURE), and it is NOT derived here: the
        mechanism stays [O].
  [N] 3. SHARPER THAN THE DECLINED RUNG: |m_3(cand)/obs - 1| = 0.019 vs
        0.40 for c3^3 Mbar -- a 20x closer structured point.
  [E] 4. CONSISTENCY ACROSS THE SCALARON SECTOR: the same M_scal already
        carries f_a = M_scal/128 (v185) and the inflation scale (v253);
        the candidate adds no new scale atom -- it reuses the frozen
        c3^{7/2} rung times the frozen N_fam.
  [X] 5. KILL TEST (inherited and sharpened): Sigma m_nu (NO, m1 ~ 0) at
        the candidate rung = 0.059 eV; a robust cosmological bound below
        0.059 eV, or a measured m_3 pulling the required M_R more than
        ~5% away from 9.18e13 GeV under the same premise chain, kills
        the candidate.

HONEST SCOPE (firewall): [P] y_nu = y_t stays a NAMED premise (v481); the
1-loop SM running is the frozen v481 tool (scheme envelope >50% per
v482); the scalaron-trace mechanism is a typed hypothesis, not a
derivation -- this row does NOT close FLAV.NUSCALE, does not move the
window candidate, and makes no PMNS claim.  It registers a structured,
falsifiable point inside the window.
"""
import math

from tfpt_constants import check, summary, reset, c3, Mbar, N_fam

MZ = 91.1876
V_EW = 246.22
YT_MZ = math.sqrt(2) * 162.5 / V_EW
LAM_MZ = 0.130
A_INV_MZ = (59.01, 29.59, 8.44)
M3_OBS = 0.0503                       # eV (NuFIT NO, v481 frozen input)
DM2_21 = 7.42e-5                      # eV^2
C3 = float(c3)
MBARF = float(Mbar)


def run_sm_up(mu_hi, n=20000):
    """the frozen v481 1-loop SM runner (verbatim tool, read-only)."""
    g1, g2, g3 = [math.sqrt(4 * math.pi / a) for a in A_INV_MZ]
    yt, lam = YT_MZ, LAM_MZ
    h = math.log(mu_hi / MZ) / n
    k = 1 / (16 * math.pi ** 2)
    b = (41 / 10, -19 / 6, -7)
    I_alpha = 0.0
    for _ in range(n):
        I_alpha += (-3 * g2 * g2 + 6 * yt * yt + lam) * h
        dg1 = k * b[0] * g1 ** 3
        dg2 = k * b[1] * g2 ** 3
        dg3 = k * b[2] * g3 ** 3
        dyt = k * yt * (4.5 * yt ** 2 - 8 * g3 ** 2 - 2.25 * g2 ** 2
                        - (17 / 20) * g1 ** 2)
        dlam = k * (24 * lam ** 2 - 6 * yt ** 4 + 12 * lam * yt ** 2
                    - 3 * lam * (3 * g2 ** 2 + 0.6 * g1 ** 2)
                    + 0.375 * (2 * g2 ** 4 + (g2 ** 2 + 0.6 * g1 ** 2) ** 2))
        g1 += h * dg1
        g2 += h * dg2
        g3 += h * dg3
        yt += h * dyt
        lam += h * dlam
    return yt, math.exp(-I_alpha / (16 * math.pi ** 2))


def m3_pred_eV(MR):
    yt, R = run_sm_up(MR)
    return (yt * V_EW / math.sqrt(2)) ** 2 / MR * R * 1e9


def run():
    reset()
    print("v986  FLAV.NUSCALE.05: the scalaron-trace rung "
          "M_R = N_fam M_scal = 3 c3^{7/2} Mbar (candidate)")

    M_scal = C3 ** 3.5 * MBARF
    MR_cand = N_fam * M_scal

    lo, hi = 1e13, 1e16
    for _ in range(60):
        mid = math.sqrt(lo * hi)
        if m3_pred_eV(mid) > M3_OBS:
            lo = mid
        else:
            hi = mid
    MR_req = math.sqrt(lo * hi)
    dev = MR_cand / MR_req - 1
    check("THE NUMBER [N]: M_R = 3 M_scal = %.3e GeV vs the v481-required "
          "%.3e GeV (same frozen 1-loop inversion, y_nu = y_t [P]) -- "
          "deviation %.1f%% (the review said 'about 1%%'; honest value "
          "1.8), inside the PS window and the >50%% v482 RG envelope"
          % (MR_cand, MR_req, 100 * dev),
          abs(dev) < 0.03 and 4.2e13 < MR_cand < 2.4e15)

    m3_cand = m3_pred_eV(MR_cand)
    check("m_3 AT THE CANDIDATE [N]: %.4f eV vs observed %.4f eV "
          "(ratio %.4f, +1.9%%)" % (m3_cand, M3_OBS, m3_cand / M3_OBS),
          abs(m3_cand / M3_OBS - 1) < 0.03)

    ladder = 3 * math.sqrt(C3)
    check("EXACT LADDER POSITION [E]: 3 c3^{7/2} = (3 sqrt c3) c3^3 with "
          "3 sqrt(c3) = 3/sqrt(8 pi) = %.6f -- 0.26%% from the 3/5 of "
          "the v482/v488 story; v488 killed 3/5 as an SO(10) CLEBSCH, "
          "this is a DIFFERENT mechanism class (generation-blind "
          "scalaron trace), itself [O]" % ladder,
          abs(ladder - 3 / math.sqrt(8 * math.pi)) < 1e-15
          and abs(ladder / 0.6 - 1) < 0.003)

    m3_old = m3_pred_eV(C3 ** 3 * MBARF)
    check("SHARPER THAN THE DECLINED RUNG [N]: |m3/obs - 1| = %.3f at the "
          "candidate vs %.3f at c3^3 Mbar (v482 declined) -- a ~20x "
          "closer structured point" % (abs(m3_cand / M3_OBS - 1),
                                       abs(m3_old / M3_OBS - 1)),
          abs(m3_cand / M3_OBS - 1) < 0.1 * abs(m3_old / M3_OBS - 1))

    f_a = M_scal / 128
    check("SCALARON-SECTOR CONSISTENCY [E]: the same M_scal = c3^{7/2} "
          "Mbar = %.3e GeV already carries f_a = M_scal/128 = %.3e GeV "
          "(v185) -- the candidate reuses the frozen rung times the "
          "frozen N_fam = %d, no new scale atom"
          % (M_scal, f_a, N_fam),
          2.0e11 < f_a < 2.8e11 and N_fam == 3)

    summ = M3_OBS + math.sqrt(DM2_21)
    check("KILL TEST [X]: Sigma m_nu (NO, m1 ~ 0) = %.4f eV at the "
          "candidate; a robust bound below 0.059 eV or a required-M_R "
          "shift beyond ~5%% kills it" % summ,
          0.055 < summ < 0.062)

    check("FIREWALL (scope): y_nu = y_t stays a NAMED premise [P]; the "
          "scalaron-trace mechanism is a typed hypothesis [O], not a "
          "derivation (the Tr I = 3 motivation is loose -- Spec(I) = "
          "{1,1,1}; the operator reading is Q_+ Spec{1,2,3}, texture "
          "DATA_CONSTRAINS_TEXTURE); FLAV.NUSCALE does NOT close; the "
          "v481 window candidate and the v488 negative are untouched; "
          "no PMNS claim",
          True)

    return summary("v986 scalaron-trace rung M_R = 3 c3^{7/2} Mbar: "
                   "structured candidate 1.8% inside the window")


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

836bf2a081b98fec8566a7e6f21217bff7534af60b45726254317e2d47fecf64

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).)
=150 2026-08-28 (CXL) (review wave 3 — the third external bird's-eye review adjudicated and integrated: ONE new module v993 plus THREE new \ contracts plus a v986 motivation retype plus the dual-rest formula; suite [formula in source] , ledger [formula in source] ; NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v992). (1) v993_ minimal_ defect_ selector.py ( [formula in source] ): the FULL rank-8 ADE census (SNF of Cartan) with cyclic [formula in source] glue on BOTH factors selects [formula in source] uniquely ( [formula in source] aliases collapsed) — the [formula in source] architecture of v624 is an OUTPUT of (rank 8 [formula in source] cyclic [formula in source] ), not an INPUT; kill tests [formula in source] / [formula in source] (product 16, fail cyclicity) and the [formula in source] control [formula in source] ; [formula in source] exact (lattice shadow of [formula in source] ); the [formula in source] average is the UNIQUE trace-preserving finite conditional expectation (uniqueness needs the module property; kernel dim [formula in source] without it). Ledger notes on AX.P1.01/ AX.P2.01: axiom typing UNCHANGED; the equidistribution identification stays the open \ of v813; cited-not-proved remain [formula in source] and holomorphic uniqueness of [formula in source] . SEAM.SIMPLECURRENT.GENERATOR.01 canonical status grows the [formula in source] parity-shadow line. (2) Three new research contracts, all , no scripts: GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings as unique stationary points of one nonabelian zeta-det/inflow functional; generalizes ALPHA.QUILLEN.EXACT.01; honest: [formula in source] is currently an external input); GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 pole from the same spectral determinant; Einstein equation stays downstream/conditional; GRAV.NONCIRCULAR.01 binding); FTRANSFER.SK.RHO0.01 (cosmological transfers need [formula in source] , not [formula in source] alone; typed candidate [formula in source] , [formula in source] orientation picks [formula in source] ; FTRANSFER.GENERATING.01 covers equilibrium only). (3) v986 docstring retype: the [formula in source] motivation is loose ( [formula in source] ); the operator reading is the [formula in source] eigenvalue route [formula in source] ; texture data-constrains-texture; check logic and pass/fail UNCHANGED. (4) Dual rest: introduction status card (and the research-contracts keybox, with a brief frontier mirror) now carries [formula in source] (compiler) beside [formula in source] (strict-physical-TOE accounting of the 2026-08-27/28 contract wave); nothing in the second formula is claimed closed. Exploration not promoted: the wave-3 Quillen zero-mode Gram identity is a reformulation ( [formula in source] ), not a Quillen-metric object.
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.