Original ledger status
QFT.MSC.01
MODULAR SPECTRAL CLOSURE (2026-06-17): the assembly/reduction certificate turning the whole QFT layer (v238-v260) into ONE relative object TFPT_QFT=(A_Sigma,omega_Sigma,Delta_Sigma,rho,A_F,H_F,D_F,J,gamma,S_rel) reduced to ONE open premise. Cross-validates the invariants that must agree across the round (index=marks=fixed points=glue order=4; carrier-16 across spinor/lattice/triple; one gap 6log(3/2) static+dynamic), re-derives the three closures (v258 Kasparov, v259 KMS cutoff, v260 K3), and certifies the relative-object manifest. The Modular Spectral Universality master statement: the unique RP holomorphic index-4 KMS seam state induces via Kasparov the 96-dim KO-6 triple whose inner fluctuations give the gauged Pati-Salam spectral action -- so Dirac, cutoff, gauging, glue and orientability are facets of one seam state, complete modulo QGEO.SYM.01.
Recorded status: Numerical (assembly certificate) [E]/[C]/[O]
Dependencies, status detail and source
Canonical status: [E] one index=marks=fixed points=glue order=4 + one carrier-16 (spinor/lattice/triple) + one gap 6log(3/2) (OS/recovery/Lindblad) + the three closures re-derived (Kasparov/KMS cutoff/K3) + the 10-component relative-object manifest; [O] the whole QFT layer reduces to one premise QGEO.SYM.01 (seam realisation), ambient QG QG.AMB.01 separate; [C] the Modular Spectral Universality master statement holds modulo QGEO.SYM.01.
Dependencies: PS.DIRAC.03; PS.SPECACT.02; ARCH.K3.01; PS.DIRAC.02; GATE.METRIC.06; GATE.METRIC.07; QGEO.MARKS.03; DYN.KMS.01; DYN.GNS.01
Scripts: v261_modular_spectral_closure.py
Location: tfpt_research_contracts
Original CSV, line 347Original ledger status
FR.MPME.02
F_QCD TRANSFER REPRODUCTION OF m_p/m_e (2026-06-18): the contract-only F_transfer/qcd_matching_mp_me pipeline implemented as a real solver. 2-loop alpha_s(M_Z)=0.1179 run with n_f thresholds (carrier b3=-7) gives alpha_s(2 GeV)~0.30 and Lambda^(3)_MSbar~0.33 GeV; with the lattice bridge C_p=m_p/Lambda (external O(1)) and the closed m_e, m_p/m_e~1824 vs measured 1836.15 within ~7% external budget. NOT a compiler power -- a [C] transfer reproduction; firewall forbids a compiler integer (SU(9) absent from D5(+)A3). Advances FR.MPME.01.
Recorded status: Numerical (transfer reproduction) [C]
Dependencies, status detail and source
Canonical status: [E] b3=-7 carrier output; [N] 2-loop alpha_s running reproduces PDG alpha_s(2 GeV)~0.30; [C] m_p/m_e~1824 reproduced within ~7% external budget (lattice C_p + alpha_s); [X] firewall -- m_p/m_e not an admissible compiler integer, stays [C].
Dependencies: FR.MPME.01; QCD.LAMBDA.01; CONTRACT.F.01
Scripts: v262_fqcd_mp_me.py
Location: tfpt_4_frontier
Original CSV, line 348Original ledger status
FLAV.PMNS.02
M_nu AS THE TYPE-I SEESAW OF D_F (2026-06-18): the light neutrino matrix is the seesaw of the finite Dirac operator's own blocks, M_nu=-m_D M_R^{-1} m_D^T, advancing the v9 solar-angle texture from a posited matrix to a seesaw object. A mu-tau-symmetric (m_D,M_R) gives a mu-tau-symmetric M_nu reproducing theta23=45deg and sin^2 theta12=1/3-phi0/2 under the seam misalignment. theta13=0 in the leading texture, the CP magnitude (240deg) is the mu6/triality phase (not from M_nu), and M_R is the free seesaw scale -- an operator advance, NOT a closure of full PMNS dynamics.
Recorded status: Numerical (seesaw operator) [E]/[C]/[O]
Dependencies, status detail and source
Canonical status: [E] M_nu=-m_D M_R^{-1} m_D^T symmetric + seesaw-suppressed (output of D_F) + mu-tau-symmetric image; [C] reproduces v9 angles (theta23=45, sin^2 th12=1/3-phi0/2) under the seam lemma; [O] theta13=0 in the leading texture, CP magnitude from mu6/triality (v231/v233), absolute nu-mass scale (M_R) open. Operator advance, not a closure.
Dependencies: FLAV.TH12.01; PS.DIRAC.02; FLAV.SOLAR.01; CP.TRIALITY.01
Scripts: v263_mnu_from_df.py
Location: tfpt_2_standard_model
Original CSV, line 349Original ledger status
QGEO.ENERGY.03
RAW-SEAM => MARK-LOCALITY REDUCTION (2026-06-18): composes v216+v201+v198 on the canonical pillowcase metric to make the converse implication explicit and isolate the bedrock. The flat pillowcase has curvature only at the 4 marks (Gauss-Bonnet), so the DtN sub-principal symbol is a mu4-orbit sum, Z4-invariant (Fourier on 4Z), block-diagonal, [rho,M_f]=0; with |k| commuting (v198) [rho,Lambda]=0 => omega o rho=omega ON THIS METRIC. Reduces the whole bedrock to the single statement 'the raw RP seam carries the uniformising flat pillowcase metric' (= QGEO.SYM.01). A reduction/sharpening, NOT a closure -- the converse (raw RP forces the metric) stays the irreducible postulate.
Recorded status: Geometric premise [O] (reduction, not closure)
Dependencies, status detail and source
Canonical status: [E] Gauss-Bonnet 4 marks + block-diagonal/state-invariance chain on the pillowcase; [N] Z4-Fourier support (4Z) of the pillowcase curvature; [O] the metric-realisation premise (QGEO.SYM.01) stays open -- a reduction to one metric statement, NOT a closure (NEG control: curvature off the mu4 orbit breaks the chain).
Dependencies: QGEO.SYM.01; QGEO.SUBPRIN.01; QGEO.MODULAR.01; QGEO.MARKS.03; QGEO.PILLOW.01
Scripts: v264_raw_seam_marklocal.py
Location: tfpt_research_contracts
Original CSV, line 350Original ledger status
QFT4D.FORK.01
4D-QFT FORK FROZEN AS A BRANCH POLICY (2026-06-18): boundary-only is the canonical 4D reading; carrier-native Pati-Salam is a falsifiable UV branch; SM-only 4D-GUT unification is killed. A frozen decision tree (qft4d_fork_freeze.json) with explicit promotion/demotion rules, not an open ambiguity.
Recorded status: Branch policy (frozen) [C]/[X]
Dependencies, status detail and source
Canonical status: [C] A canonical (boundary only) + B conditional PS UV branch; [X] SM-only GUT killed; [E] wording guard + decision JSON written. The fork is a frozen decision tree, not an ambiguity.
Dependencies: QFT4D.RGTEST.01; PS.RGTEST.01; PS.E8BRANCH.01; QFT.MSC.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 351Original ledger status
QFT4D.BOUNDARY.DEFAULT.01
CANONICAL 4D READING = BOUNDARY ONLY (2026-06-18): TFPT delivers the boundary QFT, the relative spectral action and the SM readout; a 4D-GUT is not claimed by default (E8 is the audit hull, not an unbroken 4D gauge group).
Recorded status: Branch policy (canonical) [C]
Dependencies, status detail and source
Canonical status: [C] boundary-only is the default 4D reading; the MSC closes the relative boundary object modulo QGEO.SYM.01, ambient QG separate.
Dependencies: QFT.MSC.01; QFT4D.FORK.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 352Original ledger status
QFT4D.SMONLYGUT.01
SM-ONLY 4D-GUT UNIFICATION KILLED (2026-06-18): 1-loop SM running with b=(41/10,-19/6,-7) does not unify -- at the alpha1=alpha2 scale alpha3^-1 is off by ~5.6, spread ~8.8 at 2e16 GeV. The canonical expectation, not a failure (re-derives v246).
Recorded status: Kill-test [X]
Dependencies, status detail and source
Canonical status: [X] the plain SM couplings do not meet (recomputed); E8 is the audit hull, not a 4D gauge group, so non-unification is expected.
Dependencies: QFT4D.RGTEST.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 353Original ledger status
PS.UVBRANCH.01
PATI-SALAM AS A CONDITIONAL UV BRANCH (2026-06-18): carrier-native Pati-Salam is permitted as a falsifiable UV completion, NOT the default -- E8-allowed content {1,10,16,45} (no 126), sin^2 thetaW=3/8, kappa O(1) band; carrier gauging stays the contract CONTRACT.QFT4D.DIRAC.01.
Recorded status: Branch policy (conditional) [C]
Dependencies, status detail and source
Canonical status: [C] PS is a conditional UV candidate (E8 content + sin^2 thetaW=3/8 + kappa band); not promoted to default; carrier gauging stays [O].
Dependencies: PS.E8BRANCH.01; PS.ALGEBRA.01; PS.RGTEST.01; QFT4D.FORK.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 354Original ledger status
PS.THRESHOLD.01
PATI-SALAM THRESHOLD MODEL EXPLICIT (2026-06-18): the PS UV branch is admissible only with an explicit two-step threshold model meeting the scalaron scale (M_PS=kappa M_s, kappa in [1.0,1.7]); the detailed reps-at-scales model is the open part (v266 target).
Recorded status: Branch policy (threshold) [C]/[O]
Dependencies, status detail and source
Canonical status: [C] kappa band met; [O] the explicit reps-at-scales threshold model is the open part (deferred to v266).
Dependencies: PS.RGTEST.01; PS.KAPPA.01; QFT4D.FORK.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 355Original ledger status
PS.PROTON.KILL.01
PROTON-DECAY SAFETY RULE (2026-06-18): no discovery tau_p is predicted; PS is killed if its thresholds need forbidden reps, leave the kappa band, or predict tau_p below the current bound; until a sharp window is published proton decay is a safety constraint, not a discovery.
Recorded status: Kill-test rule [X]
Dependencies, status detail and source
Canonical status: [X] proton-decay is a frozen safety constraint/kill rule for the PS branch, not a discovery prediction (no fake tau_p window).
Dependencies: PS.RGTEST.01; QFT4D.FORK.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 356Original ledger status
QFT4D.NO_OVERCLAIM.01
4D OVER-CLAIM WORDING GUARD (2026-06-18): bare 4D over-claims ('TFPT solves 4D QFT', 'SM couplings unify', '4D GUT prediction', 'unbroken E8 gauge') are absent from the active docs, and the scoped fork-policy phrases ('boundary only is canonical', 'SM-only ... killed', 'not claimed by default') are present.
Recorded status: Formal/prose guard [E]
Dependencies, status detail and source
Canonical status: [E] prose sentinel over the active .tex: forbidden bare over-claims absent (6/6) + required scoped policy phrases present (3/3).
Dependencies: QFT4D.FORK.01
Scripts: v265_qft4d_fork_freeze.py
Location: tfpt_research_contracts
Original CSV, line 357Original ledger status
PS.THRESHOLD.02
EXPLICIT PATI-SALAM THRESHOLD MODEL (2026-06-18): the two-step carrier-native PS chain made explicit for the two E8-allowed contents -- minimal 16-Higgs (M_PS~4.2e13=scalaron, M_GUT~2.4e15) and +(15,1,1) (M_GUT~5.9e15) -- realising the PS.THRESHOLD.01 policy with concrete reps-at-scales and M_PS on the scalaron scale. Decides branch B together with PS.PROTON.02.
Recorded status: Numerical (two-step RG) [E]/[C]
Dependencies, status detail and source
Canonical status: [E] explicit two-step solutions (M_PS,M_GUT,alpha_GUT) for both E8-allowed contents, M_PS on the scalaron scale; [C] realises the threshold policy; selects the content via proton decay (PS.PROTON.02).
Dependencies: PS.THRESHOLD.01; PS.RGTEST.01; PS.KAPPA.01
Scripts: v266_ps_threshold_proton.py
Location: tfpt_research_contracts
Original CSV, line 358Original ledger status
PS.PROTON.02
PROTON-DECAY WINDOW DECIDES BRANCH B (2026-06-18): d=6 tau_p(p->e+pi0) over the explicit thresholds -- minimal 16-Higgs tau_p~4.4e33 yr < Super-K (2.4e34) => KILLED even at the high hadronic band; +(15,1,1) [E8-allowed single 45] tau_p~1.6e35 yr > Super-K => survives now, but sits AT the Hyper-K reach (~1.4e35) => decisively falsifiable within the decade. Branch B is content-selected (must be +(15,1,1)) and Hyper-K-decisive; A (boundary-only) stays canonical. Marginal (one 45 in the hull, v247) + O(3) tau_p uncertainty.
Recorded status: Kill-test (proton decay) [X]/[C]
Dependencies, status detail and source
Canonical status: [X] minimal content killed by Super-K + Hyper-K decisive for the survivor; [C] +(15,1,1) survives now and is the only E8-allowed proton-safe content; [O] marginal (one 45) + O(3) hadronic uncertainty. Promotes branch B to a content-selected, dated-kill-test UV branch (still not the default).
Dependencies: PS.THRESHOLD.02; PS.PROTON.KILL.01; PS.E8BRANCH.01; QFT4D.FORK.01
Scripts: v266_ps_threshold_proton.py
Location: tfpt_research_contracts
Original CSV, line 359Original ledger status
QGEO.SYM.02
QGEO RIGIDITY / MINIMAL-AXIOM FORM (2026-06-18): the bedrock QGEO.SYM.01 is sharpened to its minimal form -- the single bare statement 'the raw RP seam admits the carrier mu4 clock as a conformal symmetry permuting its 4 marks' (= omega o rho = omega) FORCES everything: square config (cross-ratio 2 <=> j=1728 <=> order-4 CM auto), the unique flat pillowcase metric (Troyanov, v214), mark-local Z4-Fourier DtN (v201/v264), [rho,Lambda]=0 and omega o rho=omega (v198). Neg controls: generic config j!=1728 (Z2 only), hexagonal j=0 (Z6, order 6). Arithmetic rigidity (Belyi/dessins): {1,i,-1,-i} over Q, j=1728 CM by Z[i]. Closes the REDUCTION (axiom => everything), NOT the axiom -- the bare order-4 symmetry stays the one foundational postulate.
Recorded status: Geometric premise [E]/[C]/[O] (rigidity; minimal axiom)
Dependencies, status detail and source
Canonical status: [E] order-4 symmetry forces cross-ratio 2 / j=1728 / the pillowcase / mark-local DtN / omega o rho=omega (the whole chain) + neg controls (generic Z2, hex Z6); [C] arithmetic/Galois rigidity (j=1728 CM, {1,i,-1,-i} over Q); [O] the bare order-4 symmetry (QGEO.SYM.01) stays the one foundational postulate -- the reduction is closed, the axiom is not.
Dependencies: QGEO.SYM.01; QGEO.PILLOW.01; QGEO.ENERGY.03; QGEO.RIGID.01; QGEO.MODULAR.01
Scripts: v267_qgeo_rigidity_minimal_axiom.py
Location: tfpt_research_contracts
Original CSV, line 360Original ledger status
FLAV.TH13.01
REACTOR ANGLE EXPONENT = CARRIER HYPERCHARGE TRACE (2026-06-18): the theta_13 value sin^2 theta_13 = phi0 e^{-5/6} = 0.0231 (v16) has its EXPONENT origin closed exactly -- gamma = tr_E Y^2 = 5/6 over the 5-slot carrier hypercharge Y=diag(-1/3,-1/3,-1/3,1/2,1/2) (anomaly-free roots of 6Y^2-Y-1=0), complement 1/6 the neutrino ratio. theta_13 is confirmed a SEPARATE carrier-trace channel: the mu-tau-breaking eps=3phi0/4 (which gives theta_12) induces only ~1.6e-3 << 0.023, correcting the tempting 'theta_13 from M_nu' route (v263). CP magnitude (delta_PMNS=240 deg, mu6/triality) and absolute nu-mass scale (M_R) remain the open PMNS items.
Recorded status: Numerical/identity (flavor readout) [E]/[C]/[O]
Dependencies, status detail and source
Canonical status: [E] gamma=5/6=tr_E Y^2 (exponent origin) + own-channel separation (eps^2 ~ 1.6e-3 != 0.023); [C] value 0.0231 vs ~0.0222; [O] CP magnitude + absolute scale open. Closes the theta_13 exponent origin, not full PMNS dynamics.
Dependencies: FLAV.TH12.01; FLAV.SOLAR.01; FLAV.PMNS.02; CAR.SM.01
Scripts: v268_theta13_carrier_trace.py
Location: tfpt_2_standard_model
Original CSV, line 361Original ledger status
QFT4D.SPERT.01
PERTURBATIVE 4D S-MATRIX (S_pert) AS AN EPSTEIN-GLASER / pAQFT SKELETON (2026-06-18): the honest middle layer of the three-layer S-matrix -- S_top (2d DHR braiding monodromy |M|=1, statistics, v243), S_pert (4d EG/BV S-matrix of the Connes spectral action), S_phys (LSZ on the OS-reconstructed admissible Wightman functions, v240). The spectral-action a_4 interaction is power-counting renormalizable (all operators mass dim <= 4) with a finite counterterm basis (7 marginal + 3 relevant), so by the Epstein-Glaser theorem the perturbative S-matrix S(g)=T exp(i int g L_int) exists order by order (causal factorisation + finite local extension; no path integral, no UV divergences). Gapped admissible sector (Delta=6log(3/2)) gives an IR-safe adiabatic limit. PERTURBATIVE only: the nonperturbative ambient measure QG.AMB.01 stays open; the canonical 4D reading is boundary-only (v265).
Recorded status: Contract [C]/[O] (perturbative skeleton)
Dependencies, status detail and source
Canonical status: [E] three-layer typing + power-counting renormalizable (dim<=4) + finite counterterm basis (7+3); [C] Epstein-Glaser order-by-order existence (cited theorem applied) + adiabatic/gap link to S_phys; [O] perturbative only -- ambient measure QG.AMB.01 stays open. A contract/skeleton, not a nonperturbative closure.
Dependencies: CONTRACT.QFT4D.01; DHR.SMATRIX.01; DYN.GNS.01; PS.SPECACT.01; QFT4D.FORK.01
Scripts: v269_spert_paqft_skeleton.py
Location: tfpt_research_contracts
Original CSV, line 362Original ledger status
FLAV.PMNS.03
COMPLETE COMPLEX PMNS MATRIX + LEPTONIC JARLSKOG J_PMNS (CP STRENGTH) (2026-06-18): the four TFPT channels (sin^2 th12 = 1/3 - phi0/2 v9/v263, sin^2 th23 = 1/2 v9/v263, sin^2 th13 = phi0 e^{-5/6} v16/v268, delta = 4 pi/3 = 240 deg v231/v233) assemble into one exactly-unitary complex PMNS matrix U = R23 U13(delta) R12, from which the Jarlskog CP strength J_PMNS = Im(U_e1 U_mu2 U*_e2 U*_mu1) = s12 c12 s23 c23 s13 c13^2 sin(delta) = -0.02965 (J_max = 0.03424) is a DERIVED number (the leptonic analogue of the CKM J, v88). Data: J_max vs NuFIT 5.2 J_max 0.0332 (~3%), J vs best fit -0.026 (delta_data ~232 deg within ~1 sigma), the negative CP-violating sign reproduced. Closes the CP-STRENGTH readout; delta itself is the mu6/triality phase (assembled, not from M_nu/D_F) and the absolute neutrino-mass scale (Sigma m_nu, M_R) stays open.
Recorded status: Readout [C] (CP strength); [O] phase origin + absolute scale
Dependencies, status detail and source
Canonical status: [E] the three angle channels + the exact unitary assembly; [C] the derived Jarlskog CP strength + its NuFIT confrontation; [O] the phase's operator origin (delta = mu6/triality, not M_nu) + the absolute scale. A PMNS assembly + CP-strength readout, not a full operator closure.
Dependencies: FLAV.TH12.01; FLAV.PMNS.02; FLAV.TH13.01; CP.MU6.01; CP.TRIALITY.01
Scripts: v270_pmns_jarlskog_assembly.py
Location: tfpt_2_standard_model
Original CSV, line 363Original ledger status
QFT4D.SPERT.02
CONCRETE EPSTEIN-GLASER ONE-LOOP QUARTIC RENORMALIZATION (2026-06-18): takes the v269 S_pert pAQFT skeleton from 'exists' to an actual EG number (no path integral). [E] T_1=:L_int: needs no extension; the first EG renormalization is the order-2 product T_2. [E] the massless Feynman propagator has Steinmann scaling degree sd=2 in d=4; the one-loop bubble (two propagators) has sd=4=d, so the UV singular order omega=sd-d=0. [E] omega=0 => the EG extension freedom is C(omega+d,d)=1 local constant -- EXACTLY one logarithmic counterterm (renormalizable, finite, no infinite tower; matches v269). [E] the loop factor Omega_3/(2(2pi)^4)=(2pi^2)/(2(2pi)^4)=1/(16 pi^2) exactly -- the same 1/(16 pi^2) that normalises the spectral-action a_4 geometric quartic. [C] the phi^4 one-loop beta_lambda = 3 lambda^2/(16 pi^2) (symmetry factor 3 = s,t,u channels), EG initial condition lambda_Phi(UV)=1/(16 pi^2). [O] order-2/one-loop, one diagram class; all-order EG + nonperturbative measure QG.AMB.01 stay open. Exact core mirrored in Wolfram.
Recorded status: Numerical/Identity [E] (one-loop EG core) + [C] (beta + IC) + [O] (all-order)
Dependencies, status detail and source
Canonical status: [E] order structure + scaling degree (sd=4=d) + one log counterterm (omega=0) + loop factor 1/(16 pi^2) (exact, Wolfram-mirrored); [C] the phi^4 one-loop beta + the spectral-action initial condition; [O] order-2/one-loop only, all-order + nonperturbative stay open. Turns the v269 skeleton into a concrete one-loop number.
Dependencies: QFT4D.SPERT.01; CONTRACT.QFT4D.01; PS.SPECACT.01; HIGGS.FREESEAM.01
Scripts: v271_eg_oneloop_quartic.py
Location: tfpt_research_contracts
Original CSV, line 364Original ledger status
FLAV.NUSCALE.01
ABSOLUTE NEUTRINO-MASS SCALE TYPED HONESTLY (2026-06-18): does NOT fabricate a Sigma m_nu number (would contradict the v184 firewall); closes the PMNS bookkeeping instead. [E] the absolute scale reduces to ONE seesaw ratio m_3 = (y_nu v_EW)^2/M_R -- one irreducible UV input like v_geo (No-Unit, v153); the ratios (m2/m3, ordering, PMNS angles v270) are pinned. [N] the observed m_3 = sqrt(dm2_atm) = 0.050 eV with the TFPT PS->GUT scale window M_R in [M_PS=4.2e13, M_GUT=2.4e15] GeV (v249) needs a third-generation Dirac Yukawa y_nu in [0.26, 2.0] -- O(1), Yukawa-natural, no tuning. [O] the y_nu=1 seesaw scale M_R=v_EW^2/m_3=6.1e14 GeV has log_c3(M_R/Mbar)=2.57 (non-integer), not a TFPT compiler output; (y_nu,M_R) trade off so the absolute Sigma m_nu stays one open UV input. [C] the normal-ordering floor Sigma m_nu = m_2+m_3 = 0.0586 eV is consistent with Planck+BAO (<0.12 eV) and DESI 2024 (~0.072 eV). [X] a cosmological Sigma < 0.0586 eV excludes the NO m1~0 spectrum. UPDATE 2026-07-14 (v481/FLAV.NUSCALE.02): under the CARRIER normalisation y_nu = y_t (minimal 16.16.10 Yukawa sector, [P]) the (y_nu, M_R) trade-off collapses to M_R alone; the required M_R = 9.3e13 GeV sits INSIDE the PS window at log_c3(Mbar/M_R) = 3.15; the integer rung c3^3 Mbar is DECLINED at 1-loop (m_3 40% low). The absolute scale stays [O]; candidate class, frozen record untouched.
Recorded status: Bookkeeping [E] + window [N]/[C] + [O] absolute scale + [X] kill
Dependencies, status detail and source
Canonical status: [E] the absolute nu-scale = one seesaw ratio (parallels v_geo); [N]/[C] the TFPT PS->GUT window is consistent with the observed spectrum at O(1) Dirac Yukawa + the cosmological floor; [O] the absolute value stays one open UV input (M_R not a clean Mbar power, v184); [X] the NO floor is the kill test. Closes the PMNS bookkeeping, not the absolute number.
Dependencies: FLAV.PMNS.02; FLAV.PMNS.03; PS.RGTEST.01; FR.MPME.02; ANCHOR.VGEO.02
Scripts: v272_nu_mass_scale.py
Location: tfpt_2_standard_model
Original CSV, line 365Original ledger status
QFT4D.SPERT.03
EG ONE-LOOP GAUGE SELF-ENERGY -> (b1,b2,b3) = (41/10,-19/6,-7) (2026-06-18): takes v271's quartic mechanism to the gauge sector. [E] the one-loop gauge 2-point function is the order-2 EG product of two currents, scaling degree sd=4=d so omega=sd-d=0 -> exactly one local counterterm per gauge coupling (wavefunction/coupling renormalization), the SAME marginal mechanism and loop factor 1/(16 pi^2) as the quartic. [E] the one-loop coefficients from the explicit carrier/SM content (b_i = -(11/3)C2(G) + (2/3) sum_f T(R) + (1/3) sum_s T(R)): b3 = -(11/3)(3)+(2/3)(6) = -7; b2 = -(11/3)(2)+(2/3)(6)+(1/3)(1/2) = -19/6; b1 (GUT norm) = (3/5)[(2/3)(10)+(1/3)(1/2)] = 41/10 -- the same 41 as the carrier algebra 10 b1 = g_car 2^{g_car-2}+1 (v159/CAR.SM.01). [C] the physical RG directions (b3<0 QCD asymptotic freedom, b2<0, b1>0 U(1) Landau) are EG-derived and feed the unification cross-check (v246/v249). [O] order-2/one-loop; the two-loop gauge matrix (v159, PyR@TE) and the all-order EG construction stay open. Exact b_i mirrored in Wolfram.
Recorded status: Identity [E] (EG one-loop b_i, exact) + [C] (RG directions) + [O] (all-order)
Dependencies, status detail and source
Canonical status: [E] the EG gauge self-energy scaling-degree mechanism + the exact one-loop b_i=(41/10,-19/6,-7) from the content (Wolfram-mirrored); [C] the physical RG directions; [O] two-loop + all-order. The gauge analogue of v271's quartic.
Dependencies: QFT4D.SPERT.02; QFT4D.SPERT.01; EM.BUDGET.02; CAR.SM.01
Scripts: v273_eg_gauge_running.py
Location: tfpt_research_contracts
Original CSV, line 366Open questions preserve their achieved subresults
Each research problem has its own scope. A resolved task does not close its whole physical parent. Historical tasks remain explicitly historical in the source record.
Future quotient and positive GNS reconstruction
What is determined by complete future behavior, and what additional positive word-kernel source is needed to reconstruct a cyclic operator realization?
- Resolved in scope: Future quotient from complete rRead result
- Resolved in scope: Conditional GNS reconstruction from supplied KRead result
- open: Select complete K from the original source
Historical: common source, state and event selection
Outside the active mathematical research program since the user's23Oct2026 decision. Historical question: Do the original principles derive a common physical source together with its state, dynamical events, and physically observed fields?
Seam connection and family action
Does the joint discrete theorem determine a concrete connection and a family coupling compatible with the determinant seam action?
- Resolved in scope: Separate classes from actual transportRead result
- open: Derive the common connection from the original source
Physical time and complete transfer
Do the original reflection/projector structures determine the full physical time generator and required field transfer?
- Resolved in scope: Reuse the sign-projector counterexampleRead result
- Resolved in scope: Reuse conditional full-transfer reconstructionRead result
- open: Identify the physical complete TFPT transfer
- Resolved in scope: Reuse complete collar reconstructionRead result
- Resolved in scope: Classify homogeneous GKLS embedding of the shared register familyRead result
- Resolved in scope: Decide every homogeneous GKSL logarithm of the fixed M4 channelRead result
Flavor ratio and absolute amplitude scale
Which flavor quantity is fixed on the derived discrete stratum, and which requires the continuous holonomy anchor?
- Resolved in scope: Reuse the derived flavor ratioRead result
- open: Determine the absolute holonomy amplitude
Alpha: derived terms, unique root and physical EM identification
Where do the factors and closed alpha equation come from, which provenance steps are proved, and which precise physical EM identification remains open?
- Resolved in scope: Separate root calculation from source selectionRead result
- open: Derive the actual EM functional variation and Thomson identification
- Resolved in scope: Establish the unique global positive rootRead result
Geometric flow and gravity normalization
Do common matter-only observations derive geometric horizon flow and the area response from the original gravity source?
- Resolved in scope: Record scope of fixed original functionalRead result
- open: Derive geometric modular response and area coefficient
Clocks and complete neutral source response
Which complete quadratic response can the actual clock images reconstruct?
- Resolved in scope: Reconstruct all neutral quadratic matrix directionsRead result
- open: Derive physically admissible probe access
Clock action on charge, time and quarter transition
How does the actual Gaussian J act on the complete marked source?
- Resolved in scope: Construct original J lift with complete time/charge actionRead result
- open: Derive physical meaning of the frame orbit
Which responses distinguish charged time action?
Which data separate sources with identical complete neutral vacuum response?
- Resolved in scope: Determine twist blindness completelyRead result
- Resolved in scope: Reconstruct twist from charged responsesRead result
- open: Derive actual charged source probes
Which seam action distinguishes native opposite charges?
Can existing native charge fields produce the quarter-twist time response of the seam?
- Resolved in scope: Check native fields and response discriminatorRead result
- open: Derive actual marked seam/state action
Constructive seam search: operators, state and source compatibility
What does the complete phase search decide, and which additional state information prevents a false source solution?
- Resolved in scope: Finite search closed, actual winding and parity equivalenceRead result
- Resolved in scope: Positive finite-word state extensionRead result
- Resolved in scope: E8 current group conditionally determines the P signRead result
- Resolved in scope: The same shift functional hides distinct ground statesRead result
- Resolved in scope: No phase hit realizes the unchanged sourceRead result
Which partner actually belongs to the original seam?
Which charge, state type and time action belong to the root partner and original sheet pairing?
- Resolved in scope: Concrete pair operator; source neutrality is not hypercharge neutralityRead result
- Resolved in scope: Fixed quarter time splits the color/weak multipletRead result
- Resolved in scope: Explicit conjugation for the existing sheet pairingRead result
- Resolved in scope: Actual partner map between quarter domainsRead result
- Resolved in scope: Bilinear sheet pairing is not Hermitian kernel selectionRead result
- Resolved in scope: Actual quarter conjugation transports the supplied markingRead result
- Resolved in scope: No time-stabilizing orthogonal repair of the fixed markingRead result
- Resolved in scope: Spinor16 is a state sector, not a 16-real one-particle fieldRead result
Automated construction of operator maps and sources
Which tools generate operator maps, learn counterexamples, and can search for the full positive source?
- Resolved in scope: Calibrate new search without supplying the target mapRead result
- open: Synthesize a joint field, marking and transfer dictionary
- open: Search for the positive common source kernel itself
- Resolved in scope: Automatically construct, certify and distinguish finite kernelsRead result
- Resolved in scope: Repair search conditions against source types and collar controlsRead result
- Resolved in scope: Reconstruct multi-field sewing of the canonically identified boundary sourceRead result
- Resolved in scope: Retain absolute reference amplitude in searchRead result
- Resolved in scope: Integrate supplied free source including boundary response and scalarRead result
- Resolved in scope: Convert the full finite CAR kernel into a link functionalRead result
- Resolved in scope: Close original recursive word reconstruction with memoryRead resultRead result
- Resolved in scope: Retain whole original caller through scale and readoutRead resultRead result
- Resolved in scope: Execute actual shared Higgs source with full matter words and local RPRead resultRead result
- Resolved in scope: Reduce whole constant original Higgs spectral fiberRead result
- open: Resolve original geometric Higgs residue sign and field map
- Resolved in scope: Evaluate local original Higgs heat identification and whole finite consumerRead resultRead result
- Resolved in scope: Execute whole variable bound Higgs reference and original scale mapRead resultRead result
- Resolved in scope: Execute whole inner Higgs scale/source and normal kernel transportRead resultRead result
- Resolved in scope: Execute given whole superconnection and normal spectral readerRead resultRead result
- Resolved in scope: Determine own-admissibility and whole total-chiral spectral readersRead resultRead result
- Resolved in scope: Derive whole scale-energy map,normal profile and relative flowRead resultRead result
- Resolved in scope: Execute original Green energy producer and mixed scale readoutRead resultRead result
- Resolved in scope: Match current action argument and common Higgs/gravity weightsRead resultRead result
- Resolved in scope: Execute whole original curvature consumers and Higgs radial sourceRead resultRead resultRead result
- Resolved in scope: Execute original whole four-ghost source and geometric type testRead resultRead result
- Resolved in scope: Execute original moving normal kernel derivative and whole source responseRead result
- Resolved in scope: Decide fixed original O1 source and normal operator placementRead result
- Resolved in scope: Compare whole Higgs mixture and covariance reader on invariant four-field witnessRead result
- Resolved in scope: Test exact bounded cutoff on whole ordinary Higgs volumeRead result
- Resolved in scope: Test whole original circle joint mode and IR Higgs normalizationRead result
- Resolved in scope: Test original O1 mode covariance against whole Higgs-law classRead result
- open: Reconstruct original localization from the whole process
- Resolved in scope: Test bare native-code word compression against actual localityRead result
- Resolved in scope: Decide original geometric local-time class and execute actual interval readerRead resultRead result
- Resolved in scope: Execute actual regional two-face partner and supported charged wordRead resultRead result
- Resolved in scope: Execute original color marginal, modular field law and complete class readerRead resultRead resultRead result
- Resolved in scope: Reconstruct common Higgs law from whole original quarter source towerRead resultRead resultRead result
- Resolved in scope: Execute original record action on Doily and ordered whole source responseRead resultRead resultRead resultRead result
- Resolved in scope: Locally implement original record process and test unchanged exterior sourceRead resultRead resultRead result
- Resolved in scope: Execute original elliptic insertion,whole source and causal responseRead resultRead resultRead result
- Resolved in scope: Evaluate actual joint Higgs and color group sourceRead resultRead result
- Resolved in scope: Execute whole original graph color reader with typed original center selectorRead resultRead result
- Resolved in scope: Execute original color fixed source and first inherited grading testRead resultRead result
- Resolved in scope: Execute actual original color-spinor CAR four-word and complete spin-sector sewingRead resultRead result
- Resolved in scope: Decide actual color admissibility of density operations and coordinate regionsRead resultRead result
- Resolved in scope: Execute actual whole seam-operation class and two-face responseRead resultRead result
- Resolved in scope: Execute entire original C6 word expansion with source amplitudeRead resultRead result
- Resolved in scope: Execute original collective Higgs force source and entire mean dualRead resultRead resultRead result
- Resolved in scope: Execute original all-mode force with actual time and whole sourceRead resultRead result
- Resolved in scope: Execute original local space/time force source and causal liftRead resultRead result
Origin reverse selection, field dictionary and original P1 kernel
What does reverse selection of P1/P2 give for concrete local fields and multi-field responses, and which identification with the original P1 kernel has actually been proved?
Observable reality: minimal conditions and counterworlds
Which operational conditions are independently required, which inequivalent models satisfy them, and which observable distinctions remain for selection?
Formal carrier core: unbounded Pascal uniqueness and finite glue
Which carrier and glue statements are already present in the papers and Lean sources, and which physical selection does not follow?
- Resolved in scope: Classify the unbounded Pascal proofRead result
- Resolved in scope: Classify the formal finite glue scopeRead result
Active mathematical program: marked seam monodromies and lattice lifts
Which marked seam/lattice transport geometries, lift classes and local-coefficient invariants arise from existing clock/reflection/quartic data? First complete case: sign lifts of fourJ representation on CP1 minusμ4.
- Resolved in scope: Define marked seam category and factor formulaRead result
- Resolved in scope: Completely classify quarter-clock four-puncture liftsRead result
- Resolved in scope: Determine central class and all subgroup restrictionsRead result
- Resolved in scope: Determine full G0 cocycle and classRead result
- Resolved in scope: Determine native4/5/6local cohomologyRead result
- Resolved in scope: Classify unrestricted G31 reflection monodromiesRead resultRead result
- Resolved in scope: Determine lift class beyond G0Read result
- open: Classify additional reflection/clock equivariance and mapping-class quotients
- Resolved in scope: Equivariant lifting and divisibility by eightRead result
- Resolved in scope: All62clock obstructions and central transport variantsRead result
- Resolved in scope: Actual group comparison and central pushout exclusionRead result
- Resolved in scope: Complete invariants and explicit collisionsRead result
- Resolved in scope: Compare E6 and E7 slices with the actual quarter clockRead resultRead resultRead resultRead result
- Resolved in scope: Classify original character-valued G31monodromy liftsRead resultRead result
- Resolved in scope: Determine E7-pair action on all original lattice fieldsRead result
- Resolved in scope: Completely connect E6/E7 cuts to the original compilerRead result
- Resolved in scope: Compare common covers and actual clock carriersRead result
- Resolved in scope: Prove shared representation consequence for48,4/3 and5/4Read result
- Resolved in scope: Completely decide joint compiler-field-cover constructionRead resultRead resultRead resultRead result
- Resolved in scope: Reconstruct canonical local compiler field source from C4Read resultRead result
- Resolved in scope: Eliminate redundant sector and multiplicity assumptionsRead result
- Resolved in scope: Classify native equivariant markingsRead result
- Resolved in scope: Classify pure quarter clock mapping class quotientRead result
- Resolved in scope: Determine complete cut algebra and lossless tetrahedron transformRead resultRead resultRead resultRead result
- Resolved in scope: Completely compare scalar glue and actual native compiler classRead resultRead resultRead resultRead result
Common clock sectors, quartic geometry and operational reconstruction
Which previously separate data of the original TFPT core follow from a common clock and representation geometry, and which complete finite measurement classification follows without asserting physical source selection?
Automatic response search with original-source decision
Which additional joint response actually follows from original source equations, and which entire finite process family remains undecided without it?