FiniteEstimator

Counted-event decoy bounds under Lim, Curty, Walenta, Xu & Zbinden (2014)

5/5 passed in 0ms

Test	What it does	Result
test_empty_test	With no certified test sample the phase bound is 1/2, and with no certified error 0.	✅ pass
test_phase_limit	Cross-engine: the phase-error bound falls onto the rate-based e_1 from above as the block grows.	✅ pass
test_sampling_term	The phase bound exceeds the raw test-basis error ratio by a positive sampling penalty that shrinks with N.	✅ pass
test_single_limit	Cross-engine: s1 per pulse rises onto the rate-based Y1 times tau_1 and the key share from below as the block grows.	✅ pass
test_vacuum_clamp	s0 reads zero on a short block, never falls with N, and reaches tau_0 * Y_0 times the key share from below.	✅ pass