{
  "status": "PASS",
  "scope": "Complete seven-terminal contact reduction for the universal-K3 theorem.\n\nNo input files or nonstandard libraries. No isomorphism, graph atlas, SAT,\nLP, or planar-embedding enumeration. See UNIVERSAL_K3_EXCLUSION.md for\nthe mathematical premises, the new four-terminal inequality, and the\nhand exclusions of the three surviving shapes.",
  "labeled_masks_examined": 2097152,
  "counts": {
    "degree_ordered_labels": 16758,
    "eligible_degree_ordered_labels": 12792,
    "density_rejected": 12733,
    "face_rejected": 52
  },
  "surviving_degree_ordered_labels": {
    "pendant_s": 3,
    "isolated_s": 3,
    "K3_plus_K4": 1
  },
  "seconds": 2.744
}
