Established in scope
Four internal markings completely classified from time and charge
In the question: Historical: common source, state and event selection
Given chiral source, fold, full normalized charge and stipulated E8 completion. Algebraic construction and Lean lattice theorem; no physical selection of W or source from P1/P2.
Read the exact result, assumptions and evidence
Result
Full lattice saturation reduces the continuous source torus to sixteen four-torsion characters, twelve primitive and exactly four D5+A3 markings. P5 is reconstructed from neutral root moments; a control without M or a target projector finds the same four. W=exp(4πiK)exp(-iπαQ/2) realizes one while preserving quarter time; sheet transport gives W Zq. Compensation was previously known; complete classification and control are added here.
Required assumptions
- Fully normalized time/charge family in the given E8 completion
The given chiral quarter source, its eightfold pushforward and stipulated even E8 completion supply K_alpha and the full additive U1 generator Q. Only characters in the real span of their torus vectors modulo E8 are searched; no P5 is supplied as a search variable or target projector. Physical identification of this completion and of a composed marking is not assumed.
- Stipulated E8 quarter-fold dictionary
The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.
- Given chiral source in both quarter domains
D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.
Original evidence
- PROOF.txt lines 21–144
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-source-character-search-20261015/PROOF.txt
b0c7f7a36eb394c9aa44babac821221201c4baa5640d6acb11669a7b94b281d9
finding:source-generated-marking-classification