{
  "runtime": "3.12.14",
  "nodes": [
    "A",
    "B",
    "C",
    "D",
    "E",
    "U"
  ],
  "edges": [
    [
      "A",
      "B"
    ],
    [
      "B",
      "A"
    ],
    [
      "B",
      "C"
    ],
    [
      "C",
      "D"
    ],
    [
      "D",
      "C"
    ],
    [
      "D",
      "E"
    ]
  ],
  "main": {
    "groups": [
      [
        "A",
        "B"
      ],
      [
        "C",
        "D"
      ],
      [
        "E"
      ],
      [
        "U"
      ]
    ],
    "condensation_edges": [
      [
        0,
        1
      ],
      [
        1,
        2
      ]
    ],
    "component_topological_order": [
      0,
      3,
      1,
      2
    ],
    "pair_oracle_checks": 36,
    "singleton_self_loops": []
  },
  "repeated_bridge_condensation_unchanged": true,
  "singleton_loop_and_isolate": {
    "groups": [
      [
        "U"
      ],
      [
        "X"
      ]
    ],
    "condensation_edges": [],
    "component_topological_order": [
      0,
      1
    ],
    "pair_oracle_checks": 4,
    "singleton_self_loops": [
      "X"
    ]
  },
  "all_three_vertex_directed_graphs_checked": 512,
  "scope": "Bounded authored recursive SCC and BFS reachability oracle; numeric component labels normalized for display, not universal identity. No Java/NetworkX run or automatic cycle repair."
}