Free-limit statements with the tadpole retained

The normalized free causal BRST theorem remains the X-G-ST theorem on the declared Minkowski completion XGST. No interacting causal carrier is inferred from Proposition prop:retainedCME. A direct non-descent check is given in Section sec:diagnostics.