A registered result in its source context
Original ledger classification: Decision executed [E-num]/[C]/[X|P]/[O] (integer rung excluded as unstructured pin; 5/3 structure escape recorded and declined; window candidate stands)
Recorded statement: THE v481 DECISION COMPUTATION, EXECUTED (2026-07-14, deep-dive round; bracketed / assumption-robust form): the integer rung M_R = c3^3 Mbar is EXCLUDED as an UNSTRUCTURED exact pin, conditional on the carrier premise y_nu = y_t. [E-num]…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
FLAV.NUSCALE.03
Original ledger classification: Decision executed [E-num]/[C]/[X|P]/[O] (integer rung excluded as unstructured pin; 5/3 structure escape recorded and declined; window candidate stands)
Original claim text
THE v481 DECISION COMPUTATION, EXECUTED (2026-07-14, deep-dive round; bracketed / assumption-robust form): the integer rung M_R = c3^3 Mbar is EXCLUDED as an UNSTRUCTURED exact pin, conditional on the carrier premise y_nu = y_t. [E-num] THE GAP: central m_3(rung) = 0.0301 eV vs observed 0.0503 -- rescue factor 1.670 (+67%, 0.154 c3-rungs). [E-num] BRACKETED EXCLUSION: with m_t(MSbar) +-3 GeV (>3 sigma), alpha_3^-1 -+0.10 (>3 sigma), +-10% on the ADKLR kappa run-down, and the PS-leg Yukawa beta scaled x[0.5,1.5] between M_PS and M_R, the largest single shift is x1.10 and the ALL-favourable combination only x1.165 -- far below x1.670: the v481 1-loop miss is NOT an RG artifact (no exact higher-loop coefficients trusted; pure envelope argument). [C] NAMED ESCAPE, RECORDED AND DECLINED: only a third-generation Majorana STRUCTURE factor r = M_R/M_R3 ~ 1.67 revives the rung; post-hoc r_needed = 1.6696 sits 0.18% from g_car/N_fam = 5/3 -- NO mechanism forces a 3/5 Clebsch on M_R3 today, so this is a named coincidence with a named missing mechanism (a PS Majorana-sector Clebsch), DECLINED per v354/v355 -- the same discipline as the t0 ~ 30 near-miss (v478). [O] the v481 one-parameter window candidate (M_R free in [M_PS, M_GUT], required M_R = 9.3e13 GeV at rung 3.15, NO floor Sigma m_nu = 0.059 eV) never used the integer rung and STANDS. Frozen record (v84) untouched; no gate closes, no marker moves.
Original classification detail
Executed decision: rung c3^3 Mbar EXCLUDED unstructured (needs x1.67, envelopes give <= x1.165); r = 5/3 escape post-hoc, declined; FLAV.NUSCALE stays [O] window candidate. UPDATE 2026-07-15 (v488/FLAV.NUSCALE.04): the escape's mechanism search executed -- NEGATIVE ({2,3}-smooth channel weights, Y(nu^c) = 0 decouples k_Y = 5/3, Clebsches generation-blind); the rescue is dead, the window candidate is the endpoint
Dependencies as recorded
FLAV.NUSCALE.01; FLAV.NUSCALE.02; PS.RGTEST.01; v249; v272; v354; v355; v481
Open the original ledger source, row 543Location 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.
- Standard Model and flavor structure
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-07-14 (II) ( v482– v483 — the deep-dive round: the [formula in source] -scale decision computation EXECUTED (the integer [formula in source] -rung excluded unstructured, the [formula in source] -proximate structure escape recorded and declined) and the [formula in source] puncture target HALVED (the geometric side proven exact: all twisted pillowcase heat traces are [formula in source] -independent rationals, so the [formula in source] must sit in the per-mark coupling weight) — no gate closes, no marker moves)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.
- Neutrinostfpt 2 standard model
- NeutrinosStandard Model and flavor structure
- Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)Red-team audit
- 2026-07-15 (III) ( v488 — the [formula in source] Clebsch door ENUMERATED AND CLOSED: no minimal Pati–Salam/ [formula in source] Majorana channel can produce [formula in source] — the v482 escape is decided dead, the v481 window candidate stands as the honest endpoint; a clean negative result, no gate closes)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v482_seesaw_rung_decision.pyRegistered verification module · neutrinos
Read the description recorded in the module registry
FLAV.NUSCALE.03: the decision computation named by v481, EXECUTED in bracketed form -- the integer rung M_R = c3^3 Mbar is EXCLUDED as an unstructured exact pin (conditional on the carrier premise y_nu = y_t). [E-num] gap: m_3(rung) = 0.0301 eV vs 0.0503 observed, rescue factor x1.670; [E-num] bracketed exclusion: m_t +-3 GeV (>3 sigma), alpha_s >3 sigma, kappa run-down +-10%, PS-leg beta envelope x[0.5,1.5] -- max single shift x1.10, all-favourable combined x1.165, far below x1.670: the 1-loop miss is NOT an RG artifact. [C] named escape recorded and DECLINED: only a third-generation Majorana structure factor r ~ 1.67 revives the rung; post-hoc r = 1.6696 sits 0.18% from g_car/N_fam = 5/3 -- no forcing mechanism, declined per the anti-numerology rule (the t0 ~ 30 pattern). [O] the v481 one-parameter window candidate stands unchanged; frozen record untouched; nothing closes.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.