Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.
Carrier, families and E8 closure
The published foundation in this area
32 authored claim references lead into the original ledger and paper sections. This source record remains available even where no separate reviewed research packet is attached.
The finite compiler combines a five-slot carrier, a selected half-spinor action, D5×A3 and Z4 glue into an E8 lattice closure. This establishes a mathematical construction within its stated choices, not the physical gauge group or a first-principles origin.
Starting structure in the Atlas orientation
Under the stated actions, D5×A3 with Z4 glue gives the even unimodular rank-8 E8 lattice; the half-spinor reading depends on the chosen group action.
Which connection is sought
Open items include physical boundary realization, a local interacting chiral 3+1D implementation, mirror decoupling, and derivation of the action from the origin.
How it connects
E8 carries internal clock, code, flavor, and arithmetic structures. Rank, representation, family count, and spacetime dimension remain distinct types.
Smallest actual operatorcountertest prevents equating differentclocktypes. No contradiction of separateclock constructions or metricF20 carrier bridge;no universalfield orTFPT no-go.
Read the exact result, assumptions and evidence
Result
Existing markedtheta four hasalpha²=iI4. New symplecticF20 liftGhat=zeta8^-1G hasGhat²=−iG²,nonscalar withtrace0;G² is nonscalar. Thusalpha andGhat are not conjugate evenup tocentralphase:projective orders2 and4. Sharedorder8 andfourthpower−I do not identify operations. SharedMu8 scalar resource remains correct.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original Pauli and v419 F20 source words
Use frozen v783 two-qubit Clifford generators, existing Pauli16 and central mu8, and actual cyclotomic v419 C5,G matrices. A constructed source-word F20 subgroup is available; its physical seam selection is not assumed.
pmax1/25 verified for two repaired monomial transports. FullF20 freedom is not classified by this test. Do not infer physical3+2 fromrawGram or equate thesecharts withSpin5 transport without testing.
Read the exact result, assumptions and evidence
Result
Raw old duad chart failsF20 generator intertwining. At uniqueF20 fixed outermark5,slot permutation(4,1,3,2,0) and explicit diagonalMu4 gauges repair both actualgenerators for bothquartertwists. Repaired two-record hasV†(AA†)^-1V=I5/48 andRR†=I5 atpmax1/25. Raw3+2Gram failscommutation withnativefivecycle;its splitting is target/chart selected,notF20 structure.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original Pauli and v419 F20 source words
Use frozen v783 two-qubit Clifford generators, existing Pauli16 and central mu8, and actual cyclotomic v419 C5,G matrices. A constructed source-word F20 subgroup is available; its physical seam selection is not assumed.
Two actual events with coherent record access
Compose the actual unmarked sixty-event source twice, preserving phases. Additionally grant coherent access to all 3600 ordered histories and an active heralded record contraction after fixing a Hodge dictionary. This resource and selection are not derived P1 dynamics.
Full continuousSp4 naturality is mathematical property of category generated by markedOmega;v783 proves no such physical source symmetry. Original source must still select nativeF20 wordpair and quarter orientation. Source-conjugate wordpairs yield conjugateKraus spaces,distinct candidates in fixedBellchart. F20-labelled five-slot chart still has dimension-two Hom. No physical channel execution theorem.
Read the exact result, assumptions and evidence
Result
At fixed actual nativeF20 word pair and +i quarter orientation,the compatible alternating formOmega is unique up toscalar. W5=(Lambda²V/<Omega^-1>)⊗chi^-1 has positive metric,orthogonalq and compact real structureq conjugation. Canonical Spin5 map S→SOmega→L_S→L_Sq^-1 hasdet8,F†F=inducedSym²metric andHom_sp4 dimension1. It replaces merelyF20 U2×U1² ten-freedom by one phase line. OnW_R,K={x→*(w∧x)} is basis-independent5D,HS Gram6I andsumC†C=3I. ThusF defines a specific native Hodge candidate.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original Pauli and v419 F20 source words
Use frozen v783 two-qubit Clifford generators, existing Pauli16 and central mu8, and actual cyclotomic v419 C5,G matrices. A constructed source-word F20 subgroup is available; its physical seam selection is not assumed.
Precise scope correction to former double-ground obstruction:it remains on full gradedE8 field net but disappears on later center-neutral observable sector. P_sing is center-neutrality,not fullSU3 Haar projection. No established P1/OS identification or4D massgap.
Read the exact result, assumptions and evidence
Result
Former second zero charge p*=(+,+,+,+,−,−,−,−)/2 maps under fixed Weyl M to e1+e4 in actual(3,2)_(1/6) carrier frame. It is neutral only under transported sourceU1,has colortriality1. Original P_sing=(1+Zc+Zc²)/3 kills it and retainsOmega;[H8,P_sing]=0 as Cartan actions. Full lattice classification gives full kernel{Omega,p*},center-neutral kernel C Omega. Exact H8 gaps3/2 foralpha1/4 and2 for3/4. Global nonroot bound from||delta||²85/128 proves completeness of240-root census for these gaps.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Stipulated E8 H8 module with original color-center selector
Retain stipulated E8 lattice extension with H8=8K_alpha,alpha=1/4 or3/4,actual rational Weyl dictionary M and original marked color center on first three carrier slots. Apply its P_sing after the carrier theorem. No intertwiner to the primitive P1/OS space is assumed.
Changed premise grants coherent history access and active selection. Filter and Hodge target are chosen after a duad chart,not derived fromP1.1/25 is proved for these charts,not automatically for any subsequent metric F20/Spin5 transport. Classically read event labels are insufficient;no physical event-rate or vacuum proof.
Read the exact result, assumptions and evidence
Result
In each fixed source-derived duad chart,the Hodge5 Kraus space intersects marked20 jump span in2D (15+5−18) and unmarked60 span in2D (55+5−58);hence no pPhi CP subchannel for p>0 after one step. Two-step products A=[vec(U2U1)] have rank100. Exactly V†(AA†)^-1V has three1/48 and two1/64 diagonal entries in these charts. CP order S/3600≥pVV†/3 gives exact pmax=1/25. Minimal coherent record contraction has three1 and two3/4 row-Gram eigenvalues and input-independent success map(1/25)Phi.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Two actual events with coherent record access
Compose the actual unmarked sixty-event source twice, preserving phases. Additionally grant coherent access to all 3600 ordered histories and an active heralded record contraction after fixing a Hodge dictionary. This resource and selection are not derived P1 dynamics.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Earlier reasoning was too narrow in conflating old noncentral v419 clock with separate scalar hypercharge U5. Available carrier subgroup and metric representation are now explicit. Original physical subgroup selection,full field dictionary and channel equality do not follow. Choi ranks15 and5 remain different.
Read the exact result, assumptions and evidence
Result
Actual v783 words yield C_p=-i(I⊗H)CNOT(S⊗I)(H⊗I),G_p=(Y⊗Z)CNOT(I⊗S)(S⊗I),C_p^5=G_p^4=I and G_p C_p G_p^-1=C_p². Complete Pauli16×mu8 search at fixed C_p yields exactly four mu4-equivalent G corrections. Explicit four-intertwiner T to v419 satisfies both generator equations and T†T=2(5I-J),with dimension-one intertwiner space. G_p has conformal symplectic multiplier i; existing mu8 lift zeta8^-1G_p is symplectic order8. Quarter character makes Sym²4 and Lambda²Perm5 isomorphic F20 modules. Merely imposing F20 leaves ten-dimensional commutant M2(C)+C+C,dimension6.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Original Pauli and v419 F20 source words
Use frozen v783 two-qubit Clifford generators, existing Pauli16 and central mu8, and actual cyclotomic v419 C5,G matrices. A constructed source-word F20 subgroup is available; its physical seam selection is not assumed.
Algebraic provenance closed. Original text explicitly leaves physical quadratic one-step exhaustion open. Read P1 net does not specify a concrete charged E8 insertion or inclusive50-current contraction; reflection and abstract Z4 Q-system do not automatically supply them.
Read the exact result, assumptions and evidence
Result
Old architecture and v880/v888 already contain Lambda²E×Lambda²E→Lambda4E with all15 doily lines. Canonical volume character chi(m)=(-1)^m exactly gives epsilon(m,i,j,k,l)=chi(m)epsilon(i,j,k,l). All30 directed coefficients and sum C_m* C_m=3I match the checked A4×A4 E8 current bracket. Carrier tensor was not invented by later SU5 covariance.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Complete mathematical selector for unread channel,not derivation of process saturation fromP1. Actual source amplitude/input-reference required;P_A state purity no substitute. No unique observed instrument/pointer register or full physicalTFPT established.
Read the exact result, assumptions and evidence
Result
For arbitrary CPTP T:End10→End10bar,T=Phi iffTr(P5 J_T/10)=1. Positivity forces Choi support inP5,henceJ=VKV*,K≥0. Actual25 identities C_m*C_n=delta_mnI-dGamma(E_nm) giveTP Choi partialtrace A(K)=trK I-dGamma(K^T)=I. Coefficientrank25,unique rational solutionK=I5/3,henceJ=2P5. Full100directions/phases/Petersen population follow without assumed group or population rule. Shorter concrete source target isTr((I-P5)J_source)=0 with actualTP insertion.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Specified CPTP source process with positive P5 saturation
In fixed dual H=Lambda²C5 dictionary,T is a CPTP channel with Choi J_T,trace10. Require Tr(P5 J_T/10)=1 for rank5 projector from epsilon amplitudes. Sufficient conditional contract,not already proved P1 premise or arbitrary P_A state expectation. No assumed fullSU5 covariance,Petersen population or observed Kraus register.
No new free field choice or reopening resolved source bridges. Specific local,time/reflection-compatible P1 embedding of A4+A4 sector and operational epsilon sewing identity remain required source derivation.
Read the exact result, assumptions and evidence
Result
After typed embedding of dual two-hole legs,P5 on fixed sectors is even eight-field word;total contragredient P2 pair charge neutral,individual matrix units only particle-number neutral. Existing bilocal/vertex/GNS theorems transport word if actual local source map given. FullP_A fixes state/word expectations,not input-reference/Choi preparation or Kraus record. In givenE8_1 module,compact50-current Gram delta canonical(raw cocycle26+/24-),gain12 forces inclusiveTP normalization1/12. Using this reader as P1 event operation does not follow from Gram.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Given full E8 current source with fixed carrier SU5
Actual weight-one E8 Chevalley source from tfpt_explorer.current_block_geometry._actual_current_source and v498. Given D5/A3 frame uses first5/last3 standard coordinates. Carrier SU5 inside D5 has roots e_i-e_j,i,j<5. Retain full E8 source,cocycle,compact form and group actions. Physical P1 realization of this already given current source is not assumed proved.
Specified inclusive current response with invariant metric
For an explicitly specified irreducible insertion sector and input/output modules,let B_a be actual current brackets in Killing-orthonormal basis. If sum B_a*B_a=kI,E(rho)=sum B_a rho B_a*/k denotes mathematical inclusive response with unread insertion index. Reduced response uses tensor chart transported by group action. This defines tested reader,not asserted selection of physically executed P1 instrument or original time.
Original admissibility and graded-source interfaces
v42 defines P_adm through primitive seam/Cauchy,gap,color and determinant conditions; v31 closure assumes an RP CAR kernel without identifying it with the old circle. v42 exp(W_k[J]) is a formal parent integral; spectral action, positive geometric marginal and full graded source are not equated. The separate eta term of the master functional is retained. Seek an original local image, not global Hilbert equivalence.
Counterexample to selection rules in fixed dictionary;not asserted full E8 bracket automorphism,actual OS reflection,or classification of all merely SM covariant instruments. Does not prove fundamental gap is one-dimensional.
Read the exact result, assumptions and evidence
Result
For rank3P,U(P)=-I onCC,+I onCW/WW. T_P=Phi o AdU(P) is full SU5 covariant family overGr(3,5) with dual output,G_P covariant,same population/Choi rank5,but P5 value4/15. S_P=AdbarU(P) o Phi o AdU(P) likewise natural family;in adapted real chart real symmetric Kraus,unital,HS selfadjoint,same5 effects,Petersen population,full spectrum,unique fixedI10/10,but P5 value7/15. Powers similar,not identical. U(P) violates exterior-square phase relation,not carrier torus gauge. Full family covariance plus all listed criteria therefore insufficient.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Fixed three plus two mark and typed original degree clock
V=C5,P rank3 color projector,G_P=S(U3xU2),X=(-2,-2,-2,3,3),original U5=exp(2pi iX/5). Literal slot cycle c=(01234) is distinct and moves P. Covariant transport over Gr(3,5) concerns different marks,not full SU5 covariance within one fixed marked instrument. Continuous marks are not six old outer event marks or135 D8 frames.
Only these explicit U5,W5 and given H8 insertion;no exclusion of noncentral monodromy,resolved C12/C48 or full TFPT. H8 not identified with physical OS time.
Read the exact result, assumptions and evidence
Result
Original U5=exp(2pi iX/5) equals zeta5^3 I5 onV and zeta5 I10 onLambda²V. Its adjoint action generates no additional SU5 directions. Pure central phase lifts with same projective image do not change this. Actual slot cycle moves3+2 mark;nakedS5 differs from markedC_fin withAutC6. On actual50-root E8 insertion sector,W5 preserves roots/fixes familyA4 but Δh8=+1 on40,-4 on10;witnesses e1-e8→e2-e8 have grades1→2,independent of lift phase. Finite H8 kernel is not invariant under this slotcycle.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Fixed three plus two mark and typed original degree clock
V=C5,P rank3 color projector,G_P=S(U3xU2),X=(-2,-2,-2,3,3),original U5=exp(2pi iX/5). Literal slot cycle c=(01234) is distinct and moves P. Covariant transport over Gr(3,5) concerns different marks,not full SU5 covariance within one fixed marked instrument. Continuous marks are not six old outer event marks or135 D8 frames.
Given full E8 current source with fixed carrier SU5
Actual weight-one E8 Chevalley source from tfpt_explorer.current_block_geometry._actual_current_source and v498. Given D5/A3 frame uses first5/last3 standard coordinates. Carrier SU5 inside D5 has roots e_i-e_j,i,j<5. Retain full E8 source,cocycle,compact form and group actions. Physical P1 realization of this already given current source is not assumed proved.
In specified duad comparison. Bell10=Sym²C4 is not thereby SU5 module Lambda²C5;no physical P1 Choi preparation or admitted P5 measurement established. Image membership and reference separate.
Read the exact result, assumptions and evidence
Result
P5=sum|C_m>><<C_m|/6 is rank5 and full SU5/SM invariant. Normalized Choi pPhi=1,pPsi=1/5 for all6 actual old marks. All single-leg marginals equalI10/10,joint neutral commutant restrictions differ. Old SU5 twirl weights exactly(1/5,2/5,2/5);twirl creates stay2/25,intersect38/75 rather than pure Petersen support and does not restore Phi.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given five-slot exterior source with retained complement index
V=C5 with given oriented unitary slot basis and volume form,H=Lambda²V. C_m[kl,ij]=epsilon(m,i,j,k,l) are five distinct linear maps to conjugate target;their coherent sum is a different operation. Inner products and CAR grading remain explicit. No physical record,coupling or time iteration assumed from exterior algebra alone.
Specified old J20 instrument in fixed six-mark duad chart
Actual twenty jump events U_l(I-D_l) per mark from compiler-correlated-event-clock-20260919/source_channel.py;J20 effect3I/5,normalized jump channel Psi=(5/3)J20. Retain common duad labels of ten basis states. Comparison chart does not provide linear SU5/native group identification of Bell10=Sym²C4 with Lambda²C5 or already selected P1 apparatus.
Specified full SU5 covariant channel with Petersen support
H=Lambda²C5 in given oriented unitary duad basis,target dual H. T is CPTP and T(R rho R*)=barR T(rho)barR* for R=Lambda²U,U in SU5. Basis transitions to same or intersecting duads vanish. This is explicitly a mathematical conditional premise,not assumed physical P1 event covariance.