{
  "checks_passed": 824,
  "unsafe_early_target": 2,
  "bellman_ford_target": -5,
  "guard_rejects_negative": true,
  "DAGs_checked": 64,
  "unreachable_negative_cycle": [
    0,
    2,
    null,
    null
  ],
  "original_direct_and_two_edge_costs": [
    1,
    0
  ],
  "after_adding_two_per_edge": [
    3,
    4
  ],
  "boundary": "integer directed graphs; no real route measurement"
}
