Given native E8 realization, clock and marked input, not physical selection of them. Positive normalization computable and unique WITHIN positive normalization class, not P1-derived execution/readout or3+2 matter. Three/two are originalsigma orbit sizes, not independent particle count. Injective r0 field-tensor map is not matrix-product homomorphism.
Read the exact result, assumptions and evidence
Result
Actual native reflections at givenq produce five local quartic difference fieldsDelta_j=F_nj−F_nq; full vacuumGramG=I+J, arbitrary common smooth local smearc_fG. All Wick classes/Taylor terms retained. Original three/two clockorbits give response tensorsKC=DQC D*,KW=DQW D* andR=KC+KW. Without insertingP2/targetangle, mathematical positive RELATIVE tensorR^−1/2 KW R^−1/2=UQW U* is exactly existing originalP2, U=D(I+J)^−1/2. Polar prescription thus has concrete common field/event-response interpretation as relatively normalized quantity.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full existing local E8 field algebra with observer five-code
Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.
Original clock/simplex without an imposed polar mark
Retain actual normalized W6 simplex, sigma=(234), tau=(01), q=5. Consider ALL Hermitian rank2 projectors P with RanP inside Fixsigma, [P,tau]=0 and one positive/one negative tau eigenvalue on RanP. The original polar rule is a comparison point, not an imposed condition of this compatibility class.
Actual native event fields and distinct state controls
In accepted full E8 field net test actual native reflection automorphisms on reconstructed quartic fields and coherent difference against identity. Original sigma=(234),tau=(01),markedq=5 remain given comparison data; preparation ofq not derived. Vacuum and normalized marked source state are distinct mathematical controls. Difference of automorphism and identity is NOT assumed physically allowed intervention/instrument. Retain all local Wick/Taylor products and complete source states. Positive Gram/relative normalization is examined as computable tensor, never imposed as physical selection rule.
No all-E8/P1 no-go or exclusion of covariant density channels, open outcomes, noninvariant preparation or spontaneous branches. No identification of real reconstruction functional with physical potential. Existing polar-fibre/clock theorem remains comparison; new source gives unmarked geometry, not physical selection.
Read the exact result, assumptions and evidence
Result
Six OPE-reconstructed axes give15 equivalent rank2 pair planes. None equals actual originalP2; minimum squaredHS distance is(21−6sqrt6)/25>0. Full logical field-mode imageM5 is irreducible with centerC, no distinguished3+2 superselection. With all exterior data invariant, fully contracted LINEAR code return/memory kernels stay scalarI5 by native irreducibility even with every exterior path. Nontrivial uncontracted OPE tensors remain and are not excluded.
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.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full existing local E8 field algebra with observer five-code
Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
Existing logical clock and charge marking
Retain the existing logical labels weak0/1, color2/3/4, source point5 and Y5,R5,sigma5. Equivalence under their stabilizer is not automatically an equivalence of lifts commuting with the original native four/P1 clock.
Canonical stress now follows from given normalized full current OPE rather than independent stress premise. Level1/E8 realization remains input. Invariant source operator identity, not physical selected intervention/time law, particle clock or3+2. Correlated source constructions are not independent experiments.
Read the exact result, assumptions and evidence
Result
With actual cocycle dual sign full240-root OPE gives sum_alpha alpha tensoralpha=60I8 and h_dual30. Thus T_Sug=(1/62)sum248:J^AJ_A:=(1/2)sum8:h²:=T_E8,c8. Same stress follows within same source fromr3 quartic Wick ladder. ForT_n=sum248J^A_-nJ_A_n full endpoint factors onC5 atn0..3=(134,103/2,5,1/2), exterior-defect Grams=(100,225/4,9,1/4)I5. FULL source vectors obey(T0/2+T1+T2+T3)f_i=124f_i: exterior pieces cancel exactly, not just compressions. No root/family branch or fitted rate.
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.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full existing local E8 field algebra with observer five-code
Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.
Geometric data reconstruction in given source, no physical minimization/real-state rule. Full complex state space has additional continuous minimacosθw1+i sinθw2; explicitly checked, never discarded. Overallantipode/permutation remain. No positivepolar transport or physical3+2 mark. Quartic code remains input; no new independent empirical confirmation or priority claim.
Read the exact result, assumptions and evidence
Result
Actual2+2 flatteningsH_i of normalized original quartics give ten intrinsic logical rank1 raysv_t in localr2 product, sumP_t=2I5, Tr(P_tP_s)=1/9. Configuration fixes projective real structure through antiunitary fixing all rays unique up to common phase. On intrinsic real projective locus, sum_t(v_t.w)^4>=2/5 has exactly12 oriented equality points, hence six axes with regular simplex Gram6/5I6−1/5J6. All1024 sign cases exhausted. OriginalN introduced ONLY AFTERWARDS matches literally w_jw_j^T=(6/5)N_pi(j)N_pi(j)^T without fitrotation. Previously separately used UNMARKED W6 simplex thus gains concrete common local field-operator origin.
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.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full existing local E8 field algebra with observer five-code
Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.
Mode components are not entire local zero modes or selected physical instruments. Matrixunit law only weight4, not all grades. Leadingr2 is not whole fourth-pole coefficient; retainr3 Taylor term. Wick contraction is field algebra, not executed measurement. ChosenM5 coefficients available, not physically selected. Endpoint map A→PAP is not multiplicative for full field algebra; M5 is realized by stated code-preserving weight4 family, not a representation of all source operations onC5.
Read the exact result, assumptions and evidence
Result
Actual local F_i(z)F_j#(w) has exactly five Wick contraction classesr0..4 with all Taylor terms. Leading weight8/6/4/2/0 Grams areI25,4I25,(18^1,8^9,0^15),4|I><I|,|I><I|. r1=sum_a g_ia conjugate(g_ja) contains actual erasure20; isolated3creation/3annihilation mode component actsEij tensorI4 on that grade3 carrier.4/4 componentsEij=P_i(u_-1)conjugate(P_j)(ubar_1)/sqrt(NiNj) on ENTIRE weight4 are exactly|f_i><f_j| plus0 on rest, without intermediate projection. Full local products permit nonscalar logical action and entireM5; old pureCartan-Weyl exclusions are not all-field exclusions.
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.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full existing local E8 field algebra with observer five-code
Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.
Existing level1 lattice/current realization, not rawP1 or physicalH_adm. Distinguish mode hull and Hilbert closure of smooth local fields. No exact10D/45D model or particle count; irreducible affine module differs from finite horizontal E8 decomposition.
Read the exact result, assumptions and evidence
Result
Four original Cartan annihilators take nonzero quartic to vacuum; all original root currents generate all E8 lattice charges, negative Cartan modes all oscillators. Algebraic mode hull ofC5 is exactlyV_E8; closed local smear hull isH_E8. Both twenties are included. Full character prod_m(1−q^m)^−8 sum_lambda q^(lambda²/2)e^lambda determines all horizontal grade decompositions; grades0..6 dimensions1,248,4124,34752,213126,1057504,4530744. Grade2=1+248+3875 checked by complete Freudenthal recurrence. Controlled grading preserves finite mode word above maximal intermediate weight; smooth local profiles retain controlled infinite Fourier tails.
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.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full existing local E8 field algebra with observer five-code
Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.
Analytic theorem for finite unitary Cartan-Weyl-only histories and original neutral code-Fock embedding. Not general nonunitary field products, root currents, interleaved stress/current histories, open processes with memory or all E8/P1 operations. No original P1 time law or new code-preservation axiom. Do not unite separate exclusions.
Read the exact result, assumptions and evidence
Result
Actual CCR fixes [J(V),J(W)]=i sigma I and exp(iJ(V))exp(iJ(W))=exp(−i sigma/2)exp(iJ(V+W)). Every finite ordered Cartan-Weyl history is phase times total displacement. Every nonzero total displacement turns any nonzero finite Fock polynomial into exponential nonpolynomial in Bargmann realization. Exactly code-preserving endpoint forces zero total displacement; neutral zero modes are trivial and only common phase remains. Entire stated class provides neither marked R5 nor3+2 selection. Nonzero individual profiles may cancel in total.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full original Cartan-current insertion and specified Weyl class
In existing neutral Cartan-Fock module use full original current field and its actual CCR, all smooth real8-vector profiles with Vhat_-n=conjugate Vhat_n and h0=0. Ordered unitary classification uses only finite exp(iJ(V)) histories of these currents. Explicit mathematical class in given source net, not raw-P1-derived permission, field coupling, physical time or code=H_adm identification. Root currents, general field products and mixed stress histories are outside.
Existing logical clock and charge marking
Retain the existing logical labels weak0/1, color2/3/4, source point5 and Y5,R5,sigma5. Equivalence under their stabilizer is not automatically an equivalence of lifts commuting with the original native four/P1 clock.
All smooth Hermitian Cartan-current smearings in original neutral Fock module. Norm fractions are not measurement probabilities. Grade decomposition/code projectors are analysis only, no executed projection. No claim all higher field correlations are scalar or all other source fields excluded.
Read the exact result, assumptions and evidence
Result
For every smooth real8-vector profile with Vhat1=p.u+q.ubar, actual five-code obeys P J(V)²P=(3||q||²+||p||²+Tail)I5, Tail=sum_m>=2 m||Vhat_m||². Grade3 erasure squared norm is ||q||². Its fraction is at most1/3, strictly smaller for nonzero properly local profile with q!=0. Equality requires global rotating first harmonic; fixed real polarization has tighter1/4 bound. No profile produces only erasure output. Full first positive response Gram is scalar and selects no3+2 mark.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full original Cartan-current insertion and specified Weyl class
In existing neutral Cartan-Fock module use full original current field and its actual CCR, all smooth real8-vector profiles with Vhat_-n=conjugate Vhat_n and h0=0. Ordered unitary classification uses only finite exp(iJ(V)) histories of these currents. Explicit mathematical class in given source net, not raw-P1-derived permission, field coupling, physical time or code=H_adm identification. Root currents, general field products and mixed stress histories are outside.
Existing E8_1 Cartan-Fock source and literal native embedding; no P1 pullback, code=H_adm identification or physical field assignment. No general ban on global P1 operations. New bridge connects previously checked carry to actual local OPE; prior checks are correlated groundwork.
Read the exact result, assumptions and evidence
Result
Actual current product obeys j_ubar_a(z)F_i(0)=G_ia(0)/z²+sum_k>=0 z^k/k! :partial^k j_ubar_a F_i:(0), without simple pole. Double pole is original erasure twenty; regular t_ia=ubar_a(-1)f_i contains exactly prior h5 primary r=t−7/85L_-2g+3/170L_-1²g, Gram78/85I20 and rho5 tensor conjugate4 action. [ubar_a(1),j_u_b(w)]=delta_ab also shows pure erasure is global Fourier mode, not an operator localized in a proper interval of given current net. OriginalP1 defines locality by support and A/A*-invariant restriction, not global compression.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
Full original Cartan-current insertion and specified Weyl class
In existing neutral Cartan-Fock module use full original current field and its actual CCR, all smooth real8-vector profiles with Vhat_-n=conjugate Vhat_n and h0=0. Ordered unitary classification uses only finite exp(iJ(V)) histories of these currents. Explicit mathematical class in given source net, not raw-P1-derived permission, field coupling, physical time or code=H_adm identification. Root currents, general field products and mixed stress histories are outside.
All modes of original canonical source stress tensor
In given E8_1 lattice vacuum use exactly T_E8=(1/2)sum:h_A h_A:,c=8, without improvement/background charge. Examine all Virasoro modes and well-defined pure stress histories in original neutral Cartan-Fock space. This is a mathematically specified geometric transport class, not P1-selected physical history or time. It differs from prior class of all neutral weight2 ZERO MODES; do not combine exclusions. First erasure Ward action uses existing a_a=bar u_a(1), no extra source, root or family choice.
Pure original canonical stress histories in given source frame only; not all geometry/metric variations, affine KZ histories with other field insertions, noncanonical/nonstress fields or general P1 processes. No physical time identification or union with prior separate zero-mode exclusions.
Read the exact result, assumptions and evidence
Result
All modes/words of given canonical T_E8 act in generated code cycle as common Virasoro representation tensor I5. Every code compression is scalar, including excursions to higher grades and return; code-preserving unitary endpoint is a common phase only. No such pure stress history implements given nonscalar R5 or selects P2. U_conf=exp(i pi L0/2) agrees with native J on4/5/20 seed carriers, but acts as+i on newly forced weight5 twenty whereas native J there remains-i. Common Casimir phase does not repair this relative discrepancy.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
All modes of original canonical source stress tensor
In given E8_1 lattice vacuum use exactly T_E8=(1/2)sum:h_A h_A:,c=8, without improvement/background charge. Examine all Virasoro modes and well-defined pure stress histories in original neutral Cartan-Fock space. This is a mathematically specified geometric transport class, not P1-selected physical history or time. It differs from prior class of all neutral weight2 ZERO MODES; do not combine exclusions. First erasure Ward action uses existing a_a=bar u_a(1), no extra source, root or family choice.
Existing logical clock and charge marking
Retain the existing logical labels weak0/1, color2/3/4, source point5 and Y5,R5,sigma5. Equivalence under their stabilizer is not automatically an equivalence of lifts commuting with the original native four/P1 clock.
Unique orthogonal primary remainder relative to specified original erasure descendant block, not classification of all weight5 primaries. Mathematical decomposition, not executed projection. Neutral native twenty, not charged E8 F20 block or physical fermion/Higgs identification. First full/primary return Gram selects no3+2 mark.
Read the exact result, assumptions and evidence
Result
From [L_m,a_a]=-bar u_a(m+1), a_a L_-2 f_i=L_-2g_ia+t_ia with t_ia=bar u_a(-1)f_i. Original h3,c8 level2 Gram[[16,18],[18,84]] and overlap(1,0) uniquely give r_ia=t_ia-(7/85)L_-2g_ia+(3/170)L_-1²g_ia. These20 neutral weight5 primary states have Gram(78/85)I20 and exact original rho5 tensor bar rho4 action. Three existing native reflection lifts give60 literal intertwining checks. Full first Ward output Gram is19I20; code partial return is76I5 or312/85 I5 for primary remainder. No coupling or fitted field identification is chosen.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
All modes of original canonical source stress tensor
In given E8_1 lattice vacuum use exactly T_E8=(1/2)sum:h_A h_A:,c=8, without improvement/background charge. Examine all Virasoro modes and well-defined pure stress histories in original neutral Cartan-Fock space. This is a mathematically specified geometric transport class, not P1-selected physical history or time. It differs from prior class of all neutral weight2 ZERO MODES; do not combine exclusions. First erasure Ward action uses existing a_a=bar u_a(1), no extra source, root or family choice.
Given canonical E8_1 stress field and original neutral Cartan-Fock embedding. Conformal weights are not particle counts or physical time; no new irreducibility/gauge-group premise. Analytic all-word theorem; finite Fock checks only accompany it.
Read the exact result, assumptions and evidence
Result
Original J-positive mode1 polynomials are all Virasoro primary because u_a.u_b=0: L0=d,Lm>0=0. Actual4/5/20 carriers thus have(c,h,r)=(8,1,4),(8,4,5),(8,3,20). For all Virasoro descendant words Gram=G_(8,h)(lambda,mu)delta_ij. Generated source cycles factor as common unitary highest-weight representation modulo common nulls tensor actual multiplicity; native G31 acts on second factor. No R_neut branch, individual root or family omission is needed.
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.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
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.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
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.
All modes of original canonical source stress tensor
In given E8_1 lattice vacuum use exactly T_E8=(1/2)sum:h_A h_A:,c=8, without improvement/background charge. Examine all Virasoro modes and well-defined pure stress histories in original neutral Cartan-Fock space. This is a mathematically specified geometric transport class, not P1-selected physical history or time. It differs from prior class of all neutral weight2 ZERO MODES; do not combine exclusions. First erasure Ward action uses existing a_a=bar u_a(1), no extra source, root or family choice.