Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
Successor package
E6: boundaries, decision, and successor package › Successor package · lines 1347–1369
, with the slot and the scalar-sourced slot ;
the affine slot identity and the held-fixed lemma as the double-count test;
the exact variation (eq:assembly) with the explicit companion (eq:companion), its support (eq:companionsupport), and the Einstein row (eq:einsteinrow)–(eq:shellrow);
the tree-composition lemma and the admission of and of ;
the classes , their ordering correction, and the enlarged ordering-stable sector;
the detected sign: the two-jet law of the relational slot is positive, the forcing response's is negative, and the affine identity converts one into the other.
It receives no interacting BRST class, quantum retarded product, loop value, state, decision on the Einstein subshell, or sharp limit.