Definition: Additional quantum input

A proposed interacting presentation supplies:

1. an explicitly defined graded two-sided ideal $\hat{J}\subset \mathfrak{T}$;

2. an odd ghost-number-one derivation $\hat{d}$ on $\mathfrak{T}$, with actual values in that tensor algebra;

3. the exact free-fiber identities

   $$(\hat{J}+\kappa \mathfrak{T})/\kappa \mathfrak{T}=J_0,\hat{d}\mathrm{mod}\kappa =s_0;$$

4. all analytical definitions needed to represent the proposed nonlinear field expressions on its intended domain.

The symbol for a local nonlinear quantum field is not accepted as an element merely by analogy with a classical jet.