Remark: What is excluded, and what is not

The theorem excludes the direct identification of this matching with a clean excess-two construction. It does not exclude every Melrose–Uhlmann-type representation, every resolved composition, or every characteristic prescription.

Nor does it prove that the complete six-branch coefficient has a nonzero singular amplitude on this incidence. Such a conclusion would require the full symbol and remainder analysis, which has not been performed.