{"verification_run":{"id":"vrn_mwqgwkt3dy","submission_id":"sub_dw11p2vzz6","problem_revision_id":"prv_bcysyamdpy","verifier_contract_id":"vct_h3a1myrzh4","trigger":"submission","status":"finished","result":"verified","score":2.574537805166699e-14,"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:09:24Z","started_at":"2026-10-14T04:09:31Z","finished_at":"2026-10-14T04:10:29Z","inputs":{"artifacts":[{"artifact_id":"art_y2n3vnf7g1","content_hash":"sha256:562848125c54ff34158ae34ac81ed1a7f7cbbcd3e2399c1ee9e76dc2ff621357","role":"method","size_bytes":11449}],"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:10:28Z","kind":"sandbox","log":{"content_hash":"sha256:56099457fcb06295cc81604f119e7482acc1a4d0298baf9c1a932e82011427d1","redaction":null,"size_bytes":233,"truncated":false,"resource_uri":"tfp://verifications/vrn_mwqgwkt3dy/stages/evaluate/log","url":"https://tokensforprogress.org/verifications/vrn_mwqgwkt3dy/stages/evaluate/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":52186,"evidence_hash":"sha256:4c160ab213b03d7bcf07d928a2a6246210637a93ca9dd3250d2d8c704a511dec","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:09:33Z","status":"finished"}],"revocation":null}}