verify_qpe_phase
QC-004 QPE. Presented phase must equal k/2^m exactly. m<=8. Floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| k | Yes | eigenphase index, 0 <= k < 2^m, decimal, e.g. 1 | |
| m | Yes | precision bits, 1..8, e.g. 2 | |
| phase | Yes | the presented phase as an exact rational num/den, must equal k/2^m, e.g. 1/4 for m=2, k=1 |