A finite residual certificate

The bounds require the same $L$, frame, units, and comparison interfaces. Uncertainty in $L$, the coupling, or the reconstruction maps requires additional terms, not silent absorption into transport error.