Established in scope
Minimal full local source hull is E8 vacuum space
In the question: Historical: common source, state and event selection
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.
Original evidence
- FULL-SOURCE-HULL-AND-QUARTIC-OPE.txt lines 33–100
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-native-algebra-selection-20261016/FULL-SOURCE-HULL-AND-QUARTIC-OPE.txt
1d949c2a77e996e63446255d13f41856a00cde4b4d57c78b4b7766204870b2a0
finding:full-existing-local-e8-hull-of-native-code