SecurityContract

What the module refuses rather than approximating

6/6 passed in 0ms

Test	What it does	Result
test_bad_target	A target of 0.0 or 1.0 is refused, matching src/std.rs::check_eps.	✅ pass
test_cv_total	The Gaussian path composes neither a total nor a correctness parameter, naming cv_finite's three arguments and its frame error rate.	✅ pass
test_no_allocation	allocate() runs for RRDPS alone, every other family naming the absent published assignment.	✅ pass
test_no_shares	CV and RRDPS refuse an equal share, naming three independent arguments and a maximum over two branches.	✅ pass
test_rrdps_total	RRDPS composes no total, the refusal naming the confidence interval its engine carries none of.	✅ pass
test_stated_wrong	An unregistered family and a budget short of a term are both refused, naming the registered names and the missing term.	✅ pass