Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67
Non-claims and the Q1 verdict
Patch 1: residual fiber and pairing (Q1) › Non-claims and the Q1 verdict · lines 514–522
The order-two statement of Definition def:gtest concerns the order of a distribution and is not a joint principal symbol GG34. By Lemma lem:erase, smooth residual testing can hide attachment-diagonal wavefront, so no wavefront statement for a joint object follows from residual testing alone. Gates G3–G5 of XIV-G are not entered.