Rendered from apps/portal/public/docs/openapi.json, generated by scripts/public-api-docs.mjs — the same document the raw download and Postman collection come from.