SurfaceRefusals

Finite-key refusals reaching a caller through q. rather than the core

6/6 passed in 0ms

Test	What it does	Result
test_b92_asymptotic	Without a block the two-state link runs, and q.DiscriminationBound refuses anything but a q.KeyBlock in the slot.	✅ pass
test_b92_branches	Both two-state branches refuse a key block and the two messages differ: the plain one needs a new statistical statement, the strong-reference one is malformed.	✅ pass
test_bb84_untouched	BB84's own finite-key length still runs, and its rate is that length over the block.	✅ pass
test_sarg_refused	SARG04 accepts a key block and the engine refuses it, naming three missing pieces.	✅ pass
test_sixstate_asymptotic	Without a block the same six-state link still runs and still reports three bases.	✅ pass
test_sixstate_decoy	Six-state accepts a key block and the engine refuses the combination: the decoy layer carries the photon-number inversion across but not the statistical transfer onto one key-basis population.	✅ pass