The published foundations of TFPT

SEAM.GALOIS.01Seam mu4 = carrier's Galois group [E]/[C]: 30 squarefree => no order-4 cyclic, so the seam mu4 is the Galois side (Z/30)^x=mu4 x Z2; the mu4 factor IS (Z/5)^x=Gal(Q(zeta5)) (carrier), the Z2 IS (Z/3)^x (family/CP); the Frobenius zeta5->zeta5^2 is the explicit order-4 operator G with G C5 G^-1=C5^2, G^4=I; resolves the v409 asymmetry (seam = automorphism, not a hand) [C]

FR.POLE.QED.01F_pole external [E]/[C]/[O]: the Koide source->pole transfer is a one-loop EM effect; Koide is rescaling-invariant (Q(c*m)=Q(m)) so the shift is flavor-split; the tree->pole gap 0.0022 is one-loop-EM-sized (=phi0/24 to 0.6%, =alpha/pi to ~5%), pole at 2/3 (IR attractor); a 1-loop QED per-lepton-log estimate shifts Koide by EM-loop order toward 2/3; the exact flow time t~2.84 is scheme-dependent external QED, only sized; F_pole stays [C], firewalled (v187) -- rate forced (v327/v82), flow external

SEAM.GALOIS.NET.01Galois<->Net bridge / four-fold mu4 identity [E]/[C]: the seam mu4=Gal(Q(zeta5))=(Z/5)^x is the SAME cyclic Z/4 as the (E8)_1 glue <(1,1)> AND the discriminant disc(A3)=disc(D5)=Z/4 (D5 cyclic because rank 5 odd; D8 even=Klein control); only the carrier prime 5 gives (Z/p)^x=Z/4; glue order 4 => 16/4^2=1=E8 (vs Klein/order-2 => D8 det 4); cyclic Z/4 selects E8, Klein excluded -- the v419 Galois gearbox IS the holomorphic net's glue, a direct Galois->G_net bridge. Deck/divisor=Galois=discriminant=simple-current is a compression per v428 (one object read four ways), not four witnesses [C]

QGAMB.NODEP.01No-Ambient-Dependency [E]/[C]: no frozen readout is computed from QG.AMB.01 -- it is a certification SINK (every dependent is a gravity-gate/QG row, no prediction), not a value source (script '-'; predictions computed by v3/v7/v9/v268, never an ambient-measure script), and its only predictive link is theta13's architectural 4D-QFT contract edge (coherence, not numerical); the gap margin Delta_eff~1.648>0 decouples its back-reaction (v337). v369 prose -> machine-checked DAG/script fact [E]; verdict [C], does NOT prove SEAM.EQUIV.01

SEAM.EQUIV.LTORP.01(LTO-RP) keystone reduction [E]/[C]: SEAM.EQUIV.01's intrinsic-BW lemma reduced to the cited NPW26 commuting-projector theorem, mapping corrected -- (LTO-RP)=u_Theta=J=intrinsic BW (theta K theta=-K), NOT omega o rho=omega; the mu4 clock is a modular symmetry [rho,K]=0 (sigma^psi=rho type-wrong); A-and-NOT-B refutes clock-invariance => (LTO-RP). Make-or-break: NPW26 prove (LTO-RP) for topologically-ordered models (trace/anyonic), the seam is invertible (|det E8|=1) + beta=1 KMS (not a trace), in neither bucket. REDUCTION not closure; two open sub-steps (Z/2-reflection commuting-projector LTO realisation; invertible-KMS (LTO-RP)). SEAM.EQUIV.01 stays [O]

DYN.TRANSFER.UNIVERSAL.01Single-flow reduction [E]/[C]: the four F_transfer flows are the ONE v238 recovery semigroup restricted to sectors (native gap 6 ln(3/2), native rates e^{-Delta}=(2/3)^6, b3=-7); F_pole=v99 generator at q=2, F_Boltzmann washout=that contraction (CP 4pi/3 native), F_QCD rate native -- only the ANCHORS (v_geo/C_p/M_R) external; F_relic's cosmological IC theta_i the one wall. Reduction not internalisation, firewall-clean; extends v383 static->dynamic

SEAM.EQUIV.LTORP.KMS.01Invertible beta=1-KMS (LTO-RP) [E]/[C]: the corner NPW26 leave open (they do topologically-ordered; the seam is invertible + KMS, not a trace) is constructively satisfiable -- a gapped reflection-symmetric mu4-even collar has Theta K Theta=-K (u_Theta=J) and [rho,K]=0, so (LTO-RP) holds by direct Tomita-Takesaki; |det E8|=1 (no anyons), state not a trace; neg controls have teeth. Advances v424 sub-step (ii); SEAM.EQUIV.01 stays [O] (continuum sub-step (i) remains), finite-dim witness not continuum theorem

OVERDET.WITNESS.MAP.01Witness map [E]/[C]: disjoint grammars multiply, same-generator projections compress; the seven arithmetic witnesses are refined by v428 to COMPRESSION (facets of one (2,3,5)/E8 object, v236). The genuine multiplication is the multiply-forced inputs + foreign witnesses (alpha^-1~137); coincidence is expensive for the discrete core; does not by itself establish physics

