{"verification_run":{"id":"vrn_d93w7vawvk","submission_id":"sub_tu2u39i2n3","problem_revision_id":"prv_b8rdugv0da","verifier_contract_id":"vct_h3a1myrzh4","trigger":"submission","status":"finished","result":"verified","score":8.881784197001252e-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:22:10Z","started_at":"2026-10-14T04:22:16Z","finished_at":"2026-10-14T04:25:22Z","inputs":{"artifacts":[{"artifact_id":"art_89ofgjkhtc","content_hash":"sha256:b919f71d630055492d93563b69619babcb3873d9799f4386cd9a168e48e9ab55","role":"method","size_bytes":10248}],"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:22Z","kind":"sandbox","log":{"content_hash":"sha256:bc5fad495091b6f35b5ea172e248b9786ea72dfdcb9e1162bc917a8472200c7d","redaction":null,"size_bytes":233,"truncated":false,"resource_uri":"tfp://verifications/vrn_d93w7vawvk/stages/evaluate/log","url":"https://tokensforprogress.org/verifications/vrn_d93w7vawvk/stages/evaluate/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":180983,"evidence_hash":"sha256:9f83d676c797c548cbd9de8a4730a1bb36d4c1607abb5a2593307fd1209b9b17","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:22:17Z","status":"finished"}],"revocation":null}}