Explore the foundations and current research.

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.

Read the foundational statements and sources

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.

Reviewed conclusions to explore

Established in scopeMarked DHR field reconstruction retains neutral words and canonical state/time lift Established in scopeActual native clock generates marked source spinor and minimal charge closure Established in scopeJoint spinor-meridian source word produces the actual family root

What has been tried, and what follows

Scoped exclusion

Parallelity as a silent axiom

The 2+2/3+1 comparison excludes only under explicit common parallelity and irreducibility. These are additional premises, not accepted TFPT axioms.

For a new attempt: Derive an original common covariance/transport rule before rejecting a packet.

Read the question and its evidence

Reusable result

Reuse the ratio, keep the absolute anchor open

The discrete ratio is closed, while U_f* remains a separate open source-selection task.

For a new attempt: Continue only with the absolute scale.

Read the question and its evidence

Insufficient for the goal

Numerical root as origin proof

An exact root confirms only the chosen equation and inputs; it does not select them.

For a new attempt: Derive the missing input and readout selector independently.

Read the question and its evidence

Reusable result

Reuse the existing convexity proof

Positive root uniqueness is already analytically closed; another numerical scan would not be a new derivation.

For a new attempt: Specify a genuinely different function or a violated convexity premise.

Read the question and its evidence

Reusable result

Use covariant J source lift

Existence in the given Fock space is analytically proved and123 groups checked.

For a new attempt: A different representation, cocycle or physical sector requires matching new premises.

Read the question and its evidence

Scoped exclusion

Affine J as a symmetry of the same fixed time

2δ is not in the original E8 lattice.

For a new attempt: Explicitly justify background transport or a genuinely different operator action; do not claim the same fixed K.

Read the question and its evidence

Reusable result

Repeat the same phase class

The whole class is classified; genetic repeats supply no new source information.

For a new attempt: Supply a new original-source-derived variable or representation and a decisive acceptance criterion.

Read the question and its evidence

Insufficient for the goal

Unique shift functional as physical state selection

Different ground densities induce the same functional; actual Cartan observables distinguish them.

For a new attempt: Retain the full original observable/Cartan restriction; do not infer Rc invariance from [K,Rc]=0.

Read the question and its evidence

Scoped exclusion

Phase hit as unchanged source realization

Every hit adds half-Cartan sectors and the same second K-zero vector; both are absent from the unchanged source.

For a new attempt: Derive a changed source representation with the neutral partner or a different common time/operator dictionary from original principles.

Read the question and its evidence

Insufficient for the goal

Equal root as equal physical partner

M r0=e1+e4 does not define a state map; source charge is not Y and K splits the multiplet.

For a new attempt: Derive the actual field representation with all charges, boundary conjugation, state and time from the same source.

Read the question and its evidence

Scoped exclusion

Restore fixed marking after quarter conjugation by Weyl correction

Unequal projection norms exclude the whole orthogonal correction class at fixed d_beta.

For a new attempt: Use the actually transported marking or supply a different source action derived from P1/P2; a larger phase scan does not change the invariant.

Read the question and its evidence

Reusable result

Reuse the existing exact boundary-current dictionary

No need to rebuild generic CAR matrices or approximate nonabelian current fields as Gaussian.

For a new attempt: A different physical field net, changed state, contact terms or physical time require a separately source-derived map.

Read the question and its evidence