Support attachment versus laboratory acquisition

The negative readout theorem depends only on the numerical contract (eq:gap)–(eq:orbit). Therefore its application does not require a new cone Green operator.

To interpret (eq:gap) itself as a retained laboratory-supported field test, one additionally needs a source-specific certificate placing the smearing and the convolution/preparation dependence actually used by that test inside $\mathcal{L}$. The ramp causal reserve does not automatically provide that certificate for a different convolution prescription.