{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "directory": {
      "type": "string"
    },
    "agent": {
      "type": "string",
      "enum": ["codex", "claude", "both"]
    },
    "created": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "updated": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "unchanged": {
      "type": "array",
      "items": {
        "type": "string"
      }
    },
    "next": {
      "type": "string"
    }
  },
  "required": ["directory", "agent", "created", "updated", "unchanged", "next"],
  "additionalProperties": {},
  "title": "Agent installation"
}