Assumption: Graph convention for the inventory

For the inventory below:

1. free cross-blocks join only matching field species, apart from the ghost–antighost block;

2. the auxiliary field has been eliminated algebraically;

3. interaction vertices and insertion monomials use a fixed normal-ordering convention with no self-contractions at a single vertex;

4. connected contraction graphs are expanded coefficientwise in the flat free carrier; backgrounds occur through the explicit vertex coefficients;

5. no additional explicit quantum counterterm is included in the inventory.