Affine Earth Math Court Remote

verify_bell_measurement

QC-018 Bell measurement: certify that the presented Bell class bits equal the presented two-qubit pair. ab is the two measured bits (e.g. 00, 11) and class is the two class bits the caller claims; WIN when they agree, MISS naming both when they do not. A presented witness is verified; no state is prepared or sampled. Bit strings only; floats refused.

Input Schema

TableJSON Schema

Name	Required	Description	Default
`ab`	Yes	two measured bits, e.g. 00 or 11
`class`	Yes	the two Bell-class bits claimed for the pair, e.g. 00

Schema Changelog

Changes observed during successful MCP inspections.

Changed1 schema field changedSep 29, 2026
- changedInput schema / required
```
Previous value: -[]New value: +[
+  "ab",
+  "class"
+]
```
Changed2 schema fields changedSep 7, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 7, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 7, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 7, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 6, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 5, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 4, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 3, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 2, 2026
- removedInput schema / properties / ab / description
```
Removed value: -"two measured bits, e.g. 00 or 11"
```
- removedInput schema / properties / class / description
```
Removed value: -"the two Bell-class bits claimed for the pair, e.g. 00"
```
Changed2 schema fields changedSep 2, 2026
- addedInput schema / properties / ab / description
```
Added value: +"two measured bits, e.g. 00 or 11"
```
- addedInput schema / properties / class / description
```
Added value: +"the two Bell-class bits claimed for the pair, e.g. 00"
```
First observedSep 1, 2026

TDQS

A3.7/5.0

Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full burden and does so well: it discloses the WIN/MISS outcome semantics, that nothing is prepared or sampled, and that only bit strings are accepted (floats refused). It stops short of return-format or error-shape detail, but the behavioral contract is clear.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Front-loads the action and the two inputs, then appends behavioral and input-type constraints. Every sentence does work, though the dense jargon and mid-sentence examples slightly reduce scannability.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a two-string verification tool with no output schema, the description covers inputs, the win/miss result, and input-type limits. Only minor gaps remain, such as error behavior for malformed or non-2-bit strings.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 100%, so the schema already documents ab and class. The description restates ab as the two measured bits and class as the claimed class bits, adding little beyond the schema examples, so the baseline 3 applies.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb (certify/verify) and resource (Bell class bits vs the presented two-qubit pair), with a QC label. The clause 'no state is prepared or sampled' implicitly distinguishes it from the execute_* siblings, though it does not name an alternative directly.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Usage is implied rather than stated: the tool is for checking a witness the caller already holds. There is no explicit when-to-use or when-not-to-use guidance, and no sibling is named as the alternative.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

All Affine Earth Math Court Remote tools Inspect

Try in Browser

Shareable, User-Owned Context BackendPeople, applications, and agents read, write, and coordinate together in one context lake. Reach it over MCP, a CLI, a Python SDK, or REST.fulcradynamics.comAd

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources

Need Help?