Excluded in the stated class
Full inner E8 stabilizer of native Cartan code excludes marked quarter
finding:native-cartan-code-inner-e8-stabilizer-excludes-marked-quarter
The original lattice vertex law gives root PBW component f(b)alpha(-3)ealpha/3. The actual five quartics have no common projective zero; all240 root zero modes therefore leak from the neutral code. Distinct charge sectors prevent cancellation. The stabilizer has Lie algebra Cartan8 and H0=T8; its components normalize T8 and preserve the actual H+ four-plane. The full native U4 code-stabilizer theorem restricts its logical action to phase-G31, outside which R5 lies. Arbitrary inner-group sequences returning to code are included in the exclusion. L0 acts as4I5; conformal time and Casimir shift do not enlarge the logical action.
Scope: Actual J-positive canonical Cartan Fock embedding in given lattice vacuum and compact inner E8 zero-mode operations. Not an exclusion of higher modes, nonlinear mode products, other derived field maps, non-automorphism interventions or all P1 physics; no physical preparation or selection of the embedding proved.
Required premises and original source excerpts
- 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.
premise:local-e8-current-response-realization - 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.
premise:native-g31-concrete-event-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.
premise:native-symmetric-quartic-and-erasure-constructors - 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.
premise:existing-logical-clock-and-charge-marking - Actual Clifford identification and finite-overgroup theorem
Retain the actual concrete identification of <G31,zeta8 I4> with complex Clifford X2. Apply NRS6.5 only to the proved finite determinant slice; a group-order match alone does not suffice.
premise:actual-clifford-identification-and-finite-overgroup-theorem - 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.
premise:literal-native-positive-cartan-quartic-fock-embedding - Compact inner E8 current operation class
Consider exponentials of compact weight1 current zero modes and arbitrary sequences preserving the given code at the endpoint. Optional conformal L0 propagation commutes with them. Nonlinear Hamiltonian polynomials, higher modes and non-automorphisms are not identified with or excluded as this class.
premise:compact-inner-e8-zero-mode-operation-class
- experiments/theory-contracts/joint-native-algebra-selection-20261016/CURRENT-RESPONSE-AND-DICTIONARY.md, lines 99–185
Source SHA256: db9163de1017810818e104f651e531247378a4c8295580c8936cb19e594b4b73
bounded-excerpt · current-at-snapshot