Publication history: 2026-06-13

Details

• v176_seam_collar_realisation.py [E]/[O](claim QGEO.REALIZE.02). Following an external residual-class audit, the single remaining structural item is formulated as one central theorem and certified as a reduction (not a fabricated proof). Theorem: given an oriented one-sided RP seam collar with a sheet-odd Calderón involution, faithful D_4 marks, four parabolic marks with \mu_4 decomposition and admissible c{=}8 data, its conformal boundary is Möbius-equivalent to \PP\setminus\mu_4 with H^1 grading (1,2,3), the Calderón contraction is the rank-8 K_\Sigma polarisation and the index-4 extension is (E_8)_1. The proof decomposes into six steps, five already [E]: geometry/uniformisation (v168), Calderón DtN symbol |k| (v156), H^1 character = generation grading (1,2,3)=A_3 exponents (v137/v168), \mu_4-equivariant contraction with gap (2/3)^6 (v162), AQFT closure (D_5)_1{\otimes}(A_3)_1{\rtimes}\mu_4=(E_8)_1 + full-cone RP all m (v154/v175). The whole structural residual thus reduces to the one open premise QGEO.REALIZE.01: that the physical seam collar's boundary is this \PP\setminus\mu_4 — a constructive-geometry statement, left honestly [O]. Cited in tfpt_research_contracts (the central theorem keybox); assembly/reduction certificate, Python-only (its exact identities are mirrored via v168/v156/v162/v154/% v175). Suite now 176 modules. Audit note: the metrology residual the same review flags is already discharged — v153 (No-Unit Theorem) is the metrology-line typing (v_{\mathrm{geo}}\mapsto\lambda^{-1}v_{\mathrm{geo}}, 1/G\mapsto v_{\mathrm{geo}}^2, dimensionless data invariant), and the Koide u\to\tfrac{53}{54}u source\topole transfer is already typed [C](FR.KOIDE.03); neither is re-derived.

Details

• Published to Zenodo. Version 5.1 (rev 105) of the ten-PDF document set (introduction, origin_theory, tfpt_1–5, horizon, research_contracts, changelog) was published as a new version of the TFPT deposit — record 20681451, DOI 10.5281/zenodo.20681451. This version carries the AQFT closure round (v170–v175): the seam Fock-space readings and the heavy-artillery discharge of net existence + full-cone reflection positivity to [E]. The README and the Zenodo description were refreshed to the current state (175 modules, Wolfram 116/116 + 231/231), and the uploader's DEFAULT_RECORD_ID was advanced to the new record for the next release.

Details

• v175_net_existence_full_cone.py [E]/[O](claim QFT.NETRP.01). The two structural residuals that the premise-(A) chain had relocated to already-open items — A_2 net existence and full-cone reflection positivity — are now discharged to a theorem, leaving the seam realisation as the single irreducible open premise (nothing fabricated). (1) Full-cone RP for all m: the CAR second-quantisation functor \Gamma(t)=\bigoplus_m\Lambda^m(t) lifts the one-particle seam contraction t to the complete Fock space \Lambda^\bullet(\mathbb R^{16}) (\dim 2^{16}=65536); by the exterior-power spectrum theorem every eigenvalue is a subset product of \mathrm{spec}(t), so all 2^{16} products lie in [0,1] (a contraction = full-cone RP), with eigenvalue-1 multiplicity 2^8=256 (wedges of the rank-8 K_\Sigma polarisation) and sub-leading = the one-particle gap (2/3)^6 — so full-cone RP reduces for every m (not only m\le6, v161) to the one-particle contraction (Shale–Stinespring), discharging the v160 scope premise. (2) A_2 assembled + verified: the (E_8)_1 character E_4/\eta^8=1+248q+4124q^2+34752q^3+213126q^4+1057504q^5 (level-1=248, extends the order-4 v156 check by one order), the embedding 248=120+128, and the E_8 Cartan matrix even with \det 1 (the unique rank-8 even unimodular lattice, v83); the net exists by cited theorems (free-fermion net, lattice VOA, index-4 Q-system, v125). (3) Both then need the same input — the seam realisation QGEO.REALIZE.01 (finite half proven, v168) — which is a constructive-geometry/AQFT statement, not closeable by a finite computation, and is left honestly [O]. Net: net existence and full-cone RP become [E]; the one irreducible structural premise is the seam realisation. Cited in tfpt_research_contracts (premise (A) closure) and tfpt_5_redteam (Target A); the exact parts (Cartan unimodular, character order 5, functoriality integers) mirrored in the Wolfram extension (231/231). Suite now 175 modules.

