{
  "project": "CSM_RH",
  "version": "0.3",
  "date": "2026-09-04",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "semantic_corrections": [
    {
      "object": "GLM",
      "withdrawn": [
        "GLM_Backward Search",
        "Goal-Led Meta-Research"
      ],
      "canonical": "GLM-5.3-Flash or another replaceable worker/provider implementation",
      "protocol": "CSM_RH"
    }
  ],
  "closed": [
    {
      "id": "B-RH-007",
      "name": "HILBERT_PACKET_TO_EXACT_EXPONENTIAL_TYPE",
      "status": "CERTIFIED",
      "result": "tau_F = Theta_zeta"
    },
    {
      "id": "F-RH-004B",
      "name": "MAJOR_ZERO_PACKET_EXPONENTIAL_TYPE",
      "status": "CLOSED",
      "result": "tau_E = 1 + 2 Theta_zeta"
    },
    {
      "id": "B-RH-008",
      "name": "EMAE_TO_FIXED_ZERO_STRIP",
      "status": "CERTIFIED",
      "result": "EMAE(eta) => Theta_zeta <= 1 - eta/2"
    }
  ],
  "open": [
    {
      "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",
      "strength": {
        "eta>0": "S2_FIXED_ZERO_STRIP",
        "eta=1": "S3_RH_LEVEL"
      }
    },
    {
      "id": "F-RH-004A",
      "name": "POINTWISE_MAJOR_ZERO_PACKET_LOWER_ENVELOPE",
      "status": "OPEN",
      "priority": "LOW"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-005-M",
      "name": "MAJOR_ARC_AGGREGATION_ISOLATION",
      "old_status": "OPEN",
      "new_status": "CLOSED_AT_EXPONENTIAL_TYPE"
    }
  ],
  "survivors": [
    {
      "id": "S-RH-007",
      "name": "LOSSLESS_WITNESS_GLOBALIZER",
      "status": "PARTIALLY_CLOSED",
      "major_arc": "CLOSED",
      "weil": "OPEN"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_02",
    "target": "ARITHMETIC_EMAE_FIXED_POWER",
    "worker_provider_preference": "GLM-5.3-Flash",
    "roles": [
      "Designer",
      "Builder",
      "Verifier"
    ],
    "final_authority": "frontier model / residual-risk judge",
    "forbidden_shortcuts": [
      "density-only",
      "representation-only",
      "shrinking-aperture false saving",
      "moving-band sensitivity omission",
      "isolated-channel dominance assumption",
      "finite-to-global promotion"
    ]
  }
}