Publication history: 2026-06-18

Details

• v298_e8_network_attractor.py is an honest audit of the “TFPT as a hypergraph/rewrite system” idea, on the v219 McKay bedrock. [E]the affine-E_8 Kac marks (1,2,3,4,5,6,4,2,3) are the unique dynamical attractor of a minimal local-averaging update m\!\leftarrow\!(A{+}2I)/4\,m on the (2,3,5) McKay graph (converges from any positive start; A\,m=2m, top eigenvalue 2); the spherical tower terminates at E_8 and the cascade is nested-subgraph coarse-graining. [C]the Wolfram reading “E_8 is the universal attractor of a minimal (2,3,5) network” holds at the Coxeter-skeleton level. [O]a minimal hypergraph rewrite reproducing the full structure stays open; honest negatives: \phiz is the analytic seed \tfrac{4}{3}c_3=1/(6\pi), not an edge fraction, and recovery is a 1-D Möbius fixed point, not a rewrite. [E]build green, AUDIT OK.

Details

• v296_flataway_a2_closed.py (FLATAWAY.A2.CLOSED.01) evaluates the exact a_2 coefficient in closed form: the operator tails telescope geometrically (C_k+D_k e^{-4kt}=4kt(1-e^{-4kt})) to W_k^{\mathrm{tail}}=t(1-e^{-4kt})/(8k(1-e^{-t})), leaving a finite (4k{-}1)-term middle; e.g. W_1(t)=t(2t e^{t}+e^{3t}+3e^{2t}+e^{t}-1)e^{-3t}/8. Manifestly positive, small-t law W_k=t/2+O(t^3) (the t^2 term cancels). Reproduces v295 to machine precision.
• v297_route_a_literature_stack.py (SEAM.EQUIV.A.LIT.01) writes Route A's one import as a citable stack: LIT-A (Kitaev; Freed–Hopkins) \to LIT-B (Müger; Kawahigashi–Longo–Müger) \to LIT-C (Conway–Sloane; Dong–Xu) compose into “invertible bulk \Rightarrow(E_8)_1”, all legs established; the single open hypothesis (seam-bulk invertibility) coincides with Route B's Flat-Away, and the stack is non-circular with Route B (the v286 firewall holds). [E]build green, AUDIT OK.

Details

• v295_flataway_a2_exact.py (FLATAWAY.A2.01) upgrades the v292 positive-definiteness from a numerical scan to a proof: the first variation of \mathrm{Tr}\,e^{-t\Lambda} vanishes (zero-mean off-mark curvature, Gauss-Bonnet), and since \Lambda\mapsto\mathrm{Tr}\,e^{-t\Lambda} is convex (Klein/Peierls), \varepsilon{=}0 is the global minimum — so \Delta\mathrm{Tr}\ge0 for all deformations, =0 iff f=0. The exact second-order coefficient is the divided-difference kernel of e^{-tx} (Duhamel), validated to rel. err <10^{-6}.
• Lean FORM.FLATAWAY.01 (SeamDeckClosure.lean Part 5): the formal \Delta{=}0\Leftrightarrow flat step — a positive-weighted sum of squares is positive-definite (heatDeviation_eq_zero_iff); built and axiom-checked (only propext, Classical.choice, Quot.sound). So the heat route's positive-definiteness is now both analytically proved and machine-formalised; only the single external fact (the seam fixes a_2) remains. [E]build green, AUDIT OK.

Details

• v292_flataway_heat_reduction.py (FLATAWAY.HEAT.01): the heat route, made precise. The heat-trace deviation \Delta\mathrm{Tr}(e^{-t\Lambda})=c(t)\varepsilon^2+O(\varepsilon^4) is a positive-definite quadratic form in the off-mark curvature (c_k(t)>0 for every \mathbb{Z}_4 mode, positive on all combinations), leading invariant \|f\|_{L^2} — so Flat-Away reduces to the single fact “the seam fixes the a_2 heat coefficient”.
• v293_flataway_spectral_hessian.py (FLATAWAY.SPEC.01): the spectral route, upgraded from one direction to the full smooth-\mathbb{Z}_4 space. Mode 4k splits the degenerate Steklov level |2k| at first order; the Hessian of the spectral mismatch over modes \{4,8,12\} is positive-definite (eigenvalues \{0.497,0.500,0.503\}), so the flat seam is a strict isolated minimum — the “only one direction” objection is answered.
• v294_flataway_rp_energy.py (FLATAWAY.ENERGY.01): the variational route. With the rigid mark divisor (4 cone angles \pi, Gauss-Bonnet 4\pi), Troyanov uniqueness gives a unique flat cone metric, and the curvature energy \int f^2 is strictly convex (Hessian 2\pi I) with a unique minimiser — Flat-Away reduces to “RP+gap realises the energy-minimiser”. The three routes converge on one selection principle for the flat metric; closing any one closes Route B. [E]build green, AUDIT OK.

