five_healthy_gate_proved=true
exhausted_clear_all_proved=true
direct_exit_at_threshold_observed=true
replay_idempotent_proved=true
sync_failure_propagation_proved=true
delivery_failure_propagation_proved=true