F2: companion support and the off-condition diagnostic

Let

Since every term of $s_{\xi }$ contains $\xi$ or a derivative of it,

Finite propagation gives

The minimum time of $S_{\xi }$ is strictly greater than $\epsilon$. Consequently ${\rho }_{\xi }$ and all its derivatives vanish before that time.