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.
Source and logical dependency audit of the cited chain, not a universal impossibility theorem. An independent original derivation of the cross-identification or unique minimal algebra/bimodule classification could close the gap. E8 glue rank selection and fixed state for given transport are retained and not equated with local algebra selection.
Read the exact result, assumptions and evidence
Result
Original minimization does not classify the minimal algebra/bimodule fiber. The joint discrete theorem imports Higgs rank2 and branch-Yukawa rank3; the master functional fixes d_disc*,P_adm and B_min before varying only ξ=(α,χ_geo,δ_ph,ρ_vac). The singleton fiber product presupposes discrete uniqueness with E3⊕E2,Y in the shared invariant tuple. Two exact conditional decoders exist: independent occupancy balance at g5 gives {b,s}={2,3}; independent Bγ=g/(g−1) with Y roots−1/b,+1/s gives s²=g−1, hence s2,b3. Their cited original proofs evaluate these equalities only on the fixed3+2 branch. Using them as upstream selectors adds a premise.
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.
Excludes the finite rank/primitivity/channel-uniqueness implication in the stated covariant exterior class, stronger than the earlier nonminimal5+2 test. Does not establish multiple global original minimizers, equal S1 defect vectors, all anomalies or complete P1/P2 worlds. An original bosonic index and actual sector/vertex map could distinguish them but are not derived here.
Read the exact result, assumptions and evidence
Result
Rank5 is the first possible rank in the stated class: even ranks fail total parity, and at rank3 total degree5 is not a multiple of3. The same canonical volume tensor supplies nonzero primitive trilinears on E=C5 for1+4,2+3,3+2,4+1. Minimal covariant degree5 channel spaces modulo fermion exchange have dimensions1,2,1,1. Thus even unique primitive channel leaves1+4,3+2,4+1; with b>s,3+2 and4+1 remain. All four16-dimensional packets have Tr X=Tr X³=0 for X=(-s)I_V+bI_W.2652 integer group-action coefficients were checked exactly; no suitable coupling was fitted.
Required assumptions
Minimum rank in the covariant even-even-fundamental tensor test
Given E=V⊕W with b,s≥1, Hermitian metric and unit complex volume; G=S(U(V)×U(W)); two nontrivial positive even exterior fermion legs and one fundamental boson leg in W. Rank and split vary. Primitivity is in the holomorphic covariant invariant ring without independent conjugate/dual field variables. At rank5 restrict the same volume tensor vol(α∧β∧h) to all splits. No actual source vertex, equal complete S1 minimum defect or physical P1/P2 countermodel is 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.
Excludes only full even internal CAR as coordinate algebra with J_H; positive Hodge signs conditional on rank/metric/volume. No physical CAR, J, KO6, spacetime or E=C5 origin derivation. Proper compatible subalgebras and originally derived symmetry breaking remain possible. Whole-space antiunitarity is not automatically the quaternionic W factor of a different triple.
Read the exact result, assumptions and evidence
Result
For the given E=C5, J_H²=1, J_HΓ=-ΓJ_H and (ΓJ_H)²=-1 hold on ΛE. Internal CAR is End(ΛE), its even part End(S+)⊕End(S-). J_H swaps both blocks and maps this full algebra onto itself; order zero would require commutativity. An explicit matrix-unit commutator has rank2. The full internal algebra is thus not a spectral coordinate algebra with this J_H. A selected left/right bimodule subalgebra remains missing. Reuse the existing SU5 no-selector: unmarked exterior algebra and trace balance select no3+2 projector.
Required assumptions
Given unmarked Hermitian rank-five carrier with volume
Given E=C5 with Hermitian metric and unit complex volume, F=ΛE, Γ=(-1)^degree and conjugate-linear Hodge J_H. Neither3+2, named particle/gauge modules nor Yukawas are inserted. Internal Clifford operators are not identified with physical local fermion fields; rank5 and volume are not newly source-derived.
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.
Excludes only unique algebra reconstruction from these data in the declared product/domain setting. Not identical complete original tuples, full OS/P1/P2/minimality countermodels or a universal TFPT no-go. Additional algebra hypotheses need their own origin.
Read the exact result, assumptions and evidence
Result
On the same product skeleton A0=C∞(M)I and A1=C∞(M,Mn) acting on the left differ, with the same scalar center, identical D,J,Γ,B,R and fixed relative spectral/eta responses. Both obey order zero/one: JL_(b*)J^-1=R_b, [[D,L_a],R_b]=0. A1 mixes internal left indices, A0 does not. For n=2: fiber-span dimensions1/4, commutant dimensions16/4 and16 exactly vanishing left/right basis commutators. These operator/center/order conditions therefore do not reconstruct the multiplication algebra.
Required assumptions
Declared product skeleton for algebra identifiability
Given a compact spin collar with a local selfadjoint elliptic geometric boundary problem stable under smooth multipliers, or closed double with H1 domain. On H=L²(M,S)⊗HS(Mn(C)),n≥2: D=D0⊗I, B=B0⊗I, J=J0⊗(X→X*), Γ=Γ0⊗I, R=R0⊗I, with zero finite Dirac term. Compare scalar and left matrix insertions on the same H. No arbitrary APS-domain invariance, complete OS source, unit winding or minimal P1/P2 branch is claimed.
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 conditional classification of the particle LR block of the given representation, not a complete real-triple classification or P1/P2-derived coupling. Already encoded3+2 structure is not newly selected.
Read the exact result, assumptions and evidence
Result
For M=diag(Yup,Ydown), every particle LR one-form obeys q_a(Mr_b−q_bM)=q_a(r_b−q_b)M. The factor is quaternionic and b=eR spans all qM. Including the seed yields M(H)=HM with H=[[φ1,φ2],[-barφ2,barφ1]]. The four Yukawa matrices and color/weak modules remain inputs; D_F=0 gives no finite fluctuation. The linear identity was checked exactly against unchanged existing code with a complete coefficient basis, without choosing physical couplings.
Required assumptions
Given finite SM representation with symbolic Yukawa inputs
Use only the existing v252/v254 representation with C⊕H⊕M3, already supplied color/weak modules and four symbolic complex3×3 Yukawa blocks. No physical values are chosen or fitted. Classify the particle LR one-form block; no proof of the full real96-dimensional fluctuation with antiparticles, JAJ and Majorana sector is claimed.
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.
Concrete algebraic/smooth enlargement, not the entire bounded-operator algebra. Does not exclude an independently derived noncommutative local field algebra.
Read the exact result, assumptions and evidence
Result
P0=C−UCU* and Emn=U^m P0 U^(−n) supply all finite matrix units. The represented generated algebra has scalar commutant and center. Since I is a one-form, every element a=aU*[B,U] is a one-form. The enlargement permits arbitrary finite-rank matrix perturbations but selects neither a Higgs coupling nor3+2 and cannot silently replace the original local algebra with smooth center.
Required assumptions
Explicitly additional nonlocal Cauchy enlargement
On the Fourier basis en,n∈Z, U is the bilateral shift and C projects onto n≥0. Consider the algebraic or explicitly smooth *-algebra with controlled bounded commutators generated by U,U*,C. No identification with B(l²), automatic domain statement for its norm completion or original local field algebra is 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.
Complete one-form/one-particle holonomy theorem only for this explicit coordinate algebra. No P1/P2 no-go, identification with the full physical net, fixed Fock-vacuum equivalence or anomaly cancellation. Real completion depends on actual J and sign.
Read the exact result, assumptions and evidence
Result
From [Bα,Mb]=−iMb′ and U*[Bα,U]=I one obtains exactly Ω¹_B(C∞(S¹))={Mv}. Selfadjoint perturbations are real smooth v. With mean vbar, Bα,v=e^(−iλ)Bα+vbar e^(iλ), λ′=v−vbar; the same quarter holonomy requires vbar∈Z. Fluctuation preserves the represented algebra and line module and thus creates no new SU2 fundamental or3+2 selection in this realization.
Required assumptions
Local coordinate algebra of the conditional quarter source
Given the conditional scalar circle realization H=L²(S¹), Dom B=H¹_per, Bα=−i∂θ+α with α=1/4 or3/4. The local algebra investigated here is explicitly smooth multiplication C∞(S¹) on this line, not a complete physical field-insertion algebra already derived from 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.
Exact zero-jet identifiability test on the given free source path. No no-go for a complete Φ-dependent functional or later original selector; no general interacting Yukawa theorem.
Read the exact result, assumptions and evidence
Result
The existing direct Grassmann path yields the same complete unnormalized source polynomial and Z0=69649/65536 for both supplied extensions at Φ=0. The mixed derivative is zero or offdiagonal -65536/69649; -K0(∂Φ K^-1)K0 reconstructs the supplied derivative K′. A joint source derivation therefore still needs the actual original field dependence and correctly equivariantly typed coupling.
Required assumptions
Given free quarter-source background without a selected Higgs derivative
The existing two-mode source path has K0=diag(17/16,4097/4096) and a fixed Berezin measure. Compare only completely coincident fermionic source polynomials at Φ=0 and explicitly supplied extensions K0 or K0+Φσx. These are diagnostic extensions, not two claimed P1/P2-admissible worlds or a comparison of complete Φ-dependent functionals.
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.
Excludes only the local invariant-theoretic inference under the stated polynomial interpretation. No P1/P2 countermodel or refutation of additionally justified global minimality or actual branch-tensor support; no new Lean build.
Read the exact result, assumptions and evidence
Result
For V=C5,W=C2, (V⊗W)⊗Λ4V⊗W→detV⊗detW is a nonzero S(U5×U2)-invariant tensor with even fermion degrees2/4. Centers and U1 charge force positive invariant total degrees(5m,2m); thus the tensor is primitive at carrier degree7. It refutes the local inference that r≥4 must factor in the invariant ring. The stronger Lean premise E≃(Λ²E)* remains valid and needs its own source derivation.
Required assumptions
Covariant invariant-ring primitiveness at variable carrier rank
For the local inference test: V=C^b, W=C², G=S(U(V)×U(W)), both fermion legs in Λeven(V⊕W). Primitiveness excludes invariant factors of smaller positive carrier degree in the covariant polynomial invariant ring. No global minimum over different sources/ranks or independently selected special tensor support is 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.
Audit of the specified archived origin chain and elementary bundle controls; no refutation of an actually supplied equivariant bosonic operator, P2 postulate, or conditional Lean theorem.
Read the exact result, assumptions and evidence
Result
The archived determinant argument uses X=-2P3+3P2 and an explicitly rank-two weak block before the later rank-two conclusion. H0(O(1))=C² alone determines neither rank E+ nor its operator kernel; the same determinant line occurs at different ranks and different h0. The Lean Higgs theorem explicitly assumes its linear identification with binary forms.
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.
Literal source interface of the archived definition; not a refutation of the algebraic 3+2 statement for a supplied P2 carrier. Likewise (2G−I)|Ran(G)=I: full boundary data alone do not create an internal marking.
Read the exact result, assumptions and evidence
Result
Pprim=C Pgap implies Ran(Pprim)⊂Ran(C). Thus (2C−I)|H_car=I for a carrier embedded there, and E_−=0. Every isometric pullback W into Ran(C) also yields W*(2C−I)W=I. The later 3+2 polarization does not follow this way. The general lemma CQ=Q ⇒ (2C−I)Q=Q is kernel-checked. A different carrier factor needs an explicit different map.
Required assumptions
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.
Literal carrier embedding after positive compression
Read the archived phrase H_car after primitive admissibility compression literally as a subspace of Ran(Pprim)⊂Ran(C), then define internal polarization as (2C−I)|H_car. A different coefficient-factor interpretation instead requires its own embedding and internal involution.
Correction of the general geometric identification in the archived source, not rejection of P1/P2 or all seam realizations. A nonlocal R:=2C−I can be defined but thereby has no demonstrated geometric origin.
Read the exact result, assumptions and evidence
Result
The original source identifies R_tau=2P_C−I from reflection regularity. A compact product-Dirac counterexample with B=diag(A_1/4,−A_1/4) and local R=σx disproves that general inference: the deck lift on the two fixed boundary faces changes G, whereas 2G−I commutes with G. The principal-symbol comparison confirms the type distinction. R_alg=J_n(2C−I) is a reconstructed, generally nonlocal involution; its algebraic quarter turn does not derive charged quarter holonomy.
Required assumptions
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.
Local geometric lift on a Dirac boundary
The claimed geometric deck reflection acts at the fixed boundary through a local bundle lift over the same base reflection. Compare an ordinary positive-dimensional Dirac boundary with orthogonal Calderon projection; a nonlocal operator subsequently defined as 2P_C−I is not a pre-established geometric action.