EkertReduction
Where E91 reduces to BBM92, and what the reduction costs
5/5 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_accumulated | Entropy accumulation's own E91 section gives this tree's phase-error rate, not its CHSH-priced one, so the length that argument would carry to a finite block is the entanglement-based one. | ✅ pass |
test_agree | Handing the measured entry point the violation the model predicts returns the model evaluation's own number. | ✅ pass |
test_cost | Pricing Eve by the violation is never cheaper than pricing her by the phase error, and the two agree only on a noiseless link. | ✅ pass |
test_diagnostic | The violation the model evaluation reports is the same number a photon-pair run already carries as its labelled diagnostic. | ✅ pass |
test_reduce | The model evaluation's basis-symmetry leg is the photon-pair engine's rate bit for bit: the reduction is shared code, not a claim. | ✅ pass |