Domain and background split

The theorem concerns the classical field algebra. It asserts neither interacting equation descent nor interacting quantum BRST.

For compact evaluation configurations, a common support restriction on all fields is stable under these field rules. In particular, a compact antighost restriction must include the same restriction on $b$. The principal algebra here instead uses unrestricted smooth germs and compact tests.