{
  "project": "CSM_RH",
  "version": "0.7",
  "date": "2026-09-05",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_05": {
    "status": "CLOSED_AS_CONTRACTION_CLASSIFICATION_AUDIT",
    "fixed_power_proved": false,
    "main_result": "Linear cumulative log-contraction, not merely lambda<1 pointwise, is the generalized recurrence-level success criterion."
  },
  "frontiers": [
    {
      "id": "F-RH-006",
      "name": "CENTERED_SIGNED_SHIFT_AGGREGATE",
      "status": "OPEN"
    },
    {
      "id": "F-RH-007",
      "name": "MULTIPLICATIVE_GRAM_GAP_CERTIFICATE",
      "abbrev": "MGGC",
      "status": "OPEN"
    }
  ],
  "obstructions": [
    {
      "id": "O-RH-010",
      "name": "EXACT_MULTIPLICATIVE_DECOMPOSITION_NEUTRALITY",
      "status": "CERTIFIED"
    },
    {
      "id": "O-RH-011",
      "name": "SUBLINEAR_CONTRACTION_MASS",
      "status": "CERTIFIED_AS_RECURRENCE_OBSTRUCTION"
    }
  ],
  "survivors": [
    {
      "id": "S-RH-012",
      "name": "LINEAR_CUMULATIVE_CONTRACTION_MASS",
      "status": "OPEN"
    },
    {
      "id": "S-RH-013",
      "name": "SIGNED_MULTIPLICATIVE_GRAM_CANCELLATION",
      "status": "OPEN"
    }
  ],
  "next_campaign": {
    "id": "CSM_RH_Campaign_06",
    "target": "MULTIPLICATIVE_GRAM_GAP",
    "preferred_worker_provider": "GLM-5.3-Flash",
    "provider_is_protocol": false,
    "roles": [
      "Designer",
      "Builder",
      "Verifier"
    ]
  }
}