{
  "project": "CSM_RH",
  "state_version": "0.2",
  "date": "2026-09-04",
  "root": {
    "id": "T-RH-000",
    "status": "OPEN",
    "rh_proved": false,
    "rh_disproved": false,
    "global_rh_certificate": false
  },
  "paper00_corrections": [
    {
      "object": "QO-RH-A",
      "old": "QUOTIENT_CANDIDATE",
      "new": "NOT_PROMOTED",
      "reason": "shared witness does not establish equivalent proof obligations; strength and loss profiles differ"
    },
    {
      "object": "F-RH-003 strength audit",
      "old": "isolated channel scale treated as if it directly forced a zero strip",
      "new": "zero-strip implication is conditional on a packet-isolation lower-bound bridge (MZI)",
      "reason": "zero-zero interference inside a character packet can invalidate isolated-channel-to-full-energy lower-bound transfer"
    }
  ],
  "created_objects": {
    "confluence": [
      {
        "id": "OC-RH-A",
        "name": "NEAR_EXTREMAL_ZERO_WITNESS_CONFLUENCE",
        "status": "CERTIFIED",
        "members": [
          "WEIL_LOCAL_ORBIT_WITNESS",
          "FIXED_APERTURE_SPECTRAL_WITNESS",
          "MAJOR_ARC_ISOLATED_ENERGY_WITNESS"
        ]
      }
    ],
    "obstructions": [
      {
        "id": "O-RH-005",
        "name": "AGGREGATION_ISOLATION_BARRIER",
        "status": "ACTIVE_SCHEMA"
      },
      {
        "id": "O-RH-005-W",
        "name": "WEIL_AGGREGATION_ISOLATION",
        "status": "OPEN"
      },
      {
        "id": "O-RH-005-A",
        "name": "FIXED_APERTURE_AGGREGATION_ISOLATION",
        "status": "CLOSED"
      },
      {
        "id": "O-RH-005-M",
        "name": "MAJOR_ARC_AGGREGATION_ISOLATION",
        "status": "OPEN"
      }
    ],
    "frontiers": [
      {
        "id": "F-RH-004",
        "name": "MAJOR_ZERO_PACKET_ISOLATION",
        "abbrev": "MZI",
        "status": "OPEN"
      }
    ],
    "survivors": [
      {
        "id": "S-RH-007",
        "name": "LOSSLESS_WITNESS_GLOBALIZER",
        "status": "OPEN",
        "role": "SURVIVOR"
      }
    ],
    "homologies": [
      {
        "id": "H-RH-001",
        "name": "WEIL_MAJOR_AGGREGATION_ISOLATION_HOMOLOGY",
        "status": "CERTIFIED_STRUCTURAL",
        "authority": "NON_EQUIVALENCE"
      }
    ]
  },
  "frontiers": [
    {
      "id": "F-RH-001",
      "name": "GLOBAL_WEIL_ISOLATION_DOMINANCE",
      "status": "OPEN",
      "type": "CONSTRUCTIVE_ISOLATION"
    },
    {
      "id": "F-RH-002",
      "name": "GLOBAL_TAIL_INVARIANT",
      "status": "OPEN",
      "type": "RH_COMPLETE_ESTIMATE",
      "tags": [
        "RH_COMPLETE"
      ]
    },
    {
      "id": "F-RH-003",
      "name": "EXCEPTIONAL_MAJOR_ARC_ENERGY",
      "status": "OPEN",
      "type": "ENERGY_UPPER_BOUND"
    },
    {
      "id": "F-RH-004",
      "name": "MAJOR_ZERO_PACKET_ISOLATION",
      "status": "OPEN",
      "type": "ENERGY_ISOLATION"
    }
  ],
  "next_campaign": {
    "id": "GLM-RH-C01",
    "method": "GLM_Backward Search",
    "scope": "Goal-Led Meta-Research",
    "target": "LOSSLESS_WITNESS_GLOBALIZER",
    "definition_first": true,
    "parent_frontiers": [
      "F-RH-001",
      "F-RH-004"
    ]
  }
}