Function assert_recovered 

pub fn assert_recovered(
    name: impl Into<String>,
    expected_failures: usize,
    actual_failures: usize,
    final_state_ok: bool,
) -> CheckResult

Verify that recovery logic succeeded after a failure schedule.

Returns a CheckResult tagged chaos. The verdict follows REPS section 4:

• final_state_ok = false -> Fail (Critical), regression tag.
• actual_failures < expected_failures AND final_state_ok -> Warn (Warning), indicating under-injection.
• Otherwise -> Pass.

Always carries numeric Evidence for expected_failures, actual_failures, final_state_ok.

Example

use dev_chaos::assert_recovered;
let c = assert_recovered("write_log", 2, 2, true);
assert!(matches!(c.verdict, dev_report::Verdict::Pass));