Presentation and provenance correction, not a new scientific proof. Partial retrieval or a missing hit does not prove scientific openness.
Read the exact result, assumptions and evidence
Result
The separately authored map reduced P1 to c3 and omitted shared reduction nodes. Compact responses removed their qualification. The map and web stages now show four shared-origin steps; short responses retain explicit qualifications. Existing findings are connected and original markers retained.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
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.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Standard positive normalization and actual one-sided integral primitive insertion remain source hypotheses. Whole doubled locality is insufficient; metric rigidity itself assumes unimodularity.
Read the exact result, assumptions and evidence
Result
For the standard positive D_(n+1)+A_(n-1) pairing, n>=3, a full-rank integral extension with primitive A discriminant projection forces n dividing4, hence n4 and the entire E8 extension. Evenness, unimodularity, rank8 and minimality are not additional inputs.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
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.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Exact original scope distinction, not a global nonexistence claim. ALG EXH remains the concrete applicability hypothesis for the full microscopic net theorem.
Read the exact result, assumptions and evidence
Result
Positive conditional lens-sector balance and finite W response are retained. The later charged MMST paper still expressly requires determinant-line identification with additive transitive four-channel response for its P1 corollary; the master theorem closes net/KMS rigidity, not full Quillen variation.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
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.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
QWZ2+1D times regular mu4 module; Bismut-Freed and continuum identification are not established thereby. AX.P2.01 remains declared.
Read the exact result, assumptions and evidence
Result
v1014 closes P-anch by the winding/triple lock; v1015 closes P-dem in the finite factorized abelian collar with r=(1,1,1), zero residual at sizes12,16 and countercontrols. Finite axiom core is zero modulo externalized MMST identification.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
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.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
R3 and mathematical unitarizability of the supplied connection are closed; actual physical module/metric/frame identification is distinct.
Read the exact result, assumptions and evidence
Result
The recovered September t=z^4 proof gives triangle orders(4,3,2), original A4 puncture image and extended S4 for the actual A0* connection. Finiteness and the explicit unitary signed-permutation representation give a positive invariant form. Reuse finding:recovered-september-c4-triangle-closes-original-a0star-monodromy.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
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.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Common conditional explanation within the named geometry and connection classes; no input-free selection of the full source tuple.
Read the exact result, assumptions and evidence
Result
P1 supplies the primitive oriented RP kernel with unit winding; c3 is its normalization. Four-mark geometry and the typed connection yield three cycles, five meromorphic functions and anchor(1,1,2), hence e1=4,e2=5,e3=2 and c3=1/(8pi). Physical 3+2 identification remains a separate map.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
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.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
The reviewed decision record says which approach can be reused, which failed in its scope and what a new attempt would have to change.
What is resolved, and what remains
Resolved in scope
Reconcile remaining prerequisites against existing originals
Check former prerequisites against later original closures, produce a common conditional explanation and correct presentation; do not claim a new physical proof.