Residue geometry and the observation-diagonal limitation

This retains the VII-C separated-test obstruction locally CheungVIIC ({:log}, {:separated}). It does not exclude the supplied subtraction on $\mathcal{R}$, and it is not a theorem about the conical worldsheet or a curvature singularity.