MdiGuards
Out-of-domain MDI-BB84 inputs raise rather than returning a wrong number
5/5 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_error_slots | mdi_e11 refuses a decoy at or below its vacuum and a y11 outside [0, 1]. | ✅ pass |
test_grid_shape | A gain grid other than nine cells (row-major, Alice's intensity as row) is refused. | ✅ pass |
test_intensity_order | The three intensities must decrease strictly. | ✅ pass |
test_rate_ordering | A single-photon-pair gain above the total gain is an inverted decoy bound and is refused, never rescaled. | ✅ pass |
test_yield_slots | mdi_yield refuses each efficiency, the per-gate dark probability and the misalignment outside its own domain. | ✅ pass |