EkertBound

The CHSH-priced key rate between the local bound and Tsirelson's

5/5 passed in 0ms

Test	What it does	Result
test_local	A CHSH value at or below the local bound yields no key at any error rate, gain or reconciliation: Eve's price is the whole one-bit budget.	✅ pass
test_maximal	At Tsirelson's bound the rate is the error-correction leak alone, Eve being excluded outright, and a noiseless link keys every round.	✅ pass
test_monotone	The rate rises with the violation across the whole interval between the local bound and Tsirelson's.	✅ pass
test_sign	Ekert's negative CHSH value and the modern positive one price identically: only the magnitude carries the violation.	✅ pass
test_units	Gain and sifting scale the rate linearly, putting it in the photon-pair engine's bits per pump pulse.	✅ pass