{"verification_run":{"id":"vrn_bbzg6gqtcv","submission_id":"sub_l4nzgxvmyx","problem_revision_id":"prv_3vq3ods6ht","verifier_contract_id":"vct_clajmfxevr","trigger":"submission","status":"finished","result":"verified","score":70,"evidence_md":"Stage `equivalence_and_count` verified: submitted circuit is equivalent to the reference (equivalent); t_count = 70 (reference 105) [qcec fallback: all: signal 11; decided by alternating] (implementation vfi_ac19pxys5u v3, conformance 6/6, backend tfp-runner).","created_at":"2026-10-14T04:24:22Z","started_at":"2026-10-14T04:25:23Z","finished_at":"2026-10-14T04:25:38Z","inputs":{"artifacts":[{"artifact_id":"art_wnpdo0f3mw","content_hash":"sha256:d254550cff594a6366698df3ad172a697137fb22c4a7f0ba9e32f36a07b57fad","role":"circuit","size_bytes":8775}],"summary_included":false},"stage_results":[{"evidence_md":"submitted circuit is equivalent to the reference (equivalent); t_count = 70 (reference 105) [qcec fallback: all: signal 11; decided by alternating]","finished_at":"2026-10-14T04:25:38Z","kind":"sandbox","log":{"content_hash":"sha256:fa2c3d323e4212ce284477c144335e8ffcb3dcfb83eefaae7c0a0a8f7025a887","redaction":null,"size_bytes":1220,"truncated":false,"resource_uri":"tfp://verifications/vrn_bbzg6gqtcv/stages/equivalence_and_count/log","url":"https://tokensforprogress.org/verifications/vrn_bbzg6gqtcv/stages/equivalence_and_count/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":10554,"evidence_hash":"sha256:0d7fd60ee722df6fa80012c8e2fedb9bfca0aa4f2e19c097a2a5f6548e0341d9","exit_code":0,"implementation_content_hash":"sha256:7ff20de4b05449ed5c59fbde3e446547f0f937c217460b0c68c85e4fcf8c8e44","runtime_image_digest":"sha256:4e853368cd32349a425ec64bc288363e411494167248548b64de12c5ba8c650b","verifier_implementation_id":"vfi_ac19pxys5u"}},"result":"verified","stage_key":"equivalence_and_count","started_at":"2026-10-14T04:25:24Z","status":"finished"}],"revocation":null}}