F9a and F9b: distinct continuity statements

9b is not claimed. The preceding theorem does not prove continuity of

in their actual-stage subspace topologies. Algebraic isomorphisms $q_L,q_R$ need not have continuous inverses in those topologies. No quotient or topological-isomorphism identification has been established.

The continuity claim discharged here is F9a on the named fixed-support test domains. F9b is a separate, unclaimed strengthening. Neither assertion gives quantum hypocontinuity on all of ${\mathcal{P}}_{\Sigma }$.