SixStateGuards
Out-of-domain six-state inputs raise rather than returning a wrong number
7/7 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_bell_domain | Each error rate is refused outside [0, 1/2] one slot at a time, and a triple no Bell-diagonal state can produce is refused rather than clamped. | ✅ pass |
test_budget_domain | sixstate_eps refuses either epsilon outside (0, 1) and a correction term at or above the deviation it nests inside. | ✅ pass |
test_holevo_domain | sixstate_holevo refuses anything outside [0, 1/2], including a NaN. | ✅ pass |
test_pooled_domain | sixstate_pooled checks the triple it was handed, so a pair no Bell-diagonal state carries is refused even where its average would pass. | ✅ pass |
test_rate_domain | sixstate_rate refuses a vanishing sifting factor, a gain or error rate out of range, a below-Shannon f_ec, and an inverted decoy bound q1 > q_mu. | ✅ pass |
test_secret_leak | sixstate_secret refuses an f_ec below the Shannon limit. | ✅ pass |
test_sift_domain | The basis bias is refused below 1/3 and at 1. | ✅ pass |