Manuscript VII-I@1 · VII-I.tex · section · 907e96ab
What the later corpus does and does not change
Later boundaries and the exact route decisions › What the later corpus does and does not change · lines 2076–2113
The supplied IX-A carrier is classical, and IX-B explicitly leaves second sharp multiplication open. The supplied IX-E material also reports a relative partial free construction through on its named domain; it is therefore too strong to say that no partial associativity result exists. What remains absent there is the required sharp time-ordered and retarded construction CheungIXA,CheungIXB,CheungIXE.
The supplied XII-D admits a changed completed classical insertion. XII-F separately proves that the auxiliary remainder need not vanish on the gauge-fixed free shell CheungXIID,CheungXIIF. Admission is not that invariance theorem.
For the later analytic chain, XIV-H leaves an internal transition obligation open. XIV-I then supplies its named I2 amplitude construction, but not the I3 joint map. XIV-J supplies its supported-sector reference away from the characteristic locus, but not the full J2 map CheungXIVH,CheungXIVI,CheungXIVJ. An earlier H2 stopping statement must not be repeated as if that subsequent I2 progress had not occurred.
The supplied XV interfaces and XVI-N/O statements do not admit the inherited interacting quantum coefficient CheungXVB,CheungXVF,CheungXVIN,CheungXVIO. Their relative identities and kernel results are not substitutes for the missing full composition or insertion Ward identity.
VII-E's conditional distributional dictionary and VII-G's finite instruments remain observation and implementation tools, not constructors of a missing graph CheungVIIE,CheungVIIG.