{
  "campaign_id": "CSM_RH_Campaign_13",
  "version": "0.1",
  "target": "ENDOGENOUS_MOBIUS_BILINEAR_STRENGTH_AUDIT",
  "frontier_id": "F-RH-012",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "canonical_form": "sum_m |sum_{L<n<=2L, mn<2N} gamma(n,C) mu(mn) w_N(mn) B(mn-1)|",
  "required_questions": [
    "scale_of_form",
    "mu_factorization_with_coprimality",
    "fixed_power_Mertens_slice_test",
    "outer_m_average_gain_test",
    "gamma_role",
    "known_TypeII_power_test",
    "minimal_new_theorem"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "factorization_strategy",
        "candidate_cancellation_source",
        "range_choice",
        "predicted_fixed_power",
        "failure_modes"
      ]
    },
    "Builder": {
      "must_return": [
        "exact_factorization",
        "coprimality_terms",
        "outer_absolute_value_handling",
        "exponent_ledger",
        "first_unproved_lemma"
      ]
    },
    "Verifier": {
      "must_return": [
        "square_root_Mobius_assumption_test",
        "Mertens_strength_test",
        "outer_absolute_value_test",
        "endogenous_B_test",
        "subpower_vs_power_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "ASSUME_SQRT_MOBIUS_CANCELLATION",
    "HIDDEN_FIXED_ZERO_FREE_HALFPLANE",
    "IGNORE_OUTER_ABSOLUTE_VALUE",
    "TREAT_B_AS_EXTERNAL_TEST",
    "SUBPOWER_MISLABELED_FIXED_POWER",
    "FI_BILINEAR_AXIOM_COUNTED_AS_PROVED"
  ],
  "automatic_promotion": false
}