Details

• v174_seam_fock_readings.py [E](claim QFT.FOCK.01). Three more exact audit bridges from the same source note. (1) CAR cone compression: the even CAR algebra of the 16 seam Majoranas has \dim\Lambda^{\mathrm{even}}(\mathbb R^{16})=2^{15}=32768 directions, but a quasi-free Bogoliubov transport reduces the whole cone to a 16-dim one-particle problem (2^{15}/16=2^{11}) — the explicit count behind v161. (2) Witten index = the Plücker norm 11: the four \mu_4-corner fermions span a 2^4=16=\dim S^+ Fock space; QBL (\deg\le2) keeps \sum_{k\le2}\binom4k=11=\dim S^+-\gcar, so c_u/c_d=55/117 reads a topological state-space dimension. (3) Affleck–Ludwig g-theorem: c_{UV}=5+3=8=c_{IR}((E_8)_1), so \Delta c=0 forces an exact isometry — the boundary-entropy form of the v157/v158 rigid fixed point. Cited in tfpt_2 (Exterior Leg Lemma); mirrored in the Wolfram extension (230/230). Suite now 174 modules. (The categorical reframings in the source note remain framing, not asserted claims.)

Details

• v170_diamond_slice_compression.py [E](claim E8.SLICE.01). E8 Slice Compression Lemma: the seven E_8 audit slices are one projection of two alphabets — anchor power sums P=(3,4,6,10) (p_n=2+2^n) and Sheet-Diamond determinants (3,4,8,14,20,32) summing to 81=N_{\mathrm{fam}}^4. All seven 248-slices, the K_4 edge graph, and the row-budget cross (7,11,13)+s(3,3,3)+t(1,2,3) follow; 78=\dim E_6=p_2(p_0+p_3). Cited in tfpt_3 (slice atlas). Exact; reading is audit (anti-numerology).
• v171_os_moment_cluster.py [E]/[C](claim QFT.OSMOMENT.01). Atomic OS Moment Lemma: \operatorname{spec}(T)=\{1,64/729,1/729\} makes every correlator a positive moment sequence, so the OS Hankel matrices factorise as Vandermonde Grams (a clean RP certificate); cluster 729/665, \xi=0.4111. Sugawara Gap Safety: 31=1+h^\vee(E_8), c((E_8)_1)=248/31=8, \Delta_{\mathrm{eff}}=6\log\tfrac32-31/(4\pi^2)>0. Cited in tfpt_research_contracts (G5).
• v172_trace_anomaly_seed.py [E](claim SEED.ANOMALY.01). The seed prefactor \tfrac43 is the halved (E_8)_1 Weyl anomaly: over the seam S^2 (\chi=2) the c=8 trace anomaly is c\chi/6=\tfrac83, halved by the one-sided |\Z_2| to \tfrac43=16/12. Plus QCD b_3=7= scalaron exponent 48-41 (confinement \leftrightarrow inflation), and the Volkov–Wipf -98/45=-2\cdot7^2/\dim(D_5) factorisation. Cited in tfpt_2 (seed).
• v173_pfaffian_cp_car.py [E](claim FLAV.STRONGCP.02). Strong CP \theta_{\mathrm{eff}}=0 as Pfaffian reality in the self-dual 16-Majorana CAR model: \{D,\Sigma\}=0 pairs the spectrum, \gamma_5-Hermiticity makes the Pfaffian real, and RP picks the positive branch. Cited in tfpt_2 (Strong CP section).
• All four validated computationally before adoption; the exact identities (v170/v171/v172) are mirrored in the Wolfram extension (229/229). Suite now 173 modules. (The categorical reframings in the source note — compiler-as-single-functor, E_8=K_0, GIT/monadic/Langlands — are recorded as framing, not asserted as machine-checked claims.)

Details

