RrdpsRefined

Matsuura's conditional-entropy bound, its bracket, and what it buys over tagging

6/6 passed in 646ms

Test	What it does	Result
test_bracket_closes	bound, the only certificate of the three, sits between witness -- H(X|Y) at the distribution the ascent stopped on -- and the tangent cap, closing to under 1e-11.	✅ pass
test_bracket_refused	A tolerance tighter than the bracket the ascent closed is refused, naming the width reached.	✅ pass
test_entropy_agrees	rrdps_entropy is rrdps_polytope's certified value bit for bit.	✅ pass
test_packet_domain	rrdps_polytope refuses a train past 250 pulses by name, one under 2 pulses, and a p_src or q outside [0, 1].	✅ pass
test_refined_tightens	rrdps_polytope certifies less leakage than the GLLP tagging form and tolerates a higher bit error rate, distilling at l = 32, p_src = 0.2 where the closed form does not.	✅ pass
test_silent_source	At p_src = 0 every row of rrdps_polytope is exactly zero and neither solver ran.	✅ pass