SurfaceMidpoint

What the qubit midpoint refuses, and why each is not a gap in the code

6/6 passed in 0ms

Test	What it does	Result
test_carrier_refused	q.PolarisationKeying is refused: it derives a misalignment from its own frame while q.BellAnalyser already carries two, so the same error would be charged twice.	✅ pass
test_extras_refused	A pulse width, a correlated environment, an excess noise and a security model from another family each reach no term of this bound and are refused by name.	✅ pass
test_gaussian_refused	A Gaussian-modulated sender into a counting midpoint is refused, and a keyed sender into a covariance one is refused by the sibling message.	✅ pass
test_misalign_required	Neither misalignment defaults and neither is derived, so a q.BellAnalyser carrying none, or one number for both, is refused before it runs.	✅ pass
test_sifting_stated	A sender carrying any sifting factor but 1 is refused: the key-basis gain already counts key-basis rounds only.	✅ pass
test_variant_refused	Three bases and the pair announcement are both refused: the midpoint bound reads one key basis against one test basis.	✅ pass