Task builder | QuantumComputinglib

Choose an intermediate checker independently from the files you want to keep.

NoneSkip intermediate executable screening. Qiskit Operator checkBuilds the circuit gate by gate and numerically checks unitarity and the clean block. OpenQASM 3 strict round-tripWrites canonical IR, parses the supported subset, reconstructs the IR, and checks its semantics. BothRecommended. Both independent checks must pass when required.

Treat selected checker as required Require canonical QASM round-tripUnitarity toleranceClean-block tolerance

Neither numerical backend replaces Lean. A passing check may screen and prioritize a candidate; exact proof authority requires a Lean root.

Export artifacts

Canonical circuit IR Qiskit Python OpenQASM 3 Verification metrics Circuit text

Build an ASPBE task

Target and acceptance contract

Export artifacts

Generated packet