verify_amplitude_amplification
QC-009 Amplitude amplification: the Grover oracle check (oracle is a 0/1 string of length 2..8, marked is the INDEX of its unique 1) plus the presented iterate count; at N=4 exactly one iteration amplifies the marked entry, so iterations must be 1 for a WIN. Returns the inner Grover verdict and the iteration check. A presented witness is verified; no amplitude is estimated. Floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| marked | No | 0-based index of the 1 (the marked entry), decimal | |
| oracle | No | 0/1 string, length 2..8, exactly one 1, e.g. 0001 | |
| iterations | No | presented iterate count, decimal; 1 at N=4 |