{
  "campaign_id": "CSM_RH_Campaign_07",
  "version": "0.1",
  "target": "CANONICAL_VAUGHAN_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,
  "canonical_starting_identity": "A_N = sum_{n<2N} w_N(n) a_n A(n-1) - M_N",
  "required_sequence": [
    "PIN_ONE_EXACT_VAUGHAN_IDENTITY",
    "RECORD_SOURCE_AND_RANGE",
    "FIX_CUTOFFS",
    "SUBSTITUTE_CONSISTENTLY",
    "DEFINE_STABLE_BLOCK_IDS",
    "DERIVE_CANONICAL_MAIN_PROFILES",
    "BUILD_EXPONENT_LEDGER",
    "AUDIT_MOBIUS_STRENGTH",
    "AUDIT_TRIANGLE_LEAKAGE",
    "DERIVE_KAPPA_OR_REJECT"
  ],
  "block_ledger_fields": [
    "block_id",
    "formula",
    "variable_ranges",
    "trivial_exponent",
    "proved_exponent",
    "required_exponent",
    "saving_source",
    "uses_fixed_power_Mertens",
    "uses_zero_frequency_multilinear_cancellation",
    "triangle_leakage",
    "status"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "exact_Vaughan_variant",
        "source",
        "cutoff_policy",
        "canonical_block_partition",
        "predicted_saving_blocks",
        "predicted_failure_blocks"
      ]
    },
    "Builder": {
      "must_return": [
        "full_zero_frequency_expansion",
        "all_boundary_terms",
        "main_profile_derivation",
        "block_exponent_ledger",
        "recombined_formula",
        "unproved_lemmas"
      ]
    },
    "Verifier": {
      "must_return": [
        "variant_mixing_test",
        "gram_gauge_test",
        "constant_factor_vs_power_test",
        "Mertens_strength_test",
        "triangle_leakage_test",
        "main_profile_gauge_test",
        "subpower_vs_power_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "GRAM_ONLY_EVIDENCE",
    "CONSTANT_FACTOR_MISLABELED_POWER",
    "MOBIUS_STRENGTH_LAUNDERING",
    "VAUGHAN_VARIANT_MIXING",
    "ARBITRARY_RECENTERING",
    "TRIANGLE_BEFORE_SIGNED_CANCELLATION",
    "SUBPOWER_MISLABELED_FIXED_POWER"
  ],
  "automatic_promotion": false
}