{
  "claim1_remove_inheritance_edge": {
    "checker_rejected_mutant": true,
    "expected_edges": 94,
    "expected_nodes": 67,
    "mutant_edges": 93,
    "observed_nodes": 67
  },
  "claim2_remove_all_inheritance": {
    "lemma1_converse_failures_without_inheritance": 0,
    "tested": 477840
  },
  "claim3_delete_selection_clique": {
    "agreement": 0.931087811819856,
    "mismatches": 98787,
    "tested": 1433520
  },
  "claim4_reverse_compelled_orientation": {
    "checker_fired": 328,
    "corrupted_models_tested": 328
  },
  "claim5_omit_changed_selection_ancestor_expansion": {
    "configurations": 269328,
    "orientation_soundness_violations": 583356
  },
  "claim6_mutate_source_and_data": {
    "data_byte_mutation_detected_by_sha256": true,
    "mutated_dgrp_oriented_percent": 49.148936170212764,
    "source_arithmetic_mutation_detected": true,
    "unmutated_source_arithmetic_mismatches": 0
  }
}