{
  "$id": "https://tinyzkp.com/schemas/policy-baseline-v1.schema.json",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false,
  "definitions": {
    "SelectedModeV1": {
      "enum": [
        "conventional",
        "bounded"
      ],
      "type": "string"
    }
  },
  "properties": {
    "allowed_modes": {
      "items": {
        "$ref": "#/definitions/SelectedModeV1"
      },
      "type": "array"
    },
    "maximum_peak_resident_bytes": {
      "format": "uint64",
      "minimum": 0.0,
      "type": "integer"
    },
    "maximum_scratch_high_water_bytes": {
      "format": "uint64",
      "minimum": 0.0,
      "type": "integer"
    },
    "maximum_wall_time_millis": {
      "format": "uint64",
      "minimum": 0.0,
      "type": [
        "integer",
        "null"
      ]
    },
    "schema_version": {
      "const": 1,
      "format": "uint32",
      "minimum": 0.0,
      "type": "integer"
    }
  },
  "required": [
    "allowed_modes",
    "maximum_peak_resident_bytes",
    "maximum_scratch_high_water_bytes",
    "schema_version"
  ],
  "title": "PolicyBaselineV1",
  "type": "object"
}