SurfaceTrain

Round-robin DPS from q., and the four assemblies of one cost

4/4 passed in 32ms

Test	What it does	Result
test_costs_ordered	The four assemblies of one privacy-amplification cost are ordered resolved, tagged, entropy at this operating point, the collective bound tightens the tagged form, and no two return the same number.	✅ pass
test_optimum_route	The optimum's rate is the rate at the packet length and threshold it names, and no other length at the same hardware beats it.	✅ pass
test_refined_tightens	Matsuura's refined bound sits between its witness and its tangent, below the closed form it is reported beside, and keys where that form reports exactly zero.	✅ pass
test_rrdps_route	The route is Takesue's Eq. (4) over Yin's receiver model, the rate the three engine calls compose by hand, with the sifted rate and the bit error rate derived.	✅ pass