SixStatePooled

The two monitor bases enter only through their sum, which is what the decoy refusal turns on

5/5 passed in 43ms

Test	What it does	Result
test_picking_overclaims	Handing sixstate_bound the smaller of two unequal monitor rates over-claims by 0.121743 bit at 0.03 and 0.07, the larger under-claiming.	✅ pass
test_pooled_averages	sixstate_pooled reads two monitor rates at their average and returns that average beside the entropy.	✅ pass
test_regroup_isolates	Eve's information regroups into a term reading only the monitor sum and one only their difference, which peaks at the equal split.	✅ pass
test_sum_only	Over 12245 Bell-compatible splits none lowers the residual entropy below its value at the equal split, so a bound on the sum alone is a bound.	✅ pass
test_wang_form	sixstate_bound at half a summed monitor rate is the bracket of arXiv:2302.13481 Eq. (2) to 1e-14 across the compatible region.	✅ pass