Additional stops

Even a complete microlocal packet for each retarded slot would not, without further proof:

• construct the local slot $O_2$;

• establish the schematic display as a coefficient identity;

• select or construct renormalized retarded products;

• establish an interacting BRST or BV statement;

• establish covariance or variational compatibility of $J_D$;

• provide a state, positivity result, loop construction, higher-order construction, or sharp-width limit;

• repair the X-G or XI-G obstruction.