Remaining obligations and final release

Choose the extension constants and impose the desired covariance, derivative identities, field equations, exchange symmetry, and any Ward conditions. Prove compatibility of those choices before calling $C_{\bar{p}}$ a normalized insertion coefficient.

Extension existence does not choose these conditions or their solutions. Status: Unresolved.

Specify the complete perturbative normalization, coupling and $\hslash$ orders, relevant time-ordered and retarded products, and companion sectors needed for an interacting identity. Then formulate and prove the appropriate gauge or BRST/BV statement.

The admitted classical insertion and one reduced graph do not supply that construction. Status: not established.

No selected counterterm table, scale derivative, retarded interacting coefficient, or physical observable is asserted. No repair of the frozen XI-G obstruction is claimed.

The manifold, preparation width, graph prescription, component conventions, and extension domains have been fixed explicitly. The manuscript is a proof of the stated reduced construction and its extension family, not a proof of the unresolved interacting programme.

No successful compiler execution, full-series search, or machine verification is represented.