FiniteGuards
What the finite-key path refuses, and the families that never reach it
5/5 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_block_agrees | A declared block differing from the sampled run size is refused. | ✅ pass |
test_block_domain | q.KeyBlock refuses a non-positive size, an epsilon outside the unit interval and a frame error rate outside it. | ✅ pass |
test_cow_refuses | COW refuses a key block under q.SplittingAttack and q.PhaseBound, its phase error being an input, and q.PhaseBound's block defaults to None. | ✅ pass |
test_share_domain | bb84_eps refuses eps_sec outside (0, 1). | ✅ pass |
test_sifting_domain | A sifting factor below 1/2 (no key/test split) or of 1 (no test basis) is refused. | ✅ pass |