Function app_with_health 

pub fn app_with_health(
    registry: Arc<dyn Registry>,
    health: Arc<HealthState>,
) -> Router

Builds the router with the health pulse wired to an existing producer.

The e-stop and the operator credential stay the AuthState::default every other builder but app_with_auth uses; call that one directly to wire real ones alongside a real health.