{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "$id": "https://concert.foundation/signet/v0.1/coverage-policy.schema.json",
  "title": "CoveragePolicy",
  "description": "Agent-layer Policy subtype (policyType: coverageCorridor): the acceptable hedged-ratio band per market and horizon, conditioned on declared classification bands. The same corridor that constrains a human decision bounds a synthetic agent's Mandate. NORMATIVE: breachHandling rules MUST be ordered escalation-first and terminate in a catch-all (conformance rule 3).",
  "type": "object",
  "required": [
    "id",
    "policyType",
    "classification",
    "corridors",
    "marketClassifications",
    "breachHandling"
  ],
  "additionalProperties": false,
  "properties": {
    "@context": {
      "type": [
        "string",
        "object",
        "array"
      ]
    },
    "type": {
      "const": "Policy"
    },
    "id": {
      "$ref": "definitions.schema.json#/definitions/Identifier"
    },
    "policyType": {
      "const": "coverageCorridor"
    },
    "humanReadable": {
      "type": "string"
    },
    "classification": {
      "type": "object",
      "required": [
        "dimensions"
      ],
      "additionalProperties": false,
      "properties": {
        "dimensions": {
          "type": "array",
          "minItems": 1,
          "items": {
            "type": "object",
            "required": [
              "name",
              "bands"
            ],
            "additionalProperties": false,
            "properties": {
              "name": {
                "type": "string"
              },
              "bands": {
                "type": "array",
                "minItems": 1,
                "items": {
                  "type": "string"
                }
              }
            }
          }
        }
      }
    },
    "corridors": {
      "type": "array",
      "minItems": 1,
      "items": {
        "type": "object",
        "required": [
          "bands",
          "horizon",
          "hedgedRatio"
        ],
        "additionalProperties": false,
        "properties": {
          "bands": {
            "type": "object"
          },
          "horizon": {
            "type": "string"
          },
          "hedgedRatio": {
            "type": "object",
            "required": [
              "minimum",
              "target",
              "maximum"
            ],
            "additionalProperties": false,
            "properties": {
              "minimum": {
                "type": "number"
              },
              "target": {
                "type": "number"
              },
              "maximum": {
                "type": "number"
              }
            }
          }
        }
      }
    },
    "marketClassifications": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "market",
          "bands"
        ],
        "additionalProperties": false,
        "properties": {
          "market": {
            "type": "string"
          },
          "bands": {
            "type": "object"
          }
        }
      }
    },
    "breachHandling": {
      "type": "object",
      "required": [
        "rules"
      ],
      "additionalProperties": false,
      "properties": {
        "rules": {
          "type": "array",
          "minItems": 1,
          "items": {
            "type": "object",
            "required": [
              "when",
              "action"
            ],
            "additionalProperties": false,
            "properties": {
              "when": {
                "type": "string"
              },
              "action": {
                "type": "string"
              }
            }
          }
        }
      }
    },
    "validity": {
      "$ref": "definitions.schema.json#/definitions/Period"
    }
  }
}