Release and quantifiers

and quantifiers{ Constructed: the free graded multiplet, one gauge fermion, its Green operators, the free differential, the natural background ghost operator, the switched-matter breaking, and the conditional graph inventory.

Proved obstructed: a variational/Bogoliubov upgrade whose classical metric field map agrees exactly with X-F's source-switched mixed map for every allowed background and free metric input.

Unresolved: the complete nonlocal one-loop retarded product and an unconditional one-loop background-identity theorem for the requested prescription.

These statements have different quantifiers. The obstruction is not a universal no-go for perturbative gravity, nor a disproof of X-F's direct polynomial plateau identity.}