Limiting bare and completed tests

This reproduces the fixed-input conclusion of X-D XD (:convergence); no parent convergence theorem was used in its proof.

The representative tests converge before taking equation classes. No quotient cancellation rescues a divergent representative family. For every continuous seminorm $q$ on $Q_m$, continuity of ${\mathcal{D}}_C\to Q_m$ also gives

This is not an operator-norm estimate in a Hilbert representation or a channel estimate for a field detector.