{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://getzero.dev/contracts/zero.engine.proof.v1.schema.json",
  "title": "ZERO Runtime proof v1",
  "description": "Public machine-readable contract for ZERO Runtime proof systems and safety boundaries.",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schema_version",
    "kind",
    "public",
    "generated_at",
    "venue",
    "contract_schema",
    "proof_url",
    "capabilities_url",
    "evidence_depth_url",
    "safety_boundary",
    "proof_systems",
    "current_q1_gate"
  ],
  "properties": {
    "schema_version": { "const": "zero.engine.proof.v1" },
    "kind": { "const": "engine_proof_contract" },
    "public": { "const": true },
    "generated_at": { "type": "string", "format": "date-time" },
    "contract_authored_at": { "type": "string", "format": "date-time" },
    "venue": { "const": "Hyperliquid perpetuals" },
    "contract_schema": { "const": "https://getzero.dev/contracts/zero.engine.proof.v1.schema.json" },
    "proof_url": { "const": "https://getzero.dev/api/runtime?q=proof" },
    "capabilities_url": { "const": "https://getzero.dev/api/runtime?q=capabilities" },
    "evidence_depth_url": { "const": "https://getzero.dev/api/runtime?q=evidence-depth" },
    "safety_boundary": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "read_only",
        "private_key_custody",
        "live_execution_requires_operator_lease",
        "live_actions_exposed",
        "auto_execution_enabled",
        "allowed_live_actions",
        "blocked_actions"
      ],
      "properties": {
        "read_only": { "const": true },
        "private_key_custody": { "const": false },
        "live_execution_requires_operator_lease": { "const": true },
        "live_actions_exposed": { "const": false },
        "auto_execution_enabled": { "const": false },
        "allowed_live_actions": {
          "type": "array",
          "minItems": 3,
          "items": { "enum": ["order", "cancel", "scheduleCancel"] }
        },
        "blocked_actions": {
          "type": "array",
          "minItems": 5,
          "items": { "type": "string", "minLength": 8 }
        }
      }
    },
    "proof_systems": {
      "type": "array",
      "minItems": 6,
      "maxItems": 6,
      "items": { "$ref": "#/$defs/proof_system" },
      "allOf": [
        { "contains": { "type": "object", "required": ["id"], "properties": { "id": { "const": "live_canary" } } } },
        { "contains": { "type": "object", "required": ["id"], "properties": { "id": { "const": "immune_system" } } } },
        { "contains": { "type": "object", "required": ["id"], "properties": { "id": { "const": "circuit_breaker" } } } },
        { "contains": { "type": "object", "required": ["id"], "properties": { "id": { "const": "refusals" } } } },
        { "contains": { "type": "object", "required": ["id"], "properties": { "id": { "const": "near_misses" } } } },
        { "contains": { "type": "object", "required": ["id"], "properties": { "id": { "const": "execution_quality" } } } }
      ]
    },
    "current_q1_gate": {
      "type": "object",
      "additionalProperties": false,
      "required": ["key", "status", "derived_at", "source", "required_to_promote_q1_public_proof"],
      "properties": {
        "key": { "const": "q1_public_proof_complete" },
        "status": { "enum": ["public_chain_confirmed", "pending_public_chain", "unverified"] },
        "derived_at": { "type": "string", "format": "date-time" },
        "source": { "const": "foundation_evidence.journal_finality" },
        "reason": { "type": "string", "minLength": 8 },
        "observed": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "public_chain_confirmed_roots",
            "calendar_attested_roots",
            "total_roots",
            "pending_public_chain_roots",
            "missing_receipt_roots",
            "health",
            "finality_health_status"
          ],
          "properties": {
            "public_chain_confirmed_roots": { "type": "number", "minimum": 0 },
            "calendar_attested_roots": { "type": "number", "minimum": 0 },
            "total_roots": { "type": "number", "minimum": 0 },
            "pending_public_chain_roots": { "type": "number", "minimum": 0 },
            "missing_receipt_roots": { "type": "number", "minimum": 0 },
            "health": { "type": "string", "minLength": 1 },
            "finality_health_status": { "enum": ["ok", "degraded"] }
          }
        },
        "required_to_promote_q1_public_proof": {
          "type": "array",
          "minItems": 3,
          "items": { "type": "string", "minLength": 16 }
        }
      },
      "allOf": [
        {
          "if": { "properties": { "status": { "const": "public_chain_confirmed" } } },
          "then": {
            "required": ["observed"],
            "properties": {
              "observed": {
                "properties": {
                  "public_chain_confirmed_roots": { "minimum": 3 },
                  "finality_health_status": { "const": "ok" }
                }
              }
            }
          }
        },
        {
          "if": { "properties": { "status": { "const": "unverified" } } },
          "then": { "required": ["reason"] }
        }
      ]
    }
  },
  "$defs": {
    "proof_system": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "id",
        "label",
        "purpose",
        "status",
        "public_surface",
        "engine_artifacts",
        "engine_modules",
        "scripts",
        "public_read_paths",
        "mcp_tools",
        "promotion_gates"
      ],
      "properties": {
        "id": {
          "enum": [
            "live_canary",
            "immune_system",
            "circuit_breaker",
            "refusals",
            "near_misses",
            "execution_quality"
          ]
        },
        "label": { "type": "string", "minLength": 3 },
        "purpose": { "type": "string", "minLength": 24 },
        "status": { "enum": ["evidence_producer_available", "calibrating", "blocked"] },
        "public_surface": { "type": "string", "minLength": 3 },
        "engine_artifacts": {
          "type": "array",
          "minItems": 1,
          "items": { "type": "string", "minLength": 8 }
        },
        "engine_modules": {
          "type": "array",
          "minItems": 1,
          "items": { "type": "string", "pattern": "^zero\\." }
        },
        "scripts": {
          "type": "array",
          "items": { "type": "string", "pattern": "^engine/scripts/" }
        },
        "public_read_paths": {
          "type": "array",
          "minItems": 1,
          "items": { "type": "string", "pattern": "^https://getzero\\.dev/" }
        },
        "mcp_tools": {
          "type": "array",
          "minItems": 1,
          "items": { "type": "string", "pattern": "^zero_" }
        },
        "promotion_gates": {
          "type": "array",
          "minItems": 2,
          "items": { "type": "string", "minLength": 8 }
        }
      }
    }
  }
}