Original ledger status
GATE.UWALL.04
(U_wall) harmonic metric = FINITE linear algebra, NOT a transcendental Hitchin PDE: polystable point is unitary (Mehta-Seshadri) => Phi=0, harmonic metric = constant invariant form H. Explicit bundle: raw M_k non-unitary (||M^dag M-I||~0.83) but UNIQUE invariant Hermitian form H (null dim 1) is POSITIVE-DEFINITE => unitarisable; unitarised M~_k=H^{1/2}M_k H^{-1/2} unitary (1e-8), cusp class, prod=I, clean elements {0,1/2,1/sqrt2}. So v31 'transcendental Hitchin' applies only to generic Higgs locus; at the selected point R(rho) reduces to finite unitarisation + combinatorial R (closed). RESIDUAL: final c_u/c_d needs the quark leg/hexagon-site composition; not fabricated
Recorded status: Numerical (Hitchin reduced to finite)
Dependencies, status detail and source
Canonical status: Numerical (Hitchin reduced to finite)
Dependencies: GATE.UWALL.03; v31; v33; Mehta-Seshadri
Scripts: v40_harmonic_metric.py
Location: tfpt_research_contracts
Original CSV, line 64Original ledger status
SEAM.EQUIV.CONTINUUM.03
DIRECTION A (2026-06-23): the continuum chain of SEAM.EQUIV.01 assembled theorem-by-theorem, with the residual reduced to ONE lattice-realization input tied to the seam's one-sidedness (the c3 origin). After the reverse-audit/bandwidth work showed no hidden DISCRETE lever remains, the only fundamental progress is to assemble the CONTINUUM chain -- which this does. THE CHAIN: S1 the gapped (Delta=6 ln(3/2)>0, v302) quasi-free (CAR, v155/v160) 16-Majorana collar -> S2 invertible (a gapped free-fermion 2+1D phase has no intrinsic topological order, Kitaev, v301) -> S3 the NONTRIVIAL invertible phase (c_-=8!=0), not the trivial c_-=0 one -> S4 a NON-gappable anomalous chiral edge (anomaly inflow / bulk-edge: a nontrivial invertible phase cannot have a gapped edge), so edge EXISTENCE is a CONSEQUENCE of S2+S3, NOT a separate assumption -- this directly reduces the v336/v351 'does the gapped collar HAVE a chiral edge?' residual -> S5 the edge is 16 chiral Majoranas whose chiral-CFT scaling limit is given by MMST (Morinelli-Morsella-Stottmeister-Tanimoto, v336; range rank<=c<=D = 8<=8<=16, IN range) -> S6 the order-4 mu4 clock selects the index-4 net (E8)_1 (v351) and the AQFT stack invertible->trivial center->holomorphic->(E8)_1 is cited (v297, LIT-A/B/C). [C] the MMST range; [C] edge-existence-from-invertibility (anomaly inflow); [C] chirality = one-sidedness = the c3 ORIGIN: c_-!=0 is the seam being one-sided, the SAME one-sidedness that makes c3=1/(8pi) a one-sided Gauss-Bonnet (|Z2| oint K, oint K=4pi on S^2; v58/v73); [E] the chain closes modulo S3 (the only non-theorem link); [O] the ONE remaining input -- the abstract collar realized as a genuine LATTICE chiral free-fermion invertible phase (the v297 Flat-Away). NET: SEAM.EQUIV.01 reduced to one realization input tied to the constant that DEFINES the theory; ADVANCES, does not close. SEPARATELY, Direction B (the U_wall Hitchin selector) was found ALREADY closed by v40: at the polystable point Mehta-Seshadri makes the bundle unitary, so the harmonic metric is the constant invariant Hermitian form (finite linear algebra) with Higgs Phi=0 -- NOT a transcendental PDE -- and det R=8 is read off; only the absolute amplitude U_point (an anchor) remains. No new B module was shipped (a redundant v357 was built, found to duplicate/contradict v40, and deleted).
Recorded status: Continuum chain assembly [C]/[E]/[O] (edge-existence reduced via anomaly inflow; residual = lattice realization tied to seam one-sidedness; B already closed by v40)
Dependencies, status detail and source
Canonical status: [C] the MMST range + edge-existence-from-invertibility + chirality=one-sidedness=c3-origin; [E] chain-closes-modulo-S3; [O] the one lattice-realization input. A genuine assembly reducing SEAM.EQUIV.01 to one realization input tied to the seam one-sidedness; does NOT close it. Direction B found already closed by v40 (harmonic metric = finite linear algebra, not a PDE); no redundant B module shipped.
Dependencies: SEAM.EQUIV.01; v301; v302; v336; v351; v297; v58; v40
Scripts: v356_continuum_mmst_applicability.py
Location: tfpt_research_contracts
Original CSV, line 77Original ledger status
COSMO.NSTAR.01
N_star band -> POINT [P] (the announced 'future derivation from a reheating model' executed; demotion of N_star as a compiler output STANDS): the only compiler input is M_scal=c3^{7/2}Mbar=3.0600e13 GeV [I] (v28/v36/v80); everything downstream is imported standard physics - scalaron width Gamma=N_eff M^3/(48pi Mbar^2) with N_eff=4 (SM Higgs doublet; Starobinsky/Vilenkin/Gorbunov-Panin), reheating at H=Gamma => T_reh=(30 rho/(pi^2 g*))^{1/4}=9.55e9 GeV (g*=106.75), pivot matching with w=0 scalaron oscillations + entropy conservation on the EXACT Starobinsky potential V=(3/4)M^2 Mbar^2(1-e^{-sqrt(2/3)phi})^2. RESULT: N_star(k=0.05/Mpc)=51.44 => n_s=1-2/N_star=0.9611, r=12/N_star^2=0.00454. CROSS-CHECK: k=0.002/Mpc gives N_star=54.7 = the known R^2-reheating literature value (~54). ROBUSTNESS: channel ambiguity N_eff=1..100 moves N_star by <0.8 e-folds (log sensitivity); instantaneous-reheating upper bound N_star<=55.7. FREEZE DISCIPLINE: 51.4 lies inside the frozen registry band [50,60]; predictions_frozen.json NOT modified (v84 lock intact). HONEST TENSIONS RECORDED: (1) n_s=0.9611 is +0.90 sigma below Planck 2018 (0.9649+-0.0042) and increases the DESI-combined tension; (2) A_s COHERENCE is sharper: with M_scal fixed A_s=N^2 c3^7/(24pi^2) is also predicted, A_s(51.44)=1.764e-9 = -11.4 sigma vs Planck 2.105(30)e-9; the A_s-preferred N_star=56.20 exceeds even the instantaneous-reheating bound 55.61 by 0.59 e-folds (instantaneous gives 2.06e-9 = -1.5 sigma, compatible) => within standard physics the measured A_s REQUIRES near-instantaneous reheating and the slow Higgs-channel point is A_s-disfavoured. The [P] point is CONDITIONAL on the decay channel; the frozen band [50,60] remains the prediction surface of record. Kill criteria: robust n_s>=0.967 falsifies the reheating chain (not the [I]/[L] core); A_s already arbitrates between fast and slow reheating
Recorded status: Physical [P] (conditional on M_Star=M_scal + standard reheating)
Dependencies, status detail and source
Canonical status: Physical [P]: N_star=51.4 point inside the frozen band; demotion as compiler output stands
Dependencies: GRAV.SCAL.01 (M_scal); PRED.LAYER.01; REG.FREEZE.01
Scripts: v86_nstar_reheating.py
Location: origin_theory;tfpt_2;introduction
Original CSV, line 160Original ledger status
EM.BUDGET.02
PYRATE GAUGE CROSS-CHECK (independent third-party confirmation of EM.BUDGET.01/CAR.SM.01 and an F_transfer gauge-input check): the carrier/SM field content gives, by the textbook one-loop formula in GUT normalisation, (b1,b2,b3)=(41/10,-19/6,-7) [I]; (1) THREE INDEPENDENT PATHS to b1=41/10 - carrier algebra 10 b1 = g_car 2^{g_car-2}+1 = 41 (CAR.SM.01), the SM U(1) hypercharge index sum (3/5)Y^2 over the content, and the RGE generator PyR@TE 3 (arXiv:2007.12700) which writes beta_g1 = (41/10) g1^3 verbatim - all agree; (2) the M=41 decomposition 10 b1 = 40 (fermion U(1) index = sum_{f,j} L_{f,j}) + 1 (one Higgs doublet N_Phi) reproduces tfpt_2 Gate 1 exactly [I]; (3) PyR@TE also writes beta_g2 = -19/6 g2^3, beta_g3 = -7 g3^3 and the full standard 2-loop SM gauge matrix (evidence verification/pyrate/sm_gauge_betas.txt, regenerated by verification/pyrate/reproduce.sh) [I]. SCOPE [P]: confirms the gauge sector of the F_transfer functor (its running inputs are not free knobs but follow from the carrier content); PyR@TE is the right external tool for the transfer/RGE gates (gauge running, and - with a seesaw model - the neutrino-Yukawa running behind eta_B), NOT for premise (A) (a 2d boundary-CFT question)
Recorded status: Identity [I] (one-loop coefficients exact) + [P] (F_transfer gauge inputs)
Dependencies, status detail and source
Canonical status: Identity [I]: carrier content -> (41/10,-19/6,-7); PyR@TE 3 (external) reproduces them verbatim; F_transfer gauge inputs confirmed
Dependencies: EM.BUDGET.01; CAR.SM.01; v2_carrier_pascal.py; v13_open_gates.py
Scripts: v159_pyrate_gauge_crosscheck.py
Location: tfpt_2
Original CSV, line 248Original ledger status
HIGGS.FREESEAM.01
HIGGS QUARTIC FROM THE FREE SEAM (a derived boundary condition tying m_H to premise (A); validated at two loops): the seam UV is the free chiral c=8 fixed point (v157/v158, Gaussian, no relevant/marginal interactions), so the one marginal SM scalar coupling vanishes at the seam -- lambda(M_seam)=0 AND beta_lambda(M_seam)=0, the Shaposhnikov-Wetterich double-criticality, here MOTIVATED by the free seam rather than assumed. (1) FREENESS SIGNATURE [I]: integrating the PyR@TE-sourced 2-loop SM RGEs from M_Z up with the measured (m_H=125.25, m_t) gives lambda(Mbar) ~ 0.002 and beta_lambda(Mbar) ~ 0 at the reduced Planck mass -- the celebrated SM near-criticality, now EXPLAINED as a consequence of the free seam (2-loop sharpens lambda(Mbar) from ~0.022 at 1-loop to ~0.002, i.e. the BC is met to ~0.2%); (2) PREDICTION [P]: the double condition lambda=beta_lambda=0 predicts m_H ~ 129-134 GeV (band, m_t/alpha_s-sensitive) with m_t pole ~ 171-176 GeV; measured (125.25, 172.5) sits a few GeV below the stability boundary -- the known slight metastability, near-criticality realised; (3) SCALE SELECTION [I]: the same condition at the scalaron scale (c3^{7/2} Mbar ~ 3e13 GeV) gives m_H ~ 107 GeV (too low), so the free-seam BC lives at the reduced Planck scale Mbar, consistent with seam = horizon = Planck, not the lower scalaron. Fills the Higgs-sector gap (previously only N_Phi=1). Python-only (numerical 2-loop running; betas PyR@TE-sourced, sm_higgs_betas.txt)
Recorded status: Identity [I] (freeness signature + scale selection) + [P] (the m_H prediction band)
Dependencies, status detail and source
Canonical status: Identity [I]: free seam => lambda(Mbar)~0=beta_lambda (SM near-criticality explained); [P] m_H ~ 129-134 predicted; seam BC at the Planck scale
Dependencies: EM.BUDGET.02; GATE.METRIC.15; v158_fixed_point_stable.py; v159_pyrate_gauge_crosscheck.py
Scripts: v166_higgs_free_seam.py
Location: tfpt_4_frontier
Original CSV, line 251Original ledger status
CONTRACT.QFT4D.01
4D LAGRANGIAN VIA THE SPECTRAL ACTION (2026-06-17): the honest CONTRACT for the Phase-3 structural gap (the 2d chiral seam net v156/v175 + its dynamics v238-v243 -> the physical 4d theory). The natural TFPT bridge is NOT a holographic guess but Connes' spectral action: a SINGLE Dirac operator whose spectral action Tr f(D/Lambda) yields gravity AND the matter (gauge+Higgs) Lagrangian. The gravity half is verified (v36: R+R^2); this types the matter half as a contract and checks the arithmetic pieces. (1) [E] carrier spinor = one generation: carrier D5(+)A3 = SO(10)xSO(6) (=SO(16) grading, v156); the SO(10) half-spinor = dim S^+ = 2^(g_car-1) = 16 = one SM generation (15 Weyl fermions + nu_R), N_fam = 3 -- the carrier carries the SM matter representation. (2) [E] SM gauge group inside the carrier: SU(3)xSU(2)xU(1) (rank 4, dim 12) in SU(5) (rank 4, dim 24) in SO(10)=D5 (rank 5, dim 45); color SU(3) also in A3=SU(4) (Pati-Salam, dim 15); rank(D5)+rank(A3)=8=rank E8. (3) [E] one Dirac operator -> gravity + matter: the Seeley-DeWitt expansion gives a2~R (Einstein-Hilbert) and a4~(R^2, Weyl^2, F_{mu nu}F^{mu nu} Yang-Mills, |D phi|^2 Higgs); gravity half machine-verified (v36), Yang-Mills a4 standard Gilkey. (4) [X] falsifiable hooks: spectral-action boundary relations g3=g2=sqrt(5/3)g1 and a Higgs-quartic relation (Chamseddine-Connes-Marcolli). (5) [O] CONTRACT.QFT4D.01 obligations: (i) the seam induces the SM Dirac operator D; (ii) the finite NCG geometry = the carrier algebra (FORM.P2.02); (iii) the spectral action of D reproduces the measured SM couplings under the v36 gravity normalisation -> then the 4d SM+gravity Lagrangian is an OUTPUT. The genuine Phase-3 target, NOT closed
Recorded status: Contract [O] (with [E] arithmetic + [X] hooks)
Dependencies, status detail and source
Canonical status: [E] carrier half-spinor = one SM generation (16), SM gauge group embeds in the carrier, one Dirac operator gives gravity (v36) + matter (Gilkey); [X] unification + Higgs hooks; [O] CONTRACT.QFT4D.01: the spectral action of the seam Dirac operator = 4d SM+gravity Lagrangian -- the Phase-3 target, not closed
Dependencies: FORM.P2.02; QG.G2.01; DHR.SECTORS.01
Scripts: v244_spectral_action_contract.py
Location: tfpt_research_contracts
Original CSV, line 330Original ledger status
QFT4D.MATTER.01
SPECTRAL-ACTION MATTER CONTENT (2026-06-17): the computable core of CONTRACT.QFT4D.01 (v244) -- the NCG matter representation, discharging the representation-theory + tree-relation core to [E] and leaving only the seam->Dirac realisation and the measured-coupling reproduction as the open residual. The carrier half-spinor is the SO(10) 16 (dim S^+ = 2^(g_car-1) = 16). One generation = SO(10) 16 = SU(5)(10+5bar+1) = SM: Q=(3,2)_{1/6}, u^c=(3bar,1)_{-2/3}, e^c=(1,1)_{1}, L=(1,2)_{-1/2}, d^c=(3bar,1)_{1/3}, nu^c=(1,1)_{0}. (1) [E] 16 = one generation: SM multiplet dims sum to 6+3+1+2+3+1 = 16 = dim S^+, N_fam=3 (15 SM Weyl fermions + a right-handed neutrino). (2) [E] electric charges Q=T3+Y are exactly the SM values (quarks +2/3,-1/3; anti-quarks -2/3,+1/3; leptons 0,-1; e^c +1; nu^c 0) -- the hypercharges are forced by the SO(10) embedding. (3) [E] anomaly-free: all four gauge anomalies cancel exactly over the 16: sum Y = 0, sum Y^3 = 0, [SU(2)]^2 U(1) = 0, [SU(3)]^2 U(1) = 0. (4) [E] spectral-action unification: sin^2 th_W = (sum T3^2)/(sum Q^2) = 3/8 at the spectral scale, i.e. g3=g2=sqrt(5/3)g1 (Chamseddine-Connes-Marcolli). (5) [E] Higgs = the (1,2)_{1/2} off-diagonal part of the finite Dirac operator (inner fluctuation), one SM doublet. (6) [O] residual: (i) the seam induces the Dirac operator D and (iii) the spectral action reproduces the MEASURED couplings after RG running -- still a contract, now with its rep-theory core verified
Recorded status: Numerical (exact rep theory) [E]/[O]
Dependencies, status detail and source
Canonical status: [E] SO(10) 16 = one anomaly-free SM generation with correct hypercharges/charges; sin^2 th_W = 3/8 (g3=g2=sqrt(5/3)g1); Higgs = (1,2)_{1/2} inner fluctuation. [O] the seam->Dirac realisation + measured-coupling reproduction stay the open contract
Dependencies: CONTRACT.QFT4D.01; FORM.P2.02
Scripts: v245_spectral_matter_content.py
Location: tfpt_research_contracts
Original CSV, line 331Original ledger status
PS.E8BRANCH.01
E8 HULL FORBIDS THE 126 (2026-06-17): the E8 audit hull supplies exactly {1,10,16,45} for SO(10) -- turning the scalaron-match '16-Higgs over 126-Higgs' selection into an algebraic statement. The carrier D5(+)A3 = SO(10)xSU(4) is a rank-8 subalgebra of E8 via SO(16); the adjoint 248 branches as (45,1)+(1,15)+(10,6)+(16,4)+(16bar,4bar) = 45+15+60+64+64 = 248 (SO(16) split: 120 adjoint + 128 spinor = spinor_SO10 (x) spinor_SO6). (1) [E] ranks 5+3=8=rank E8. (2) [E] dims sum to 248. (3) [E] the SO(10) reps in the hull are exactly {1,10,16,45}; the 126 (dim 126) is ABSENT -> the renormalisable 126_H is algebraically forbidden if fields are E8-hull reps, and 10+16+45 is E8-supplied, not fitted. (4) [E] MULTIPLICITY CAVEAT: only ONE (45,1) and ONE (1,15) in the 248 -> the minimal E8-allowed content (one 45) is proton-MARGINAL, a sharp falsifiable constraint. (5) [O] the field-content principle ('TFPT fields are E8-hull reps') + the NCG inner-fluctuation complement (v250).
Recorded status: Lattice/rep theory [E]
Dependencies, status detail and source
Canonical status: [E] E8->SO(10)xSU(4) branching: SO(10) content {1,10,16,45}, 126 absent (126_H forbidden), only one 45/15 (proton-marginal); [O] the field-content principle
Dependencies: E8.GLU.01; QFT4D.MATTER.01
Scripts: v247_e8_branching_no126.py
Location: tfpt_research_contracts
Original CSV, line 333Original ledger status
PS.RGTEST.01
CARRIER-NATIVE PATI-SALAM/SO(10) UNIFICATION KILL-TEST + NEGATIVE CONTROLS (2026-06-17): the suite claim-check of experiments/gauge-unification. Two-step M_Z->(SM)->M_PS->(PS)->M_GUT (SO(10): a4=a2L=a2R), matching a4=a3, a2L=a2, a2R^-1=(5/3)a1^-1-(2/3)a3^-1. (1) [E] matching holds and a valid 1-loop unification solution exists (M_PS < M_GUT < M_Pl). (2) [X] NEG: pure SM running does NOT unify (residual spread ~8.8 at 2e16 GeV, the universal non-SUSY gap). (3) [C] SCALE COINCIDENCE: the unifying M_PS lands on the scalaron scale M_s=c3^(7/2)Mbar -- M_PS/M_s = 1.0-1.7 at 1-loop (experiment 2-loop shrinks to ~1.0-1.2); two independent TFPT scales (gauge unification + gravitational scalaron) coincide. (4) [X] NEG: 126-type (10,1,3) content (large SU(2)_R, b2R>0) yields NO scalaron-matched solution (1-loop unphysical / 2-loop ~33x) -- match lost; 126 also E8-forbidden (v247). (5) [X] NEG: proton decay selects content -- minimal 16-Higgs M_GUT~2e15 -> tau_p < Super-K (2.4e34 yr) EXCLUDED; +(15,1,1) [E8-allowed 45] raises M_GUT proton-safer. (6) [O] residuals: the gauging fork, the exact kappa in M_PS=kappa M_s (now ~1.0-1.2), the one-45 E8 marginality (v247).
Recorded status: Data confrontation (kill-test) [X]/[O]
Dependencies, status detail and source
Canonical status: [E] matching+unification-exists; [X] SM-only fails, 126 breaks the match, proton decay selects content; [C] M_PS=scalaron coincidence; [O] gauging fork + exact kappa + one-45 marginality
Dependencies: PS.ALGEBRA.01; QFT4D.RGTEST.01
Scripts: v249_ps_unification.py
Location: tfpt_research_contracts
Original CSV, line 335Original ledger status
CONTRACT.QFT4D.DIRAC.01
THE SPECTRAL-TRIPLE CONTRACT (2026-06-17): the object that would turn 'carrier is gauged' from a fork into a theorem (Reviewer-A Theorem 3 + the sigma=scalaron identification). Target: a real even almost-commutative triple (A,H,D,J,gamma) with A_F = PS algebra (v248), H_F = 3x16, D_F = D_M (x) 1 + gamma_5 (x) D_F(R,L,phi0,Majorana). (1) [E] H_F = N_fam x dim S^+ = 3x16 = 48 (three generations of the SO(10) spinor); A_F acts on it. (2) [E] the charged-fermion Yukawas are ALREADY fixed (FLAV.QUARK.01/v18), so the open test is NCG CONSISTENCY of D_F, not 'nice Yukawas' (Reviewer A). (3) [O] the 7 NCG obligations: reality J, grading gamma, KO-dimension (6 mod 8), the FIRST-ORDER CONDITION (the historic SO(10)-NCG obstruction), orientability, Poincare duality, no-junk forms. (4) [O] sigma=SCALARON HYPOTHESIS: the Chamseddine-Connes-Mukhanov singlet sigma (rescues first-order + gives nu_R Majorana) is conjectured to BE the R+R^2 scalaron (supported by M_PS=kappa M_s, v249); CAVEAT: the scalaron<->nu_R nu_R coupling is NOT automatic and must be proven. (5) [O] inner fluctuations Omega^1_D -> Higgs content 10+16+45 not 126 (NCG complement of v247). (6) [C] verdict: reduces the '4d QFT' residual to ONE constructive object (the triple) + the finite NCG checks; gauge group (v248), matter rep (v245), Yukawas (v18) and unification corridor (v249) already in place -- what is missing is D_F + its axioms.
Recorded status: Contract [O] (with [E] finite facts)
Dependencies, status detail and source
Canonical status: [E] H_F=3x16=48, Yukawas already fixed (test is NCG consistency); [O] the 7 NCG axioms (first-order condition the hard one), sigma=scalaron, inner-fluctuation Higgs content -- reduces 4d QFT to one spectral triple
Dependencies: PS.ALGEBRA.01; CONTRACT.QFT4D.01
Scripts: v250_dirac_triple_contract.py
Location: tfpt_research_contracts
Original CSV, line 336Original ledger status
PS.NCG.FLUCT.01
INNER FLUCTUATIONS Omega^1_D -> SM HIGGS DOUBLET (no 126, no junk) + sigma (2026-06-17): closes the open obligation v250 #5 (Higgs content, NOT 126), the NO-JUNK obligation, and fixes the sigma quantum numbers (v250 #4 rep-theory half). Inner fluctuation D -> D + A + eps' J A J^-1 with A = sum pi(a)[D_F,pi(b)] in Omega^1_D = span{pi(a)[D_F,pi(b)]}. Because D_F is purely chirality-odd (Yukawa L<->R + Majorana), every 1-form is odd, so the FINITE fluctuations are SCALARS (gauge bosons come from the continuum [D_M,a]). (1) [E] Omega^1_{D_F} purely chirality-odd, gauge part 0. (2) [E] NO JUNK / NO 126: for the SM algebra C(+)H(+)M_3 every 1-form has support exactly inside the Higgs-doublet pattern (chirality-odd, colour-diagonal, no quark<->lepton mixing) = the single SM Higgs doublet (1,2)_{1/2}; no colour/weak triplet, no (10,1,3)/126-type scalar (0 junk entries, machine-checked). (3) [E] sigma NEEDS BEYOND FIRST ORDER: with the SM algebra the sigma (nu_R nu_R^c Majorana) direction is NOT generated by Omega^1_D (consistent with first order HOLDING, v252) but with the Pati-Salam algebra it IS generated -- sigma is precisely the Chamseddine-Connes-van Suijlekom beyond-first-order scalar (v251/v252). (4) [E] sigma quantum numbers: SM singlet (1,1,0) with B-L=2 (nu_R has B-L=-1, so sigma*(nu_R nu_R) is gauge invariant only for B-L(sigma)=+2), giving the nu_R Majorana mass and breaking B-L (the PS (4,1,2)->SM step). (5) [C] sigma=scalaron: sigma is a real SM-singlet scalar at the B-L/PS scale, consistent in quantum numbers and scale with the R+R^2 scalaron (M_PS=kappa M_s, v249/v253); the gravitational coupling proper remains [C]/[O].
Recorded status: Numerical (NCG inner fluctuations) [E]/[C]
Dependencies, status detail and source
Canonical status: [E] finite fluctuations = SM Higgs doublet (no junk/no 126) + sigma beyond first order + sigma B-L=2 singlet; [C] sigma=scalaron; closes v250 #5 + no-junk obligation + sigma QN
Dependencies: PS.DIRAC.02; PS.DIRAC.01
Scripts: v254_inner_fluctuations.py
Location: tfpt_research_contracts
Original CSV, line 340Original ledger status
PS.SPECACT.01
SPECTRAL-ACTION HEAT-KERNEL EXPANSION (a0,a2,a4) + EXPLICIT kappa(f2/f0) (2026-06-17): closes the open obligation v252 #11 (spectral-action expansion) and makes the kappa-dependence on the cutoff moments explicit (v253 #5). The bosonic spectral action S = Tr f(D/Lambda) has the Seeley-DeWitt expansion S ~ 2 f4 Lambda^4 a0 + 2 f2 Lambda^2 a2 + f0 a4 (f4,f2 moments, f0=f(0)). (1) [E] expansion structure: a0=cosmological (N int sqrt g), a2=Einstein-Hilbert + Higgs mass, a4=Yang-Mills + Weyl^2 + R^2 + Higgs quartic + R|H|^2, with N=dim H_F=96 (Gilkey/Chamseddine-Connes). (2) [E] trace inputs a=Tr(Y+Y)=2.96, b=Tr((Y+Y)^2)=2.92, b/a^2=0.333=1/3 (top-Yukawa dominated, the Chamseddine-Connes value). (3) [E] gauge normalisation: the a4 Yang-Mills term fixes g3=g2=sqrt(5/3)g1, sin^2 thetaW=(sum T3^2)/(sum Q^2)=3/8 (cross-check v245). (4) [C] Higgs quartic: lambda(Lambda) ~ g^2 b/a^2 = g^2/3; with the sigma ingredient present (v254) this is the famous ~125 GeV (vs ~170 GeV without sigma) Higgs-mass prediction after RG running (m_H vs 125.25 GeV); exact coefficient + running cited. (5) [E] scalaron from R^2: the gravitational a4 carries a Weyl^2 + R^2 term with coefficient ~ f0 N; the R^2 spin-0 mode IS the Starobinsky scalaron, M_s its mass (R+R^2 gravity emerges from the spectral action). (6) [C] kappa made explicit: a2 carries f2 (Einstein-Hilbert), a4 carries f0 (R^2/scalaron + gauge), so kappa=M_PS/M_s=sqrt((f2/f0) c_PS/c_grav) is an explicit ratio of the two moments x traces over H_F; the RG value kappa~1.3 (v253) fixes f2/f0 to O(1). (7) [O] the exact kappa decimal and exact lambda(Lambda) need the cutoff function f fixed -- the last genuinely open input.
Recorded status: Numerical (spectral action) [E]/[C]/[O]
Dependencies, status detail and source
Canonical status: [E] Seeley-DeWitt expansion structure + trace inputs (b/a^2=1/3) + sin^2 thetaW=3/8 + scalaron from R^2; [C] Higgs quartic ~125 GeV + explicit kappa(f2/f0); [O] cutoff moments; closes v252 spectral-action obligation
Dependencies: PS.DIRAC.02; PS.KAPPA.01; CONTRACT.QFT4D.01
Scripts: v255_spectral_action_expansion.py
Location: tfpt_research_contracts
Original CSV, line 341Original 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
PRED.LIVE.01
LIVE KILL-TEST SCORECARD OF THE RECENT ROUND'S COMPUTABLE PREDICTIONS (2026-06-18): a data-confrontation consolidation (confronts, does not add physics), each row tagged with the decisive near-term experiment. [N] PMNS angles: sin^2 th12=1/3-phi0/2=0.30675 vs NuFIT 0.303(12) [+0.31 sigma]; sin^2 th13=phi0 e^{-5/6}=0.02311 vs 0.02225(59) [+1.45 sigma]; sin^2 th23=0.5 maximal (octant-ambiguous) -- decisive JUNO/Daya-Bay/DUNE. [C] leptonic CP: J_PMNS=-0.0297 (J_max 0.0342 vs NuFIT 0.0332 ~3%), delta=240 vs NuFIT ~232(30) -- decisive DUNE/Hyper-K. [X] Sigma m_nu NO floor=0.0586 eV vs Planck+BAO<0.12, DESI~<0.072 (consistent at the edge; Sigma<0.0586 excludes the NO m1~0 spectrum) -- decisive DESI/CMB-S4. [X] proton decay tau_p(p->e+pi0)=1.55e35 yr for the E8-allowed +(15,1,1) content vs Super-K>2.4e34 (safe); minimal 16-Higgs 4.4e33 EXCLUDED -- decisive Hyper-Kamiokande (reach ~1.4e35). [N] closed readouts alpha^-1=137.0359992 (1.9 sigma known offset), Omega_b=(1-1/4pi)phi0=0.04894, birefringence beta=phi0/(4pi)=0.2424 deg -- decisive CMB birefringence. [N] all confronted rows consistent < 2 sigma; 2 sharp near-term kill tests (Sigma m_nu floor, proton decay).
Recorded status: Data confrontation [N]/[C] + [X] (two near-term kill tests)
Dependencies, status detail and source
Canonical status: [N]/[C] data confrontation (pulls vs current bounds) + [X] the two sharp near-term kill tests. A consolidation/scorecard, not new physics.
Dependencies: FLAV.TH13.01; FLAV.PMNS.03; FLAV.NUSCALE.01; PS.PROTON.02; EM.FP.01
Scripts: v283_live_killtest_scorecard.py
Location: tfpt_4_frontier
Original CSV, line 378Original ledger status
CAR.SM.ANOM.01
THE CARRIER HALF-SPINOR IS ONE ANOMALY-FREE SM GENERATION + THE SM RG (2026-06-21, TOE attack point 3): connects the discrete compiler to constructive 4D QFT, closing the spectrum+anomaly+beta sub-question exactly. [E] 16=Lambda^even(C^5)=1+10+5; SU(5) c SO(10): 10+5bar+1 = one SM generation (Q,u^c,d^c,L,e^c,nu^c), 16 Weyl states. [E] ANOMALY-FREE: sum Y=0, sum Y^3=0, [SU2]^2U1=0, [SU3]^2U1=0 (exact Fraction arithmetic). [E] one-loop RG from the carrier content (3 gen + 1 Higgs): (b1,b2,b3)=(41/10,-19/6,-7); b1 numerator 41 = the EM-budget integer (v3/v159), b3=-(11-2 n_f/3) with n_f=2 N_fam. [E] NEG: dropping nu^c leaves an incomplete 15!=16 multiplet; a 4th family shifts b1 off 41/10 (N_fam=3 pins the RG). [C]/[O] the full Epstein-Glaser interacting S-matrix (v269/v271/v273) and the Yukawa sector stay open. Closes the spectrum/anomaly/beta layer; not the interacting S-matrix.
Recorded status: Identity [E] (spectrum+anomaly+RG) + [C]/[O] (S-matrix)
Dependencies, status detail and source
Canonical status: [E] the 16=1+10+5 decomposition + the four exact anomaly cancellations + the one-loop (b1,b2,b3)=(41/10,-19/6,-7) + the N_fam=3 RG-pinning negative controls; [C]/[O] the full EG interacting S-matrix + Yukawa. A genuine closure of the carrier->anomaly-free-SM+RG sub-question; does NOT close the interacting theory.
Dependencies: CAR.SM.01; QFT4D.SPERT.03; v273; v159
Scripts: v310_carrier_sm_anomaly.py
Location: tfpt_research_contracts
Original CSV, line 408Original ledger status
AS.RECONCILE.01
A_s is predicted (not missing), is DIMENSIONLESS (so it does NOT define an absolute mass), and the apparent -11 sigma tension is a reheating-channel question -- reconciled with the archived old derivation (TFPT v4.5/v4.6, 2026-06-22). [E] A_s = N_star^2 (M_scal/Mbar)^2/(24 pi^2) = N_star^2 c3^7/(24 pi^2) (v86); M_scal/Mbar = c3^{7/2} = 1.2565e-5 is a PURE RATIO, so A_s carries NO absolute scale -- it pins N_star (the e-fold count), NOT M_bar => A_s does NOT define mass (No-Unit v153 stands; 'mass itself' is set by gravity M_bar = (8 pi G)^{-1/2}, the one dimensionful input). [N] the -11.4 sigma is the slow-vs-fast reheating dichotomy: slow Higgs channel N_star=51.44 -> A_s=1.764e-9 (-11.4 sigma vs Planck 2.105(30)e-9); the A_s-preferred N_star=56.2 (~ the instantaneous bound 55.6). [P] ARCHIVE COMPARISON: the old v4.5/v4.6 (07_cmb_operational_closure) used the ALGEBRAIC N_star=3/phi0-1=55.42 (+ alpha_R=(Omega_adm/4pi)e^{1/phi0}) and reported A_s=2.124e-9; at that N_star the current normalisation gives A_s=2.047e-9 (-1.9 sigma) -- consistent (~4% offset = alpha_R vs c3^7); the old clean A_s = N_star~55.4 (near-instantaneous), NOT the slow channel. [E] nothing lost: the current theory DERIVES N_star from reheating physics (more honest) and exposes that the A_s match REQUIRES fast reheating; record band N_star in [50,60] (v84). [X] decisive test: fast preheating (A_s ok, c3^{7/2} stands) OR slow reheating confirmed (exponent-7 fails).
Recorded status: Reconciliation [E]/[N]/[P]/[X] (A_s predicted+dimensionless; tension = reheating channel; archive comparison)
Dependencies, status detail and source
Canonical status: [E] the dimensionless A_s formula + the no-mass-definition consequence; [N] the reheating-channel quantification; [P] the archive comparison (the old N_star=3/phi0-1 is a posited algebraic count, NOT re-promoted to [E]); [X] the test. Does NOT change the frozen band.
Dependencies: v86; v153; v84; SCALE.OVERDET.01
Scripts: v340_As_reconcile.py
Location: origin_theory
Original CSV, line 442Original ledger status
QFT4D.EG.ALLORDER.01
The all-order Epstein-Glaser/BRST contract for the perturbative 4D S-matrix S_pert (2026-06-23, review Point 3): the 'all-order closing statement' for the 4D perturbative QFT leg, typing the standard causal-perturbation-theory closure for the TFPT finite interaction class -- NOT a 4D path integral and NOT a new mechanism. [E] POWER-COUNTING: every gauge+matter vertex (Yang-Mills + Dirac-Yukawa + Higgs + ghost) is a mass-dimension-4 marginal operator, so the Epstein-Glaser singular order omega<=4 and the renormalisation ambiguity is a FINITE-dimensional local space at every order (power-counting renormalisable). [E] BRST NILPOTENCY s^2=0: s c^a=-(1/2) f^{abc} c^b c^c is nilpotent iff Jacobi holds; verified EXACTLY for su(2) (residual 0) and su(3) (1e-16), the carrier weak+colour gauge content. [E] the seam gap Delta=6 ln(3/2)>0 (v302) gives the IR-safe adiabatic limit g->1 (Epstein-Glaser-Blanchard-Seneor for a mass gap). [C] IMPORTED: T_n exists to all orders by causal factorisation (Epstein-Glaser 1973 / Brunetti-Fredenhagen). [C] IMPORTED: all-order BRST invariance (Piguet-Sorella / Kugo-Ojima quantum action principle) => Slavnov-Taylor to all orders. [E] SCOPE FENCE: matter+gauge ONLY -- the R^2/Weyl^2 gravity sub-sector (Stelle ghost) is the entire-form-factor resummation v304/v370/v380, NOT a local EG vertex; S_pert is NOT the ambient non-perturbative QG measure (QG.AMB.01, a [C] redundancy v369). NET [C], prerequisites [E]; NOT [E]. Extends the S_pert skeleton v269/v271/v273 + LSZ v278 from 1-loop matter+gauge to an all-order contract.
Recorded status: All-order EG/BRST contract [C] (imported EG causal factorisation + BRST renormalisation on the TFPT finite dim-4 gauge+matter class + the seam gap); prerequisites power-counting/BRST-nilpotency/gap [E]
Dependencies, status detail and source
Canonical status: [E] the three TFPT prerequisites (dim-4 power-counting -> finite counterterm space; BRST nilpotency via Jacobi for su(2)/su(3); the seam gap -> adiabatic limit); [C] the two imported heavy legs (all-order T_n existence by causal factorisation; all-order BRST invariance / Slavnov-Taylor); NOT [E] (no in-repo formal induction), matter+gauge only (gravity fenced to v304/v370/v380; ambient QG.AMB.01 a [C] redundancy). A typed all-order contract, not a path integral.
Dependencies: v269; v271; v273; v278; v302; v304; v370; v380; v369
Scripts: v381_qft4d_eg_allorder.py
Location: tfpt_5_redteam; tfpt_2
Original CSV, line 444Original ledger status
ALPHA.QUILLEN.INFLOW.01
THE ALPHA^3 LEVEL = THE COMPUTED BULK CHERN INVARIANT + THE SEAM F-NORMALISATION = THE AFFINE EMBEDDING INDEX (2026-07-02, closure-route round) -- upgrades BOTH residuals left after v433/v434/v435; does NOT close ALPHA.QUILLEN.EXACT.01. [E] TARGET RE-VERIFIED: alpha^-1 = 137.0359992168 unique root; Quillen split a^3 - 2 c3^3 a^2 = 8 b1 c3^6 ln(1/phi_seam) at the root < 1e-35 (v341/v382). [E] THE INVARIANT COMPUTED: FHS Chern C(M=1) = 1, C(M=3) = 0 -- the same integers as v367/v461, here read as the quantised U(1) response of the collar phase. [C] k0 = |C| = 1 UNDER THE EM1 READING: the a^3 coefficient EQUALS the computed bulk invariant of the SAME p+ip model that realises S3 -- 'why exactly 1' is answered by COMPUTATION plus the cited inflow identification (TKNN PRL 49 (1982) / Avron-Seiler-Simon PRL 51 (1983): integer quantisation of the U(1) response; Callan-Harvey NPB 250 (1985): boundary level = bulk response; APS 1975 / Alvarez-Gaume-Della Pietra-Moore Ann. Phys. 163 (1985) / Witten RMP 88 (2016): the metric-independent part of delta log det is the eta/CS level; Quillen 1985 / Bismut-Freed CMP 106 (1986): determinant-line curvature integrality) -- REPLACING v435's minimality assumption ('1 is the unit level') by a measurement on the model. [E] k_Y = 5/3 EXACT: tr_5bar(Y^2)/tr(T3^2) = (5/6)/(1/2) = 5/3 (Ginsparg PLB 197 (1987), the string-GUT hypercharge level); (3/5) x (41/6) = 41/10 = b1 -- the 'GUT 3/5' in the closure IS the inverse embedding index, not an imported convention; carrier decomposition 41/6 = 20/3 (3 generations x 16-content) + 1/6 (Higgs doublet). [C] F-NORMALISATION RETYPED: once the seam net is (E8)_1 at level 1 (SEAM.EQUIV.01), the U(1)_Y current sits inside a level-1 current algebra and <J(z)J(w)> = k/(z-w)^2 is FIXED by the embedding index -- level-1 current-algebra rigidity, no continuous dial; the v434 [C] ('how does the gauge curvature couple to the boundary measure') has ZERO independent content: it is a face of SEAM.EQUIV.01 (consistent with the v382 typing), its value the embedding index. [E] THE STRUCTURAL UNIFICATION: the two named targets share ONE object -- the collar phase carries TWO quantised responses, gravitational c_- = 16 x 1/2 x |C| = 8 = g_car + N_fam (feeds SEAM.EQUIV.01/S3, v456) and U(1) C = 1 (feeds the a^3 level, EM1); 'the one theorem and the one number' are two faces of the SAME invertible phase, and closing R1' (v469) feeds both residuals simultaneously. [O] NOT CLOSED: the bridge lemma 'delta log det_zeta(seam) = the inflow response' stays the named cited step; the EM1 reading stays [C]; ALPHA.QUILLEN.EXACT.01 stays [O]; alpha^-1 = 137.0359992 stays [E] regardless. UPDATED 2026-08-27 (v974): the inflow step 'boundary level = bulk response' is upgraded from cited to COMPUTED on the same model (probe laughlin_pump_em1_probe 20/20, PUMP_QUANTIZED_MATCHES_CHERN): Laughlin pump +1 per flux quantum (teleport bookkeeping with exact period closure), edge spectral flow -1/+1 antisymmetric as inflow demands, Streda dN/dPhi = C/(2 pi) exact integers over n_phi = 0..3 -- all equal to the FHS Chern, with the M = 3 controls all zero. The identification of the complex-copy U(1) with the physical Majorana collar stays part of the cited EM1 reading [C]; ALPHA.QUILLEN.EXACT.01 stays [O].
Recorded status: Inflow level + embedding rigidity [E]/[C]/[O]: the a^3 coefficient = the COMPUTED bulk Chern |C| = 1 of the v367 collar (TKNN/ASS quantisation + Callan-Harvey inflow + APS/Witten eta=CS), replacing v435's minimality; the seam F-normalisation = the affine embedding index k_Y = 5/3 (Ginsparg 1987, (3/5)(41/6) = 41/10 = b1) -- zero independent content, a face of SEAM.EQUIV.01; one phase, two responses (c_- = 8, C = 1) feeding both named targets; ALPHA.QUILLEN.EXACT.01 stays [O]
Dependencies, status detail and source
Canonical status: -
Dependencies: ALPHA.QUILLEN.EXACT.01; ALPHA.QUILLEN.PROGRESS.02; ALPHA.QUILLEN.PROGRESS.03; ALPHA.QUILLEN.PROGRESS.04; EM.WARD.01; SEAM.EQUIV.CROSSEDPRODUCT.01; v341; v367; v382; v433; v434; v435; v456; v461
Scripts: v470_alpha_inflow_level.py
Location: tfpt_1_architecture_e8
Original CSV, line 531Original ledger status
SEAM.CONTACT.UNIT.02
THE DIAGONAL CHANNEL SETTLED -- THE MERGED TARGET COLLAPSES ONTO THE KEYSTONE (2026-07-14, deep-dive round III; completes the computable side of SEAM.CONTACT.UNIT.01/v484): [E] DIAGONAL ZERO AT THE KMS SCALE: the renormalised coincident-point Green function of |D| on a circle of circumference l (zero mode removed, flat short-distance subtraction) is G_reg(0; l) = (1/pi) ln(l/2pi) EXACTLY (symbolic limit + 30-digit numeric checks at l = pi, 2pi, 4pi) -- it vanishes iff l = 2 pi = 1/(4 c3), the v239 KMS seam circumference: the seam scale is the unique zero-self-energy scheme point. [E] THE LOG IS THE SCALE CHANNEL: G_reg(0; 2 pi kappa) = (1/pi) ln kappa -- matching the functional structure: F_U(1) carries exactly ONE log term (the transport 8 b1 c3^6 ln(1/phi_seam), v3) while the phi0 split (4/3)c3 + 48 c3^4 is log-free; [C] reading: the log term is the diagonal/scale channel, the log-free terms are contact data at the KMS point. [E] CLOSED-FORM RESUMMATION (the BFK/gluing route already in the suite, v151): for a finite-rank mark potential the zeta-det ratio reduces to the 4x4 mark determinant, and with the diagonal zero the v484 expansion RESUMS exactly: det(I - u C) = (1 - 4u)(1 + 2u)^2, u = eps c3 ln2, C = circ(0,1,2,1) -- closed form to ALL orders, the linear term absent precisely because the diagonal vanishes (Tr C = 0), series = v484's Tr(C^k) = 4^k + 2(-2)^k term by term. [E] WEIGHT DICHOTOMY (the multiplicity matching): the SAME 48 = 3 x 16 admissible states (v245) carry both multiplicities -- counted FLAT they give the phi0 puncture count 48 = Omega_adm = N_fam dim S+; counted with the U(1) response weights (Y^2 with the standard loop/GUT factors) they give the alpha budget 41 = 10 b1 = 40 fermionic (Tr_16 Y^2 = 10/3 exact, nu^c = 0) + 1 Higgs (Ginsparg (3/5)(41/6) = 41/10, v470) -- one state set, two response weights, no new number. [C]/[O] CONSEQUENCE: with v484 (unit + cycle sector) EVERY finite/computable piece of the merged ALPHA.QUILLEN.EXACT.01 + HYP.PHI0.PUNCTURE.01 target is proven; the single remaining [O] is the identification of the abstract seam zeta-det with this glued mark determinant -- a face of SEAM.EQUIV.01, exactly the v382 typing, now substantiated computationally. The merged residual collapses onto the keystone; no separate analytic unknown remains. No gate closes, no marker moves; no coefficient fitted (all integers forced by the square configuration and the SM charge table). UPDATED 2026-08-27 (v974): the BFK/gluing resummation named here is now EXECUTED (probe seam_bfk_conical_det_probe 21/21, promoted as v974): C_glue = 2^-N exactly (N = 1..4 symbolic, general interval lengths, Laurent-polynomial identity), massless reassembly det'_zeta(Delta_S1) = l^2 = 2^-N prod(2 a_j) (l/N) det'(R_0) with det'(R_0) = N l / prod a_j, jump matrix = inverse mark Green matrix R(m) = (G_m|_marks)^-1 exactly, and the diagonal/scale channel reproduced exactly through log det'Delta(l) - log det'Delta(1/(4 c3)) = (1/(4 c3)) G_reg(0; l). The keystone typing is unchanged: pillowcase moduli, the 8 b1 index budget and a |D|-level BFK as an operator identity stay open with the keystone.
Recorded status: Completion of the computable side [E]/[C]/[O] (diagonal zero at the KMS scale; closed-form resummation; multiplicity dichotomy; residual = the SEAM.EQUIV.01 face alone)
Dependencies, status detail and source
Canonical status: Computable side complete: diagonal = 0 at KMS scale, resummation closed-form, 48/41 = one state set under two weights; remaining [O] = the SEAM.EQUIV.01 face (v382 typing substantiated)
Dependencies: SEAM.CONTACT.UNIT.01; ALPHA.QUILLEN.EXACT.01; HYP.PHI0.PUNCTURE.01; HYP.PHI0.GEOM.01; EM.WARD.02; DYN.KMS.01; v3; v151; v239; v245; v434; v470; v483; v484
Scripts: v485_contact_diagonal_closed.py
Location: tfpt_1;origin_theory
Original CSV, line 546