The receipt check in one expression: a claim is verified when its
absolute difference from the recomputed actual is within tolerance.
Fill in the return expression using abs, so that honest rounding
(94.98 vs 95.0) passes and fabrication (4.2 vs 6.0) fails.
Expected output:
VERIFIED
MISMATCH
VERIFIED