EurLength

The composable finite-key length, its corrections and its asymptotic limit

7/7 passed in 0ms

Test	What it does	Result
test_asymptotic_limit	With Shannon-limit leakage the length per round approaches the collective-attack rate.	✅ pass
test_entropy_saturates	A tolerated error past 1/2 saturates at one bit rather than letting h2 turn back.	✅ pass
test_length_below	Every correction shortens the key, so the length stays under n q.	✅ pass
test_length_form	The key length reproduces TLGR Eq. (2) with every correction subtracted.	✅ pass
test_serfling_above	Sampling without replacement is wider than the with-replacement Hoeffding half-width.	✅ pass
test_serfling_falls	The correction falls as the sample grows and rises as the failure probability shrinks.	✅ pass
test_serfling_form	The statistical correction reproduces TLGR Eq. (2) term for term.	✅ pass