{
  "campaign_id": "CSM_RH_Campaign_10",
  "version": "0.1",
  "target": "PRIME_ONLY_DYADIC_ENERGY_ATTACK",
  "frontier_id": "F-RH-009",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "canonical_target": "J_theta(N)=sum_{j=N}^{2N-1}(theta(j)-j)^2",
  "required_goal": "Prove J_theta(N) << N^(3-kappa+o(1)) for some fixed 0<kappa<1/2, or identify the first irreducible new prime-correlation lemma.",
  "mechanism_families": [
    "DIRECT_PRIME_SUPPORT_ENERGY",
    "PRIME_ONLY_SELBERG_SYMMETRY",
    "SIGNED_SIEVE_WEIGHT_APPROXIMATION",
    "TARGET_FIRST_BILINEAR_DECOMPOSITION",
    "DYADIC_SCALE_SELF_IMPROVEMENT",
    "NEW_PRIME_CORRELATION_THEOREM"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "mechanism",
        "target_fidelity",
        "exact_new_lemma",
        "predicted_kappa",
        "known_inputs",
        "failure_modes"
      ]
    },
    "Builder": {
      "must_return": [
        "identity_chain",
        "all_main_terms",
        "all_remainders",
        "exponent_ledger",
        "first_unproved_fixed_power_step"
      ]
    },
    "Verifier": {
      "must_return": [
        "target_change_test",
        "prime_power_reintroduction_test",
        "decomposition_as_estimate_test",
        "hidden_zero_strip_test",
        "subpower_vs_power_test",
        "finite_to_global_test",
        "verdict"
      ]
    }
  },
  "automatic_promotion": false
}
