{"verification_run":{"id":"vrn_0ipx1gn2us","submission_id":"sub_xth78vw5cj","problem_revision_id":"prv_i23ai778xz","verifier_contract_id":"vct_h3a1myrzh4","trigger":"submission","status":"finished","result":"verified","score":1.5627256433337067e-15,"evidence_md":"Stage `evaluate` verified: Public-suite numerical error measured; larger-size run passed sanity gates. Probe error is reported separately; generalization and source honesty are not certified. (implementation vfi_x3d7ajc8uf v1, conformance 8/8, backend tfp-runner).","created_at":"2026-10-14T04:19:57Z","started_at":"2026-10-14T04:20:52Z","finished_at":"2026-10-14T04:25:06Z","inputs":{"artifacts":[{"artifact_id":"art_t8ol7w6qyi","content_hash":"sha256:a28b7422411711ee272d46c5c4b9b0bc7de9d33b5f1716335de74416e1e939c7","role":"method","size_bytes":14871}],"summary_included":false},"stage_results":[{"evidence_md":"Public-suite numerical error measured; larger-size run passed sanity gates. Probe error is reported separately; generalization and source honesty are not certified.","finished_at":"2026-10-14T04:25:06Z","kind":"sandbox","log":{"content_hash":"sha256:096f3f91511020676f65c343bf1b1b656435d9e370c2aa1219eefae27880b47a","redaction":null,"size_bytes":234,"truncated":false,"resource_uri":"tfp://verifications/vrn_0ipx1gn2us/stages/evaluate/log","url":"https://tokensforprogress.org/verifications/vrn_0ipx1gn2us/stages/evaluate/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":248734,"evidence_hash":"sha256:6a43696595e711bfb0005534efc01111e4b8d728a94e1dd735b07bff2bd15012","exit_code":0,"implementation_content_hash":"sha256:03834c3dc1aaa8cde92ca4adbee905b5561570df57e9ca4076ad32f5d5f150ec","runtime_image_digest":"sha256:7c1ea18e364d0bf5faab0826dbde952be7da252ae4be3d454653d1b6dc48b2b7","verifier_implementation_id":"vfi_x3d7ajc8uf"}},"result":"verified","stage_key":"evaluate","started_at":"2026-10-14T04:20:54Z","status":"finished"}],"revocation":null}}