Established in scope
Joint integral selfdual charge closure selects the entire invariant metric
In the question: Common clock sectors, quartic geometry and operational reconstruction
Conditional rigidity of charge completion. Fixed additive glue lattice, actual product symmetries, real charge metric and integral unimodular total pairing remain joint inputs. Does not derive their physical origin from P1, select a quarter source/state/time, or close3+1D or F1. Derived in this session with no claim of global mathematical novelty. E8 is not an additional premise of metric selection.
Read the exact result, assumptions and evidence
Result
On the fixed original additive spinor-meridian glue lattice the entire positive real W(D5)×C4 invariant metric has three parameters x,a,b: carrier xI5 and family a(P−vvT)+bvvT, P=I−J/4,v=(1,−1,1,−1)/2. W(D5) removes mixed blocks without assumed orthogonality. Integral root pairings force x,b,a+b and hence x,a,b to be positive integers. The original index four gives detL=x^5 a^2 b. Unimodularity forces exactly x=a=b=1. Carrier scale, orthogonality, root lengths and evenness are no longer extra premises in this class. An explicit A3→D3 map identifies the completed lattice with D8 union D8+(1/2)^8; evenness follows. The theorem covers the entire class analytically rather than by sampling. Thirty exact checks pass normally and with −OO; two independent analytic and full invariant-space reviews.
Required assumptions
- Given spinor-meridian extension with integral selfdual charge pairing
Fixed additive L=(D5+A3)+Z((1/2)^5,m0), m0=e0−1/4·1 from four oriented puncture meridians, actual product W(D5)×C4 action, positive real symmetric invariant form and integral unimodular total charge pairing. Root lengths, carrier scale, orthogonality and evenness are not additional premises. These common completion data are not a physical source derived from P1.
Original evidence
- PROOF.txt lines 1–159
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/puncture-metric-joint-completion-20261102/PROOF.txt
86701d996dc9b5ed2bc228359c45699ac6f458eddfbc7daf152087324f250aa7
finding:joint-integral-unimodular-charge-closure-uniquely-selects-complete-invariant-metric