{
  "campaign_id": "CSM_RH_Campaign_08",
  "version": "0.1",
  "target": "CANONICAL_HEATH_BROWN_K3_ZERO_FREQUENCY_LEDGER",
  "frontier_id": "F-RH-008",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "fixed_parameters": {
    "K": 3,
    "U": "ceil((2N)^(1/3))",
    "identity": "Lambda = sum_{j=1}^3 (-1)^(j-1) binom(3,j) mu_<=U^{*j} * 1^{*(j-1)} * L on n<2N"
  },
  "required_sequence": [
    "VERIFY_IDENTITY_ON_FULL_RANGE",
    "EXPAND_J1_J2_J3_BLOCKS",
    "ENUMERATE_UNIT_MOBIUS_CONFIGURATIONS",
    "CHECK_ALTERNATING_ALGEBRAIC_CANCELLATION_BEFORE_ABSOLUTE_VALUES",
    "DEFINE_CANONICAL_MULTILINEAR_BLOCKS",
    "BUILD_EXPONENT_LEDGER",
    "AUDIT_MOBIUS_STRENGTH",
    "AUDIT_TRIANGLE_LEAKAGE",
    "DERIVE_KAPPA_OR_MINIMAL_SURVIVOR"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "exact_K3_identity",
        "unit_configuration_map",
        "canonical_block_partition",
        "candidate_algebraic_cancellations",
        "predicted_critical_blocks"
      ]
    },
    "Builder": {
      "must_return": [
        "full_j1_j2_j3_expansion",
        "all_variable_ranges",
        "all_combinatorial_coefficients",
        "zero_frequency_CSSA_substitution",
        "block_exponent_ledger",
        "unproved_lemmas"
      ]
    },
    "Verifier": {
      "must_return": [
        "K_fixed_test",
        "unit_configuration_test",
        "alternating_cancellation_before_triangle_test",
        "Mertens_strength_test",
        "subpower_vs_power_test",
        "variant_mixing_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "CHANGE_K_AFTER_ESTIMATION",
    "TRIANGLE_BEFORE_ALTERNATING_CANCELLATION",
    "DROP_UNIT_CONFIGURATIONS",
    "MOBIUS_STRENGTH_LAUNDERING",
    "SUBPOWER_MISLABELED_FIXED_POWER",
    "BLOCK_COUNT_MISLABELED_PROGRESS"
  ],
  "automatic_promotion": false
}