SixStateForms

Eqs. (A4), (A5) and (A6) of Rev. Mod. Phys. 81, 1301 checked against each other

6/6 passed in 2ms

Test	What it does	Result
test_a4_matches	Eq. (A4) and Eq. (A5) agree to 1e-14 where both are defined, Eq. (A5) dividing by e_z where a noiseless key basis is a number here.	✅ pass
test_a6_matches	Eq. (A6) reproduces the three-basis form at equal error rates to 1e-15, on Renner, Gisin and Kraus Eq. (10) weights 1 - 3Q/2 and Q/2.	✅ pass
test_bell_inverts	The weights reproduce through Eqs. (A2) and (A3) the three error rates they were read from, stay non-negative and sum to one.	✅ pass
test_eve_below	Eve learns strictly less than BB84's h2(Q) between the ends, both saturating at 1 at Q = 1/2.	✅ pass
test_key_basis	Permuting the key basis with the first moves sixstate_eve by exactly the difference of the two subtracted h2(e_z).	✅ pass
test_rate_reduces	sixstate_rate collapses onto the single-qubit secret fraction at unit gains, and on error-free single photons onto the plain GLLP difference.	✅ pass