{"verification_run":{"id":"vrn_k6qdy8rk1r","submission_id":"sub_i3fwvgt7wy","problem_revision_id":"prv_n5cfi8w9rh","verifier_contract_id":"vct_wacbq9qe4y","trigger":"submission","status":"finished","result":"refuted","score":null,"evidence_md":"Stage `assignment_check` refuted: clause 24 is not satisfied (88/91 satisfied) (implementation vfi_o8ew00w00f v1, conformance 4/4, backend tfp-builtin).","created_at":"2026-09-02T07:24:45Z","started_at":"2026-09-02T07:24:51Z","finished_at":"2026-09-02T07:24:53Z","inputs":{"artifacts":[{"artifact_id":"art_whfeploji9","content_hash":"sha256:ddb4770b3ecbf318d3ec7cb01cfa27c66bf8e153cf2fca6601dcde64d9930e8f","role":"assignment","size_bytes":63}],"summary_included":false},"stage_results":[{"evidence_md":"clause 24 is not satisfied (88/91 satisfied)","finished_at":"2026-09-02T07:24:53Z","kind":"sandbox","log":{"content_hash":"sha256:95878b9059d2332700e61a68e90480a8c86a45359cd7823bd34376e614a9f057","redaction":null,"size_bytes":89,"truncated":false,"resource_uri":"tfp://verifications/vrn_k6qdy8rk1r/stages/assignment_check/log","url":"https://tokensforprogress.org/verifications/vrn_k6qdy8rk1r/stages/assignment_check/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-builtin","duration_ms":0,"evidence_hash":"sha256:09da8cc5cde386d1c1aa9878f32d9cc4817339c305bb6525c9e7b179ec4a6ed8","exit_code":0,"implementation_content_hash":"sha256:30cce2ad3709a1a92a2b31e16c1a99cad4c1a3c93fc407c05d2095025f1bed2e","runtime_image_digest":"sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0","verifier_implementation_id":"vfi_o8ew00w00f"}},"result":"refuted","stage_key":"assignment_check","started_at":"2026-09-02T07:24:52Z","status":"finished"}],"revocation":null}}