Established in scope
Exact alpha output and coefficients retain a specific Ward-origin obligation
In the question: Alpha closure for fixed inputs
Source-reviewed status/type correction, not a new general nonderivability theorem or gate. P1/P2 remain accepted starting principles; being axioms is not an objection. The line is derived on the old circle, not an arbitrary vector to select again. v382 replay26October:6/6; literalTrue status checks do not prove open functional origin. Ledger Numerical and full physical status remain unchanged.
Read the exact result, assumptions and evidence
Result
The active original explicitly treats the three-term decomposition and coefficient identities as exact, retaining the unique alpha root. The same section retains EM.WARD.01/ALPHA.QUILLEN.EXACT.01 as the existing origin obligation for the actual AQFT/zeta determinant functional. Separately the old circle canonically gives Pi and det_F(1-qPi)=1-q. Its actual local EM response, relative Quillen norm and susceptibility exponent5/4 still require identification. This does not retract compiler identities or root uniqueness.
Required assumptions
- Specified EM function with positive seam response
F(x)=x³−2c³x²+(4/5)c⁶M log(p+q(1−q)^(−5/4)), c=1/(8π), p=1/(6π), q=48c⁴exp(−2x), M>0; original budget M=41. The function and inputs are premises here.
- 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.
- 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.
Original evidence
- 007-source.tex lines 50–101
Source checked at this snapshot
Original location and fingerprint
documents/tfpt_1_architecture_e8/sections/007-source.tex
7e1cb59fef4de49deefe8f63b5d777e83528d0119e51191595784ee8c30dcd86
- DIRECT-DEFECT-CLOSURE.txt lines 20–109
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/DIRECT-DEFECT-CLOSURE.txt
84a79c74da8b18387a3d2d8a9928e4a437a608120b52a46c7ede6392cf1128ff
- EM-MEASURE-AND-QUILLEN.txt lines 18–127
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/EM-MEASURE-AND-QUILLEN.txt
a08abf23cab682b6c4733fb2403293b1de0245973864f77447544cde53422c65
finding:alpha-exact-coefficients-and-root-retain-specific-physical-ward-obligation