OVERDET.WITNESS.RECLASS.01Witness re-classification [E]/[C]: v427's seven arithmetic witnesses are facets of ONE (2,3,5)/E8 object (v236) => compression, not seven multiplications. The genuine multiplication is the '8' forced four independent ways (rank E8, h(D5), phi(30), Milnor) + the foreign alpha^-1~137. Honest correction of v427 (consistent with v305/v236/v313)

SEAM.EQUIV.BW.HSMI.01Half-sided modular inclusion [E]/[C]: a Longo standard pair (P>=0, [K,P]=P, J:JKJ=-K, JPJ=P_-) is a +half-sided modular inclusion, so by Borchers the seam modular flow is geometric INTRINSICALLY (no covariance presupposed); face (ii) becomes a structure consequence. Finite witnesses: ladder algebra exact, sl(2,R) positivity, BW reflection; neg control indefinite boost. SEAM.EQUIV.01 stays [O] (continuum standard pair = continuum existence, same wall as MMST/NPW26)

SEAM.EQUIV.CONTINUUM.LR.01Lieb-Robinson motor [E]/[C]: the gapped p+ip collar (v367) has a uniform-in-N gap, exponential clustering with N-independent xi, and a finite light cone, so by Nachtergaele-Sims its bulk thermodynamic limit EXISTS -- grounding the bulk half of the cited MMST existence in OUR model. SEAM.EQUIV.01 stays [O], the open step narrowed to the chiral massless edge scaling limit

SEAM.EQUIV.LTORP.BETA.01beta-interpolation [E]/[C]: the (LTO-RP)/BW data (Theta K Theta=-K, [rho,K]=0) are beta-independent; along the whole path C_beta=1/(1+e^{beta K}) from the NPW26 trace (beta=0) to the seam KMS (beta=1) every covariance is reflection-related, mu4-invariant and valid, norm-continuous, no obstruction -- a PATH argument for v424 (ii), stronger than v426. SEAM.EQUIV.01 stays [O]

SEAM.EQUIV.APPLICABILITY.01Applicability ledger [E]/[C]: a hypothesis-by-hypothesis audit of MMST/NPW26/Adamo finds 11 of 12 hypotheses are TFPT-internal computed facts and exactly 1 is external -- the continuum existence of the chiral massless scaling limit; covariance is an Adamo consequence (defuses v215), not an input. SEAM.EQUIV.01's external dependence is pinned to ONE analytic fact; stays [O]

SEAM.RIGIDITY.UNIFORM.01Uniform-in-N rigidity [E]/[C]: the band-limited mu4-character rigidity of v398 is uniform in N -- exact 4-sector commutation to N=256, a uniform gap, and an N-independent clock-breaking lower bound ||[rho,V]||=2; not a small-N artifact. SEAM.RIGIDITY.01/SEAM.EQUIV.01 stays [O] (the full-L^2 forcing is the cited rigidity/MMST step)

SEAM.E8.DISCRIMINATOR.01E8 vs SO(16) kill tests [E]/[X]: mode D of v347 realised as discriminators -- torus GSD 1 vs 4, level-1 currents 248 vs 120, lattice theta 240 vs 112 norm-2 roots; c=8 alone does NOT decide (v277), only det K=1 (genus-1, v90) selects E8. Falsifiable: a seam with GSD>1 falsifies (E8)_1. SEAM.EQUIV.01 stays [O]

SEAM.EQUIV.CONTINUUM.EDGE.01Chiral edge scaling motor [E]/[C]: the v367/v368 lattice edge carries the conformal data of a chiral c=1/2 Majorana CFT (linear chiral dispersion v~0.98 with opposite per-edge velocities; algebraic edge correlator eta~1 vs exponential bulk; trivial-phase neg control; N-stable Cauchy scaling-collapse), so the 16-copy edge is a chiral c_-=8 (E8)_1 CFT -- grounding the EDGE half of the cited MMST scaling limit the way v439 grounds the bulk. SEAM.EQUIV.01 stays [O]

FORM.SEAM.BW.HSMI.01Formal [F] (Lean kernel; the standard-pair relations kernel-proved axiom-free, the Borchers step + continuum input named axioms)

SEAM.RIGIDITY.FORCING.01Rigidity FORCING [E]/[C]: commuting with the order-4 mu4 clock is EXACTLY mu4-block-diagonality (entrywise iff swept N=4..128; exact commutant dim sum n_s^2 < N^2; off-block slack zero; the order-2 commutant is strictly larger; 4 distinct eigenvalues), upgrading v442's 'permit' to 'force'. The single residual is the physical transfer lying in the commutant (clock-invariance=QGEO.SYM.01); SEAM.RIGIDITY.01/SEAM.EQUIV.01 stays [O]

FORM.SEAM.APPLICABILITY.01Formal [F] (Lean kernel; the 11-internal/1-external audit count + MMST arithmetic kernel-proved axiom-free, the one external fact named)

SEAM.RIGIDITY.CLOCKINV.01Clock-invariance derived [E]/[C]: [rho,Lambda]=0 is a CONSEQUENCE of mu4-symmetry of the RP data (the four marks) via OS reconstruction (v54) + the modular formula (v258) -- the OS canonical transfer of mu4-symmetric data inherits the clock (swept N, iff-sharp neg control), is a contraction, and its modular Hamiltonian commutes with the clock. With v445 this reduces the rigidity residual from an operator commutation to 'the RP data is mu4-symmetric' (QGEO.SYM.01); SEAM.EQUIV.01 stays [O]