Source and dependency discipline

The supplied X-I-ST source is the classical predecessor XIST. X-Enter and X-Enter-ST supply the amplitude, selective-output, and conditional-reference comparisons XEnter,XEnterST. X-H-ST and X-G-ST distinguish relative classical BV, free causal BRST, and failure of automatic free-shell descent XHST,XGST.

All formulas needed for the new coefficient and report theorems are given below. A repository connection is not used as a proof. Conversely, an explicitly stated mathematical hypothesis does not cease to be a hypothesis merely because a documentary connection is called a separation.