EkertSecurity

What the E91 engine refuses, and the device-independence position

8/8 passed in 0ms

Test	What it does	Result
test_absent	The engine exposes no entry point whose name would read as a device-independent bound.	✅ pass
test_device	Device independence is refused outright, naming the semidefinite program, the entropy accumulation and the detection efficiency that would each have to arrive first.	✅ pass
test_domain	The certified overlap is refused below the local bound, where the paper's expression turns back and would report a perfect complementarity from no violation.	✅ pass
test_finite	A finite-key E91 is refused outright, and the message names four missing pieces, both published routes from a violation to a length, and the entanglement-based length that does ship.	✅ pass
test_modelled	A violation read off a state model is refused as an input to the bound, and the refusal names the circularity and both alternatives.	✅ pass
test_slots	Out-of-domain arguments raise rather than returning a wrong number.	✅ pass
test_source	An unrecognised origin for the violation names the three the engine accepts rather than defaulting to one.	✅ pass
test_tsirelson	A violation past Tsirelson's bound is refused by every entry point that takes one, rather than priced.	✅ pass