{"verification_run":{"id":"vrn_rcjtznxbn3","submission_id":"sub_ckkfs33cqb","problem_revision_id":"prv_6l5tsce8ef","verifier_contract_id":"vct_clajmfxevr","trigger":"submission","status":"finished","result":"verified","score":21,"evidence_md":"Stage `equivalence_and_count` verified: submitted circuit is equivalent to the reference (equivalent); t_count = 21 (reference 21) [qcec fallback: all: signal 11] (implementation vfi_dc1brit9ax v2, conformance 6/6, backend tfp-runner).","created_at":"2026-10-13T17:46:08Z","started_at":"2026-10-13T17:46:14Z","finished_at":"2026-10-13T17:46:28Z","inputs":{"artifacts":[{"artifact_id":"art_k00g25it27","content_hash":"sha256:68903280e338ac920da6177eef589267c416e23c63babd33442724e3dc2b21f1","role":"circuit","size_bytes":313}],"summary_included":false},"stage_results":[{"evidence_md":"submitted circuit is equivalent to the reference (equivalent); t_count = 21 (reference 21) [qcec fallback: all: signal 11]","finished_at":"2026-10-13T17:46:28Z","kind":"sandbox","log":{"content_hash":"sha256:ab9b9848793aae3a1b1b5d7b759c3b125b455139d4d4c02968cbc7a1ef2b7192","redaction":null,"size_bytes":939,"truncated":false,"resource_uri":"tfp://verifications/vrn_rcjtznxbn3/stages/equivalence_and_count/log","url":"https://tokensforprogress.org/verifications/vrn_rcjtznxbn3/stages/equivalence_and_count/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":9030,"evidence_hash":"sha256:4116c5167d586f0bc33637dbcefeb113914e431b020f6321e49daaaad22f2337","exit_code":0,"implementation_content_hash":"sha256:442be0ec61fac6b881b8b7e951237e7a76c2926686984274af2f6248c23dca88","runtime_image_digest":"sha256:4353b7ea33ecd211df8457649207cf421a56fac46f435b5970318770cbc597f1","verifier_implementation_id":"vfi_dc1brit9ax"}},"result":"verified","stage_key":"equivalence_and_count","started_at":"2026-10-13T17:46:15Z","status":"finished"}],"revocation":null}}