{
  "campaign_id": "CSM_RH_Campaign_04",
  "version": "0.1",
  "target": "CENTERED_SIGNED_ARITHMETIC_CANCELLATION",
  "frontier_id": "F-RH-006",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "target_gate": "CSSA(kappa): |sum_h R_N(h)| << N^(3-kappa+o(1)) for fixed kappa>0",
  "mechanism_families": [
    "SIGNED_DISPERSION_AFTER_EXACT_CENTERING",
    "VAUGHAN_OR_HEATH_BROWN_BILINEAR_DECOMPOSITION",
    "ENDPOINT_KERNEL_BILINEAR_CANCELLATION",
    "DYADIC_SCALE_TELESCOPING",
    "CENTERED_FOURIER_ZERO_FREQUENCY_EVALUATION",
    "CERTIFIED_PRINCIPAL_SUBTERM_CANCELLATION"
  ],
  "roles": {
    "Designer": {
      "goal": "Propose one arithmetic cancellation mechanism acting directly on CSSA without positive domination.",
      "must_return": [
        "exact_object",
        "model_subtraction",
        "cancellation_location",
        "arithmetic_input",
        "predicted_kappa",
        "failure_modes"
      ]
    },
    "Builder": {
      "goal": "Produce the exact expansion and exponent ledger.",
      "must_return": [
        "definitions",
        "identity_chain",
        "bilinear_or_dispersion_ranges",
        "endpoint_weights",
        "shift_weights",
        "uniformity",
        "derived_exponent",
        "unproved_lemmas"
      ]
    },
    "Verifier": {
      "goal": "Try to break the candidate before promotion.",
      "must_return": [
        "squaring_before_centering_test",
        "triangle_inequality_leakage_test",
        "random_sign_assumption_test",
        "hidden_positive_gate_test",
        "hidden_zero_strip_input_test",
        "fixed_power_vs_log_power_test",
        "finite_to_global_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "SQUARE_BEFORE_CENTERING",
    "TRIANGLE_INEQUALITY_BEFORE_DECISIVE_SIGNED_SUM",
    "RANDOM_SIGN_HEURISTIC_AS_PROOF",
    "UNCERTIFIED_MODEL_SUBTRACTION",
    "LOG_POWER_ONLY",
    "HIDDEN_FIXED_ZERO_STRIP_INPUT",
    "FINITE_TO_GLOBAL_PROMOTION"
  ],
  "automatic_promotion": false
}
