{
  "project": "CSM_RH",
  "version": "0.4",
  "date": "2026-09-05",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_02": {
    "status": "CLOSED_AS_REDUCTION_AUDIT",
    "proof_of_EMAE": false,
    "principal_bottleneck_identified": true
  },
  "frontiers": [
    {
      "id": "F-RH-001",
      "name": "GLOBAL_WEIL_ISOLATION_DOMINANCE",
      "status": "OPEN"
    },
    {
      "id": "F-RH-002",
      "name": "GLOBAL_TAIL_INVARIANT",
      "status": "OPEN",
      "tags": [
        "RH_COMPLETE"
      ]
    },
    {
      "id": "F-RH-003",
      "name": "EXCEPTIONAL_MAJOR_ARC_ENERGY",
      "status": "OPEN"
    },
    {
      "id": "F-RH-004A",
      "name": "POINTWISE_MAJOR_ZERO_PACKET_LOWER_ENVELOPE",
      "status": "OPEN",
      "priority": "LOW"
    },
    {
      "id": "F-RH-004B",
      "name": "MAJOR_ZERO_PACKET_EXPONENTIAL_TYPE",
      "status": "CLOSED"
    },
    {
      "id": "F-RH-005",
      "name": "PRINCIPAL_ZETA_PACKET_FIXED_POWER",
      "abbrev": "ZPPF",
      "status": "OPEN",
      "type": "EXACT_EQUIVALENCE_FRONTIER",
      "equivalence": "ZPPF(eta) <=> Theta_zeta <= 1 - eta/2"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-006",
      "name": "POSITIVE_GATE_PRINCIPAL_NO_BYPASS",
      "status": "CERTIFIED",
      "statement": "Any positive fixed-power gate retaining q=1 zeta energy with x^{-o(1)} weight implies the corresponding fixed zeta zero strip."
    }
  ],
  "survivors": [
    {
      "id": "S-RH-008",
      "name": "SIGNED_TARGET_FAITHFUL_PRINCIPAL_GATE",
      "status": "OPEN",
      "role": "SURVIVOR"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_03",
    "target": "PRINCIPAL_GATE_MINIMALITY",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false,
    "roles": [
      "Designer",
      "Builder",
      "Verifier"
    ]
  }
}