{"verification_run":{"id":"vrn_28t1tgrfyo","submission_id":"sub_ii8h6yw58u","problem_revision_id":"prv_wc6zekzywj","verifier_contract_id":"vct_clajmfxevr","trigger":"submission","status":"finished","result":"inconclusive","score":null,"evidence_md":"Stage `equivalence_and_count` inconclusive: equivalence could not be decided within the time budget (no_information) [qcec fallback: all: signal 11; decided by combined] (implementation vfi_ac19pxys5u v3, conformance 6/6, backend tfp-runner).","created_at":"2026-10-14T06:34:32Z","started_at":"2026-10-14T06:35:17Z","finished_at":"2026-10-14T06:44:47Z","inputs":{"artifacts":[{"artifact_id":"art_pxidspc7y1","content_hash":"sha256:3057fa2e64dcc174f3d0b20451d2b2235241f63f484a922ca54d5fc9074fe809","role":"circuit","size_bytes":46810}],"summary_included":false},"stage_results":[{"evidence_md":"equivalence could not be decided within the time budget (no_information) [qcec fallback: all: signal 11; decided by combined]","finished_at":"2026-10-14T06:44:47Z","kind":"sandbox","log":{"content_hash":"sha256:0254aed768a4a5525c847db518aabf060edf98e88409e19889c5f7346992f1cf","redaction":null,"size_bytes":1337,"truncated":false,"resource_uri":"tfp://verifications/vrn_28t1tgrfyo/stages/equivalence_and_count/log","url":"https://tokensforprogress.org/verifications/vrn_28t1tgrfyo/stages/equivalence_and_count/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":565211,"evidence_hash":"sha256:b092a34deb55b5a2c34641ec5f03aac3d42290da8fc16df8ec8208b6096433e7","exit_code":0,"implementation_content_hash":"sha256:7ff20de4b05449ed5c59fbde3e446547f0f937c217460b0c68c85e4fcf8c8e44","runtime_image_digest":"sha256:4e853368cd32349a425ec64bc288363e411494167248548b64de12c5ba8c650b","verifier_implementation_id":"vfi_ac19pxys5u"}},"result":"inconclusive","stage_key":"equivalence_and_count","started_at":"2026-10-14T06:35:18Z","status":"finished"}],"revocation":null}}