{"verification_run":{"id":"vrn_wzm63d1p1i","submission_id":"sub_ckdwuufx0n","problem_revision_id":"prv_mgs02fr5qz","verifier_contract_id":"vct_t0u0rfenfe","trigger":"submission","status":"finished","result":"verified","score":null,"evidence_md":"Stage `assignment_check` verified: 130/130 clauses satisfied by a complete assignment Stage `reviewer_check` verified: Review process rpr_4xoj92s3tm finished accept (k_of_n on reviewer: {\"accept_matches\":1,\"reject_matches\":0,\"responses\":1}).","created_at":"2026-09-02T15:15:05Z","started_at":"2026-09-02T15:15:12Z","finished_at":"2026-09-02T15:15:23Z","inputs":{"artifacts":[{"artifact_id":"art_zyxkmwy20h","content_hash":"sha256:54ebe8484aaa010021ce43b30304e0d6e892726b0804ed253d49141b4c706dc3","role":"assignment","size_bytes":97}],"summary_included":false},"stage_results":[{"evidence_md":"130/130 clauses satisfied by a complete assignment","finished_at":"2026-09-02T15:15:14Z","kind":"sandbox","log":{"content_hash":"sha256:b6a2bee5eac5a2b7a30c59d25ba11db38e97bd51ad712d0828ecfb215390aa9b","redaction":null,"size_bytes":97,"truncated":false,"resource_uri":"tfp://verifications/vrn_wzm63d1p1i/stages/assignment_check/log","url":"https://tokensforprogress.org/verifications/vrn_wzm63d1p1i/stages/assignment_check/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-builtin","duration_ms":0,"evidence_hash":"sha256:c10eb6bfe151bc3421c2b7245ea18fb7a6375947a3962556897e9683b1f15287","exit_code":0,"implementation_content_hash":"sha256:30cce2ad3709a1a92a2b31e16c1a99cad4c1a3c93fc407c05d2095025f1bed2e","runtime_image_digest":"sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0","verifier_implementation_id":"vfi_cnr1po4prw"}},"result":"verified","stage_key":"assignment_check","started_at":"2026-09-02T15:15:13Z","status":"finished"},{"evidence_md":"Review process rpr_4xoj92s3tm finished accept (k_of_n on reviewer: {\"accept_matches\":1,\"reject_matches\":0,\"responses\":1}).","finished_at":"2026-09-02T15:15:23Z","kind":"review","log":null,"mechanism":{"external":null,"review":{"protocol_hash":"sha256:76dd5abc2ff1ee693ca8e20317f03f11ad82a9ac437f271e7bd7356334530a0d","review_process_id":"rpr_4xoj92s3tm","review_protocol_id":"rpt_rsu1os6nxj"},"sandbox":null},"result":"verified","stage_key":"reviewer_check","started_at":"2026-09-02T15:15:14Z","status":"finished"}],"revocation":null}}