Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.
Carrier, families and E8 closure
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.
The finite compiler combines a five-slot carrier, a selected half-spinor action, D5×A3 and Z4 glue into an E8 lattice closure. This establishes a mathematical construction within its stated choices, not the physical gauge group or a first-principles origin.
Starting structure in the Atlas orientation
Under the stated actions, D5×A3 with Z4 glue gives the even unimodular rank-8 E8 lattice; the half-spinor reading depends on the chosen group action.
Which connection is sought
Open items include physical boundary realization, a local interacting chiral 3+1D implementation, mirror decoupling, and derivation of the action from the origin.
How it connects
E8 carries internal clock, code, flavor, and arithmetic structures. Rank, representation, family count, and spacetime dimension remain distinct types.
This replaces the prior normal-independence restriction by a broader explicitly fixed product type without redefining the old premise. No arbitrary unbounded Cauchy problem: continuum claims concern actual elliptic Cauchy data,Green form and compatible domains. No moving grading/normal without connection terms. Positive conditional-state integration generally gives a mixed,nonquasifree state; no Wick rule for averaged covariance or projector purity is required. A complex eta/Pfaffian density gives only the integrable algebraic identity. No derivation of measure,physical quantization,original reflection positivity or physical time.
Read the exact result, assumptions and evidence
Result
For B(r)=Z tensor A(r)-S tensor Phi(r),with fixed even connection,odd selfadjoint coefficient and fixed normals/grades,E remains background-independent and B(r)E=E h(r). In a compatible finite regulator,K'= -B(r)K gives exactly C0 K C0=(K*)^-1,without commutation at different r. Thus Cfaces sends the entire graph to its orthogonal complement and the oriented two-face chart gives P_K -> P_Kplus directsum(I-bar P_Kplus),including all crossing blocks. The same fixed algebra map transports all existing integrable joint bosonic insertions and conditional CAR words under an already given common measure. An exact smooth ordering countercase disproves the wrong unadjointed K^-1 formula.
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.
Fixed graded normal-dependent classical source family
Assume fixed normals N,fixed gamma_F and fixed product trivialization,smooth selfadjoint even A(r),odd Phi(r),Ical=i_old Z gamma_F and C0=i_old N. A compatible finite regulator preserves these identities and adjoints; alternatively supply actual closed elliptic Cauchy data with Lagrangian Green form and grading invariance in the continuum. Normal dependence is an explicit extension of the old constant-product premise. State conclusions assume actual Clifford graph quantization per background. Only the additional integrated-moment identity takes an already given common bosonic weight and integrability as inputs; they are not presumed derived from P1.
Analytic full operator transport for general complex Yukawas and complex symmetric Majorana block,on the smooth interior core; global selfadjoint J-stable domains need separate checks. No [Q,Phi]=0 is needed for this J/B test,and no electric-charge selection follows. Neither a universal Pfaffian exclusion nor a physical chiral Pfaffian rule follows. C0 is not J_F. No new physical halving,species count,bosonic quantization or OS time. Original audit preserves the already complete chosen QWZ CAR source and complete operational Seed; no extra free quantization demand for these given sources.
Read the exact result, assumptions and evidence
Result
In the existing chart,Jhat=I tensor J_F is new-complex-linear and T^-1 Jhat T(v,bar w)=(-k w,overline(k v)),with k=-gamma_F J_F,k²=-I. Jloc=S Jhat is new-antilinear and induces c=-i_old J_F,c²=I. Fully,c h_A c^-1=h_{-A^J},difference -(a+a^J)gamma_F,and Jloc D_A Jloc^-1=-D_{-A^J}. For a^J=-a,[c,h_A]=0 and an actual old full-space skew form <Jloc x,D_A y> result; its restriction to E times E vanishes. The reduced boundary pairing <c v,h_A w> is symmetric and is a different form. Full D is new-complex-antilinear; its pullback retains normal derivative,A and Phi. The old finite mass pairing <J_F v,Phi w> is recovered exactly. For scalar holonomy,c sends alpha to -alpha; explicit W=exp(-i theta) gives 1-alpha and index -k-1.
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.
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.
Geometric Clifford boundary with explicit changed complex structure
Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.
Actual finite KO6 block and tested selfdual ansatz
Given the existing v252 constructor with selfadjoint D_F, antiunitary J_F, J_F²=+I, J_F D_F=D_F J_F and J_F Gamma_F=-Gamma_F J_F. Test the additional direct Pfaffian identification through B_F=<J_F.,D_F.> and a universal internal rechoice of J at unchanged D_F. Control parameters of the published constructor class are not selected physical TFPT values. A total spacetime domain or Grassmann source law is not presumed derived from P1.
Constructive application of standard Clifford boundary quantization,no new general functor theorem. Original physical choice of this type,actual charge J_F/Pfaffian,quantized bosons,original markings and OS time remain to be proved. The old complex-CAR vector exclusion retains its different premise. For nonzero Phi,h_Phi is not scalar A time;96 antiparticle labels do not newly derive physical species. No P2 3+2,E8 charged extension or T1-T8 closure. Exact controls and two independent source reviews. The smooth extension remains normal-independent; no single exp(-ell B) graph formula for arbitrary B(r).
Read the exact result, assumptions and evidence
Result
In the existing free collar,T(v,bar w)=(v,i_old w) is a local domain-preserving unitary for Ical=i_old Gamma. C0=i_old gamma_n supplies the appropriate new real structure without freely choosing J gamma_n. The oriented two-face chart with +i_old and -i_old sends the ENTIRE G(B) to G(A) directsum(I-barG(A)),including crossing correlations. Ical B=i_old A preserves old scalar circle evolution; the free geometric reflection matrix preserves graph and real structure. For the actual v252 coefficient,E v=(P_F+v,i_old P_F-v) is unitary onto the entire positive total grading and B_Phi E=E h_Phi with h_Phi=A gamma_F-i_old gamma_F Phi,selfadjoint on H1 and h_Phi²=A²+Phi² on H2 in the constant scalar case. The same full map holds for smooth tangential backgrounds with even a(theta) and odd Phi(theta); then h_Phi²=A²+Phi²-i[A,Phi] on H2. The full chart gives G(h_Phi) directsum(I-barG(h_Phi)). When the graph is the actual quantum covariance,the old pure-projector theorem transports all CAR words. No independent right field source or additional chiral determinant is required within this functor type.
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.
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.
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.
Geometric Clifford boundary with explicit changed complex structure
Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.
Source correction of the new external candidate,reuse of known positive compression and standard purification by Araki1970/71. No new general quantum theory or P1 no-go. Specified selfdual dynamics on a single quarter fails; complex charged CAR remains possible. Hcar selection,local field map,original real structure and physical time remain to be identified. No T1-T8 closure.
Read the exact result, assumptions and evidence
Result
The original Pprim=P_(Sigma,+)1_[epsilon_adm²/4,infinity)(P_(Sigma,+)Dprim*DprimP_(Sigma,+)) is a highpass of the compressed operator,not ker(|B_Sigma|-lambda1). Even granting the additional operator identification,lambda1<epsilon_adm/2<=lambda2 removes the proposed lowest block. For the explicit paired quarter source,j²=1 and jBj=-B hold on full H1. The full Cauchy graph has the standard Araki conjugation C=j directsum(-j),CGC=1-G. Equal-sign doubling has exact cross defect [[0,2c],[2c,0]]. A single thermal face covariance is not a projection. Balanced F eigenspaces follow only for a j-invariant full selfdual one-particle block,not for a separate internal 3+2 marking on E.
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.
Paired quarter source and tested lowest-block selection
Given B_a=2(A_a directsum A_(1-a)) on periodic H1,0<a<1,equal internal copies,j=exp(-i theta) K with summand exchange,and full spectral two-face graph G(B),ell>0. The external candidate claims Hcar=ker(|B|-lambda1) follows from the original primitive gap filter. Test that identification,not every P1 source. Physical CAR field map,original J/Clifford transport,OS reflection and time are not presumed identified.
Complete narrow classification for constant Phi and constant local reducers, not all P1 sources, variable normal profiles or momentum-dependent/dressed images. Normal elliptic D_N and finite Yukawa D_F remain different operators. The old spin product pushforward and horizontal connection remain conditional, not selected from P1. Reflection lift S tensor gamma_F is tested only at symbol level, not domain/reference/RP. Actual v252 integer controls are not physical Yukawa values. Source correction and independent reviews precede persistence; normal and -OO identical. No T1-T8 closure.
Read the exact result, assumptions and evidence
Result
All constant reducing orthoprojections of B_Phi=Gamma A-S tensorPhi are E=diag(E_R,E_L) satisfying E_R Phi=Phi E_L and E_L Phi=Phi E_R. On ker(Phi²-mu²),mu>0,E_L=(Phi/mu)E_R(Phi/mu); on kerPhi the projections are independent. On the actual full two-face Cauchy graph,N_face=diag(-Jn signPhi,Jn signPhi) and the old HS Lagrange lemma prove massive cocycle cancellation. Hence kappa=rankE_R^0-rankE_L^0. A bare right channel reduces iff Phi E=0; total grading Gamma tensor gamma_F still reduces. Its full finite v252 channel has netlevel0 even for singular Phi by48/48 and oddness. Explicitly reuse the old normal spin index source: its already reducing finite kernel has level equal to index. Its L2 case r+=1,r-=0 also preserves the same circle time. The full E2 twist r+=k,r-=k-1 has netlevel1 but no single right time Ward for k>1. Equal index level therefore does not yield an all-word/time intertwiner.
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.
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.
Given charged CAR quantization of the full two-face Cauchy graph
As in section4 of the original collar proof, additionally assume charged CAR(H direct_sum H) and the pure gauge-invariant quasifree state with occupation G_ell. The second labeled face has n=(1+exp(2ell B))^-1. This is a field/statistics premise, not a consequence of P1; reduction does not select or physically execute a one-face operation. The long-collar limit is used only within this declared operator/CAR class.
Constant Dirac product with mixed current generators
Assume the existing normal-independent two-component collar A=-i partial_theta+alpha, alpha=1/4 or3/4, Gamma=diag(1,-1), Jn=[[0,-1],[1,0]], S=Jn Gamma. In the supplied complete complex CAR system consider smooth one-face quadratic generators fI,fGamma,fP_R under actual HS/implementability conditions. For the product test Phi is a constant finite self-adjoint coefficient with B_Phi=Gamma A-S tensorPhi on the same H1 domain. A is internally scalar. Reducing projections are constant and reduce every Fourier momentum. For v252 also retain actual gamma_F and {Phi,gamma_F}=0. No physical P1 selection, separate chiral determinant, new vacuum or identification of tangential time with original OS Hamiltonian is presumed.
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.
Given normal spin line and genuine circle product operator
Assume oriented spin S2,L2=det E2=O(1),normal twisted spin operator D_N with grading gamma_N and actual selfadjoint product B_prod=B_a tensor gamma_N+I tensor D_N on H1 product spinors,B_a=-i partial_theta+a,0<a<1. Normal metric,connection and horizontal product rule are given;no derivation from the original bosonic Callias operator or P1 is asserted.
Applies known two-dimensional current algebra to the statistically supplied full source, with no general novelty claim. Does not prove physical P1 intervention admissibility, original full source map, OS time/reflection or a free current subtheory in every coupled P1 source. The old vector exclusion remains valid in its original scope.
Read the exact result, assumptions and evidence
Result
In the supplied complete Dirac CAR collar, J_R=(J_V+J_A)/2=:Psi* fP_R Psi: is an explicit local subcurrent. The old opposite component cocycles c,-c give c_VV=c_AA=0,c_VA=c_AV=2c,c_RR=c; at the original profiles mixed=-4i and right=-2i. The old normal-commuting vector exclusion explicitly did not cover this generator. Existing free B0 time satisfies [B0,P_R X_n]=-nP_R X_n on the actual one-particle path, with n->8n after folding. Restricting this existing subalgebra needs no separate chiral determinant. The second face remains thermal, so no positive vacuum generator has been derived.
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.
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.
Given charged CAR quantization of the full two-face Cauchy graph
As in section4 of the original collar proof, additionally assume charged CAR(H direct_sum H) and the pure gauge-invariant quasifree state with occupation G_ell. The second labeled face has n=(1+exp(2ell B))^-1. This is a field/statistics premise, not a consequence of P1; reduction does not select or physically execute a one-face operation. The long-collar limit is used only within this declared operator/CAR class.
Constant Dirac product with mixed current generators
Assume the existing normal-independent two-component collar A=-i partial_theta+alpha, alpha=1/4 or3/4, Gamma=diag(1,-1), Jn=[[0,-1],[1,0]], S=Jn Gamma. In the supplied complete complex CAR system consider smooth one-face quadratic generators fI,fGamma,fP_R under actual HS/implementability conditions. For the product test Phi is a constant finite self-adjoint coefficient with B_Phi=Gamma A-S tensorPhi on the same H1 domain. A is internally scalar. Reducing projections are constant and reduce every Fourier momentum. For v252 also retain actual gamma_F and {Phi,gamma_F}=0. No physical P1 selection, separate chiral determinant, new vacuum or identification of tangential time with original OS Hamiltonian is presumed.
Standard Heisenberg uniqueness as a concrete reduction of the original neutral source comparison, not new general physics. Actual local P1 current image, actual time/state type and for joint OS claims reflection/two-face representation are not derived. W8 means exactly native F8^(d) in the old eight-arc/point-splitting dictionary, not automatically its separate E8-invariant primary completion. No c1/c8 point-net identification, no forced free subtheory for all P1 models and no complete T1-T8 closure. Known minimality limit is reused, not counted as a new finding.
Read the exact result, assumptions and evidence
Result
Under the explicit sufficient eight-current contract, positivity of actual H forces all positive modes to annihilate the vacuum. CCR and adjoints yield every ordered moment recursively and the full PBW Gram, hence a unitary intertwiner on exactly the cyclic current space with the energy closure. Fock/Gaussian and complete CAR/E8 embedding are not additional prerequisites. Original quarter R=exp(-i pi H/2) is identity on this H=8N cycle; the larger c1 Moebius cycle is distinct. In the actual KMS case the denominator1-exp(-8 beta n) recursion determines oscillator moments, not the joint zero-mode law, delta or second-face representation. Truly compatible reflection yields all reflected word values, while separate face moments do not replace it. Actual CAR controls3897words,9216CCR vectors,464energy transitions in both quarters and189 exact infinite Gibbs trace comparisons agree; the all-mode conclusion comes from the analytic proof.
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.
Original quarter CAR source with fixed fold and current dictionary
The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention data.
Sufficient original current contract with actual time, state and local image
Conditional recognition contract on the relevant eight-channel neutral current cycle: common invariant word domain with adjoints and level1 CCR, actual self-adjoint H>=0, H Omega=0, [H,j_a,n]=-8n j_a,n and Q_a Omega=0. Local statements require actual Fourier/smearing and support dictionary; reflected two-face claims require the actual common reflection representation. Thermal variant assumes actual beta KMS with legitimate unbounded-word extension; full joint zero-mode law and delta remain source data. This contract is not assumed proved from P1 and is not necessary for every coupled P1 proposal.
Only the full continuous Weyl system and the chosen finite matrix-fiber class. Does not exclude discrete Pauli/clock algebras, an isolated W8 subalgebra, correct field quantization or a source image in actual A_loc. A smooth center alone does not imply this finite-fiber class. This does not prove the general C_seed functor unfaithful or universally noninvertible.
Read the exact result, assumptions and evidence
Result
No unital complexlinear star image of the actual full local Weyl system exists in A_sp with finite matrix fiber rankN. Fiber evaluation of U_sV_t=exp(2ist)V_tU_s and ordinary determinants force exp(2istN)=1 for all s,t; s1,tpi/(2N) already contradict it. Direct identification of spectral coordinate operators with these local quantum-current operators therefore fails before any state matching. The actual sufficient source route remains an embedding into the full operational Seedop A_loc with its actual complete word functional.
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.
Actual full local Weyl system and finite spectral matrix fibers
The existing actual local current net contains U_s,V_t with U_s V_t=exp(2ist)V_t U_s for all real s,t. The additional target identification tested is a unital complexlinear star image in the ordinary almost-commutative coordinate class A_sp, a subalgebra of continuous sections of a finite matrix/endomorphism bundle of positive rankN. This class is an explicitly chosen analytic realization, not implied by a smooth center alone. The full operational Seedop A_loc is not identified with A_sp.
Constructive all-mode theorem in the already given original neutral vacuum source, using primary current-net theorems and independent analytic/executable review. Not an unverified continuum extrapolation of the finite v438 ladder. SAME gapped H remains excluded as Borchers P; P is a different derived generator. The elliptic Gibbs state is not invariant under this P and must not be replaced. No full charged-sector theorem, equality with original P1 Theta/time, automatic eight-arc word transport or3+1D closure. Unbounded-generator sum equalities are on the common core with the corresponding closure.
Read the exact result, assumptions and evidence
Result
Existing currents give L_n^0=Lcal_n^alpha-bJ_n-b²delta_n0/2 with the same Omega and L0^0=H_alpha onQ0. P=L0^0-(L1^0+L-1^0)/2 is dGamma of an operator exactly diagonalized to x/2 by the complete Laguerre basis: P>=0, spectrum[0,infinity), kernelC Omega. With D=(L1^0-L-1^0)/(2i), explicit weighted dilation supplies the full affine group law. The actual local vacuum current net has a standard half-line inclusion with Delta_M^(it)=exp(i2pi tD) and the full Borchers relation. The original t_v quarter onQ0 is precisely R=exp(-i pi L0^0/2); its four positive gapless parabolic generators have opposite-pair averageH_alpha. Local algebras and modular groups are transported together.
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.
Actual neutral vacuum current space of the quarter source
Retain the supplied one-copy quarter CAR source alpha1/4 or3/4, negative sea Omega, actual level1 currents J_n with adjoints, H_alpha=N+Q²/2+(alpha-1/2)Q, common finite-energy core, existing local current net and original transported stress/winding comparison. Work precisely on the neutral cyclic Q0 space; elliptic Gibbs/HS state and charged sectors are distinct data. No physical P1 source map is assumed.
Original quarter CAR source with fixed fold and current dictionary
The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention data.
Necessary theorem about the same joint state and specified algebras. Does not exclude every interaction or future entanglement. Full projection and commutation are not inferred from a thermal face or incomplete neutral data. In a finite full Slater block, commutation with its entire even part already suffices via rank1 support. Positive conditional mixtures need actual positive disintegration; complex eta weights are not one. The source identity presupposes an actual bilinear action/integration and is not a derivation from P1. Physical joint response remains open.
Read the exact result, assumptions and evidence
Result
The existing full CAR projection-covariance theorem gives a pure restriction omega_P. For b>=0 from a commuting algebra, phi_b(a)=omega(ab) is positive and dominated by ||b||omega_P; purity forces omega(ab)=omega_P(a)omega(b). All equal-time connected mixed responses of those algebras vanish. A positive mixture of conditional CAR states with full mean projector P consists almost everywhere of the same state. An actual original coupled source with nonzero mixed response therefore cannot have that full free reference projector; it needs its own joint response or a proved independent source sector. The correct conditional complex source identity retains K(phi), or its J derivatives.
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.
Full projector covariance in a positive joint source
Conditional theorem: a positive normalized joint state has full projection covariance P on the actually fully realized CAR algebra. The further unital C* algebra commutes with this CAR algebra. These assumptions are a source contract to test, not already derived P1 data; one face or incomplete neutral measurements do not replace them.
Only the direct selfdual finite Pfaffian ansatz and universal internal J repair at fixed D. The Kramers countercase belongs to the existing constructor class and does not assert selected physical masses. Independent complex barpsi/psi, other correctly derived local sources and the4D product action remain possible. KO4 modulo8 does not derive metric dimension4, Lorentz signature or P1 quantization. Exact18 control checks and independent analytic review; no full suite or ledger promotion.
Read the exact result, assumptions and evidence
Result
For antiunitary J and selfadjoint D, B(x,y)=<Jx,Dy> has transpose sign epsilon epsilon_prime. The actual v252 KO6 block therefore gives a symmetric form; its standalone Grassmann quadratic term vanishes. Gamma_F J_F changes both signs and does not repair it. An actual Majorana constructor output moreover has four simple eigenvalues in the full96 space; Kramers excludes EVERY square-minus antiunitary commuting with that same D there. The Majorana-off control permits an explicit internal alternative. The ordinary local KO4 times KO6 product instead supplies the correct KO2 Pfaffian type if its original spinor source and common domain are actually derived.
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.
Actual finite KO6 block and tested selfdual ansatz
Given the existing v252 constructor with selfadjoint D_F, antiunitary J_F, J_F²=+I, J_F D_F=D_F J_F and J_F Gamma_F=-Gamma_F J_F. Test the additional direct Pfaffian identification through B_F=<J_F.,D_F.> and a universal internal rechoice of J at unchanged D_F. Control parameters of the published constructor class are not selected physical TFPT values. A total spacetime domain or Grassmann source law is not presumed derived from P1.
Only identification of this same source energy with the Borchers translation generator. Other gapless generators, correctly constructed local standard pairs and HSMI remain possible. Lean formalizes the elementary spectral-set statement, not Stone, spectral theory or the actual P1 source. Other KMS/spectral-profile identifications still require their actual operator dictionaries.
Read the exact result, assumptions and evidence
Result
Using this same gapped quarter energy as a modularly scaled translation fails already at the full spectral gap: the group law and Stone uniqueness imply unitary equivalence of H and H/2. The least positive spectral point would have to be both1/4 and1/8. Lean grind proves the elementary spectral-set lemma with only the three standard axioms. Independent review confirms the analytic connection and scope. The source remains a conditionally supplied model; neither original-P1 source derivation nor its universal refutation follows.
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.
The same given quarter energy as Borchers translation
Use exactly the already given full chiral quarter source H_alpha, alpha1/4 or3/4, with spectrum containing0 and least positive spectral point1/4. The proposed standard-pair bridge identifies U(s)=exp(is H_alpha) as its strongly continuous translation group and requires unitary modular conjugation V_t U(s) V_t*=U(exp(-2pi t)s) for all real s,t. This is an additional proposed identification to be tested, not an original P1 consequence.