Details

• v290_z4_smooth_curvature_adversary.py (SEAM.ADVERSARY.01) is the honest red-team that \mathbb{Z}_4 block-diagonality is not mark-locality: a smooth \mathbb{Z}_4 off-mark curvature f=\varepsilon\cos(4\theta) [E]passes the v288 commutator (\|[\rho,\Lambda]\|=0, same as mark-local) yet [E]shifts the DtN spectrum (\max|\Delta\lambda|=0.155) and the heat trace (\Delta=0.019). So the commutator is necessary, not sufficient; the modulus is excluded by the spectral data, not [\rho,\Lambda]{=}0 — which is exactly why Flat-Away cannot be read off the commutator.
• v291_flataway_contract.py (FLATAWAY.RP.01) states Flat-Away as its own named mini-theorem and types three independent proof routes: [E]spectral-rigidity and [E]heat-kernel (the flat seam is the unique spectral/heat match of the smooth \mathbb{Z}_4 family — deviation zero only at \varepsilon{=}0) and [C]RP-energy/Troyanov (constant-curvature minimiser). Closing any one closes Route B. [E]build green, AUDIT OK.

Details

• v289_marklocal_raw.py (MARKLOCAL.RAW.01) decomposes the one remaining Route-B residual (`why is the raw seam sub-principal term mark-local?') into a 5-lemma chain and isolates the single open analytic lemma: [C]L1 conic parametrix (b-calculus/Melrose, imported); [O]L2 Flat-Away — RP+gap+4 marks \Rightarrow curvature vanishes away from the marks; [E]L3 orbit-source (v195/v216), L4 Fourier-support on 4\Z (v264/v288), L5 full-operator [\rho,\Lambda]{=}0 (v288). 4/5 discharged — Route B reduces to exactly L2.
• v288 reviewer firewall: a SCOPE FIREWALL check makes the exact-label split explicit (Fourier lemma Formal/Exact; numerical test Numerical Exact; transfer to the raw conic DtN Conditional, v264; mark-locality from the RP seam Open Selection, v289) — so it can never be read as `full-L^2 QGEO proved'.
• v287 literature matrix: L3 (`invertible bulk \Rightarrow single-sector') is typed as a composition of citable results (LIT-A Kitaev/Freed–Hopkins, LIT-B Müger/Kawahigashi–Longo–Müger, LIT-C Kawahigashi–Longo) conditional on one open hypothesis — seam-bulk invertibility, which coincides with Route B. [E]build green, AUDIT OK.

Details

• v286_seam_equivalence_contract.py (SEAM.EQUIV.01) names the one open theorem — the raw RP seam state is the holomorphic (E_8)_1 net at \tau{=}i — and concentrates the whole open structure on it: four objects, six arrows (2 closed, 1 conditional v282, 1 open Gral), an import firewall proving the two routes (v276/v280/v284 vs v277/v281/v285) never import each other (no `E_8 into the geometry and back' circularity), and an exact-label taxonomy. Writes seam_equivalence.json.
• v287_free_rp_bulk_to_holomorphic_boundary.py (SEAM.EQUIV.A01): Route A (AQFT) dependency checker — the 5-lemma chain RP+gap+chirality+Gaussian+invertible \Rightarrow\mu{=}1\Rightarrow holomorphic \Rightarrow(E_8)_1 is logically complete modulo one standard theorem: invertible (SRE) Gaussian bulk \Rightarrow single-sector boundary (the AQFT form of \det K{=}1). 4/5 discharged.
• v288_full_l2_subprincipal_z4.py (SEAM.EQUIV.B01): Route B (DtN) — proves the full-L^2 lift of the sub-principal \mathbb{Z}_4 block-diagonality (a mark-sourced curvature has Fourier support only on m\equiv0 mod 4, so \Lambda=|n|+M_f commutes with \rho=\mathrm{diag}(i^n) on the full operator, \|[\rho,\Lambda]\|\sim2{\times}10^{-15}; generic curvature \to 4.44), lifting v201/v284 to L^2. The residual shrinks to one sharper question: why is the raw seam sub-principal term mark-local? [E]build green, AUDIT OK.

Details

• v284_route_i_rp_uniqueness.py (QGEO.ROUTEI.01) turns Route (i) (RP-state uniqueness) into a 6-lemma chain: [E]5/6 lemmas are already discharged — L1 RP\toDtN (v194), L2 marks\topillowcase (v195/v216/v214), L3 flat Steklov =\sqrt{-\Delta_{\mathrm{flat}}} (verified here), L4 covariance from DtN (v258), L5 \mu_4-invariance (v276/Lean/v280); [C] Troyanov (\chi_{\mathrm{orb}}{=}0\Rightarrow unique flat \tau{=}i) reduces the residual to one lemma. [O] the one open lemma: the raw seam is the constant-curvature geometric state.
• v285_route_ii_seam_condensation.py (QGAMB.ROUTEII.01) turns Route (ii) (seam-net condensation) into a 4-lemma chain: [E]3/4 discharged (no abelian sector \Leftrightarrow\det K{=}1 \Leftrightarrow holomorphic \Leftrightarrow E_8; the tower 16{\to}4{\to}1), and its open lemma coincides with Route (i)'s — both are “the raw seam is the (E_8)_1-at-\tau{=}i object” (v282), so proving either route closes both. [O]the unified open lemma: a canonical equivalence between the raw seam KMS/DtN state and the holomorphic (E_8)_1 net at \tau{=}i. Build green, AUDIT OK.

Details

• v280_pillowcase_steklov.py (QGEO.STEKLOV.01) runs the QGEO chain on the actual flat \tau{=}i pillowcase orbifold: the order-4 deck permutes the 4 cone points (2 fixed + 1 swap) and the geometric chain [\rho,\Delta]{=}0\Rightarrow[\rho,H]{=}0\Rightarrow[\rho,C]{=}0\Rightarrow\omega\circ\rho{=}\omega is numerically exact — route-(i) evidence for QGEO.OBLIG.01; the premise stays [O].
• v281_holomorphy_modular_data.py (QGAMB.MODULAR.01): #anyons =|\det\mathrm{Gram}| (E8\to1, SO(16)\to4), the anyon-condensation tower 16\to4\to1, Gauss–Milgram \to c{=}8; holomorphy (\det K{=}1) is the single Tier-B discriminator.
• v282_e8_tau_i_unification.py (QGAMB.UNIFY.01): the candidate simplification — \chi_{E_8}{=}j^{1/3} gives \chi_{E_8}(i){=}1728^{1/3}{=}12, so \tau{=}i is both the order-4 CM point (QGEO) and the (E_8)_1 modulus (QG.AMB): the two obligations are two faces of one object (the seam is (E_8)_1 at \tau{=}i), obligation count 2\to1.
• v283_live_killtest_scorecard.py (PRED.LIVE.01): the recent round's computable predictions vs current data — all consistent <2\sigma, with two sharp near-term kill tests (\Sigma m_\nu floor 0.0586 eV; proton decay 1.55{\times}10^{35} yr).
• Wolfram 275/275 (v281/v282 exact-mirrored); build green, AUDIT OK.

Details

• v279_qgeo_obligation_lemma.py (QGEO.OBLIG.01) writes the bedrock as ONE precise constructive-QFT lemma. Given the premise the raw seam carries the flat \tau{=}i pillowcase metric (Troyanov-unique, \Lambda_\Sigma{=}\sqrt{-\Delta_{\mathrm{flat}}}), then \omega_\Sigma\circ\rho=\omega_\Sigma \to mark-locality \to E_8. [E]the reduction DAG from `free RP seam' has exactly one open leaf — `the raw seam state is the flat state'; [E]the geometric side is fixed (flat DtN diagonal, \rho commutes to all orders), so the obligation is a state-identification, with [C]two proof routes (RP-state uniqueness, or Troyanov + OS).
• FORM.QGEO.04: the all-orders step is now machine-proved in Lean. SeamDeckClosure.lean gains diagonal_commutesClock and flat_all_orders_clock: any spectral function g(\Delta_{\mathrm{flat}}) of the Fourier-diagonal flat Laplacian commutes with the carrier clock \rho{=}\mathrm{diag}(i^n) — so the v276 all-orders closure is a Lean theorem (only propext, Classical.choice, Quot.sound; no sorry; full lake build green, 3356 jobs). The premise (the seam is flat) stays the [O]QGEO.SYM.01 input. Build green, AUDIT OK.

Details

• v278_lsz_bridge_unitarity.py (QFT4D.SPERT.04) connects the perturbative S-matrix to the physical asymptotic one and verifies one-loop unitarity. [E]LSZ bridge: the EG T-products of S_{\mathrm{pert}} (v269) are the OS Wick-rotated correlators (v240), so amputate+on-shell-residue gives S_{\mathrm{pert}}\xrightarrow{\mathrm{LSZ}}S_{\mathrm{phys}}; [C]the gap \Delta{=}6\log(3/2){>}0 gives Haag–Ruelle asymptotic states. [E]one-loop optical theorem: the bubble discontinuity \operatorname{Im}B(s)/\pi=x_+{-}x_-=\sqrt{1-4m^2/s} exactly = the two-body phase space, so 2\operatorname{Im}M=\sum\!\int d\Pi|M|^2 (cutting rule) holds — the matter+gauge sector is unitary, with the cut turning on at the physical two-particle threshold. [O]the gravity sector's Stelle ghost (v269/rt_F) is non-unitary \to QG.AMB.01. Exact core mirrored in Wolfram (273/273). Build green, AUDIT OK.

Details

• v277_seam_calderon_e8_match.py (QGAMB.TIERB.01) reduces Tier-B to ONE bit. [E]the full (E_8)_1 matching target is computed and matches: c{=}8, \det\mathrm{Cartan}(E_8){=}1, the holomorphic character E_4/\eta^8{=}j^{1/3}{=}q^{-1/3}(1{+}248q{+}\dots) with a single primary and exactly 248{=}\dim E_8 weight-1 currents (240 roots). [E]the discriminator is holomorphy — the c{=}8 counterexample (D_8){=}SO(16)_1 has \det\mathrm{Cartan}{=}4 (non-holomorphic), so the one condition is |\det K|{=}1. [C]the seam side matches via v276 (flat \tau{=}i) + v260 (Kummer/K3). [O]residual = the single holomorphy bit; reduced, not closed. Exact core mirrored in Wolfram (272/272). Build green, AUDIT OK.

Details

• v276_qgeo_flat_closes_commutator.py (QGEO.SYM.03) collapses the bedrock to ONE geometric postulate. The state-level residual the whole bedrock rests on is the operator equation [\rho,H]{=}0. [E]if H=f(\Delta_{\mathrm{flat}}) and the order-4 deck \rho (z{\mapsto}iz) is a flat-\tau{=}i isometry, then [\rho,\Delta]{=}0\Rightarrow[\rho,H]{=}0 exactly, to all orders (verified on the discretised square torus: \rho^4{=}I, [\rho,\Delta]{=}0, [\rho,\sqrt{-\Delta}]{=}0; generic non-isometry fails) — upgrading the leading-order v198/v201 to the full H. [C] \tau{=}i is forced by order-4 (j{=}1728; hexagonal j{=}0 is order-6, excluded). [O]QGEO.SYM.01 therefore collapses to the single statement “the raw seam IS the flat \tau{=}i pillowcase quasi-free state” — one human constructive-QFT proof, or an honest axiom. Narrows, does not close. Build green, AUDIT OK.

Details

• redteam/rt_F_qft4d.py (REDTEAM.F.01) stress-tests the just-published round (the perturbative S_{\mathrm{pert}} layer, the PMNS Jarlskog, the \nu-scale, the over-determination, the QG.AMB.01 roadmap). Survives (narrowed): two attacks land and are folded in. (1) the gravity R^2/Weyl^2 sub-sector is power-counting renormalizable but non-unitary (the Stelle ghost: the four-derivative propagator 1/(p^2(p^2+M^2)) has a negative-residue massive spin-2 mode), so S_{\mathrm{pert}} is unitary for the matter+gauge sector only — which is exactly why the nonperturbative QG.AMB.01 is the real frontier (caveat added to v269). (2) the 0.11\% anchor over-determination is conditional on the \Lambda-branch readout (LAMBDA.BRANCH.01, [C]), the gravity route being unconditional (caveat added to v274). Added as Target F in tfpt_5_redteam + the red-team table; run_redteam.py green.

Details

• Published to Zenodo. Version 5.2 (rev 191) of the ten-PDF document set was published as a new version of the TFPT deposit — record 20743347, DOI 10.5281/zenodo.20743347. This release carries the perturbative 4D-QFT layer (the Epstein–Glaser S_{\mathrm{pert}} skeleton v269, the concrete one-loop quartic v271 and gauge \beta-coefficients v273), the complete complex PMNS matrix and leptonic CP strength v270, the honest absolute \nu-mass-scale typing v272, the over-determination of the single mass anchor v274, and the QG.AMB.01 obligation roadmap v275. Suite 273 modules (highest ID v275; v186/v226 skipped), Wolfram 271/271, run_all.py green, AUDIT OK, npm build clean. The Zenodo description (zenodo_description.html) and the public website were synced in the same release.

Details

• v272_nu_mass_scale.py (FLAV.NUSCALE.01) types the absolute neutrino-mass scale honestly (no fabricated \Sigma m_\nu — would contradict the v184 firewall). [E]the absolute scale reduces to one seesaw ratio m_3=(y_\nu v_{\mathrm{EW}})^2/M_R (one UV input, like v_{\mathrm{geo}}, v153); [C]the observed m_3{=}0.050 eV with the TFPT PS\toGUT window M_R\in[4.2{\times}10^{13}, 2.4{\times}10^{15}] GeV (v249) needs y_\nu\in[0.26,2.0] — O(1), no tuning; [O]M_R is not a clean \Mbar power, so the absolute value stays open; [X]the NO floor \Sigma m_\nu{=}0.0586 eV is the cosmological kill test. Closes the PMNS bookkeeping (the last [O]is one seesaw ratio).
• v273_eg_gauge_running.py (QFT4D.SPERT.03) derives the SM one-loop b_i via the EG gauge self-energy. [E]the gauge 2-point is the same scaling-degree-4 extension as the quartic (v271), giving (b_1,b_2,b_3)=(41/10,-19/6,-7) from the carrier/SM content (the same 41 as the carrier algebra, v159); [O]two-loop + all-order stay open. Exact b_i mirrored in Wolfram.
• v274_scale_overdetermination.py (SCALE.OVERDET.01) shows the single mass anchor is over-determined. [E]/[C]two independent routes to \Mbar agree — gravity (8\pi G)^{-1/2}=2.4353{\times}10^{18} GeV and cosmology (the compiler prediction \rho_\Lambda/\Mbar^4=(3/4\pi^2)e^{-2\alpha^{-1}} with \rho_\Lambda^{1/4}=2.24 meV) =2.438{\times}10^{18} GeV, to 0.11\%; the seam being a conformal c{=}8 CFT makes “no derivable absolute scale” a theorem, not a gap. Sharpens v153/v78.
• v275_qgamb_roadmap.py (QGAMB.ROADMAP.01) gives the open gate QG.AMB.01 a module. [E]Tier A gap decoupling (\Delta_{\mathrm{eff}}=1.648>0, v36/v76); [E]/[C]Tier B reduction to the holomorphic (E_8)_1 boundary net (v77); [C]the perturbative layer in hand (v269/v271/v273); [O]the nonperturbative ambient measure stays the one structural frontier.
• Suite 271/271 Wolfram, run_all green, AUDIT OK, build green.

Details

• v271_eg_oneloop_quartic.py (QFT4D.SPERT.02) takes the v269 S_{\mathrm{pert}} skeleton from “exists” to an actual EG number (no path integral). [E]the first renormalization is the order-2 product T_2; the massless propagator has scaling degree \mathrm{sd}{=}2 in d{=}4, the one-loop bubble has \mathrm{sd}{=}4{=}d, so \omega{=}\mathrm{sd}{-}d{=}0 \Rightarrow exactly one logarithmic local counterterm (C(\omega{+}d,d){=}1, finite, no infinite tower); the loop factor \Omega_3/(2(2\pi)^4)=1/(16\pi^2) exactly — the same factor that normalises the spectral-action a_4 geometric quartic. [C]the \phi^4 one-loop \beta_\lambda=3\lambda^2/(16\pi^2) (symmetry 3 = s,t,u channels), EG initial condition \lambda_\Phi(\mathrm{UV})=1/(16\pi^2). [O]order-2/one-loop only; the all-order EG construction and the nonperturbative measure QG.AMB.01 stay open. Exact core mirrored in Wolfram (270/270). [E]build green, AUDIT OK.

Details

• v270_pmns_jarlskog_assembly.py (FLAV.PMNS.03) assembles the four TFPT channels (\sin^2\theta_{12}{=}\tfrac13{-}\tfrac{\phiz}2, \sin^2\theta_{23}{=}\tfrac12, \sin^2\theta_{13}{=}\phiz e^{-5/6}, \delta{=}4\pi/3) into one exactly-unitary complex PMNS matrix and derives the leptonic CP strength. [E]U=R_{23}U_{13}(\delta)R_{12} is unitary; [C]the Jarlskog J_{\mathrm{PMNS}}=\Im(U_{e1}U_{\mu2}U_{e2}^{*}U_{\mu1}^{*})=-0.02965 (J_{\max}=0.03424) is a derived number, the leptonic analogue of the CKM J (v88); [C]data: J_{\max} vs NuFIT 5.2 0.0332 (\sim3\%), J vs best fit -0.026, the negative CP-violating sign reproduced. [O]\delta is the \mu_6/triality phase (assembled, not from M_\nu/D_F) and the absolute \nu-mass scale stays open — closes the CP-strength readout, not the phase origin nor the scale. [E]build green, AUDIT OK.

Details

• v269_spert_paqft_skeleton.py (QFT4D.SPERT.01) builds the honest middle layer of the three-layer S-matrix (the first concrete 4D-QFT step beyond the spectral-action contract), not a nonperturbative closure. [E]three distinct layers: S_{\mathrm{top}} (2d DHR braiding |M|{=}1, statistics, v243), S_{\mathrm{pert}} (4d Epstein–Glaser/BV S-matrix of the spectral action), S_{\mathrm{phys}} (LSZ on the OS Wightman functions, v240). [E]the spectral-action a_4 interaction is power-counting renormalizable (all operators dim \le4; 7 marginal +\,3 relevant, a finite counterterm basis), so [C]by the Epstein–Glaser theorem the perturbative S-matrix exists order by order (causal factorisation + finite local extension; no path integral, no UV divergences). [C]the gap \Delta=6\log(3/2) gives an IR-safe adiabatic limit (S_{\mathrm{pert}}\to S_{\mathrm{phys}} via LSZ). [O]perturbative only — the ambient measure QG.AMB.01 stays open, the canonical 4d reading remains boundary-only (v265). [E]build green, AUDIT OK.

Details

• v268_theta13_carrier_trace.py (FLAV.TH13.01) closes the \theta_{13} exponent origin. The value \sin^2\theta_{13}=\phiz e^{-5/6}=0.0231 was already checked (v16); now the exponent is exact: [E]\gamma=5/6=\mathrm{tr}_E Y^2, the carrier hypercharge-squared trace (Y=\mathrm{diag}(-\tfrac13,-\tfrac13,-\tfrac13,\tfrac12,\tfrac12), roots of 6Y^2-Y-1=0; complement \tfrac16 the neutrino ratio). [E]own channel: the \mu\tau-breaking \varepsilon=\tfrac34\phiz induces only {\sim}1.6\times10^{-3}\ll0.023, so \theta_{13} is a separate carrier-trace channel — correcting the tempting (and wrong) “\theta_{13} from M_\nu” route flagged by the new script atlas. [O]the CP magnitude and the absolute \nu-mass scale remain the open PMNS items. Exact core mirrored in Wolfram. [E]build green, AUDIT OK.

Details

• verification/make_script_atlas.py generates verification/script_atlas.md — a single grouped, dependency-aware view fusing the existing single sources (status_ledger.csv for claim\tostatus\todependencies\tosupersedes, script_registry.csv/script_clusters.csv for the theme grouping, docs_map.csv for where each script is cited). It lists every registered script by cluster with its claim(s), four-class marker, one-liner, resolved dependencies and citing papers, plus a supersede map (which old claim each new one replaces) and a dependency/most-depended-on overview — the antidote to duplicating work or forgetting superseded results. No new data, a re-projection only; wired into bash build.sh gen. [E]build green, AUDIT OK.

Details

• v267_qgeo_rigidity_minimal_axiom.py (QGEO.SYM.02) sharpens the one bedrock postulate to its irreducible kernel (it does not close it). [E]the single bare statement “the seam admits the carrier order-4 clock as a conformal symmetry permuting its four marks” (=\omega\circ\rho=\omega) forces everything: an order-4 Möbius orbit \{a,ia,-a,-ia\} has cross-ratio 2 independent of a; cross-ratio 2\Leftrightarrow j{=}1728 (only \lambda\in\{-1,\tfrac12,2\}) \Leftrightarrow the order-4 CM automorphism on y^2{=}x^3{-}x; and the unique flat pillowcase metric, mark-locality, [\rho,\Lambda]{=}0 and \omega\circ\rho{=}\omega all follow (v214/v201/v264/v198). [E]neg controls: generic config j\neq1728 (\Z_2 only), hexagonal j{=}0 (\Z_6, order 6) — only the square (order-4) realises the \mu_4 clock. [C]second, independent reason: \{1,i,-1,-i\} over \mathbb Q with j{=}1728 (CM by \Z[i]), Belyi/dessins Galois-rigidity. [O]the bare order-4 symmetry stays the one foundational postulate (like c{=}const) — the reduction is closed (axiom \Rightarrow everything), the axiom is not. [E]build green, AUDIT OK.

Details

• v266_ps_threshold_proton.py (PS.PROTON.02/PS.THRESHOLD.02) decides branch B of the v265 fork. The explicit two-step Pati–Salam thresholds give d{=}6 \tau_p(p{\to}e^+\pi^0) (writes ps_threshold_proton.json): [X]the minimal 16-Higgs content (M_{GUT}{\sim}2.4{\times}10^{15}) gives \tau_p{\sim}4.4{\times}10^{33} yr < Super-K and is killed even at the high hadronic band; [C]the E_8-allowed (15,1,1) [the single 45] raises M_{GUT}{\sim}5.9{\times}10^{15} \Rightarrow\tau_p{\sim}1.6{\times}10^{35} yr, proton-safe now; [X]but that sits at the Hyper-K reach ({\sim}1.4{\times}10^{35} yr) — a dated kill test decisive within the decade. So branch B is promoted from “well-mannered candidate” to content-selected (must be +(15,1,1)), Hyper-K-decisive UV branch; [O]structurally marginal (only one 45 in the hull, v247) with an O(3) \tau_p band. Branch A (boundary-only) is unchanged and canonical. [E]build green, AUDIT OK.

Details

• v265_qft4d_fork_freeze.py (QFT4D.FORK.01) turns the 4D-QFT fork from an open ambiguity into a frozen decision tree (qft4d_fork_freeze.json), no new physics. A (canonical): boundary-only is the default 4D reading — a 4D-GUT is not claimed by default (E_8 is the audit hull). [X]SM-only 4D-GUT unification is killed (1-loop: at the \alpha_1{=}\alpha_2 scale \alpha_3^{-1} off by {\sim}5.6, spread {\sim}8.8 at 2{\times}10^{16} GeV, re-deriving v246) — the canonical expectation, not a failure. B (conditional): carrier-native Pati–Salam is a falsifiable UV branch only with the E_8-allowed content \{1,10,16,45\} (no \mathbf{126}, v247), \sin^2\theta_W{=}3/8 (v248), the O(1) \kappa{=}M_{PS}/M_s band (v249/v253), a threshold model and a proton-decay kill test ([X], no fake \tau_p window; carrier gauging stays the contract). [E]a prose guard (QFT4D.NO_OVERCLAIM.01) forbids bare 4D over-claims and requires the scoped policy wording. New ledger rows QFT4D.BOUNDARY.DEFAULT.01, QFT4D.SMONLYGUT.01, PS.UVBRANCH.01, PS.THRESHOLD.01, PS.PROTON.KILL.01. A fork-policy box added to tfpt_research_contracts; [E]build green, AUDIT OK.

Details

• v262_fqcd_mp_me.py (FR.MPME.02) implements the one contract-only F_{\mathrm{transfer}} pipeline. A real two-loop \alpha_s solver runs \alpha_s(M_Z){=}0.1179 with n_f thresholds (carrier b_3{=}-7, [E]) to \alpha_s(2\,\text{GeV}){\sim}0.30 and \Lambda^{(3)}_{\overline{\rm MS}}{\sim}0.33 GeV; with the lattice bridge C_p (external O(1)) and the closed m_e it reproduces m_p/m_e{\sim}1824 vs the measured 1836.15 within the \sim7\% external budget. A [C]transfer reproduction (firewall: no compiler integer for 1836), advancing FR.MPME.01 ([O]) to FR.MPME.02 ([C]).
• v263_mnu_from_df.py (FLAV.PMNS.02) makes M_\nu a seesaw operator of D_F. [E]M_\nu=-m_D M_R^{-1} m_D^\top is symmetric, seesaw-suppressed and (for \mu\tau-symmetric inputs) \mu\tau-symmetric; [C]it reproduces \theta_{23}{=}45^\circ and \sin^2\theta_{12}{=}\tfrac13{-}\tfrac{\phiz}{2} (v9) under the seam misalignment; [O] \theta_{13}{=}0 in the leading texture, the CP magnitude (240^\circ) is the \mu_6/triality phase (v231/v233), and M_R is the free seesaw scale. An operator advance, not a closure of full PMNS dynamics.
• v264_raw_seam_marklocal.py (QGEO.ENERGY.03) sharpens the bedrock. Composing v216+v201+v198 on the canonical pillowcase: the flat-pillowcase curvature lives only at the 4 marks, so the DtN sub-principal symbol is \Z_4-invariant (Fourier on 4\Z, FFT-verified), block-diagonal, and [\rho,\Lambda]{=}0\Rightarrow\omega\circ\rho{=}\omega on this metric. So the whole bedrock collapses to the single metric statement “the raw RP seam carries the uniformising flat pillowcase metric” (=QGEO.SYM.01). A reduction/sharpening, [O]— it does not prove the seam must carry that metric (negative control: curvature off the \mu_4 orbit breaks the chain). Paper citations added in tfpt_4_frontier, tfpt_2_standard_model and tfpt_research_contracts. [E]AUDIT OK, build green.

Details

• Five paper sections that predated the v238–v261 round are brought up to date (additive, no status marker moved). The introduction closure-ledger table and the “five questions” item now carry a boundary QFT (Modular Spectral Closure) row — one relative object \mathsf{TFPT}_{\mathrm{QFT}}=(\mathcal A_\Sigma,\omega_\Sigma,\Delta_\Sigma,\rho,A_F,H_F,D_F,J, \gamma,S_{\mathrm{rel}}) closed modulo QGEO.SYM.01 (v258–v261) — plus an explicit list of what the closure does not reach: the full measured pole masses, the absolute QCD scales (m_p/m_e), the complete PMNS dynamics, and the real 4D interacting QFT / ambient measure. The tfpt_2 “ambient closure” section now states that the cutoff of its S_{\mathrm{rel}} is the seam KMS weight (f_2/f_0{=}1, v259) and D_{\mathrm{rel}} the covariance induction (v258); the tfpt_2 “(4) Constructive QFT closure” section adds the relative-object pointer; tfpt_4_frontier's full-quantum-gravity section records that the cutoff moment f_0 is pinned by the seam state (v255/v259); and origin_theory's honest-status keybox notes that the whole boundary QFT collapses onto the same QGEO.SYM.01 postulate (no sixth structural class). An editorial consistency pass so every status surface agrees with the ledger. [E]build green (10 ok, 0 failed), AUDIT OK.

Details

• The v258–v261 closure is now reflected on every “what is open” surface, not just the research-contracts paper. The homepage open-gates section and compiler-pipeline diagram, the hostile-referee FAQ, the glossary G_{\mathrm{net}} entry, the reviewer page and the verification residual-chain caption now state that the entire emergent-QFT layer (Dirac, cutoff, gauging, glue, orientability) collapses onto the same premise QGEO.SYM.01 via the Modular Spectral Closure — the boundary QFT is one relative object that adds no new open item, ambient QG separate. The introduction status card (“the structural residual is one condition”) carries the same sentence. No status marker moved; this is an editorial consistency pass so the public surfaces agree with the ledger and the paper. [E]build green, AUDIT OK.