Fixed original QWZ regulator and fold dictionary; no eight new source copies or E8 spinor field required. N≥4096 contains the whole E≤64 comparison sector. No pure preparation, P1 image or 3+1D derivation. Historical suite with stale pin is not reported passed.
Read the exact result, assumptions and evidence
Result
The original QWZ field/state/time theorem composes with the unitary fold of that same channel and fixed A=U+^T O^T M. Direct CAR gives KΩ=Σδ_k h_(k,-1)Ω and [K,h_(k,-n)]=n h_(k,-n-1), K=Lcal_-8/8. The neutral source-energy64 amplitude is sqrt35(16250979+56071008i)/128≠0.
Required assumptions
Existing microscopic one-channel CAR theorem
Use the original width8/mass1/r1 QWZ strip, its negative spectral projector and filled state, its positive relative excitation Hamiltonian, actual local top-edge CAR fields and the proved field/adjoint/charge/time limit. Full orientation transport identifies this source with negative sea alpha1/4. Its identification with P1 is not supplied.
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.
Assumes the additional full E8 algebra; no exclusivity, executed projection or physical preparation. The classical invariant identity is not claimed as new. This extension is unnecessary for the original CAR mechanism.
Read the exact result, assumptions and evidence
Result
In the supplied E8 vertex closure, the phase-correct dual-root product has a full weight8 coefficient S8 with all22 oscillator partitions. Exactly <F8hat,S8>=sqrt140/56=sqrt35/28 and ||S8||²=15600. Actual polarization gives moments2,4,6 zero and moment8=(15/2)I8.
Required assumptions
Given local E8_1 vacuum representation and explicit cocycle
Positive level-one E8 lattice vacuum representation in orthonormal D5+D3 coordinates, declared simple-root cocycle, level-one Heisenberg Ward rules and internal quarter character v=(0^5,1/2^3). Insertions are separated. No raw-P1 pullback or physical time law is assumed or derived from this representation.
Original displayed J-equivariant root isometry
Use existing S=_SIMPLE and T=_TARGET_SIMPLE from cartan_source._glue_deck_character_certificate: O=T S^-1/sqrt2 maps actual Construction-A roots r/sqrt2 to original Chevalley roots r/2, preserving metric and J. This is the existing concrete map, not a newly fitted embedding; physical P1 selection stays separate.
Given reference dictionary; local eight original arcs, no c1/c8 point-net identity or P1 selection. No naive fermionic degree16 normal order.
Read the exact result, assumptions and evidence
Result
A=U+^T O^T M obeys AA*=I4, AA^T=0 and b=Aδ. F8^d=:I8(A(j_sea+δ/z))/(96sqrt140): is a neutral even CAR current composite of the same source with original point splitting and finite derivative counterterms. Full correlations and i0 are retained; no E8 root/spinor vertices are needed. Fold energy8 equals source energy64.
Required assumptions
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.
Symmetric quartic and actual erasure intertwiner
Use Sym^4 of the native four-representation, the actual five codeword sums, and the existing one-register erasure intertwiner. The symmetric tensor rule and its physical selection are not silently inferred from the full tensor product.
Input audit of this route and curve; no universal P1 impossibility theorem or stale wrappers as evidence.
Read the exact result, assumptions and evidence
Result
The loop E8/J→ovoidH5→Pascal/glue→E8 already assumes E8,J and rank4. On C:y³=x⁴−1 the actual Prym clock gives SNF(I−J)=(1,1,2,2), four instead of16 classes; polarization(1,2) is degenerate mod2. V784/V796 exclusions and external bridges remain scoped.
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.
Given same-conformal E8 class/marks. A_Q≠A_J; modular phase is neither base cover nor physical time; H± remain allowed.
Read the exact result, assumptions and evidence
Result
A_Q=C4², q=(5a²+3b²)/8, describes E8 extensions, D8 and four clock sectors; flux=a−b=−r. (i,j)↦(3i+j,2i+j) gives type4{2}; ground spaces1,4,16,4 have the specified actual representations. Level8, T order24; no transverse isotropic complement to H+.
Required assumptions
Exact local reconstruction class of the marked C4 glue
Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.
Full unitary E8 field conjugacy with transported marks
Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.
Given Construction A and J; no P2/D5 or physical measurement identification from dimensions.
Read the exact result, assumptions and evidence
Result
The actual ovoid module ker(B^T) of E8/(1−J)E8 is marked-isomorphic to original quartic H5: detT=−96 and N_rT=16TD_r for all60 reflections. Spread and both twists have Hom0. Form diag(1,3,3,3,6), P5 and six rank1 effects follow.
Required assumptions
Existing even E8 lattice, Gaussian J and sign lifts
Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.
Actual clock/complex-reflection subgroup and native quartic space
R=diag(-1,1,1,1) on Gaussian C4 is the complex reflection of root line(1+i)e0; G0=<J,R>=C4×C2. P5 is the existing five-dimensional symmetric quartic subspace in Sym4(V4), W6=exterior²V4. R is not a real codim1 E8 Weyl reflection; P5 is not the full fourth tensor power.
Exactly the fixed native root chart and the given eight-channel time operator. The tetrahedron covers four of1120 E6 and six of120 E7. The Q-neutral E7 has a half-root normal and is not one of those six; Q is not automatically Y. Only ordinary horizontal n=0 modes are classified, not all affine conserved modes. Existing shifted p* sl2 modes and the solved color-center-neutral vacuum selection remain valid. The projector counterexample does not exclude genuine subalgebra inclusions, state restrictions or separately justified physical reductions.
Read the exact result, assumptions and evidence
Result
In the fixed original D5+A3 cut, each of the six pairs among the four E6 systems generates precisely its unique E7:104 union roots close to126, with a common40-root D5. Orthogonal root/Cartan projectors onto E6 and E7 are not Lie homomorphisms, as removed opposite-root pairs with nonzero projected coroot show. For the existing H8=8L0-rho_A7.a0+(2a-1)Q/2, Q-neutral E7 membership is not full horizontal energy symmetry: [H8,J_(e0-e1,0)]=-J_(e0-e1,0). At a=1/4 and3/4 exactly8 ordinary n=0 root modes commute, of type4A1; with8 Cartan modes this horizontal centralizer has dimension16. Complete conformal E7+A1 and E6+A2 windows retain their complements and glued modules. A cut sequence is not a derived physical breaking or time history.
Required assumptions
Original D5+A3 compiler split and established seed
Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.
Exact local reconstruction class of the marked C4 glue
Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.
Four D8 source modules with fixed affine time
Mathematical parent of the four D8*/D8 modules 0,v,s,c with eight identical Heisenberg oscillators, source charge chart p and N≥0. H=8(N+|p|²/2+delta.p),delta_j=(j+a)/8−1/2,0<a<1,Q=sum p_j. Original quarter cases are a1/4,3/4. Conformal L0, individual Cartan charges and totalQ remain distinct. This mathematical completion does not assume a physical P1 realization of the Ramond space or a local field map.
Actual embedded current algebra and the given local unitary affine source. U1 subscripts denote internal charges. No derivation of a four-dimensional fermionic Yukawa action, particle population, mass or primitive physical P1 source identification. Recovery of completed original results, not a new mathematical first proof.
Read the exact result, assumptions and evidence
Result
The original18 September proofs identify E6 and A2 as mutual centralizers in the actual Chevalley E8 algebra. The48=(16,3) carrier is not E6 closed; its full closure is81=(27,3) with27=16_1+10_-2+1_4. In the given affine vacuum the actual three-current correlator kappa(a,[b,c]) equals d_ABC epsilon_ijk. Its45 cubic candidates have Ward rank44 and hence a unique relative coefficient line. The positive grade-one Gram gives64/48=4/3 its exact equal-norm current-response meaning. Normalized I4/4 is not a vacuum partial trace. These completed original results are recovered into reviewed findings; missing reviewed coverage was not an open derivation.
Required assumptions
Original D5+A3 compiler split and established seed
Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.
Exact local reconstruction class of the marked C4 glue
Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.
Complete torus and Weyl classification plus compact E8 conjugacy, not mere matching spectra. C is not preferred and retains other marks only through their joint transport.
Read the exact result, assumptions and evidence
Result
Five-carrier parity kappa=exp(2pi i v(0)), v=(1/2^5,0^3), acts on the four U glue sectors as1,i,-1,-i and fixes precisely U. Among all65536 torus points modulo4 exactly15120 match actual Jhat; they form one actual W(E8) orbit. Thus C kappa C^-1=Jhat for a full VOA automorphism C. Each two inverse primitive characters share a fixed root lattice D5+A3; the7560 kernels are equivariantly the actual7560 compiler/tetrahedron flags.
Required assumptions
Full unitary E8 field conjugacy with transported marks
Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.
Precisely the given scalar character restricted to fixed D8 subnet. Other source-derived field dictionaries are not excluded.
Read the exact result, assumptions and evidence
Result
The canonical scalar torus character g_q on V_E8 has order2 and fixed VOA V_E7 tensor V_A1. Over fixed V_D8 exactly one further extension gamma g_q exists, with fixed VOA V_D8prime and order2. Their weight-one spectra136/0/112/0 and120/0/128/0 exclude identification with actual native Jhat with60/64/60/64, even under full field conjugacy.
Required assumptions
Given scalar quarter twist and explicit charge chart
Compare the given eight complex current channels, q=(1/4)^8, standard D5+D3 lattice and F=I5+T with T(x,y,z)=(x+y+z,x-y-z,-x+y-z,-x-y+z)/2. Eight channels and their normalization are not derived here from P1. Distinguish a local charged field, scalar monodromy character, flux register and native clock.
Full unitary E8 field conjugacy with transported marks
Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.
Given eight-channel chart and marked lattice generator. Squaring a finite disorder operator is not identified with the local vertex field.
Read the exact result, assumptions and evidence
Result
F(2q)=lambda is an actual lattice identity, not only equal norm. s=2q has order4 modulo D5+D3 and order2 modulo D8. The tower U to V_D8 to V_E8 has indices2,2 and mu-indices16,4,1. The older SO16 base with index4 mixes two different inclusions.
Required assumptions
Given scalar quarter twist and explicit charge chart
Compare the given eight complex current channels, q=(1/4)^8, standard D5+D3 lattice and F=I5+T with T(x,y,z)=(x+y+z,x-y-z,-x+y-z,-x-y+z)/2. Eight channels and their normalization are not derived here from P1. Distinguish a local charged field, scalar monodromy character, flux register and native clock.
Complete for regular A2-normal E6 root cuts in standard E8 under its actual Weyl action; not arbitrary Lie-subalgebra embeddings.
Read the exact result, assumptions and evidence
Result
The actual Weyl action is transitive on1120 E6 cuts. An explicit stabilizing E6/A2 reflection subgroup is transitive on each intersection class: D5 with81,D4 with270,A4 with648,A2+A2 with120 neighbours. Including equality these are the full five orbitals. All125 structure constants yield the commutative full commutant. Normalized primitive idempotents have ranks1,35,84,300,700, proving the complete irreducible Weyl decomposition.
Required assumptions
Regular E8 cuts and full compiler flags
Fix the standard E8 roots with their actual Weyl action. E6 objects are complements of regular A2 root systems and E7 objects complements of root lines. A tetrahedron comprises the four A2 faces of a regular A3 normal system with common D5 core; its D8 incidence requires both factors. Relations are literal root inclusions and intersection sizes. Signals are rational, real or complex functions with counting inner product. Equivalence transports all flags by the Weyl action, without a selected corner or physical source.