Server

The HTTP server also exposes GET /healthz (liveness), GET /readyz (readiness — returns 503 when the registry is empty), GET /openapi.json (OpenAPI 3.0 spec), and GET /progress (WebSocket stream of automation_file.core.progress.progress_registry snapshots).