{
  "$defs": {
    "Hypothesis": {
      "additionalProperties": false,
      "properties": {
        "id": {
          "title": "Id",
          "type": "string"
        },
        "mechanism": {
          "title": "Mechanism",
          "type": "string"
        },
        "evidence_ids": {
          "items": {
            "type": "string"
          },
          "title": "Evidence Ids",
          "type": "array"
        },
        "opposing_evidence_ids": {
          "items": {
            "type": "string"
          },
          "title": "Opposing Evidence Ids",
          "type": "array"
        },
        "counterexample": {
          "title": "Counterexample",
          "type": "string"
        },
        "obligation_ids": {
          "items": {
            "type": "string"
          },
          "title": "Obligation Ids",
          "type": "array"
        }
      },
      "required": [
        "id",
        "mechanism",
        "evidence_ids",
        "opposing_evidence_ids",
        "counterexample",
        "obligation_ids"
      ],
      "title": "Hypothesis",
      "type": "object"
    },
    "Obligation": {
      "additionalProperties": false,
      "properties": {
        "id": {
          "title": "Id",
          "type": "string"
        },
        "endpoint": {
          "title": "Endpoint",
          "type": "string"
        },
        "unit": {
          "title": "Unit",
          "type": "string"
        },
        "context_ids": {
          "items": {
            "type": "string"
          },
          "title": "Context Ids",
          "type": "array"
        },
        "support": {
          "enum": [
            "calibrated",
            "proxy"
          ],
          "title": "Support",
          "type": "string"
        },
        "threshold": {
          "title": "Threshold",
          "type": "number"
        },
        "direction": {
          "enum": [
            "ge",
            "le"
          ],
          "title": "Direction",
          "type": "string"
        },
        "scale": {
          "exclusiveMinimum": 0,
          "title": "Scale",
          "type": "number"
        },
        "threshold_source": {
          "title": "Threshold Source",
          "type": "string"
        },
        "worker": {
          "title": "Worker",
          "type": "string"
        }
      },
      "required": [
        "id",
        "endpoint",
        "unit",
        "context_ids",
        "support",
        "threshold",
        "direction",
        "scale",
        "threshold_source",
        "worker"
      ],
      "title": "Obligation",
      "type": "object"
    },
    "PlanNode": {
      "additionalProperties": false,
      "properties": {
        "id": {
          "title": "Id",
          "type": "string"
        },
        "tool": {
          "title": "Tool",
          "type": "string"
        },
        "revision": {
          "title": "Revision",
          "type": "string"
        },
        "inputs": {
          "items": {
            "type": "string"
          },
          "title": "Inputs",
          "type": "array"
        },
        "outputs": {
          "items": {
            "type": "string"
          },
          "title": "Outputs",
          "type": "array"
        },
        "cost": {
          "minimum": 1,
          "title": "Cost",
          "type": "integer"
        },
        "attempts": {
          "maximum": 3,
          "minimum": 1,
          "title": "Attempts",
          "type": "integer"
        }
      },
      "required": [
        "id",
        "tool",
        "revision",
        "inputs",
        "outputs",
        "cost",
        "attempts"
      ],
      "title": "PlanNode",
      "type": "object"
    }
  },
  "additionalProperties": false,
  "properties": {
    "task_hash": {
      "title": "Task Hash",
      "type": "string"
    },
    "evidence_snapshot_hash": {
      "title": "Evidence Snapshot Hash",
      "type": "string"
    },
    "hypotheses": {
      "items": {
        "$ref": "#/$defs/Hypothesis"
      },
      "maxItems": 3,
      "title": "Hypotheses",
      "type": "array"
    },
    "obligations": {
      "items": {
        "$ref": "#/$defs/Obligation"
      },
      "title": "Obligations",
      "type": "array"
    },
    "nodes": {
      "items": {
        "$ref": "#/$defs/PlanNode"
      },
      "title": "Nodes",
      "type": "array"
    },
    "required": {
      "items": {
        "type": "string"
      },
      "minItems": 1,
      "title": "Required",
      "type": "array"
    },
    "budget": {
      "minimum": 0,
      "title": "Budget",
      "type": "integer"
    },
    "seed": {
      "title": "Seed",
      "type": "integer"
    },
    "diagnostics": {
      "items": {
        "type": "string"
      },
      "title": "Diagnostics",
      "type": "array"
    }
  },
  "required": [
    "task_hash",
    "evidence_snapshot_hash",
    "hypotheses",
    "obligations",
    "nodes",
    "required",
    "budget",
    "seed",
    "diagnostics"
  ],
  "title": "PlanProposal",
  "type": "object"
}