{
  "campaign_id": "CSM_RH_Campaign_02",
  "version": "0.1",
  "target": "ARITHMETIC_EMAE_FIXED_POWER",
  "protocol": "CSM_RH",
  "provider_is_protocol": false,
  "preferred_worker_provider": "GLM-5.3-Flash",
  "live_runs_claimed": false,
  "roles": {
    "Designer": {
      "goal": "Generate one genuinely arithmetic mechanism that could imply EMAE(eta) for a fixed eta>0.",
      "must_return": [
        "candidate_statement",
        "minimal_assumptions",
        "target_eta",
        "arithmetic_mechanism",
        "known_inputs",
        "why_not_density_only",
        "why_not_representation_only",
        "failure_modes"
      ]
    },
    "Builder": {
      "goal": "Turn the Designer candidate into explicit lemmas and exponent bookkeeping.",
      "must_return": [
        "definitions",
        "lemma_chain",
        "quantifier_order",
        "uniformity_ranges",
        "conductor_height_weights",
        "derived_exponent",
        "unproved_obligations",
        "mechanical_crosschecks"
      ]
    },
    "Verifier": {
      "goal": "Attempt to break the candidate before any promotion.",
      "must_return": [
        "hidden_RH_premise_audit",
        "single_extreme_zero_test",
        "density_only_test",
        "sensitivity_tax_test",
        "finite_to_global_test",
        "counterexample_attempt",
        "strength_class",
        "verdict"
      ]
    }
  },
  "exchange_objects_only": [
    "Task Contract",
    "Candidate Artifact",
    "Objection",
    "Repair Patch",
    "Verification Report"
  ],
  "automatic_promotion": false
}