PairingStrategy

Zeng's postmatching combinatorics and the two exponents it interpolates

7/7 passed in 0ms

Test	What it does	Result
test_long_limit	pairing_pairs(p, 10^12) equals $p/2$ at every $p$: an unbounded interval pairs every click.	✅ pass
test_order_dependent	The unbounded-to-neighbour pairing ratio is $(1+p)/(2p)$, 5000.5 at $p={10}^{-4}$, and the drift excursion rises with the interval: this family is not permutation invariant.	✅ pass
test_pair_ceiling	pairing_pairs is exactly 0.5 when every round announces and under it at p = 0.9, 0.99 and 1.0.	✅ pass
test_short_limit	pairing_pairs(p, 1) equals $p^2/(1+p)$, the neighbour-only limit.	✅ pass
test_span_from_laser	pairing_span returns 3125 at 625 MHz and 5 us, against Zeng's quoted three to four thousand, and 20000 at 4 GHz.	✅ pass
test_span_linear	pairing_pairs(1e-5, l)/l is flat to 2e-3 at l = 2, 10 and 100.	✅ pass
test_span_saturates	pairing_pairs(1e-4, l) never falls with l and reaches 0.774614 of its limit at $l=1/p$, 0.999977 at $l=10/p$.	✅ pass