Skip to content

DecoyGuards ​

Intensity-ordering and range guards on the decoy interface

3/3 passed in 0ms

TestWhat it doesResult
test_reject_bad_channelThe channel helpers guard their own ranges: transmittance, background, length.✅ pass
test_reject_intensitiesThe 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_boundStatistics too poor to prove anything give Y1 = Q1 = 0 and e1 capped at 1/2, past which 1 - H2(e1) rises again.✅ pass