Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.
Seam, origin and declared inputs
The published foundation in this area
25 authored claim references lead into the original ledger and paper sections. This source record remains available even where no separate reviewed research packet is attached.
TFPT starts from the oriented seam normalization P1 (c3=1/(8π)) and the marked five-slot carrier P2. Integer anchors and later compiler readouts connect these inputs, but do not derive their physical origin or selection.
Starting structure in the Atlas orientation
P1 declares c3=1/(8π); P2 declares five carrier slots with a 3+2 marking. The (1,1,2) anchor organizes internal numerical relations.
Which connection is sought
The open work is a non-circular source for these inputs, the physical seam, and derivations of their markings and readout rules.
How it connects
The declared seeds feed E8, clock, flavor, α, and scale readouts. Shared seeds make those outputs correlated.
Unchanged finite source and specified invariant start; different states or operator dictionaries are not excluded.
Read the exact result, assumptions and evidence
Result
Original C T_p C=T_−p, T_p*=(-1)^e(p)T_−p and C H C=H. At an invariant start all C-conjugate bounded words agree.
Required assumptions
Full original charge-field source
Finite Round20 lattice/scalar space with the original bilinear E8 cocycle, complete integer charges, onsite T and balanced W, coercive quadratic Hdiag and supplied hopping. No P1/P2 selection or local chiral field identification is presumed.
Charge-conjugation-invariant start
The initial density is invariant under linear C:n→−n, including full and C0 Gibbs starts of unchanged H. Compare actual adjoint-paired, opposite marked T responses at the same time.
Only the fixed marked response identification at these starts and the same time.
Read the exact result, assumptions and evidence
Result
The native ratio is one; the fixed quarter twist gives exp(−2tδ·Bp), which differs from one on at least one original basis direction.
Required assumptions
Full original charge-field source
Finite Round20 lattice/scalar space with the original bilinear E8 cocycle, complete integer charges, onsite T and balanced W, coercive quadratic Hdiag and supplied hopping. No P1/P2 selection or local chiral field identification is presumed.
Charge-conjugation-invariant start
The initial density is invariant under linear C:n→−n, including full and C0 Gibbs starts of unchanged H. Compare actual adjoint-paired, opposite marked T responses at the same time.
Fixed nonzero chiral quarter twist
The comparison target is the stipulated Kδ Fock space with original nonzero quarter twist, normalized ±Bp primary states, fixed charge marking and the same positive time. Equality of all these responses is required.
Known preparation/time normalization in the given E8 Fock space; identifies δ, not q,τ, physical instruments or P1/P2 source selection. Eight directions require their respective ± responses.
Read the exact result, assumptions and evidence
Result
Cδ(p,t)=exp[−t(|p|²/2+δ·p)]. With yi=−log[Cδ(bi,t)/Cδ(−bi,t)]/(2t), y=Bᵀδ and δ=(Bᵀ)⁻¹y. Eight independent directions suffice and are necessary for unrestricted δ in this linear data class.
Required assumptions
Normalized charged primary responses with known time scale
For the given Kδ, normalized primary charge states ±bi for eight independent original E8 basis charges and their positive e^(−tKδ) return amplitudes at known common t>0 are supplied. Global charge shifts are not thereby derived local physical instruments.
Individually all-Cartan-neutral insertions and fixed vacuum; not charged intermediate fields, charged Gibbs traces or δ-dependent probe operators.
Read the exact result, assumptions and evidence
Result
Each admissible intermediate insertion stays in M(1)⊗|0>. There Kδ=N,Qq=0,tτ=I. All ordered vacuum multitime and Gram responses in this class are therefore identical at arbitrary word length, even with complete36-dimensional quadratic tomography.
Required assumptions
Every insertion preserves all eight Cartan charges
In the same given E8 Fock space every word starts in the vacuum. Each individual insertion belongs to the fixed Heisenberg/quadratic Jordan OPE algebra and commutes with all eight Cartan zero modes; normal ordering, operator labels and initial state do not change with δ. Overall neutrality or Qq neutrality alone is insufficient.
Applies as an identifiability limit for matter-only observations and an open bridge to the fixed original functional; it is not an alternative TFPT source or universal gravity no-go.
Read the exact result, assumptions and evidence
Result
In the matter-only observation-class audit, geometric replica responses remain indistinguishable; the scope correction explicitly states that W→W+lambda Q[g] is therefore not automatically an admissible change to the original profile-free Gamma_grav. The original functional is fixed once the full operator, reference, domain, and continuation are fixed; its common off-shell geometric family and normalization must be derived from the source.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Source provenance and exact algebra under each stated normalization, carrier, primitive sector and defect response contract. No general nonderivability theorem, no retraction of the canonical circle defect line, marked D5 response or positive root uniqueness. No new physical selector or ledger promotion. Historical linear, exponential, quadratic and resummed openings are different calculation contracts; similar coefficients do not prove identical physical actions.
Read the exact result, assumptions and evidence
Result
Older originals give explicit factor provenance: V1.06 uses g=n/(8pi²), n=1 and g=8c3². ImprovedCubic of18September2025 gives linear backreaction1-2alpha; v2.7 derives exp(-alpha J) under additive defect coupling with J=d SF=2. In the later carrier gamma=tr_EY²=3/9+2/4=5/6 and B=rankE3/rankE2=3/2, so B gamma=5/4; family trace tr(S+)Y²=10/3 gives b1=41/10 for three families and one Higgs. The rank-one determinant yields (1-q)^(-5/4); its response q+(5/4)q²+(45/32)q³+... embeds the earlier two-defect coefficient in a fixed series. These factors must not be dismissed collectively as unexplained fits. Full identification remains narrower: v2.7 declares the CFE potential coefficients as supplied scheme inputs; v4.2 supplies P_loc'=alpha³-2c3³alpha² as a condition and defines Gamma by integrating the desired response. The master proof identifies its U(1) block with the already-defined EM action; it does not evaluate an original coupled Dirac determinant to obtain that F there.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Source-reviewed status/type correction, not a new general nonderivability theorem or gate. P1/P2 remain accepted starting principles; being axioms is not an objection. The line is derived on the old circle, not an arbitrary vector to select again. v382 replay26October:6/6; literalTrue status checks do not prove open functional origin. Ledger Numerical and full physical status remain unchanged.
Read the exact result, assumptions and evidence
Result
Coefficient identities and the unique alpha root are retained. The old circle canonically supplies Pi and det_F(1-qPi)=1-q; for trace-class C-P the same relative factor survives exactly in every faithful KMS polarization class on that same circle. Actual full positive projection covariance fixes the whole CAR state without an extra Gaussian premise. The finite Quillen chain is beyond its older open summary: v985 resolves the finite mu4 channel swap; v995 closes finite KMS rigidity and state extension; v1014 checks the finite determinant-line restriction isomorphism and records reference A0. Do not reopen those steps. What remains is the original local EM source/operator map and relative real renormalized determinant norm producing the seam factor with response exponent5/4, coupling q(alpha), local variation terms and normalization in the same channel. Abstract continuum/Bismut-Freed identification and matching to the physical Thomson coupling do not follow from finite calculations. Chiral phase cancellation does not refute real EM susceptibility. EM.WARD.01 and ALPHA.QUILLEN.EXACT.01 retain their existing physical residual.
Required assumptions
Specified EM function with positive seam response
F(x)=x³−2c³x²+(4/5)c⁶M log(p+q(1−q)^(−5/4)), c=1/(8π), p=1/(6π), q=48c⁴exp(−2x), M>0; original budget M=41. The function and inputs are premises here.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Same original circle with trace-class changed polarization
For the mathematical continuation retain H,B_a psi_n=(n+a)psi_n,0<a<1,u psi_n=psi_(n+1),P=1_(B_a<0),uPu*=P+Pi. C is a positive contraction with trace-class C-P; actual functional-calculus C_beta=(I+exp(beta B_a))^-1,beta>0 belongs to this class. Physical KMS/OS/EM source identification is not presumed.
Test a positive joint CAR source against the full geometric projection
Consider an arbitrary normalized positive state on the specified joint charged two-face CAR algebra,without assuming quasifreeness or U1 invariance. The geometric target is the existing closed chiral annulus graph P_A with both marked faces,W=1/2 and original NS B_Sigma. Actual identity C_source=P_A is an explicit condition of the uniqueness theorem and an unresolved P1 source equation,not a fact inferred from geometry or RP. A finite error test applies only on a genuinely P_A reducing CAR block. Complete Dirac vector source,OS Padm and physical time are not identified with this chiral scalar target. No freely chosen purification supplies missing physical cross correlations.
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Exact response in the specified existing source, not a new field or fitted exponent. Does not derive physical preparation, u=48c3^4, q=exp(-2alpha), outer uq, baseline1/(6pi), or original EM instrument. Common time is not sector-resolved D5 readout. Replay26October2026:21/21; finite coefficient checks through degree12 do not replace the general series proof.
Read the exact result, assumptions and evidence
Result
Exactly G_u(q5,q3)=[(1-u)/(1-uq5)]^(5/4)[(1-u)/(1-uq3)]^(3/4). Hence G_u(q,1)/G_u(0,1)=(1-uq)^(-5/4); the common-time diagonal G_u(q,q) instead has exponent2. Powers follow from actual charge norms and the convergent oscillator series. Normalized local T5 insertion has Ward coefficient5/8. Fixed C/J do not generally preserve P5 but jointly transport charge and marking covariantly.
Required assumptions
Marked regularized E8 charged state and sector-grade response
Existing positive E8_1 lattice vacuum source with original D5/A3 marking and 48 retained charges beta: beta^t P5 beta=5/4, beta^t P3 beta=3/4, beta²=2. The regularized charged vertex state has free preparation parameter u=r² in (0,1). N5,N3 are strongly commuting nonnegative oscillator grades; q5,q3 in [0,1] parametrize spectral readout. Keep original C/J matrices. u=48c3^4, q=exp(-2alpha), physical preparation, instrument and common time do not follow.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Mathematical theorem for the fixed function; not a cubic polynomial because the seam response depends on x. No parameter or physical Thomson-transfer derivation; ledger Numerical unchanged.
Read the exact result, assumptions and evidence
Result
Log-convexity of the stated seam response and the sign before x=2c³ prove exactly one positive simple root globally. For M=41 its reciprocal is approximately 137.0359992168407. The analytic proof is distinct from the 10 rerun symbolic/interval checks. It holds for every M>0 and therefore does not select M=41.
Required assumptions
Specified EM function with positive seam response
F(x)=x³−2c³x²+(4/5)c⁶M log(p+q(1−q)^(−5/4)), c=1/(8π), p=1/(6π), q=48c⁴exp(−2x), M>0; original budget M=41. The function and inputs are premises here.
Historical minimal-transfer definition with fixed readout; the single line has since been canonically reconstructed on the old circle. Neither this reconstruction nor independently proved root uniqueness is retracted. Original physical P1/EM mapping and renormalized Thomson observable remain separate.
Read the exact result, assumptions and evidence
Result
For the defined rank-one projector U_Sigma^min and stated parameters, T_Sigma=(1-delta_top exp(-2 alpha))^(-5/4) and the displayed scalar closure equation follow algebraically. This calculation does not independently prove physical selection of that projector, parameter set, or transfer to the Thomson readout.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Applies to the documented derived discrete stratum and c_u/c_d; it does not determine U_f* or absolute amplitudes.
Read the exact result, assumptions and evidence
Result
The active TFPT text states that Q geometry, det R=8, and rigidity of c_u/c_d=55/117 are established on the derived stratum; the continuous wall point U_f* is needed only for absolute amplitude normalization. The ratio is not an open monodromy/amplitude calculation.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Only the specified M4 endpoint channel, positive integer powers, same system and homogeneous GKSL time. Intermediate covariance is not assumed. Positive GNS Hilbert transfer and classical B recovery semigroup remain valid; larger systems and time-dependent dynamics are not excluded. Contract remains PARTIAL and physical source derivation open; source review is not a fresh kernel/numerical run.
Read the exact result, assumptions and evidence
Result
For Phi(X)=7X/12+sum_{j=1}^5 Gamma_j X Gamma_j/12 on M4 with the specified Clifford matrices and 1+5+10 spectral blocks, no Phi^n for positive integer n is the exponential of a time-homogeneous GKSL generator on the same M4. The proof covers all logarithm branches using block traces and Clifford twirling; the forced canonical coefficient beta=n log(3/4)/16 is negative. This is a different channel from the shared S3 register hierarchy.
Required assumptions
Fixed marked M4 Clifford channel
Five specified Hermitian Gamma_j on M4 satisfy {Gamma_i,Gamma_j}=2delta_ij I. The endpoint is Phi=7id/12+sum_j Ad(Gamma_j)/12 with spectrum 1,1/3,2/3 on orthogonal blocks 1,5,10. Comparison class is any homogeneous GKSL generator on the same M4 with exp(L)=Phi^n for positive integer n.