verify_phase_kickback
QC-011 Phase kickback: certify that the presented phase equals k / 2^m exactly, as a rational. m is the register width (decimal), k the integer eigenphase index, phase the claimed rational written num/den (e.g. 1/2 for m=1, k=1). WIN or MISS with the exact rational the court computed. No estimation is performed; floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| k | No | eigenphase index, decimal, 0 <= k < 2^m | |
| m | No | register width, decimal, >= 1 | |
| phase | No | claimed phase as an exact rational num/den, e.g. 1/2 |