{
  "project": "CSM_RH",
  "version": "0.5",
  "date": "2026-09-05",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_03": {
    "status": "CLOSED_AS_GATE_MINIMALITY_AUDIT",
    "method_bypass_found": true,
    "strength_bypass_found": false
  },
  "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-005",
      "name": "PRINCIPAL_ZETA_PACKET_FIXED_POWER",
      "status": "OPEN",
      "type": "EXACT_EQUIVALENCE_FRONTIER"
    },
    {
      "id": "F-RH-006",
      "name": "CENTERED_SIGNED_SHIFT_AGGREGATE",
      "abbrev": "CSSA",
      "status": "OPEN",
      "type": "MINIMAL_SIGNED_ARITHMETIC_FRONTIER",
      "source": "AMRAL RH v3.5",
      "gate": "|sum_h R_N(h)| << N^(3-kappa+o(1))"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-006",
      "name": "POSITIVE_GATE_PRINCIPAL_NO_BYPASS",
      "status": "CERTIFIED"
    },
    {
      "id": "O-RH-007",
      "name": "TARGET_STRENGTH_CONSERVATION",
      "status": "CERTIFIED",
      "statement": "Any sufficient fixed-power gate inherits the fixed-zero-strip strength of the target it proves."
    }
  ],
  "survivors": [
    {
      "id": "S-RH-008",
      "name": "SIGNED_TARGET_FAITHFUL_PRINCIPAL_GATE",
      "interface_existence": "CLOSED",
      "fixed_power_estimate": "OPEN"
    },
    {
      "id": "S-RH-009",
      "name": "STRUCTURAL_SIGNED_CANCELLATION_MECHANISM",
      "status": "OPEN"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_04",
    "target": "CENTERED_SIGNED_ARITHMETIC_CANCELLATION",
    "frontier": "F-RH-006",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false,
    "roles": [
      "Designer",
      "Builder",
      "Verifier"
    ]
  }
}