Exact enlargement and separator construction

A legitimate enlargement must name its p22-type or dimension-dependent primitives, actual differential, relations, ghost-equation partners, and common normalization. Terms proportional to $d-4$ cannot be inserted or discarded by slogan: their contractions and multiplication by Laurent poles must follow the prescription DuganGrinstein.

The full identity ${\partial }_{\xi }\mathrm{CT}={\sigma }_{0}Y$ also requires an actual counterterm family and a joint $hh,Kc,\bar{c}c$, auxiliary, and scalar solve where required. Divisibility of one component by $p^2$ is not that joint identity. Oai282-A supplies a documentary local-Ward certificate shape, not the missing gravitational response CheungOai282.