Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.
Quantum and boundary structure
The published foundation in this area
32 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.
Finite E8, Pauli/Clifford, code, state, covariance, and instrument constructions supply internal quantum models and scoped guarantees. A code or successful channel is not yet a selected, repeatable physical source with the same parent dynamics.
Starting structure in the Atlas orientation
Concrete finite code and operator structures exist, with local results within explicitly specified source and instrument menus.
Which connection is sought
Open items include common physical preparation, source, interaction, repetition, record preservation, and connection to the TFPT parent.
How it connects
Codes and clocks specify internal information and symmetry structures; gravity additionally requires local geometry and dynamics.
Given E8 completion; no physical sectors, switching rates or local instruments selected from P1/P2. As a torus operator τ is identifiable only modulo the dual lattice.
Read the exact result, assumptions and evidence
Result
The original cocycle admits a unitary lift UJ with UJ⁴=I. It intertwines Kδ,Qq and the full quarter transition with KJδ,QJq,tJτ on the entire stipulated Fock space. The four frames are a covariant family; q must be transported.
Required assumptions
Stipulated E8 Fock space with marked clock tuple
Given the original ordered CAR/E8 cocycle, E8 Fock representation, Kδ(p,N)=|p|²/2+δ·p+N, original q and full uncompensated quarter transition. J is the actual Gaussian lattice operator, not the cyclotomic Galois operator. A covariant comparison transports δ,q,τ together; a fixed marked source holds them fixed.
Complete matrix reconstruction in the specified neutral quadratic vacuum sector; neither four measurements nor all charged, state or multitime responses of a physical source.
Read the exact result, assumptions and evidence
Result
P5, CPCᵀ, JPJᵀ and C²P(C²)ᵀ generate all36 real-symmetric8x8 matrices through Jordan words up to degree4. The double-pole OPE realizes these products. An explicit rational inverse reconstructs A from36 mixed responses Tr(BℓA)/2; prescribed trace leaves35 directions.
Required assumptions
Native clock fields and mixed OPE access
Fixed free eight-current vacuum, original C/J/P5 in the same E8 index basis and real-symmetric quadratic fields; access to mixed two-point responses of iterated weight-two double-pole OPE coefficients is assumed. Four individual measurements or a physical detector from P1/P2 are not thereby supplied.
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.
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.
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.
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.