The normal-topology comparison

, not evasion by subtraction. VII-C records a particular logarithmic Wick obstruction under normal-admission continuity and old-product agreement CheungVIIC. The present topology explicitly drops the regular-to-sharp admission-continuity hypothesis. It does not subtract the old regular products or show that a replacement quantum algebra exists. VII-D's numerical finite part and IX-B's subsequent bookkeeping are separate records, not premises of this argument CheungVIID,CheungIXB.