Gate T: fixed-support continuity and its boundary

9b remains unclaimed. The theorem concerns compositions with named test presentations. It does not assert continuity of

in actual-stage subspace topologies, nor corresponding actual-stage continuity on the degree-two blocks.

Algebraic injectivity of $p_L,p_R$ does not give continuous inverse presentation maps. The algebraic projection in Lemma lem:anchored carries no topology claim. No quantum hypocontinuity on $D_{\mathrm{decl}}$, or on all of ${\mathcal{P}}_{\Sigma }$, has been proved.