{
  "project": "CSM_RH",
  "version": "1.7",
  "date": "2026-09-05",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_15": {
    "status": "CLOSED_AS_DIRECT_CURRENT_TECHNOLOGY_AUDIT",
    "fixed_power_proved": false,
    "representation_generation_should_stop": true
  },
  "frontiers": [
    {
      "id": "F-RH-010",
      "name": "PRIME_ERROR_SELF_CORRELATION",
      "abbrev": "PESC",
      "status": "OPEN",
      "role": "CANONICAL_TARGET"
    },
    {
      "id": "F-RH-015",
      "name": "POWER_ACCURATE_SIGNED_AVERAGE_HARDY_LITTLEWOOD",
      "abbrev": "PASAHL",
      "status": "INTERFACE_EQUIVALENT_NOT_LOWER_STRENGTH"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-035",
      "name": "AVERAGED_HARDY_LITTLEWOOD_FIXED_POWER_PRECISION_FLOOR",
      "status": "CERTIFIED_AS_CURRENT_THEOREM_AUDIT"
    },
    {
      "id": "O-RH-036",
      "name": "BDH_Q1_CONSTANT_KERNEL_ISOLATION",
      "status": "CERTIFIED"
    },
    {
      "id": "O-RH-037",
      "name": "CURRENT_ARITHMETIC_SHELL_EXHAUSTION",
      "status": "CERTIFIED_RELATIVE_TO_AUDITED_ROUTES"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_16",
    "target": "DIRECT_PESC_THEOREM_GENERATION",
    "frontier": "F-RH-010",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false,
    "roles": [
      "Designer",
      "Builder",
      "Verifier"
    ]
  }
}