Remark: Documentary counterparts, not transferred conclusions

XVI-H records a general-test compact kernel under its stated root inputs and a partial contraction equal to $j_{\lambda }$. It does not report the full-kernel wavefront or class-admission calculation CheungXVIH. The theorem above does not show that its complete root construction is nonunique. It only excludes reconstruction from the displayed witness family alone.

XI-G's class obstruction has different, frozen quantifiers: its detecting witnesses are free-shell tests, not a decision on the Einstein subshell CheungXIG. Neither a universal no-go nor that physical class obstruction is assumed in the theorem.