pub fn api_health(_caller: Actor, pool: &State<DbPool>) -> Json<HealthDto>Expand description
Detailed health report for agents — the token-gated JSON twin of the admin health_page
screen (sharing HealthDto). Gated by the Actor guard (clean 401 without a token) so
the internal topology it exposes (corpus paths, pool sizing, dispatcher ports) isn’t
world-readable like the open /healthz once was (KNOWN_ISSUES X-1).