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.

What has been tried, and what follows

Insufficient for the goal

Derive existing parity-Gauss rule only from original P1 definitions

Forward source comparison identifies a concrete insertion/localization definition gap. The seed already takes the local net as input; no inverse selection of the gauge net or full P1 compatibility of both models is proved.

For a new attempt: Build no further extension. A later decision needs the originally defined local insertion/sector map with Padm/Gx, state, time, reflection and primitive winding identification. State this gap and stop.

Read the question and its evidence

Reusable result

Reuse original minimality and domain audit

The specific proof steps are audited; generic bound0 is refuted and replaced by correct conditional hypotheses. The source inverse still needs an actual defined local reconstruction.

For a new attempt: Continue only with a precise source map, complete correlators or newly proved symbol/domain bounds. A freely chosen helper model does not replace these conditions.

Read the question and its evidence