Corollary: Complete obstruction-report instrument

The map ${\mathcal{M}}_{\mathrm{rec}}$ is CPTP, consumes its clock encoding, retains the unmeasured finite residual, and satisfies (eq:drop) including every reference. On a task-basis input it returns its certified positive reciprocity report with probability one.

It does not cancel $W$, evaluate a master action that does not exist, or identify the report with a quantum anomaly.

Proof. Theorem thm:instrument applies to any finite installed report table. The last assertions follow from Proposition prop:distinct and from the fact that readout changes no source equation.