RrdpsMultiphoton

Eq. (1) past one photon: a concave maximisation certified by a tangent plane

6/6 passed in 59ms

Test	What it does	Result
test_collective_rises_and_stays_tighter	rrdps_collective rises strictly with the photon number, is exactly 0 on vacuum, and stays below rrdps_leak at every count the two share.	✅ pass
test_multiphoton_meets_the_closed_form	At one photon rrdps_simplex agrees with rrdps_collective's bisection to 1e-11 and never reads the smaller.	✅ pass
test_multiphoton_tolerance_rises	The tolerance off Eq. (1) exceeds the one off the original bound at the same l and nu.	✅ pass
test_ten_photon_bound_reproduces	rrdps_collective(65, 10) is the 0.513 Yin et al.'s Methods print, under rrdps_leak at the same threshold.	✅ pass
test_tight_ask_is_refused	rrdps_simplex refuses a bracket narrower than the ascent closes, naming its width.	✅ pass
test_two_certificates_agree	rrdps_simplex's programme value sits under the one-plane tangent cap and within 1e-9 of the witness, with both solvers having run.	✅ pass