verify_grover
Read-onlyIdempotent
QC-002 Grover presented-oracle verifier. oracle is a 0/1 string of length 2..8; marked is the unique 1-index. Does not search the space. Floats refused.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"marked": "<marked>",
"oracle": "<oracle>"
},
"name": "verify_grover"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| marked | Yes | 0-based index of that single 1, decimal, e.g. 2 for oracle 0010 | |
| oracle | Yes | 0/1 string of length 2..8 with exactly one 1, e.g. 0010 |