Corrected residual-instrument assertion

residual-instrument assertion{ For every finite supplied dictionary of admissible residual tasks, a complete finite instrument is constructed below.

We do not claim a single finite detector that acquires every continuum residual, resolves arbitrary real values exactly, or measures a Grassmann-valued BV expression.}