The repair criterion

No closure of $\mathrm{im}L$ replaces its actual image. No finite-dimensionality or exhaustive counterterm parameterization is assumed without proof. No BRST cohomology classification follows unless a valid nilpotent quantum differential and its domain have separately been established.