{
  "campaign_id": "CSM_RH_Campaign_05",
  "version": "0.1",
  "target": "ZERO_FREQUENCY_MULTIPLICATIVE_CONTRACTION",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "canonical_target": "X(N)=|A_N|/N^3",
  "success_shapes": [
    "X(N) <= lambda X(theta N) + O(N^-kappa0) with lambda<1",
    "direct CSSA fixed-power estimate from a noncircular multiplicative cancellation theorem"
  ],
  "tracks": {
    "M": {
      "name": "MULTIPLICATIVE_DECOMPOSITION",
      "allowed_families": [
        "VAUGHAN_IDENTITY",
        "HEATH_BROWN_IDENTITY",
        "SELBERG_SYMMETRY",
        "VERIFIED_DIRICHLET_CONVOLUTION",
        "NEW_EXACT_MULTIPLICATIVE_DECOMPOSITION"
      ]
    },
    "C": {
      "name": "CONTRACTION_EXTRACTION",
      "must_return": [
        "theta",
        "lambda",
        "kappa0",
        "normalization",
        "scale_map",
        "error_term",
        "proof_of_lambda_lt_1"
      ]
    }
  },
  "roles": {
    "Designer": {
      "must_return": [
        "exact_decomposition",
        "zero_frequency_cancellation_source",
        "noncircularity_argument",
        "candidate_contraction",
        "predicted_power_gain",
        "failure_modes"
      ]
    },
    "Builder": {
      "must_return": [
        "identity_chain",
        "all_truncation_parameters",
        "all_bilinear_ranges",
        "normalization",
        "exponent_ledger",
        "unproved_lemmas"
      ]
    },
    "Verifier": {
      "must_return": [
        "zero_frequency_test",
        "sharp_L2_evaluation_test",
        "energy_increment_circularity_test",
        "lambda_lt_1_test",
        "hidden_zero_strip_test",
        "log_power_only_test",
        "finite_to_global_test",
        "verdict"
      ]
    }
  },
  "automatic_promotion": false
}