{
  "checks": [
    {
      "case": "k4_labeled_tree_0",
      "passed": true,
      "expected": "1"
    },
    {
      "case": "k4_labeled_tree_2",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_3",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_4",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_6",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_7",
      "passed": true,
      "expected": "1"
    },
    {
      "case": "k4_labeled_tree_8",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_9",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_10",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_11",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_13",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_14",
      "passed": true,
      "expected": "1"
    },
    {
      "case": "k4_labeled_tree_15",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_16",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_17",
      "passed": true,
      "expected": "3/4"
    },
    {
      "case": "k4_labeled_tree_18",
      "passed": true,
      "expected": "1"
    },
    {
      "case": "fundamental_cuts_miss_all_cut_violation",
      "passed": true
    },
    {
      "case": "exact_target_boundary_accepted",
      "passed": true
    },
    {
      "case": "parallel_copy_scaling_preserves_C",
      "passed": true
    },
    {
      "case": "binary_multiplicity_no_edge_expansion",
      "passed": true
    },
    {
      "case": "partial_scan_does_not_certify_all_cuts",
      "passed": true
    },
    {
      "case": "cycle",
      "passed": true
    },
    {
      "case": "disconnected",
      "passed": true
    },
    {
      "case": "duplicate",
      "passed": true
    },
    {
      "case": "loop",
      "passed": true
    },
    {
      "case": "zero_multiplicity",
      "passed": true
    },
    {
      "case": "multiplicity_cap",
      "passed": true
    },
    {
      "case": "boolean_vertex",
      "passed": true
    },
    {
      "case": "too_many_vertices",
      "passed": true
    },
    {
      "case": "negative_target",
      "passed": true
    }
  ],
  "passed": 30,
  "total": 30,
  "evidence": "All 16 labeled K4 trees versus closed-form tree type, all-cut target and binary-copy scaling/input/budget checks."
}