QubitRefusals

SARG04, B92 and the six-state decoy composition, each refused by name

6/6 passed in 0ms

Test	What it does	Result
test_b92_refused	Plain B92 is refused for want of a joint confidence region, and strong-reference B92 for taking its phase error as an input.	✅ pass
test_block_checked	Every refusal checks its block size first, refusing an empty block as a bad argument, not an unimplemented protocol.	✅ pass
test_decoy_refused	The six-state decoy composition is refused: the photon-number inversion is basis-blind, but Scarani and Renner's Lemma 3 wants a per-round single-photon state decoy counts do not identify.	✅ pass
test_route_named	Each refusal cites the route in rather than stopping at unimplemented.	✅ pass
test_sarg_refused	A SARG04 block is refused, routing to sarg_length and naming Eq. (39)'s two-photon term, which that length drops rather than bounds, and the missing complementary-basis sample.	✅ pass
test_source_named	An unrecognised source is refused by name.	✅ pass