Theorem: Assembly release

For the sheet of Section sec:sheet and the inputs of Section sec:inputs: the coefficient ${{\Phi }^{(2)}}_{\mathrm{D}}(f,g)$ of Definition def:PhiD exists, contains the admitted insertion exactly once with coefficient $-1$, belongs to ${\mathcal{F}}_{\mathrm{mc},\mathrm{pol}}$, and has class $Q_H{{\Phi }^{(2)}}_{\mathrm{D}}(f,g)\in {\mathcal{E}}_H$; the sector it generates with XII-D's is ordering-stable. For $\xi \in {\mathfrak{g}}_U$ and free $\varphi$ its plateau variation is (eq:assembly); it vanishes under (CP) together with $A\gamma =0$ on $U$, and otherwise equals the displayed remainders (eq:companion) and (eq:einsteinrow).

Proof. Propositions prop:gfcoeff and prop:single; Theorems thm:assembly, thm:plateau, and thm:admission; Corollaries cor:class and cor:carrierplateau.