FuzzDmcs

M-PSK constellations, their mutual information and the correlation bound

4/4 passed in 48ms

Test	What it does	Result
test_dm_boundary	dm_moments is finite at m in {3, 64} and alpha in {1e-6, 100}, a perfect channel keys, and dm_holevo evaluates at bits = inf and at z = 0, where the discriminant vanishes.	✅ pass
test_dm_exterior	Every M-PSK entry point raises on 2 or 65 states, alpha outside [1e-6, 100], a negative z, bits <= 0, and channel arguments outside their domains.	✅ pass
test_dm_interior	Over 120 constellations of 3 to 64 states every amplitude lies on the circle, V_A = 2*alpha^2, the weight is >= 0, z_lin <= z_gauss and I <= min(I_gauss, log2 m).	✅ pass
test_dm_rate	Over 180 M-PSK rates the certified correlation z is clamped at 0, I_AB <= log2(m), chi_BE is not NaN and key <= beta*I_AB.	✅ pass