Excluded in the stated class
Charged four-current fails the common tensor-register dictionary
finding:literal-charged-current-register-dictionary-fails-quarter
Under literal C4/register identification all three source clock branches act as -I20 on three C currents but as R5 tensor I4 on F20. The actual W intertwiner has squared HS residual48. Every traceless Q(H) already acts0 on C and its products but nontrivially on F. Thus finite cover agreement is not a full field-algebra map.
Scope: Excludes this literal charged four-current identification with unchanged tensor intertwiner, not the actual Cartan four-space or every derived composite field map.
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 - Original coupled determinant event lift
Compare all60 original events with h=exp(-i pi/4)r and A5=-rho5(r) on the coupled finite SU4 cover. This is not the unchanged order2 G31 word or a selected physical pulse.
premise:original-coupled-determinant-event-cover - Literal charged-current/register identification
The tested dictionary identifies the four original charged C_a currents with the unchanged native four-register and requires the actual erasure tensor intertwining under gl5 source operations. This is a tested hypothesis, not a P1-derived fact.
premise:literal-charged-current-native-register-dictionary
- experiments/theory-contracts/joint-native-algebra-selection-20261016/CURRENT-RESPONSE-AND-DICTIONARY.md, lines 68–98
Source SHA256: db9163de1017810818e104f651e531247378a4c8295580c8936cb19e594b4b73
bounded-excerpt · current-at-snapshot