{
  "openapi": "3.0.3",
  "info": { "title": "OpenAPI demo", "version": "1.0.0" },
  "servers": [{ "url": "https://example.invalid" }],
  "paths": {
    "/users": { "get": { "operationId": "listUsers", "summary": "List users", "tags": ["Users"], "responses": { "200": { "description": "OK" } } } },
    "/orders": { "get": { "operationId": "listOrders", "summary": "List orders", "tags": ["Orders"], "responses": { "200": { "description": "OK" } } } },
    "/health": { "get": { "operationId": "health", "summary": "Health", "responses": { "200": { "description": "OK" } } } }
  }
}