Manuscript XII-D@1 · XII-D.tex · input · 308a2080
Input statement: XII-C: jet and successor boundary
Release criteria and copied inputs · lines 327–335
For the named inputs , the invariant coupled jet is empty. The proof uses a late switch defect, not a failure of a Green operator. The zero-field vacuum prevents universal jet emptiness. The completed insertion and its generated root were not constructed, and the inverse was recorded but not applied XIIC.