Manuscript IX-Free-2@1 · IX-Free-2.tex · scope · abb2397a
What was actually missing
Final release and retained boundaries › Retained obstruction and enlargement boundaries · lines 1951–1961
was actually missing{ IX-Free had already supplied the two-edge outputs and their admission. The missing algebraic steps were actual-functional descent and simultaneous overlap agreement.
Here the degree-four relation equation has only the zero presentation tensor. The live new-domain overlap vanishes by an explicit boundary-charge separation, and the entire new sum has zero old overlap. These facts, rather than another graph sum or another singular-product construction, release the selected word.}