graph.list

{
  "additionalProperties": false,
  "description": "No input.",
  "title": "Empty",
  "type": "object"
}

{
  "$defs": {
    "GraphInfo": {
      "description": "One graph the executable can derive: what it is, without deriving it.",
      "properties": {
        "description": {
          "description": "One paragraph.",
          "type": "string"
        },
        "id": {
          "description": "The identity.",
          "type": "string"
        },
        "source": {
          "description": "What it is derived from.",
          "type": "string"
        },
        "title": {
          "description": "The short name.",
          "type": "string"
        }
      },
      "required": [
        "id",
        "title",
        "description",
        "source"
      ],
      "type": "object"
    }
  },
  "description": "Every graph this executable derives.",
  "properties": {
    "count": {
      "description": "How many.",
      "format": "uint",
      "minimum": 0,
      "type": "integer"
    },
    "graphs": {
      "description": "Each, described but not derived.",
      "items": {
        "$ref": "#/$defs/GraphInfo"
      },
      "type": "array"
    }
  },
  "required": [
    "count",
    "graphs"
  ],
  "title": "GraphList",
  "type": "object"
}