{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "urn:carlos:maintenance:checker-launch:v2",
  "title": "Private checker launch context v2",
  "description": "Shape only. Exact UTF-8 byte bounds, lexical integer canonicality, duplicates, shared route validators, canonical IDs/timestamps and trusted construction are normative in maintenance-checker-launch.md. This schema grants no authority.",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "version",
    "execution_kind",
    "account",
    "app",
    "host",
    "operation_id",
    "request_id",
    "attempt_id",
    "request_digest",
    "record_identity",
    "artifact_digest",
    "environment_envelope_digest",
    "input_sha256",
    "expected_state_sha256",
    "guard_generation",
    "database_path",
    "database_device",
    "database_inode",
    "execution_deadline",
    "closed_checkpoint"
  ],
  "properties": {
    "version": {
      "const": 2
    },
    "execution_kind": {
      "const": "compatibility-check"
    },
    "account": {
      "type": "string",
      "minLength": 1,
      "maxLength": 253
    },
    "app": {
      "type": "string",
      "minLength": 1,
      "maxLength": 253
    },
    "host": {
      "type": "string",
      "minLength": 1,
      "maxLength": 253
    },
    "operation_id": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]{43}$"
    },
    "request_id": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]{43}$"
    },
    "attempt_id": {
      "type": "string",
      "pattern": "^[A-Za-z0-9_-]{43}$"
    },
    "request_digest": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "record_identity": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "artifact_digest": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "environment_envelope_digest": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "input_sha256": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "expected_state_sha256": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "guard_generation": {
      "type": "integer",
      "minimum": 1,
      "maximum": 9223372036854775807
    },
    "database_path": {
      "type": "string",
      "minLength": 1,
      "maxLength": 1024,
      "pattern": "^/[^\\u0000]*$"
    },
    "database_device": {
      "type": "integer",
      "minimum": 1,
      "maximum": 18446744073709551615
    },
    "database_inode": {
      "type": "integer",
      "minimum": 1,
      "maximum": 18446744073709551615
    },
    "execution_deadline": {
      "type": "string",
      "format": "date-time",
      "maxLength": 30
    },
    "closed_checkpoint": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "version",
        "preparation_id",
        "completed_at",
        "main_length",
        "main_sha256",
        "evidence_sha256"
      ],
      "properties": {
        "version": {
          "const": 1
        },
        "preparation_id": {
          "type": "string",
          "pattern": "^[A-Za-z0-9_-]{43}$"
        },
        "completed_at": {
          "type": "string",
          "format": "date-time",
          "maxLength": 30
        },
        "main_length": {
          "type": "integer",
          "minimum": 1,
          "maximum": 268435456
        },
        "main_sha256": {
          "type": "string",
          "pattern": "^[a-f0-9]{64}$"
        },
        "evidence_sha256": {
          "type": "string",
          "pattern": "^[a-f0-9]{64}$"
        }
      }
    }
  }
}