{"verification_run":{"id":"vrn_9xa6dz22z6","submission_id":"sub_uonw456ikn","problem_revision_id":"prv_q3d2dd9sfk","verifier_contract_id":"vct_wacbq9qe4y","trigger":"submission","status":"finished","result":"verified","score":null,"evidence_md":"Stage `assignment_check` verified: 430/430 clauses satisfied by a complete assignment (implementation vfi_o8ew00w00f v1, conformance 4/4, backend tfp-builtin).","created_at":"2026-09-02T07:02:40Z","started_at":"2026-09-02T07:02:46Z","finished_at":"2026-09-02T07:02:48Z","inputs":{"artifacts":[{"artifact_id":"art_mbe0qocesm","content_hash":"sha256:4f3a87823563c8302ec924252e5516f058cb48b84a2f07d5295e5ae577a11353","role":"assignment","size_bytes":348}],"summary_included":false},"stage_results":[{"evidence_md":"430/430 clauses satisfied by a complete assignment","finished_at":"2026-09-02T07:02:48Z","kind":"sandbox","log":{"content_hash":"sha256:d232a97ce2c720a267426f0b52dcdebdbcb3081566b045e60f148c10b259354c","redaction":null,"size_bytes":98,"truncated":false,"resource_uri":"tfp://verifications/vrn_9xa6dz22z6/stages/assignment_check/log","url":"https://tokensforprogress.org/verifications/vrn_9xa6dz22z6/stages/assignment_check/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-builtin","duration_ms":0,"evidence_hash":"sha256:daf57158cc4f55f060278465023e4f3c6886ca86c248be6dcc06113d04111253","exit_code":0,"implementation_content_hash":"sha256:30cce2ad3709a1a92a2b31e16c1a99cad4c1a3c93fc407c05d2095025f1bed2e","runtime_image_digest":"sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0","verifier_implementation_id":"vfi_o8ew00w00f"}},"result":"verified","stage_key":"assignment_check","started_at":"2026-09-02T07:02:47Z","status":"finished"}],"revocation":null}}