A power-counting renormalizable model into which massive Yang-Mills theory is embedded is analyzed. The model is invariant under a nilpotent BRST differential s. The physical observables of the embedding theory, defined by the cohomology classes of s in the Faddeev-Popov neutral sector, are given by local gauge-invariant quantities constructed only from the field strength and its covariant derivatives.