Antifields and a generator-level sign check

The construction uses the standard classical cotangent-lift mechanism FRBV. It provides a differential, not a theorem of Koszul–Tate acyclicity, physical cohomology, or a physical state. For off-shell $h$, its order-zero antifield equations include (eq:tadpole); they are not identified with the unchanged free equations.