Reported coarse defect-check result

The summary reports a patched checker invocation with:

status _COMPUTED_INSPECTION_REQUIRED, uniform defect upper bound about $0.117$, transmission enclosure $[0,1]$, and verdict .

Only a rounded description of the rational output is supplied. Consequently, this edition cannot reproduce its exact interval endpoints or authenticate its patched executable.

For scale only, the analytical amplification is

so multiplying the rounded reported defect by this factor gives an amplitude allowance around $1.53$. This illustrative calculation explains why the reported enclosure is uninformative; it is not a substitute for the original certificate.