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.
The entire specified finite shared-event family on the same registers; time-homogeneous GKLS generator in dimensionless step units. Source proof reviewed, without independent external peer review or fresh proof execution. Single-register continuation, enlarged environments, time-dependent dynamics and conformal/modular source time remain separate; no proof of fundamental discrete time or physical q selection.
Read the exact result, assumptions and evidence
Result
For the specified family Psi_N,q=sum_g w_g(q) Ad(u_g tensor N), 0<=q<=1/3, a consistent time-homogeneous GKLS continuation on the same registers exists iff 2/9<=q<=1/4. Necessity already follows on two registers using fixed sector projections, simple block spectra and conditional Choi positivity of the symmetric part of every possible generator; intermediate S3 covariance is not assumed. Explicit nonnegative rates construct the continuation for every N. q=0 is noninvertible; q=1/3 has a Choi-rank jump from five to six.
Required assumptions
Specified shared S3 register family and homogeneous GKLS time
The specified six native words u_g act in each register by the same S3 representation; shared event weights w(q)=(1/2+q/6,q/6,q/6,1/18-q/6,2/9-q/6,2/9-q/6), 0<=q<=1/3. Seek a consistent time-homogeneous GKLS semigroup on the same finite registers with unit time step.
Conditional on charged CAR/Wick identification and the same graph covariance. No P1/P2 selection of physical statistics, normal length, marking or events. Existing quarter holonomy is retained; Clifford quarter-turn algebra is not a holonomy derivation.
Read the exact result, assumptions and evidence
Result
The second face of the supplied pure quasifree graph state has n=1−A=(1+exp(2ell B))⁻¹. Thus log((1−n)n⁻¹)=2ell B, without separately inserted occupations or a second time generator. This realizes the already known faithful KMS inverse through the full collar boundary relation.
Required assumptions
Complete data of both product-collar faces
A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.
Charged quasifree state for the complete graph covariance
Additionally identify the actual field algebra with charged CAR(H direct_sum H) and the state with the gauge-invariant quasifree state whose occupation covariance is G_ell. This is an extra physical premise, not a consequence of the geometric projection calculation.
Exact spectral calculus for a supplied full product collar and known normal length. Without ell only ell B; no independent derivation of the original P1 kernel.
Read the exact result, assumptions and evidence
Result
The actual product equation gives T=exp(−ell B) and G=[[A,C],[C,1−A]], A=(1+exp(−2ell B))⁻¹. B=log(A/(1−A))/(2ell) reconstructs signs, magnitudes and operator frame. For unbounded T, T is the closure of C A⁻¹; the raw composition is defined only on D(T²). The executable reader needs no supplied B and rejects sign-only projections.
Required assumptions
Complete data of both product-collar faces
A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.
Applies on a faithful finite KMS sector or the same gapped transfer sector; physical TFPT transfer remains unidentified.
Read the exact result, assumptions and evidence
Result
For known nonzero beta and faithful finite KMS covariance 0<C_beta<I, H=beta^-1 log((I-C_beta)C_beta^-1) is injectively determined. Alternatively, a full operator T=exp(-tau |H|), known tau, and [T,sgn H]=0 reconstruct the gapped H=sgn(H)(-log T)/tau. A population or eigenvalue list is insufficient; physical identification of TFPT transfer with this T must be shown separately.
Required assumptions
Known KMS scale or full transfer
Positive dynamics reconstruction assumes either known nonzero beta and faithful finite covariance 0<C_beta<I, or the same full transfer operator T=exp(-tau |H|), known tau, and commutation with the sign; a spectrum alone or physical identification of the TFPT channel is insufficient.
Exact finite-dimensional counterexample for zero-temperature sign projection; refutes neither modular uniqueness for a fixed standard pair nor a complete TFPT source derivation.
Read the exact result, assumptions and evidence
Result
For C=(I+sgn H)/2, H_a=diag(1,a,-1,-a), a>0, gives the same fixed projector C and rho_0 but different positive energies. Thus [rho,C]=0⇒[rho,H]=0 is false without an extra premise. The counterexample concerns only inference from state/sign covariance to complete dynamics.
Required assumptions
Only sign covariance is given
The conditional counterexample assumes C=(I+sgn H)/2 and [rho,C]=0, without knowing positive magnitude |H| or a complete transfer.
Reuse and navigation correction for the existing conditional bundle theorem. No new global classification, physical source selection or ledger promotion.
Read the exact result, assumptions and evidence
Result
The September22 lift and its later recovery supply all natural W_m=LambdaEven(E) tensor directsum(det E)^m, sum m=-2, for supplied unitary rank5 E. No global square-root bundle is needed. Supplied A_E induces the explicit connection A_Wm. The global mathematical lift and extension construction is therefore already done. Actual physical A_E, coupling Phi and the common original source intertwiner do not follow. The full current finding is also finding:recovered-natural-joint-lift-and-given-connection-already-exist.
Required assumptions
Existing natural joint lift with given split connection
Assume a GIVEN unitary E=E3+E2 and GIVEN block U3xU2 connection A_E. Use only the natural iota_m with sum m=-2 completely classified on22September and their derived connection A_Wm=rho_LambdaEven(A_E)+M_m tr A_E. This does not select A_E from P1;an independent nonabelian family connection is not silently assumed.
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.
Only if the same marked family connection is irreducible and beta preserves it in parallel; without this added premise the 2+2 packet is not excluded. A noncommuting common source-derived connection remains open.
Read the exact result, assumptions and evidence
Result
Under the explicitly additional premise that beta preserves the fixed marked irreducible SU(3) family connection, its commutant is scalar and beta must have the 3+1 form diag(b,b,b,-3b). Thus a beta packet with eigenvalue multiplicities 2+2 is excluded under that premise only; no original parallelity rule follows.
Required assumptions
Common parallelity to irreducible family connection
Only for the commutant conclusion, assume additionally that the marked SU(3) family connection is irreducible and beta preserves it in the same marked frame. This is not an accepted P1/P2 axiom and must be derived from the source.
Applies to connecting discrete/topological classes to a concretely acting common carrier; it does not claim that the holonomy class asserted by the original theorem is undefined.
Read the exact result, assumptions and evidence
Result
The theorem lists [nabla_F*] and Chern classes in its singleton. The audited lift formula constructs the carrier action only once A_E is supplied; the original connection on the common carrier and Phi therefore remain to be specified as a source step.
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.
Counterexample to the generic mathematical perturbation theorem within its stated boundary-condition type. The intended special TFPT perturbation is neither excluded nor constructed; its principal symbol, domain and actual anchor require verification. No ledger or paper promotion.
Read the exact result, assumptions and evidence
Result
A=-i d/dx on the interval with periodic H1 domain is a self-adjoint elliptic modified APS realization: tangential operator0 and periodic trace diagonal a kernel Lagrangian. B=-A is symmetric first order with bounded coefficients but has exact A relative bound1; |n|<=a|n|+b forces a>=1. A+B=0 on Dom(A) is not self-adjoint. This disproves the original generic assertion. The valid replacement requires symmetry on Dom(A) and actual relative bound a<1. A sufficient reflection condition is a specified domain-preserving bundle lift with identical principal symbols, making D_rel bounded order0; reflection oddness alone does not lower order.
Required assumptions
Literal boundary-minimality and analytic-perturbation statements
Audit objects are the original boundary-source definitions and proofs: C_seed maps an operational seed forward to a spectral boundary tuple; defect order is lexicographic on N4; the self-adjointness statement asserts relative bound0 for every symmetric bounded-coefficient differential perturbation of order at most1. These source assertions are audited rather than assumed true. No special symbol cancellation, domain invariance or absolute scale is silently added.
Precise proof/definition audit of the cited arguments. No independence theorem, two complete P1 models or unconditional rescaling of undefined finite-block/action classes. No new physical model; historical problem status is preserved.
Read the exact result, assumptions and evidence
Result
From d_seed=d o C_seed one obtains minimization only over im(C_seed). The original proof supplies neither attainment of the global minimum in that image nor classification of the equal-minimum fibre; well-foundedness alone gives no object uniqueness or unit spectral flow. Under explicit scale-covariant reference, action and cutoff conditions, B_lambda with lambda D and lambda B retain defects but have different spectra for a compact self-adjoint realization. This rescaling theorem remains conditional. An honest OS inverse needs complete supported Schwinger data with OS II assumptions, or a full Euclidean net/action, regular RP state and time-zero condition; arbitrary positive-time insertions do not automatically act on the OS quotient.
Required assumptions
Literal boundary-minimality and analytic-perturbation statements
Audit objects are the original boundary-source definitions and proofs: C_seed maps an operational seed forward to a spectral boundary tuple; defect order is lexicographic on N4; the self-adjointness statement asserts relative bound0 for every symmetric bounded-coefficient differential perturbation of order at most1. These source assertions are audited rather than assumed true. No special symbol cancellation, domain invariance or absolute scale is silently added.
Original P1, boundary, seed and local restriction definitions
Reviewed originals: P1 declares oriented seam, reflection-positive kernel, unit winding and c3; stronger T_boundary includes A_+ as data; operational seed takes A_loc, time, reflection, state, seam class and collar operator as inputs. A_adm(O) is A/A*-invariant restriction of supplied local insertions. Compare without P2/E8/target spinor assumptions and without presuming an original gauge/microscopic localization intertwiner.
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.
Original definition/source comparison, not logical independence or two complete alternative P1 models. Neither universal nonderivability nor incompatibility with every P1 seed proved. A specified full seed already includes its net as input. No new construction or numerical suite and no physical premise removed.
Read the exact result, assumptions and evidence
Result
Literal scalar P1 names seam, reflection positivity, unit winding and c3; stronger boundary data supply A_+, and the operational seed explicitly takes A_loc as input. Admissible local net restricts supplied local insertions. These definitions do not identify primitive physical space and local algebras with the existing Gx=1 gauge net. Overall verdict: UNDECIDABLE DUE TO SPECIFIED DEFINITION GAP. With old local Z fixed, existing gauge isometry is not support-preserving because FZ=-ZF; the neutral pair has restricted compatibility by telescoped Gauss laws. Global Phi retains its old locality failure and cannot be composed with E without a domain/net identification.
Required assumptions
Original P1, boundary, seed and local restriction definitions
Reviewed originals: P1 declares oriented seam, reflection-positive kernel, unit winding and c3; stronger T_boundary includes A_+ as data; operational seed takes A_loc, time, reflection, state, seam class and collar operator as inputs. A_adm(O) is A/A*-invariant restriction of supplied local insertions. Compare without P2/E8/target spinor assumptions and without presuming an original gauge/microscopic localization intertwiner.
Conditional local parity-Gauss completion with common original time
ADDED comparison contract, NOT P1-derived: old four-state register with total-even matter; redundant Z2 link qubits and local Gx=(-1)^nx tau_(x-1)^x tau_x^x=1; gauge-invariant local observable net. Original QWZ hopping coefficients, common microscopic Hamiltonian and energy reference; no new electric energy. Sector-specific f(Z) subtractions must map to f(W) and can be nonlocal. No identification of Gauss space with original Padm.
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.
Canonical source Gibbs/parity probe with retained Cartans and source winding
In existing conditional one-copy eightfold dictionary retain all8namedCartans,pinZ8,originalsea,H_source=8K,Q,globalPhi:D8+v→D8+c andactual SOURCE W1with[Q,W1]=W1. PrimitiveP1circle identification remains missing. CanonicalGibbs traces forEVERYbeta>0 are mathematicalfaithfulword/operator probes,not selectedphysicaltemperature. Retainbothoriginal limitingedges/parities; distinguishTOTAL-even andLEFT-even. No independent edgefluxregisters or microscopic pairedpumpfactorization asserted. ChangedphysicalCartan/netdictionary still needsderivation.
Given eightfold source fold with explicitly changed odd target action
Given existing one-copy CAR source,sea,fold,p in Z8,Heisenberg oscillators,Q=sum p,H=8K,K=N+p²/2+delta.p with delta_k=(k+alpha)/8-1/2,and actual SOURCE windingT1=Rp+e0,alpha1/4or3/4. Test explicit Phi=I on D8,rho=Pp+r on odd v with oscillator-P to odd spinor extension. Odd target Cartan action is explicitly changed by this comparison; inclusion in the original local net is separate. Neither folding,SOURCE/P1-core circle identification nor bosonic statistics is derived from P1.
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.