BlindEkert

The CHSH-priced rate against Pironio et al.'s collective-attack bound

6/6 passed in 1ms

Test	What it does	Result
test_chsh	Ekert's own analyser orientations drive the signed CHSH to -2 sqrt(2) times the visibility.	✅ pass
test_detection	Reading a missing click as -1 puts the efficiency threshold at Pironio's Fig. 3 value of 0.924 to three figures, and it is a threshold, not a range.	✅ pass
test_domain	No violation buys no key, past Tsirelson raises, and neither a modelled nor a device-independent provenance is accepted.	✅ pass
test_qber	The depolarised-singlet error map inverts S = 2 sqrt(2) (1 - 2Q).	✅ pass
test_rate	The rate is Pironio's bound: 1 - h2(Q) - the Holevo term in the CHSH value.	✅ pass
test_threshold	The error rate at which the priced rate vanishes is Pironio's quoted 7.1% at a perfect reconciliation.	✅ pass