FiniteAnchor

Tier A bound: below Zhang, Zhao, Razavi & Ma, PRA 95, 012333 (2017), Table 3

2/2 passed in 1ms

Test	What it does	Result
test_chernoff_bound	At Zhang, Zhao, Razavi & Ma's Table 3 parameter set the Hoeffding-based Lim bound must not exceed their Chernoff-based rate, at any basis bias.	✅ pass
test_chernoff_gap	Lim's deviation on the total detection count swamps the vacuum line at 1e10 (zero key), while 1e12 clears the published rate.	✅ pass