The boundary-trace certificate

The theorem supplies a lower support statement for the fixed test $f$, not merely for a freely chosen source concentrated near one observation.