PairingDecoy

What the pair intensity ladder inherits from the one-dimensional layer

9/9 passed in 5ms

Test	What it does	Result
test_basis_table	Zeng's basis assignment gives 0.5 Z, 0.13 X, 0.25 reserved and 0.12 dropped, partitioning one round pair.	✅ pass
test_drop_is_real	The dropped share is zero only when the decoy is never sent.	✅ pass
test_fibre_transfers	The single arm at 300 km is eta_d * 10^(-alpha*150/10).	✅ pass
test_ladder_collapses	A signal at twice the decoy merges two of the six rungs -- six entries, five values -- and is not refused.	✅ pass
test_ladder_normalised	The six rung probabilities sum to one at three settings triples.	✅ pass
test_lp_has_no_grid	mdi_rect names both senders' intensities, pairing_click names one, and no pairing_ name resolves a gain by intensity pair or by phase slice.	✅ pass
test_lp_reaches_closed	lp_dual climbs to pairing_yield's closed form to 1e-7 and stops under it at four spans, so a solver tightens nothing here.	✅ pass
test_six_rungs	pairing_ladder returns six distinct pair intensities in ascending order from three per-round settings, four more than decoy_bounds is written over.	✅ pass
test_z_pairs_transfer	A Z-pair has one empty slot, so the six rungs carry the [signal, decoy, vacuum] ladder mdi_y11 takes, returning 9.617759641e-05 on it unchanged.	✅ pass