Manuscript XIII-E@1 · XIII-E.tex · section · 74eaba48

E5: boundaries recorded and the differential left unopened

E5: boundaries recorded and the differential left unopened · lines 1187–1225

Back to manuscript

Four predecessor boundaries remain separate:

  1. XIII-D excludes integrated classical completions in its parameter-local/one-retarded, shell-descending class on the detecting data. Its admitted cochain is not an integrated completion and is not an extension coefficient.

  2. XII-F's nonzero witness remains a boundary of unqualified full-shell invariance. It is not a normalization condition for the present product.

  3. XIII-A's additional vanishing space is not a quantum ideal. No quotient by is introduced.

  4. XIII-B's literal retarded-factorization equality is already obstructed. Its corrected ordered values are retained.

None of these is a theorem that the selected two-line pair has no extension.

No action of the free differential on the absent quantum coefficient is printed. No binary Ward defect is formed. A Constructed release of the selected pair would remove one necessary prerequisite for that later question; it would not automatically construct the binary data with differentiated entries or prove their compatibility.

No antifields, master equation, interacting differential, state, or physical cohomology class are added. No reflected-cone subtraction or triangle residue is used. The ramp width remains fixed, and no limit is taken.

Evaluation on is subsequent to admission. It neither defines the graph product nor permits a restriction of its configuration-space domain. The tree zero-evaluation subclasses do not imply zeros of a degree-two quantum coefficient.