The certificate and its lower-support consequence

For a separately declared boundary-touching test extension, the same closure argument would give $F\cap \Sigma \subset {\mathrm{supp}}_{\mathrm{fun}}{B}_f$, provided its derivatives, adjoint identity, and boundary pairing are included in that extension. No boundary test-domain enlargement is needed for the interior inherited sector treated here.