Compile a quantum program, every pass checked
compile_qasmCompile an OpenQASM program through named passes (lowering, checked rewrites, phase folding, one- and two-qubit resynthesis, and every rotation off the multiples of π/4 written as a Clifford+T word within its share of the ε budget), each checked where it acts. Returns the compiled program and a certificate sealed with the service's key: each pass's counts before and after, its check and verdict (proof, exact or approximate with its distance), the budget and the bound the distances add to. verify_quantum_receipt checks it. Quote the bound; an approximate compile is not exact. A large or very fine compile is refused with the local command.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| qasm | Yes | ||
| basis | No | clifford_t (default): every rotation off the multiples of π/4 written as a Clifford+T word within its share of epsilon; standard: nothing approximated. | |
| level | No | 0: lower and approximate; 1 (default): also checked rewrites and phase folding; 2: also one- and two-qubit resynthesis. | |
| epsilon | No | The most the output may differ from the program in the operator norm, up to a global phase, shared by its rotations (default 1e-6). |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||