DecoyGuards
Intensity-ordering and range guards on the decoy interface
3/3 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_reject_bad_channel | The channel helpers guard their own ranges: transmittance, background, length. | ✅ pass |
test_reject_intensities | The intensity triple is rejected wherever Eq. (15) fails or a value leaves its range and the message names the slot, as are gains and error rates outside [0, 1]. | ✅ pass |
test_vacuous_bound | Statistics too poor to prove anything give Y1 = Q1 = 0 and e1 capped at 1/2, past which 1 - H2(e1) rises again. | ✅ pass |