{"verification_run":{"id":"vrn_uokmmpysh1","submission_id":"sub_4sj35ajbz0","problem_revision_id":"prv_ydq555ipz7","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; alternating: timeout; decided by combined] (implementation vfi_ac19pxys5u v3, conformance 6/6, backend tfp-runner).","created_at":"2026-10-14T06:15:29Z","started_at":"2026-10-14T06:17:21Z","finished_at":"2026-10-14T06:26:56Z","inputs":{"artifacts":[{"artifact_id":"art_hwlbbjzxyl","content_hash":"sha256:2c6bafb9bc3f457bc58d15f1ef26e3807e2e9a71340a2f66c55759aead22cb8e","role":"circuit","size_bytes":28165}],"summary_included":false},"stage_results":[{"evidence_md":"equivalence could not be decided within the time budget (no_information) [qcec fallback: all: signal 11; alternating: timeout; decided by combined]","finished_at":"2026-10-14T06:26:56Z","kind":"sandbox","log":{"content_hash":"sha256:6dd7f25b3c753f10e9591ab99832e9a05dcbe98fde584aa4b12aeadadaa3697c","redaction":null,"size_bytes":1232,"truncated":false,"resource_uri":"tfp://verifications/vrn_uokmmpysh1/stages/equivalence_and_count/log","url":"https://tokensforprogress.org/verifications/vrn_uokmmpysh1/stages/equivalence_and_count/log"},"mechanism":{"external":null,"review":null,"sandbox":{"backend":"tfp-runner","duration_ms":571225,"evidence_hash":"sha256:64706660e889c3ebdb99f0d02a1b16bc0f8289a9678b5f86b366127455a7285a","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:17:22Z","status":"finished"}],"revocation":null}}