Record agreement does not determine residuals

If two implementations approximate these targets on this input with trace-distance errors at most ${\epsilon }_{\mathrm{f}}$ and ${\epsilon }_{\mathrm{c}}$, their mutual trace distance is at least

This follows from the triangle inequality. More accurate implementation cannot eliminate an incompatibility of the ideal targets.