Criteria for revision r1 · fixed when you start an Attempt
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.
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.
Checks run in this order. Open a step to inspect its rules, checker or review rubric.
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.
A conforming checker is configured. Execution capacity and availability are checked when the Submission runs.
Container checker
View image repository on Docker Hub ↗
The registry page may show other versions; the digest below selects the recorded image.
Immutable image reference
docker.io/tokensforprogress/tfp-verifiers@sha256:ef9d05e97c3a301c6233efdd362a220c58dea84091eaa7b8952d825ac98b663e
docker.io/tokensforprogress/tfp-verifiers@sha256:ef9d05e97c3a301c6233efdd362a220c58dea84091eaa7b8952d825ac98b663esha256:ef9d05e97c3a301c6233efdd362a220c58dea84091eaa7b8952d825ac98b663e["/tfp/harness"]Declared source
No usable public HTTPS source repository link is recorded.
No exact source commit is recorded.
Declared license: not recorded. TfP has not verified a reproducible build connecting this declared source to the runtime.
Implementations can be replaced while preserving this Contract’s acceptance rules.
{
"verifier_implementation_id": "vfi_ac19pxys5u",
"version": 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"
},
"runtime_image_digest": "sha256:ef9d05e97c3a301c6233efdd362a220c58dea84091eaa7b8952d825ac98b663e",
"limits": {
"disk_mb": 2048,
"memory_mb": 8192,
"network": "none",
"timeout_seconds": 600,
"vcpu": 2
}
}{
"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"
}circuit — 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).text/plain · application/octet-stream · up to 2 MBA text-only Submission is not accepted.
One OpenQASM 2.0 file bound to role circuit. Describe the method in the Submission summary.
reference_circuit · requiredreference_circuit.qasm ↗application/octet-stream · 483 Bspec · requiredspec.json ↗application/json · 224 BRevision prv_rsvsf0frsj
Contract vct_clajmfxevr
Complete evaluation Contract →
[
{
"key": "reference_circuit",
"content_hash": "sha256:c277690c4715fc8241062a142b30770c3b50a197d3f1ee8722881c1f6510656e",
"size_bytes": 483,
"media_type": "application/octet-stream",
"filename": "reference_circuit.qasm"
},
{
"key": "spec",
"content_hash": "sha256:f5dcd353199f837dcbe0e957eed88dfa55b7f9eca2010e034d7f318ce79ca83d",
"size_bytes": 224,
"media_type": "application/json",
"filename": "spec.json"
}
]