{
  "project": "CSM_RH",
  "version": "1.52",
  "date": "2026-09-08",
  "root": {
    "RH_PROVED": false,
    "RH_DISPROVED": false,
    "GLOBAL_RH_CERTIFICATE": false,
    "status": "OPEN"
  },
  "campaign_46": {
    "status": "ACTIVE_CORRECTED_LOCAL_ENVELOPE_FRONTIER",
    "preferred_frontier": "F-RH-017-v3",
    "gate": {
      "threshold": "nu>kappa/2",
      "exception": "c>min(tau,kappa/2)"
    }
  },
  "bridges_added": [
    {
      "id": "B-RH-069",
      "name": "SEEDED_LOCAL_VON_MANGOLDT_INCREMENT_ENVELOPE",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-070",
      "name": "LOCAL_ENVELOPE_SEEDED_EXCEPTIONAL_SET_TO_GLOBAL_LP_GAIN",
      "status": "CERTIFIED"
    },
    {
      "id": "B-RH-071",
      "name": "CORRECTED_LOCAL_ENVELOPE_L1_PESC_AMPLIFICATION_LAW",
      "status": "CERTIFIED"
    }
  ],
  "bridges_revised": [
    {
      "old": "B-RH-067",
      "new": "B-RH-067R",
      "name": "POLYNOMIAL_SCALE_PINTZ_MULTIPLICATIVE_SHORT_INTERVAL_FORCING",
      "status": "CERTIFIED_AT_FIXED_POLYNOMIAL_SCALE"
    }
  ],
  "obstructions_added": [
    {
      "id": "O-RH-144",
      "name": "LOCAL_INCREMENT_CONSTRAINED_RESIDUE_CHAIN_MODEL_SATURATES_C_EQUALS_MIN_D_TAU",
      "status": "CERTIFIED"
    }
  ],
  "corrections": [
    {
      "id": "C-RH-001",
      "statement": "Paper 60 global c>tau sharpness corrected to c>min(tau,kappa/2); old statement remains correct for tau<=kappa/2."
    },
    {
      "id": "C-RH-002",
      "statement": "Paper 60 Pintz uniform-h wording narrowed to fixed polynomial scale h=Y^-tau, 0<tau<1."
    }
  ],
  "next": {
    "target": "PROVE_F_RH_017_v3_ARITHMETIC_UPPER"
  }
}