Retained normal-topology boundary

The VII-C obstruction is retained under its original joint hypotheses: old Wick-product preservation, exact sharp admission, normal-topology sequential admission continuity agreeing on regular kernels, and bounded-set hypocontinuous multiplication with continuous constant-coefficient extraction VIIC.

The IX-Free-2 partial product does not assert those joint hypotheses. Its algebraic construction and F9a do not establish F9b, unchanged sharp-approximant convergence, or global hypocontinuity. Therefore no contradiction with the retained conditional obstruction is claimed.

The reported separated witness excluding removal of the selected logarithm by observation-diagonal counterterms is also retained. Numerical subtraction in ${\mathcal{D}}^{\prime }(X)$ does not repair that normal-topology boundary. No fixed regular coefficient is subtracted, and no old product is redefined.