{
  "campaign_id": "CSM_RH_Campaign_14",
  "version": "0.1",
  "target": "EMDQO_OFF_DIAGONAL_CORRELATION_AUDIT",
  "frontier_id": "F-RH-013",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "canonical_target": "Q_NLC=sum_m |sum_n a_C,m(n) w_N(mn) B(mn-1)|^2 << N^(5+o(1)) at L=N^(1/2+o(1))",
  "required_decomposition": [
    "Q_DIAGONAL",
    "Q_OFF_DIAGONAL"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "off_diagonal_cancellation_mechanism",
        "near_diagonal_policy",
        "multiplicative_ratio_structure",
        "known_tool_mapping",
        "predicted_exponent",
        "failure_modes"
      ]
    },
    "Builder": {
      "must_return": [
        "exact_Q_expansion",
        "diagonal_bound",
        "off_diagonal_formula",
        "all_ranges",
        "exponent_ledger",
        "first_unproved_lemma"
      ]
    },
    "Verifier": {
      "must_return": [
        "sqrt_Mobius_assumption_test",
        "endogenous_B_test",
        "PODEE_circularity_test",
        "log_power_only_test",
        "near_diagonal_test",
        "triangle_leakage_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "ASSUME_SQRT_MOBIUS_CANCELLATION",
    "TREAT_B_AS_EXTERNAL_ARBITRARY_TEST_WITHOUT_UNIFORM_THEOREM",
    "USE_PODEE_OR_PESC_AS_INPUT_AND_COUNT_AS_PROGRESS",
    "LOG_POWER_ONLY",
    "IGNORE_NEAR_DIAGONAL",
    "ABSOLUTIZE_OFF_DIAGONAL_BEFORE_CANCELLATION"
  ],
  "automatic_promotion": false
}