Theorem: IX-Free-ST stage release

Part II proves the concrete relation equations, full distributional chart support of $K$, injectivity of $q_L,q_R$, ${\mathcal{C}}_{\mathrm{desc}}=\mathbb{R}$, all three canonical two-edge outputs with full admission, and the actual degree-two maps with reversal and F9a continuity. Together with the common operational layer, this is a local Grade S partial construction.

At this stage degree-four descent and simultaneous new-domain/old-domain overlap agreement remain undischarged. Neither complete sharp association is released. F9b, continuity on actual carrier stages, is unclaimed.

Proof. The assertions are the results of Sections sec:relations–sec:degree2. They do not yet evaluate $\ker p_L,\ker p_R$ or prove gluing of all tensor domains. Those are separate obligations, not consequences of the degree-two injectivity theorem.