{
  "rigidity": {
    "controls": {
      "disjoint_distinct_letter_supports_are_not_rigid": true,
      "empty_policy_is_rigid": true,
      "nested_same_letter_supports_are_not_rigid": true,
      "pairwise_triangle_has_no_common_participant": true,
      "single_active_support_is_rigid": true
    },
    "failures": [],
    "nonrigid_target_witnesses": 16382,
    "rigid_policies": 70,
    "same_letter_unmarked_support_pairs": 172128,
    "two_letter_policies": 16452
  },
  "status": "pass",
  "transfer": {
    "failures": [],
    "final_set_pairs": 86528,
    "predecessor_compatible_cases": 5408,
    "saturated_initial_set_pairs": 56448,
    "transition_partition_cases": 8192
  }
}