{
  "campaign_id": "CSM_RH_Campaign_06",
  "version": "0.1",
  "target": "MULTIPLICATIVE_GRAM_GAP",
  "frontier_id": "F-RH-007",
  "protocol": "CSM_RH",
  "preferred_worker_provider": "GLM-5.3-Flash",
  "provider_is_protocol": false,
  "live_runs_claimed": false,
  "allowed_decompositions": [
    "VAUGHAN_IDENTITY",
    "HEATH_BROWN_IDENTITY",
    "HIGHER_WEIGHT_SELBERG_IDENTITY",
    "VERIFIED_DIRICHLET_CONVOLUTION_DECOMPOSITION"
  ],
  "success_modes": {
    "M1": "component cumulative norm power saving",
    "M2": "signed cross-Gram cancellation with a fixed quantitative gap",
    "M3": "two-scale recurrence with linear cumulative log-contraction mass",
    "M4": "direct recombined Gram quadratic-form power saving"
  },
  "required_fields": [
    "exact_coefficient_identity",
    "cutoff_parameters",
    "cumulative_components_Br",
    "Gram_entries_Grs",
    "saving_location",
    "saving_theorem",
    "recombination_without_triangle_leakage",
    "scale_transfer_if_any",
    "cumulative_contraction_mass",
    "derived_kappa",
    "hidden_zero_strip_audit",
    "failure_mode"
  ],
  "roles": {
    "Designer": {
      "must_return": [
        "decomposition_choice",
        "candidate_Gram_gap",
        "why_zero_frequency_is_preserved",
        "where_sign_or_multiplicative_cancellation_enters",
        "predicted_cumulative_gap_profile"
      ]
    },
    "Builder": {
      "must_return": [
        "full_expansion",
        "all_cutoffs",
        "all_component_partial_sums",
        "Gram_matrix_formula",
        "exponent_ledger",
        "recurrence_if_present",
        "unproved_lemmas"
      ]
    },
    "Verifier": {
      "must_return": [
        "decomposition_neutrality_test",
        "triangle_leakage_test",
        "Gram_sign_test",
        "sublinear_contraction_mass_test",
        "subpower_vs_power_test",
        "hidden_zero_strip_test",
        "finite_to_global_test",
        "verdict"
      ]
    }
  },
  "hard_rejections": [
    "DECOMPOSITION_ONLY_RHETORIC",
    "TRIANGLE_BEFORE_CROSS_GRAM_CANCELLATION",
    "LAMBDA_TO_ONE_MISLABELED_FIXED_GAP",
    "SUBPOWER_MISLABELED_FIXED_POWER",
    "HIDDEN_FIXED_ZERO_STRIP_INPUT",
    "FINITE_GRAM_NUMERICS_PROMOTED_TO_GLOBAL"
  ],
  "automatic_promotion": false
}