What the instrument does not acquire

A gauge-dependent task selector or residual cannot be exported for free during a closure comparison. If it depends on $a$, it belongs to the complete encoding and output to which Theorem thm:orbitclosure applies.