{
  "claim_id": "self-authored-pilot-07",
  "contract_id": "131-lazy-switch-chain",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "requested_evidence_label": "source_claim",
  "model": {
    "graph_model": "simple_undirected_labeled",
    "host_model": "structural_zero_host",
    "kernel": "half_hold_uniform_four_set_uniform_ordered_matching_pair",
    "step_unit": "accepted_swaps_only",
    "target_law": "uniform_labeled_degree_fiber"
  },
  "claimed_uses": [
    "host_restricted_switch_mixing",
    "accepted_swaps_use_same_step_bound"
  ],
  "fixture_origin": "self_authored_synthetic_review_scenario",
  "claim_text": "A structurally restricted host reaches the source uniform degree-fiber mixing guarantee after counting accepted swaps only.",
  "supplied_statuses_are_synthetic": false,
  "obligations": [
    {
      "id": "graphical_labeled_degree_vector",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "n_at_least_four_or_separate_small_case",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "implementation_kernel_correspondence",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "total_chain_step_accounting",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "target_tv_and_bound_recorded",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "no_host_connectivity_attribute_or_weight_restrictions",
      "status": "unknown",
      "evidence_ids": []
    },
    {
      "id": "source_claim_vs_independent_check_recorded",
      "status": "unknown",
      "evidence_ids": []
    }
  ],
  "evidence": []
}