{
  "campaign_id": "CSM_RH_Campaign_15",
  "version": "0.1",
  "target": "DIRECT_ALL_SHIFT_PRIME_CORRELATION_AUDIT",
  "frontier_id": "F-RH-010",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "canonical_target": "sum_h sum_m w_N(m+h)c_m c_(m+h)",
  "required_tool_families": [
    "AVERAGE_HARDY_LITTLEWOOD_PRIME_PAIRS",
    "SELBERG_INTEGRAL_CORRELATION_IDENTITIES",
    "DISPERSION_METHOD",
    "SHIFT_AVERAGED_PRIME_CORRELATIONS",
    "BARBAN_DAVENPORT_HALBERSTAM_STYLE_MEAN_SQUARE"
  ],
  "required_questions": [
    "exact_shift_correlation",
    "dominant_shift_ranges",
    "signed_vs_absolute_shift_average",
    "singular_series_role",
    "Selberg_integral_equivalence_test",
    "required_average_HL_error",
    "minimal_new_prime_pair_theorem"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "chosen_average_correlation_route",
        "exact_bridge_to_PESC",
        "predicted_power_gain",
        "signed_aggregation_policy",
        "failure_modes"
      ]
    },
    "Builder": {
      "must_return": [
        "full_shift_expansion",
        "all_main_models",
        "all_weight_functions",
        "exponent_ledger",
        "first_unproved_fixed_power_lemma"
      ]
    },
    "Verifier": {
      "must_return": [
        "shiftwise_triangle_leakage_test",
        "singular_series_model_as_proof_test",
        "PODEE_circularity_test",
        "log_power_only_test",
        "uniform_HL_assumption_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "ABSOLUTE_VALUE_EVERY_SHIFT_BEFORE_SIGNED_SUM",
    "SINGULAR_SERIES_MODEL_COUNTED_AS_PROOF",
    "USE_PODEE_OR_PESC_AS_INPUT",
    "LOG_POWER_ONLY",
    "ASSUME_UNIFORM_FIXED_SHIFT_HARDY_LITTLEWOOD",
    "CONFUSE_GENERIC_SHIFT_AVERAGE_WITH_ENDPOINT_WEIGHTED_TARGET"
  ],
  "automatic_promotion": false
}