Established in scope
R102 forces the whole E8 completion under weaker hypotheses
In the question: Shared explanation of c3, P1 and P2 with recovered premise closures
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.
Original evidence
- PRIMITIVE-INTEGRAL-COMPLETION-20261102.txt lines 19–118
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/PRIMITIVE-INTEGRAL-COMPLETION-20261102.txt
695a3249781bc7f6c46e091a0faec0c8eda384a9cf64c6d67f501d5ddf10c0e6
finding:shared-origin-r102-whole-completion-not-extra-unimodularity