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
| Test | What it does | Result |
|---|---|---|
test_budget_exterior | budget.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_boundary | cv_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_estimate | Over 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_exterior | cv_rate's 33 exterior points, and cv_bounds and cv_finite outside their domains, raise a ValueError naming the parameter. | ✅ pass |
test_cv_extreme | Over 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_interior | cv_rate over 600 interior hardware points is finite, with I_AB, chi_BE >= 0 and key = beta*I_AB - chi_BE. | ✅ pass |
test_cv_quantile | z_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 |