Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
Residual testing and the information it does not preserve
Patch G: the common space and residual species › Residual testing and the information it does not preserve · lines 812–819
Thus P1 passes as a named-species and conditional-codomain interface. It does not pass as an identification of the actual frozen bundle. This limitation is an owned boundary, not a nonexistence statement about possible residual bundles.