{"verification_run":{"id":"vrn_wa23qmbbb1","submission_id":"sub_xi8ixy17cg","problem_revision_id":"prv_n5cfi8w9rh","verifier_contract_id":"vct_wacbq9qe4y","trigger":"submission","status":"finished","result":"verified","score":null,"evidence_md":"Stage `assignment_check` verified: 91/91 clauses satisfied by a complete assignment (implementation vfi_o8ew00w00f v1, conformance 4/4, backend tfp-builtin).","created_at":"2026-09-02T07:01:52Z","started_at":"2026-09-02T07:01:59Z","finished_at":"2026-09-02T07:02:01Z","inputs":{"artifacts":[{"artifact_id":"art_d43u2r6glo","content_hash":"sha256:632eabc3cd84679a273265dc63a8cfd0ab05c6da72cebbf06f8a479fe816bf2f","role":"assignment","size_bytes":61}],"summary_included":false},"stage_results":[{"evidence_md":"91/91 clauses satisfied by a complete assignment","finished_at":"2026-09-02T07:02:00Z","kind":"sandbox","log":{"content_hash":"sha256:59e2d3a7999eb347e2ffb76100d45c1d5085eb43b8d18c5b34e4af582c738c71","redaction":null,"size_bytes":94,"truncated":false,"resource_uri":"tfp://verifications/vrn_wa23qmbbb1/stages/assignment_check/log","url":"https://tokensforprogress.org/verifications/vrn_wa23qmbbb1/stages/assignment_check/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-builtin","duration_ms":0,"evidence_hash":"sha256:6de6b13f840dc313e61a0651d31820ab748a0c6d49883c7b4ef64510aef5eaad","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:00Z","status":"finished"}],"revocation":null}}