Unify health computation
Problem: The backend computes health, but the frontend re-computes it in isServiceHealthy() for provers (combining status + test + gRPC-Web probe). Two different health computations is fragile.
Solution: After the first point, the backend already merges prover health. Simplify the frontend to only override for gRPC-Web probes (the one browser-only signal).
- Simplify isServiceHealthy() to: trust service.status, only override if gRPC-Web probe for that service's URL has failed
Unify health computation
Problem: The backend computes health, but the frontend re-computes it in isServiceHealthy() for provers (combining status + test + gRPC-Web probe). Two different health computations is fragile.
Solution: After the first point, the backend already merges prover health. Simplify the frontend to only override for gRPC-Web probes (the one browser-only signal).