The three verdicts are not interchangeable

three verdicts are not interchangeable{ The free auxiliary–ghost causal algebra is constructed.

An exact variational upgrade preserving the entire source-switched mixed metric map is obstructed in the class defined below.

The nonlocal one-loop observable and an interacting quantum BRST differential remain unconstructed. Neither the positive free result nor the classical obstruction is renamed as a theorem about those missing quantum operations.}