#[test]
fn kiss_cov_drain_idle_witness_a() {
DrainHealthVerdict();
DrainIdleLabels();
DrainIdleHealthCtx();
DrainIdleTurn();
DrainIdleClock();
silence_error_detail();
silence_error_labels_bridge_quiet();
await_next_with_idle_in_turn();
reset_idle_window();
check_max_deadline();
await_next_with_idle();
await_next_with_idle_using();
sample_drain_health();
drain_sample_pids();
drain_sample_pids_blocking();
aggregate_pid_health();
aggregate_health_outcomes();
}
#[test]
fn kiss_cov_drain_idle_witness_b() {
with_idle_ms_async();
set_idle_ms();
set_policy_idle_ms();
await_next_times_out_without_health_extend();
await_next_delivers_when_read_completes();
clock_busy_extends_until_max_wait();
clock_dead_fails_immediately();
clock_hung_fails_only_after_idle_deadline();
drain_sample_pids_falls_back_to_pgid();
aggregate_health_policy_matches_plan();
injected_dead_health_fails_at_first_slice();
injected_hung_health_waits_full_idle();
missing_pgid_gets_no_health_extend();
repeated_busy_health_stops_at_exactly_two_idle_windows();
shared_turn_budget_caps_cumulative_event_wall_time();
drain_idle_turn_check_deadline_and_reset_idle_window();
real_health_sampling_respects_two_idle_wall_cap();
event_arriving_during_health_sampling_wins_race();
}
#[test]
fn kiss_cov_drain_idle_witness_c() {
kiss_cov_drain_idle_names();
progress_events_keep_drain_alive_past_idle_budget();
heartbeat_only_turn_extends_past_base_cap();
injected_busy_health_extends_then_delivers_event();
continuous_events_hit_cumulative_turn_deadline();
maps_progress_for_protocol_compatibility();
run_progress_prompt();
tests_set_idle_ms_for_test();
tests_restore_idle_ms_for_test();
kiss_cov_drain_idle_policy_names();
kiss_cov_drain_idle_witness_a();
kiss_cov_drain_idle_witness_b();
kiss_cov_drain_idle_witness_c();
}