{"result": "verified", "reason": "Public-suite numerical error measured; larger-size run passed sanity gates. Probe error is reported separately; generalization and source honesty are not certified.", "score": 2.574537805166699e-14}