{
  "vertices": 20,
  "arcs": 29,
  "simple_port_paths": 77,
  "control_pairs": 3,
  "control_pair_checks": 3,
  "residual_mode_counts": {
    "(2, 6)": 2,
    "(3, 7)": 1
  },
  "all_three_properties": true,
  "scope": "Complete Python simple-path enumeration on the fixed 20-vertex gadget; independent finite replay, not a Lean kernel run."
}