• Published to Zenodo. Version 5.1 (rev 97) of the ten-PDF document set (introduction, origin_theory, tfpt_1–5, horizon, research_contracts, changelog) was published as a new version of the TFPT deposit — record 20678568, DOI 10.5281/zenodo.20678568. The uploader's DEFAULT_RECORD_ID was advanced to the new record for the next release. Also fixed build.sh zenodo on macOS bash 3.2 (empty-array expansion under set -u).

Details

• v168_qgeo_rigidity.py [E]/[C]{} (claims QGEO.RIGID.01, QGEO.REALIZE.01). Hardens the finite half of the one remaining Tier-1 hinge GATE.QGEO (the seam = flavour = horizon identification). Exact, machine-checked: \mu_4=\{1,i,-1,-i\} has cross-ratio 2 and a faithful Möbius stabiliser of order 8=|D_4|; H^1(\mathbb P^1\!\setminus\!\mu_4) has rank 4-1=N_{\mathrm{fam}}=3; and the forms \omega_k=z^{k-1}dz/(z^4-1) (k=1,2,3) are \mu_4-eigenforms with characters \chi_1,\chi_2,\chi_3 of weights (1,2,3)= A_3 exponents =\operatorname{Spec}(Q_+). So a genus-0 boundary with faithful D_4, four parabolic marks and this \mu_4-decomposition is Möbius-equivalent to \mathbb P^1\!\setminus\!\mu_4 — the QGEO Rigidity Theorem (QGEO.RIGID.01, [E]). The seam-collar realisation stays the one premise (QGEO.REALIZE.01, [C]). Mirrored in the Wolfram extension (226/226). Cited in tfpt_research_contracts (U0). Not a new structural class — it hardens the existing hinge (consistent with v167's completeness claim).
• v169_etaB_boltzmann_interface.py [C]{} (claim FR.ETAB.02). Operationalises the Tier-3 F_{\mathrm{transfer}} leptogenesis path. Type-I thermal leptogenesis \eta_B\sim0.96\times10^{-2}\varepsilon_1\kappa_f (sphaleron 28/79), fed by TFPT's normal-ordered neutrino spectrum and the predicted \delta_{CP}=240^\circ. Over natural M_1\in[3\times10^9,3\times10^{10}] GeV and washout, \eta_B brackets the observed 6.1\times10^{-10} (a canonical point gives 6.0\times10^{-10}, untuned) — the route is viable. But M_1/washout are scenario inputs, so \eta_B stays [C]; if a precise solve excluded the window the leptogenesis route falls, not the theory (the downstream \Omega_b readout is independent). Cited in tfpt_4_frontier (Route B). Python-only.

Details

• v166_higgs_free_seam.py [E]/[C]{} (claim HIGGS.FREESEAM.01). A new prediction tying the Higgs mass to premise (A). The seam UV is the free chiral c{=}8 fixed point (v158, Gaussian, no relevant/marginal interactions), so the one marginal SM scalar coupling vanishes there: \lambda(M_{\mathrm{seam}})=0 and \beta_\lambda(M_{\mathrm{seam}})=0 — the Shaposhnikov–Wetterich double-criticality, here derived from the free seam, not assumed. Integrating the PyR@TE-confirmed two-loop SM RGEs from M_Z up with the measured (m_H,m_t) gives \lambda(\bar M_{\mathrm{Pl}})\approx0.002 and \beta_\lambda(\bar M_{\mathrm{Pl}})\approx0: the famous SM near-criticality is a consequence of the free seam (2-loop sharpens \lambda(\bar M_{\mathrm{Pl}}) from {\sim}0.022 at one loop to {\sim}0.002). The double condition predicts m_H\sim129–134 GeV; the same condition at the scalaron scale gives {\sim}107 GeV (too low), so the boundary condition lives at the reduced Planck scale (seam = horizon = Planck). Fills the Higgs-sector gap (was only N_\Phi=1); cited in tfpt_4_frontier.
• PyR@TE-sourced: the reproducer's SM run supplies the two-loop \beta_\lambda, reduced to top-only (verification/pyrate/sm_higgs_betas.txt). Suite now 166 modules. Python-only (numerical 2-loop ODE).

Details

• v163_rg_stability_flavor.py [E]/[C]{} (claim FLAV.RGSTAB.01). Scale-tagging of the flavor sector. The lepton-mixing seeds (\sin^2\theta_{12}=\tfrac13-\tfrac{\varphi_0}{2}=0.3067, \sin^2\theta_{13}=\varphi_0 e^{-5/6}=0.0231) are RG-stable: the PMNS running is y_\tau^2-suppressed (the only mixing-rotating Yukawa term is \tfrac32 Y_e Y_e^\dagger Y_e, PyR@TE SM RGEs), so \kappa_\tau=y_\tau^2/(16\pi^2)\ln(M_{\mathrm{scal}}/M_Z)\sim1.8\times10^{-5} and |\Delta\sin^2\theta_{ij}|\lesssim10^{-4} — two to three orders below precision. Seam value = measured value; the y_t^2-driven quark mass ratios (m_t/m_b\sim41) by contrast carry a scale tag. Cited in tfpt_2 (solar/reactor angle box).
• v164_qcd_scale.py [E]/[O]{} (claim QCD.LAMBDA.01). The QCD confinement scale is parameter-free from the carrier b_3=-7 (v159): running \alpha_s(M_Z)=0.1179 down (two-loop, n_f thresholds) reproduces \alpha_s(m_b)\simeq0.22, \alpha_s(m_c)\simeq0.38 and confinement at \sim0.5 GeV by dimensional transmutation — so the QCD-scale numerator of m_p/m_e is independently sourced. The O(1) proton/\Lambda factor is lattice, so m_p/m_e=1836 stays the honest “[O]— not forced” frontier ratio. Cited in tfpt_4_frontier.
• Both are PyR@TE-backed (the reproducer now also extracts the SM Yukawa \beta's, verification/pyrate/sm_yukawa_betas.txt). Suite now 164 modules. Python-only (no Wolfram mirror: magnitude bound / numerical running).

Details

• New module v159_pyrate_gauge_crosscheck.py [E]/[C]{} (claim EM.BUDGET.02). The one-loop gauge coefficients used by the transfer functor are confirmed by an independent third-party RGE generator. Feeding the carrier / Standard-Model field content into the textbook one-loop formula (GUT normalisation) gives (b_1,b_2,b_3)=(\tfrac{41}{10},-\tfrac{19}{6},-7), and PyR@TE 3 (arXiv:2007.12700, github.com/LSartore/pyrate) writes \beta_{g_1}=(\tfrac{41}{10})g_1^3, \beta_{g_2}=-\tfrac{19}{6}g_2^3, \beta_{g_3}=-7g_3^3 verbatim (plus the full standard 2-loop matrix). So b_1=41/10 is pinned three independent ways — carrier algebra 10b_1=\gcar 2^{\gcar-2}{+}1=41, the U(1) hypercharge index \sum\tfrac35 Y^2, and PyR@TE — and the split 10b_1=40_{\text{(ferm.)}}+1_{\text{(Higgs)}}=41 reproduces the EM-budget Gate 1 of tfpt_2. Cited there with \veri; the gauge sector of F_{\mathrm{transfer}} is thus not a free knob.
• PyR@TE reproducer (not vendored). verification/pyrate/reproduce.sh clones PyR@TE on demand into experiments/pyrate (git-ignored), neutralises its interactive pdflatex end-command, runs the SM at one and two loops, and re-extracts the gauge \beta functions; the committed evidence is verification/pyrate/sm_gauge_betas.txt. 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); it is not a tool for premise (A) (a 2d boundary-CFT question). Mirrored in the Wolfram extension; suite now 159 modules.

Details

• New module v167_inventory_post_closure.py [E]/[C]. The terminal residual inventory (line v105\tov123\tov167), re-pinned after the (A)-chain. With (A) discharged (GATE.METRIC.16--19) the v123 five structural classes collapse: the seam clock (R1), the index-4 net (R2) and the Q-realisation (R5) all merge into one Tier-1 hinge — the seam=flavour=horizon identification = A_2 net existence (assembly of established net constructions) + GATE.QGEO (seam boundary =\PP\setminus\mu_4, cohomology b_1{=}\Nfam{=}3); the EH step (R3) folds into v_{\mathrm{geo}} (v152) and the ambient measure into G_{\mathrm{net}} (v76). Terminal structure: Tier 0 = the irreducible core \{\pi,v_{\mathrm{geo}}\} (a theorem, No-Unit v153); Tier 1 = one hinge; Tier 2 = folded; Tier 3 = F_{\mathrm{transfer}}, one functor with four typed conditional interfaces (Koide, \eta_B, axion, m_p/m_e), \eta_B carrying the most open computational room. Completeness: a sixth independent structural class — or a new irreducible — fails the script (ledger SYNTH.INVENTORY.03). A unification + re-typing, NOT an unconditional proof. Python-only (reads the ledger).
• Bookkeeping. Suite at 167 modules, all green; Wolfram extension unchanged at 224/224; origin_theory (residual-inventory keybox) and next.txt moved together.

Details

• New module v165_premise_a_closure.py [C]/[O]. Pins the two residual gates of the v160–v162 (A)-chain to their floor. A_2 (net existence) closes by assembly of established mathematics [C]: the 16 free Majoranas give a free-fermion conformal net (Buchholz–Mack–Todorov), the holomorphic c{=}8 lattice net is (E_8)_1 (Frenkel–Kac–Segal / Dong–Xu / Kawahigashi–Longo), the \mu_4 extension is a Longo Q-system of index 4 (v125), \mu(B){=}16/16{=}1, 248{=}120{+}128, character E_4/\eta^8{=}j^{1/3} (v156); the one TFPT-specific input (seam Calderón kernel = free-fermion two-point function) is done via DtN =|k| (v156/v157). R_1 (seam clock) reduces to GATE.QGEO [C]: a \mu_4-equivariant flat gapped generator is unique (=A_0^\star, v115/v116), so the gap (2/3)^6 is forced and the residual is the one geometric identification “seam boundary = \PP\setminus\mu_4” = GATE.QGEO (cohomology established, v137, b_1{=}3{=}\Nfam). Final accounting: by the No-Unit Theorem (v153) the irreducibles stay \{\pi, v_{\mathrm{geo}}\}; premise (A) = (A_2 assembly) + (R_1{=}GATE.QGEO) + the \{\pi,v_{\mathrm{geo}}\} core, so it carries zero independent open gates and ceases to be its own gate — a unification and re-typing, not an unconditional proof (ledger GATE.METRIC.19). Python-only (numpy/sympy + stdlib).
• Bookkeeping. Suite at 165 modules, all green; Wolfram extension unchanged at 224/224; tfpt_research_contracts (premise-A keybox) and next.txt moved together.

Details

• New module v162_seam_transport_identification.py [E]/[O]. Pushes the v161 residual as far as it rigorously goes and shows it carries no new open content. The one-particle symbol splits into a gap value (\beta) and a fixed space (\alpha). (\beta) is forced: a \mu_4-equivariant generator is diagonal in the cusp basis (the deck average is the diagonal projection, \sum_{k}U^kXU^{-k}=|\mu_4|\operatorname{diag}X for U{=}\operatorname{diag}(1,i,-i); the commutant of U is exactly the diagonal algebra), so its spectrum is the cusp weights \operatorname{spec}(A_0^\star){=}\{0,\tfrac13,\tfrac23\} (v115) and the transfer eigenvalue (1{-}\alpha)^{p_2} with p_2{=}6{=}|R_+(A_3)| gives \{1,(2/3)^6,(1/3)^6\}, gap 6\log\tfrac32 — all carrier data; the lift to the 16 Majoranas is the A_3 subnet grading (v137). (\alpha) is the rank-8 Calderón polarisation of \omega_k{=}|k| (v113/v156). Closure: with v160+v161, (A) closes given only \mu_4-equivariance + admissibility, whose two non-derived inputs are the already-open A2 (net existence, Kawahigashi–Longo) and R1 (seam clock, HOR.CLOCK). So premise (A) factors exactly into A_2+R_1 — it adds no independent open item and is closed conditionally on them (a unification, not an unconditional proof; ledger GATE.METRIC.18). Python-only (numpy/sympy + stdlib).
• Bookkeeping. Suite at 162 modules, all green; Wolfram extension unchanged at 224/224; tfpt_research_contracts (premise-A keybox) and next.txt moved together.

Details

• New module v161_one_particle_reduction.py [E]/[O]. Discharges the scope premise of v160 (“the transport is gapped on the full Schwinger cone”) via Bogoliubov second quantisation. A quasi-free transport is T_\Sigma{=}\Gamma(t), the second quantisation of a one-particle contraction t on the 16-dim Majorana space; \Gamma(t) acts on the degree-m correlator sector as the exterior power \Lambda^m(t). Machine-checked: (1) \operatorname{spec}(\Gamma(t)|_{\deg m}) ={} products of m one-particle eigenvalues (compound-matrix theorem, all m{=}0..6); (2) the cone gap equals the one-particle gap — the sub-leading eigenvalue over the whole cone is (2/3)^6 exactly, so premise 5 on the cumulant space is premise 5 on the 16-dim space; (3) the eigenvalue-1 sector is \Lambda^{*} of the fixed subspace (disconnected Wick powers), with uniqueness closed by v113 (one polarisation \Leftrightarrow one vacuum); (4) quasi-freeness is forced — the 120{=}\dim\mathfrak{so}(16) chiral currents are the Bogoliubov generators and v158 makes every non-Gaussian deformation irrelevant. Consequence: v160's three full-cone premises collapse to ONE finite (16-dim) one-particle statement (seam symbol = gapped Calderón Bogoliubov map, fixed = rank-8 K_\Sigma, gap (2/3)^6); all numbers supplied, only the physical identification (Kawahigashi–Longo class = the A2 net residual) stays open — the infinite-dimensional cone is eliminated (ledger GATE.METRIC.17). Python-only (numpy + stdlib).
• Bookkeeping. Suite at 161 modules, all green; Wolfram extension unchanged at 224/224; tfpt_research_contracts (premise-A keybox) and next.txt moved together.

Details

• New module v160_seam_gaussianity_from_pf.py [E]/[O]. Formalises the proposed closure of premise (A) (“the seam bulk is a reflection-positive free field”) as a fixed-point theorem and types it honestly. The exact parts: (1) a quasi-free state has all higher connected cumulants \kappa_{2n}{=}0 — verified by the signed set-partition/Pfaffian moment\leftrightarrow% cumulant inversion on a concrete pure Majorana covariance (the v113 “one kernel = net” property at the cumulant level); (2) a kernel-preserving transport fixes the whole quasi-free state by Wick functoriality; (3) the Perron–Frobenius dichotomy (a fixed \kappa_{2n} is a second fixed ray \Rightarrow breaks uniqueness; a non-fixed one decays by the gap) forces Gaussianity; (4) the qualitative claim needs only \mathrm{gap}{>}0, the value (2/3)^6 only sets the rate. The honest residual: v56's gapped PF uniqueness lives on the three-dimensional scalar transfer spectrum \{1,(2/3)^6,(1/3)^6\}, while the 16-Majorana seam already carries \binom{16}{4}{=}1820 and \binom{16}{6}{=}8008 higher-cumulant directions — so (A) reduces to the single internal, exact-testable statement “the admissible TFPT seam transport is primitive + spectrally gapped on the full Schwinger cone, not only the readout spectrum of v56”, which the suite does not yet establish (ledger GATE.METRIC.16). Python-only (numpy + stdlib); no new exact-identity content for the Wolfram mirror.
• Bookkeeping. Suite at 160 modules, all green; Wolfram extension unchanged at 224/224 (v160 is numerical, Python-only); tfpt_research_contracts (the premise-A keybox) and next.txt moved together.

Details

• Changelog sort enforced. audit_sync.py now checks that every dated \subsection*{YYYY-MM-DD...} block in this file is non-increasing (newest first; range titles such as 2026-06-07 / 2026-06-08 sort by the later date). A manual prepend had left five 2026-06-12 entries above seven 2026-06-13 blocks — reordered; future mis-sorts fail build.sh audit as [B.changelog].

Details

• The free chiral c{=}8 fixed point is provably stable (v158, exact dimension count). The finite core of (A)'s “reaches-the-fixed-point” residual: the chiral Majorana has h{=}\tfrac12, the bilinear current h{=}1, the quartic h{=}2. The relevant window 0<h<1 for bosonic deformations is empty, the h{=}1 currents are chiral (v157, not (1,1)-marginal), and the lowest interaction (quartic, h{=}2) is irrelevant — so the fixed point is isolated and stable against all interactions. Premise (A) reduces to a basin-of-attraction statement with a proven stable target (ledger GATE.METRIC.15). Tooling note: PyR@TE (4d gauge-Yukawa RGEs) is the wrong tool for this 2d boundary-CFT residual, but the right tool for the F_{\mathrm{transfer}} interfaces (\eta_B leptogenesis RGEs, gauge-coupling running, the b_1{=}41/10 cross-check).
• Bookkeeping. Suite at 158 modules, all green; Wolfram extension 224/224; contracts / origin_theory / next.txt / website moved together.

Details

• The free-bulk premise becomes a fixed-point property (v157, simplicity-first). Instead of postulating Gaussianity, three facts click: (i) the DtN/Calderón symbol is universally |k| (Lee–Uhlmann — order-1 \PsiDO, principal symbol |\xi|_g; interactions live in the irrelevant lower-order symbol), so the free dispersion is bulk-detail-independent; (ii) a holomorphic c{=}8 theory is rigid — every field has \bar h{=}0, so no marginal (1,1) field exists and the fixed point is isolated, with no knob for an interaction; (iii) the same |\Z_2| that halves 8\pi in \cthree=\tfrac1{8\pi} is the Ramond/GSO projection giving \mu{=}1 (248{=}120_{\mathrm{NS}}{+}128_{\mathrm R}). With (E_8)_1 unique (v83), premise (A) shrinks from “prove the seam is Gaussian” to “the gapped (\Delta{=}6\log\tfrac32) boundary flow reaches the holomorphic fixed point” — freeness then forced by rigidity, not fine-tuned (ledger GATE.METRIC.14).
• Bookkeeping. Suite at 157 modules, all green; Wolfram extension 223/223; contracts / origin_theory / next.txt / website moved together.

Details

• The constructive route carried to its exact endpoint (v156). “B\cong(E_8)_1” is no longer an assertion: the chiral seam net is built explicitly and the identification checked. (a) The Dirichlet-to-Neumann (Calderón) operator of the 2d Laplacian is the free chiral dispersion \omega_k=|k| (harmonic extension e^{ikx-|k|y}); (b) 16 free Majoranas give c=8=5{+}3; (c) the weight-1 currents are 248=120_{\mathrm{NS}}+128_{\mathrm R} (SO(16) bilinears + Ramond spinor, Frenkel–Kac); (d) the holomorphic character E_4/\eta^8=q^{-1/3}(1+248q+4124q^2+34752q^3+213126q^4) =j^{1/3} (verified by q-series) — the 248 at level 1 is \dim E_8, so the net is (E_8)_1. Residual: exact given (i) the free-bulk premise (DtN =|k|, v155) and (ii) the operator-algebraic existence of the net from the seam kernel (a Kawahigashi–Longo-type theorem, not a finite computation) — where TFPT meets constructive QFT, now sharply located (ledger GATE.METRIC.13).
• Bookkeeping. Suite at 156 modules, all green; Wolfram extension 222/222 (the DtN =|k| identity, the (E_8)_1 character E_4/\eta^8=j^{1/3} and the 248{=}120{+}128 split mirrored); contracts / redteam (Target A) / origin_theory / next.txt / website moved together.

Details

• G_{\mathrm{net}}'s last premise reduces to a single shared physical premise (v155, Python-only). The seam-side identification of the Simple-Current Extension Theorem (v154) splits (v110) into (a) “the Calderón involution is sheet-odd” (the double-cover deck, structural) and (b) “the seam 2-point kernel is quasi-free”. Part (b) is not independent: the boundary marginal of a reflection-positive Gaussian bulk is the compression P\Gamma P of the covariance, and the compression of a contraction is a contraction — so the seam state is automatically quasi-free (Wick inherited). Hence (b) follows from “the seam bulk is a reflection-positive free field”, the same premise already load-bearing in the area law (v59) and the EH mechanism (v150/v151). The entire seam-side residual is therefore one physical premise, shared by G_{\mathrm{net}}, the area law and R3 — not reducible by a finite computation, but no longer three separate items (ledger GATE.METRIC.12).
• Bookkeeping. Suite at 155 modules, all green; Wolfram unchanged at 221/221 (v155 is numerical/numpy, Python-only); contracts / origin_theory / next.txt / website moved together.

Details

• v_{\mathrm{geo}} re-typed: the No-Unit Theorem (v153). Every load-bearing compiler datum is mass-dimension 0 and invariant under a unit rescaling L\mapsto\lambda L, whereas a mass / 1/G is not — so a dimensionless boundary compiler provably cannot select an absolute scale. v_{\mathrm{geo}} is therefore an irreducible metrology primitive, not an open gap, and the three apparent residuals collapse onto it (U_{\mathrm{point}}\sim v_{\mathrm{geo}}, 1/G\sim v_{\mathrm{geo}}^2, m/\mu=e^{3/4} a pure ratio); the irreducibles stay \{one unit, \pi\} (ledger ANCHOR.VGEO.02).
• G_{\mathrm{net}} stated as the central closing theorem (v154). The Simple-Current Extension Theorem: A{=}(D_5)_1{\otimes}(A_3)_1 extended by the isotropic glue L{=}\langle(1,1)\rangle has [B{:}A]{=}|L|{=}4, c{=}5{+}3{=}8, \mu(B){=}\mu(A)/|L|^2{=}16/16{=}1\Rightarrow holomorphic \Rightarrow B\cong(E_8)_1 (SO(16)_1 excluded). Every algebraic ingredient is machine-checked (v89/v92/v125/% v143/v148); the only residue is the seam-side identification. Pulled to the front of tfpt_research_contracts, tfpt_5_redteam (Target A final form) and origin_theory (ledger GATE.METRIC.11).
• Status surfaces re-typed (review): the canonical status card now reads v_{\mathrm{geo}} as a metrology primitive, G_{\mathrm{net}} as the simple-current extension \cong(E_8)_1 ([E]/[C]), and F_{\mathrm{transfer}} as one functor with four typed interfaces — “not structural gaps”. The final one-line framing (dimensionless boundary compiler; irreducibles \{\pi, v_{\mathrm{geo}}\}; one seam-net theorem; frontier = F_{\mathrm{transfer}}) is in origin_theory, the introduction, the README and next.txt.
• Bookkeeping. Suite at 154 modules, all green; Wolfram extension 221/221; intro/README/origin_theory/contracts/redteam/status-card/website moved together.

Details

• No old-version framing left in the active docs. A consistency sweep found a residual layer of old-series “Paper N” attributions and removed them: four literal “Paper 6” references (tfpt_4_frontier leptogenesis/axion, tfpt_2 seam determinant), the old “Paper 4” (OS/admissibility) and “Paper 5” (APS/Hodge) references in tfpt_2, the old “Paper 3” transport-kernel attributions in tfpt_2, and the internal “Paper 1/2/4” cross-references in tfpt_3, tfpt_4 and tfpt_horizon_readouts — all rewritten as content-based phrasing (the flavor sector, the architecture document, the E_8 decoder, the anchor characteristic polynomial, etc.). The active documents now attribute results to the current documents / axioms / scripts only, as the workflow rule requires; the machine-checked sync (scripts \leftrightarrow papers \leftrightarrow ledger \leftrightarrow website) was already current (152 scripts, AUDIT OK).

Details

• R3: the q(A_3) normalisation merges into the one anchor (v152). The replica EH coefficient is a log-ratio k=\ln(m/\mu)/(12\pi) (\ln m alone is scale-ambiguous, only m/\mu is physical); pinning k=\cthree/2 fixes the dimensionless ratio m/\mu=e^{3/4}, and in d{=}2 that ratio is the induced Newton constant 1/G (v68). So v_{\mathrm{geo}} (v78), 1/G (v68) and m/\mu are one dimensionful anchor in three readings — the irreducibles stay \{one scale, \pi\}, and SEAM.THEOREM.01's residual reduces to the kernel-identification premise alone. Audit (not promoted): the log-ratio is numerically \tfrac34=q(A_3), the target value the anchor takes in seam units — not a derivation (ledger SEAM.EHMODEL.03).
• Bookkeeping. Suite at 152 modules, all green; Wolfram extension 219/219; intro/README/origin_theory/next.txt/website moved together.