First rung-2 real case (Andrey's 07/14 export) measured the predicted tier
precisely: tasks + corr_td + corr_pd ALL BIT-EXACT @tol 0 (the in-place
FZ-norm is production-identical); peaks ~14% of elements flip by 1-2 float
ULP at their own magnitude (double-math FMA contraction vs Java, absorbed
except at float cast boundaries) - a flat absolute tol cannot cover 1 ULP
of lambda~40 (3.8e-6) while staying meaningful for dx~0.01. Criterion now:
pass if within --peak-tol ABSOLUTE (near-zero floor, default 1e-6) OR
within 4 float ULP of the operand (measured max 2 ULP; near-zero relative
outliers ~21 ULP are 3e-9 absolute = caught by the floor). Verdict on the
fresh case: ALL PASS, viol=0.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>