Skip to content

FuzzCv ​

cv_rate, cv_bounds and cv_finite over the interior and the edges, and the pure-Python budget that feeds them

7/7 passed in 83ms

TestWhat it doesResult
test_budget_exteriorbudget.assemble raises on 35 non-finite loss or hardware parameters and on a loss chain whose decibels underflow T, and admits v_err = +inf with an infinite total.✅ pass
test_cv_boundarycv_rate is finite on its closed edges and one ulp inside them, and at T = 1 its key neither rises nor steps as xi leaves 0.✅ pass
test_cv_estimateOver 400 blocks cv_bounds gives t_lo in [0, t_hat] and xi_hi >= 0, and cv_finite a key >= 0, t_min in [0, T] and Delta > 0.✅ pass
test_cv_exteriorcv_rate's 33 exterior points, and cv_bounds and cv_finite outside their domains, raise a ValueError naming the parameter.✅ pass
test_cv_extremeOver 80 points with V_A across ten decades I_AB is finite, chi_BE and key are not NaN, and past V_A = 1e3 or xi = 1 the key is not positive.✅ pass
test_cv_interiorcv_rate over 600 interior hardware points is finite, with I_AB, chi_BE >= 0 and key = beta*I_AB - chi_BE.✅ pass
test_cv_quantilez_pe over 400 failure probabilities is finite, falling and positive, above 30 at eps = 1e-300 where 1 - eps/2 rounds to 1, 1.959964 at eps = 0.05, and refuses eps at 0 or 1.✅ pass