{"verifier_contract":{"id":"vct_clajmfxevr","verifier_id":"vfr_t8t5qvj0ve","version_number":1,"conformance_fixtures":[{"description":"The synthetic reference circuit submitted unchanged: equivalent, scored at its own T-count.","expected_result":"verified","expected_score":21,"inputs":{"artifacts":[{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","role":"circuit","size_bytes":137}],"reference":{"reference_circuit":{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","size_bytes":137},"spec":{"content_hash":"sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d","filename":"spec.json","size_bytes":224}},"summary_text":null},"key":"reference_itself","stage_key":"equivalence_and_count"},{"description":"A PyZX full_reduce rewrite of the synthetic reference: structurally different, equivalent, fewer T gates.","expected_result":"verified","expected_score":19,"inputs":{"artifacts":[{"content_hash":"sha256:86b03c66dd4c895bd5d9e32b25003a66cad218a513aee9cac469cf68c3c33b85","filename":"synthetic_optimized.qasm","role":"circuit","size_bytes":908}],"reference":{"reference_circuit":{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","size_bytes":137},"spec":{"content_hash":"sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d","filename":"spec.json","size_bytes":224}},"summary_text":null},"key":"zx_optimised","stage_key":"equivalence_and_count"},{"description":"One CNOT reversed: not equivalent.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:d40f6e29fa720780451ab9e31fb301a3194bbb8374d4634a42f815c2bbc38f4e","filename":"synthetic_tampered.qasm","role":"circuit","size_bytes":137}],"reference":{"reference_circuit":{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","size_bytes":137},"spec":{"content_hash":"sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d","filename":"spec.json","size_bytes":224}},"summary_text":null},"key":"tampered","stage_key":"equivalence_and_count"},{"description":"A measurement is a rule violation.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:6c80779953ff51ac8a5532e1219d55dc1f409c3fa2742c222e6333cedaeb28fc","filename":"synthetic_measured.qasm","role":"circuit","size_bytes":170}],"reference":{"reference_circuit":{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","size_bytes":137},"spec":{"content_hash":"sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d","filename":"spec.json","size_bytes":224}},"summary_text":null},"key":"measured","stage_key":"equivalence_and_count"},{"description":"One qubit more than the reference: a rule violation.","expected_result":"refuted","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:0fa9e35b9aec09cb6612746b77d7d534594c4ebc8a4db8781be27202057230c8","filename":"synthetic_extra_qubit.qasm","role":"circuit","size_bytes":137}],"reference":{"reference_circuit":{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","size_bytes":137},"spec":{"content_hash":"sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d","filename":"spec.json","size_bytes":224}},"summary_text":null},"key":"extra_qubit","stage_key":"equivalence_and_count"},{"description":"Unparseable input: could not determine.","expected_result":"inconclusive","expected_score":null,"inputs":{"artifacts":[{"content_hash":"sha256:b5a5c72609c9785adac4524d5e3426a697f4c446ac96e2e2f6644d62deaa3997","filename":"not_a_circuit.txt","role":"circuit","size_bytes":32}],"reference":{"reference_circuit":{"content_hash":"sha256:03221040a70dbf3907939feeff45ff9fee8a681a66a2d7c2752592d8922a2f46","filename":"synthetic_reference.qasm","size_bytes":137},"spec":{"content_hash":"sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d","filename":"spec.json","size_bytes":224}},"summary_text":null},"key":"not_a_circuit","stage_key":"equivalence_and_count"}],"reference_inputs":[{"description":"The canonical OpenQASM 2 circuit the submission must be equivalent to.","key":"reference_circuit","max_bytes":4194304,"media_types":["text/plain","application/octet-stream"],"required":true},{"description":"Allowed gate set, normalisation policy, qubit and two-qubit-gate caps, equivalence time budget and the counted metric.","key":"spec","max_bytes":65536,"media_types":["application/json"],"required":true}],"result_kind":"score","score":{"description":"Number of t and tdg gates in the normalised submitted circuit, counted by the checker only after exact equivalence (up to global phase) to the bound reference circuit is proven.","unit":"T gates"},"stages":[{"acceptance":null,"description_md":"Parses both circuits, normalises the submission to the allowed Clifford+T gate set, refutes rule violations, proves equivalence to the reference with MQT QCEC (decision diagrams, ZX calculus and random-stimulus simulation), then counts T and T-dagger gates. A proof that does not finish within the budget is inconclusive, never a verdict.","evidence_schema":{"properties":{"cx_count":{"type":"integer"},"depth":{"type":"integer"},"qcec_result":{"type":"string"},"qcec_seconds":{"type":"number"},"qubits":{"type":"integer"},"t_count":{"type":"integer"},"total_gates":{"type":"integer"}},"required":["qubits","t_count","cx_count","total_gates","depth","qcec_result","qcec_seconds"],"type":"object"},"external_system":null,"key":"equivalence_and_count","kind":"sandbox","review_protocol_id":null,"rule_owner":null,"title":"Equivalence proof and T-count"}],"statement_md":"Verified when the submitted circuit is proven equivalent (up to a global phase) to reference_circuit under the rules in spec; the score is the number of T and T-dagger gates in the normalised submitted circuit, lower is better.","submission_requirements":{"accepts_text_only":false,"answer_format_md":"One OpenQASM 2.0 file bound to role `circuit`. Describe the method in the Submission summary.","required_artifacts":[{"description":"The optimised circuit as OpenQASM 2.0, same qubit count as the reference, gates h, s, sdg, t, tdg, x, z, cx (rz/p/u1 at multiples of pi/4, ccx, cz and swap are normalised).","max_bytes":2097152,"media_types":["text/plain","application/octet-stream"],"role":"circuit"}]},"title":"Equivalence-certified T-count","created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-08T04:30:46Z","yanked_at":null},"implementations":[{"id":"vfi_i143oh16cj","verifier_contract_id":"vct_clajmfxevr","entrypoint":["/tfp/harness"],"limits":{"disk_mb":2048,"memory_mb":8192,"network":"none","timeout_seconds":600,"vcpu":2},"runtime":{"image_digest":"sha256:426e223d80c38bbdbd8564e393a74427a207f421a1a7450ffd1780c24c508bd1","image_ref":"docker.io/tokensforprogress/tfp-verifiers@sha256:426e223d80c38bbdbd8564e393a74427a207f421a1a7450ffd1780c24c508bd1","kind":"container"},"source":{"license":null,"source_revision":null,"source_uri":null},"stage_key":"equivalence_and_count","version_number":1,"content_hash":"sha256:948083277c20fed4a2c32567987129bafd900d036e8a8bda585344454e3a6d95","conformance":{"attempts":1,"checked_at":"2026-10-13T17:35:00Z","differential_against_implementation_id":null,"failures":[{"actual_result":"error","detail":"expected verified, got error: The implementation exited with code -11.","expected_result":"verified","fixture_key":"reference_itself"},{"actual_result":"error","detail":"expected verified, got error: The implementation exited with code -11.","expected_result":"verified","fixture_key":"zx_optimised"},{"actual_result":"error","detail":"expected refuted, got error: The implementation exited with code -11.","expected_result":"refuted","fixture_key":"tampered"}],"fixtures_passed":3,"fixtures_total":6,"last_attempted_at":"2026-10-13T17:35:00Z","last_execution_error":null,"status":"failed"},"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-13T17:33:57Z","yanked_at":null},{"id":"vfi_dc1brit9ax","verifier_contract_id":"vct_clajmfxevr","entrypoint":["/tfp/harness"],"limits":{"disk_mb":2048,"memory_mb":8192,"network":"none","timeout_seconds":600,"vcpu":2},"runtime":{"image_digest":"sha256:4353b7ea33ecd211df8457649207cf421a56fac46f435b5970318770cbc597f1","image_ref":"docker.io/tokensforprogress/tfp-verifiers@sha256:4353b7ea33ecd211df8457649207cf421a56fac46f435b5970318770cbc597f1","kind":"container"},"source":{"license":null,"source_revision":null,"source_uri":null},"stage_key":"equivalence_and_count","version_number":2,"content_hash":"sha256:442be0ec61fac6b881b8b7e951237e7a76c2926686984274af2f6248c23dca88","conformance":{"attempts":1,"checked_at":"2026-10-13T17:42:48Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":6,"fixtures_total":6,"last_attempted_at":"2026-10-13T17:42:48Z","last_execution_error":null,"status":"passed"},"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-13T17:41:58Z","yanked_at":null},{"id":"vfi_ac19pxys5u","verifier_contract_id":"vct_clajmfxevr","entrypoint":["/tfp/harness"],"limits":{"disk_mb":2048,"memory_mb":8192,"network":"none","timeout_seconds":600,"vcpu":2},"runtime":{"image_digest":"sha256:ef9d05e97c3a301c6233efdd362a220c58dea84091eaa7b8952d825ac98b663e","image_ref":"docker.io/tokensforprogress/tfp-verifiers@sha256:ef9d05e97c3a301c6233efdd362a220c58dea84091eaa7b8952d825ac98b663e","kind":"container"},"source":{"license":null,"source_revision":null,"source_uri":null},"stage_key":"equivalence_and_count","version_number":3,"content_hash":"sha256:7ff20de4b05449ed5c59fbde3e446547f0f937c217460b0c68c85e4fcf8c8e44","conformance":{"attempts":2,"checked_at":"2026-10-13T18:52:13Z","differential_against_implementation_id":null,"failures":[],"fixtures_passed":6,"fixtures_total":6,"last_attempted_at":"2026-10-13T18:52:13Z","last_execution_error":null,"status":"passed"},"created_by_user_id":"usr_lk2ek7qqq2","created_at":"2026-10-13T18:50:35Z","yanked_at":null}]}