EkertProtocol

Ekert 1991's analyser settings, correlations and CHSH combination

4/4 passed in 5ms

Test	What it does	Result
test_ceiling	No choice of the four CHSH angles pushes the modelled violation past Tsirelson's bound.	✅ pass
test_correlate	The correlation coefficient is Ekert Eq. (2) at every angle and visibility, not only at his own settings.	✅ pass
test_settings	The engine's analyser angles are Ekert's three per party, and the two shared orientations are the key-generating ones, at perfect anticorrelation.	✅ pass
test_violation	Ekert Eq. (3) at those settings reaches his Eq. (4)'s -2 sqrt(2), in his sign convention rather than the modern one.	✅ pass