The companion row, displayed

Equation (eq:companion) is XI-E's switching display with the ghost parameter replaced by the propagated companion. Every term carries $1-g$ or $\partial g$; none carries a ramp derivative. The remainder is not a layer term, and it is not deleted by compactness of $\xi$.