Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.
Interlocking clocks
The published foundation in this area
23 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 uses several distinct algebraic clocks and transfers: Coxeter period 30, phase automorphisms, an order-12 compiler action, and separate relaxation factors. Their mathematical periods do not by themselves define physical duration.
Starting structure in the Atlas orientation
Known structures include finite actions: Coxeter number 30, μ4 on phase data, an order-12 compiler action, and separate relaxation rates.
Which connection is sought
The open work is a common source derivation, event interpretation, and a parent realizing one time rule for matter, boundary, and instruments.
How it connects
Clock actions organize E8/code readouts and event sequences; algebraic orders are neither measured seconds nor proofs of dynamics.
Only the named unchanged CAR/QWZ representation with the same time. No TFPT no-go; choosing a state removes no added zero vector.
Read the exact result, assumptions and evidence
Result
All four hits add the same half-integer Cartan sectors and second K-zero vector. The already known integer-Cartan/ground-space obstruction therefore excludes equivalence to the unchanged source; positive algebraic extension remains possible.
Required assumptions
Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
Unchanged specified CAR/QWZ source
Compare the known quarter-CAR source or full mass=1, ny=8 QWZ operator with the identical Hilbert representation, Cartan action and physical time. Preserve its previously proved unique ground state and spectral gap. This does not compare all P1/P2 realizations.
Normal ground densities in the supplied K space; no state selection from P1/P2. The ground space was already known.
Read the exact result, assumptions and evidence
Result
All dual-invariant ground mixtures diag(a,1-a) on {0,r0} give the same shift functional. Original Cartan vacuum values select |0><0|; additional Rc invariance requires I2/2. These two conditions conflict.
Required assumptions
Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
Positive base functional and explicit observable algebra
For finite crossed words omega0 is positive; dual Z2 invariance is additionally required for unique algebraic extension. Comparing physical densities must retain the actual Cartan observables and the common normal ground space of supplied K.
Only the stipulated even E8 lift; full odd-Z8 sectors remain additional. No transfer of the different (9,1) source. The ±i path orientation is not selected.
Read the exact result, assumptions and evidence
Result
In the supplied positive E8 module X=E_s commutes with SU8 root currents because alpha.s=Q(alpha)=0; oscillators are fixed. C=Z_e0 R gives CXC^-1=±iX and P sign+1. This is a direct global operator bridge, not X=Y(s).
Required assumptions
Stipulated even E8 completion with actual Klein signs
Assume the E8 extension of the even D8 CAR sector constructed in seam-joint-ward-state, with original ordered cocycle, retained quarter transition and explicit P-lift convention. An ordinary-local inclusion of odd CAR fields is not assumed.
Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
No complete concrete Finsupp kernel instantiation, physical state selection or automatic K-invariance of the bare shift algebra.
Read the exact result, assumptions and evidence
Result
E0(y*y)=a0*a0+phi^-1(a1*a1) proves positivity of omega0 o E0. General algebra/star/positivity and dual uniqueness theorems are Lean-checked; concrete finite-lattice transfer is analytically proved.
Required assumptions
Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
Positive base functional and explicit observable algebra
For finite crossed words omega0 is positive; dual Z2 invariance is additionally required for unique algebraic extension. Comparing physical densities must retain the actual Cartan observables and the common normal ground space of supplied K.
Global crossed operators; no local field equivalence or physical selection.
Read the exact result, assumptions and evidence
Result
262144 candidates on two H200: four universally Lean-checked presentations. X_plus=Pi X_minus preserves source,Q,K,quarter marker and canonical state; two marked P classes remain. Full T1 and Ward are checked. Graded C lifts realize both P signs; scalar X covariance does not follow from the integer endpoint.
Required assumptions
Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
Fixed phases and corresponding invariant starts; real time retains conjugation/time reversal. No assertion about all P1/P2 sources.
Read the exact result, assumptions and evidence
Result
C and K may separately break; A=CK preserves H for all fixed link phases and T_p→T_−p. Invariant starts retain equal Euclidean opposite-charge returns, including quarter phases/flux.
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.
Fixed link phases and A-invariant start
Arbitrary fixed unitary link phases in the same hopping, real original Hdiag/cocycle and initial density invariant under A=C times complex conjugation. Positive Euclidean T return responses are considered; no general real-time equality is assumed.
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.
Balanced W remain within the sector; T insertion/removal responses require Cp. No derived physical measuring instrument.
Read the exact result, assumptions and evidence
Result
η·Qtot is zero on C0. T_p enters Cp; full propagation yields ratio exp(−2tη·p). For v=Bp, conditionally η=Bᵀδ. Only the odd factor is matched.
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.
Chemical comparison with charged intermediate sectors
Additionally supplied Hη=H+η·Qtot, C-invariant initial density in C0 and full propagation after onsite T moves C0 into Cp. η is comparison input, not a derived seam parameter.
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.
Exclusion only of the affine lift model at fixed K,Q and oscillator level; covariant tuple transport remains possible.
Read the exact result, assumptions and evidence
Result
An isometric affine lattice lift Ap+r with A²=−I and unchanged oscillator level would require r=Aδ−δ and hence −2δ=(I+A)r in the E8 lattice. Adjacent coordinate differences of2δ are1/4; this fails exactly. Also Jq≠q.
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.