{
  "campaign_id": "CSM_RH_Campaign_03",
  "version": "0.1",
  "target": "PRINCIPAL_GATE_MINIMALITY",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "roles": {
    "Designer": {
      "goal": "Generate a target-faithful principal q=1 gate that could be strictly weaker than positive ZPPF.",
      "candidate_families": [
        "SIGNED_PRINCIPAL_MISMATCH",
        "LINEARIZED_POLE_RESIDUAL",
        "POLARIZED_CROSS_CORRELATION",
        "SCALE_FREQUENCY_SIGNED_TRANSFORM",
        "DIRECT_PAIR_SPECTRUM_DIFFERENCE",
        "CERTIFIED_PRINCIPAL_SUBTERM_CANCELLATION"
      ],
      "must_return": [
        "statement",
        "original_target_implication",
        "principal_zeta_response",
        "sign_structure",
        "known_positive_dominance",
        "strength_prediction",
        "failure_modes"
      ]
    },
    "Builder": {
      "goal": "Derive the candidate gate from the original prime-pair or pair-spectrum target without deleting the zeta packet.",
      "must_return": [
        "exact_algebra",
        "explicit_formula_mapping",
        "quantifier_order",
        "uniformity",
        "cancellation_certificate",
        "remaining_remainders",
        "strength_ledger"
      ]
    },
    "Verifier": {
      "goal": "Determine whether the candidate is genuinely weaker or merely hides ZPPF.",
      "must_return": [
        "target_fidelity_test",
        "O-RH-006_test",
        "hidden_fixed_strip_test",
        "principal_packet_deletion_test",
        "single_zero_test",
        "near_extremal_family_test",
        "counterexample_attempt",
        "verdict"
      ]
    }
  },
  "automatic_promotion": false
}