verify_quantum_counting
QC-015 Quantum counting: certify that count equals the number of 1s in the presented oracle string. oracle is a 0/1 string of length 2..8 (the marked entries are the 1s), count is the claimed number as a decimal string. WIN when equal, MISS naming the true count. A presented witness is verified; nothing is counted by amplitude. Floats refused.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| count | No | claimed number of 1s, decimal | |
| oracle | No | 0/1 string, length 2..8, e.g. 0001 |