{"verification_run":{"id":"vrn_30wcd51u2t","submission_id":"sub_704hrhqatr","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 3 is not satisfied (57/91 satisfied) (implementation vfi_o8ew00w00f v1, conformance 4/4, backend tfp-builtin).","created_at":"2026-09-02T07:02:03Z","started_at":"2026-09-02T07:02:09Z","finished_at":"2026-09-02T07:02:10Z","inputs":{"artifacts":[{"artifact_id":"art_x15a4qjvfx","content_hash":"sha256:1ab0c0febf87e8c73f8f5641b718217861e59a9b00f23aa3e9bad27786267042","role":"assignment","size_bytes":65}],"summary_included":false},"stage_results":[{"evidence_md":"clause 3 is not satisfied (57/91 satisfied)","finished_at":"2026-09-02T07:02:10Z","kind":"sandbox","log":{"content_hash":"sha256:e455550b54e4c0b36efe52fdd6254d4ae37f2889bb12d7bc0692ee454b3b05da","redaction":null,"size_bytes":88,"truncated":false,"resource_uri":"tfp://verifications/vrn_30wcd51u2t/stages/assignment_check/log","url":"https://tokensforprogress.org/verifications/vrn_30wcd51u2t/stages/assignment_check/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-builtin","duration_ms":0,"evidence_hash":"sha256:29d7d02c56cf8a453de3f0cc17bb009006f11cbe9de44112bb9326890b82dbf1","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:02:09Z","status":"finished"}],"revocation":null}}