{"verification_run":{"id":"vrn_m62v92j02r","submission_id":"sub_44ovv8zfzy","problem_revision_id":"prv_n5cfi8w9rh","verifier_contract_id":"vct_wacbq9qe4y","trigger":"submission","status":"finished","result":"refuted","score":null,"evidence_md":"Stage `assignment_check` refuted: assignment names 1 variable(s) outside the instance (first: 21) (implementation vfi_o8ew00w00f v1, conformance 4/4, backend tfp-builtin).","created_at":"2026-09-02T07:02:13Z","started_at":"2026-09-02T07:02:18Z","finished_at":"2026-09-02T07:02:20Z","inputs":{"artifacts":[{"artifact_id":"art_y0q1qy9gbi","content_hash":"sha256:42d62dd73b79111da99b3e7f3f7e8df95085b2036b4a44277c7546d5f1e8dfa8","role":"assignment","size_bytes":64}],"summary_included":false},"stage_results":[{"evidence_md":"assignment names 1 variable(s) outside the instance (first: 21)","finished_at":"2026-09-02T07:02:20Z","kind":"sandbox","log":{"content_hash":"sha256:5af9c0a26ce95246f31e1c511e20e825347a6067e257cc0874a497cefff6629c","redaction":null,"size_bytes":108,"truncated":false,"resource_uri":"tfp://verifications/vrn_m62v92j02r/stages/assignment_check/log","url":"https://tokensforprogress.org/verifications/vrn_m62v92j02r/stages/assignment_check/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-builtin","duration_ms":0,"evidence_hash":"sha256:d17df2ccaa5020eaf4d737207e5d1e06bbc46e1557739b4a62bc8500c1af0edc","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:19Z","status":"finished"}],"revocation":null}}