{
  "from": {
    "R0": "the route realized: these arrows and no others (RUN-097)",
    "C5": {
      "records": 23,
      "unassigned": [],
      "unknown_slots": []
    },
    "C6": "PASS / canonical",
    "C7 routes": 1
  },
  "candidates_outside_the_graph": {
    "A (RUN-097's chain)": "the edges Psi_1..Psi_4",
    "A' (regulator on the leading term)": "an edge in II, merged into Psi_4 o Psi_3 in I (witness: RUN-100)",
    "PC-001's B-hat description": "the vertex L2' with id and Psi_3^PC in II, merged in I (witness: the dictionary)",
    "B (direct f-to-g comparison)": "no theorem induces it (RUN-100): not an edge",
    "C (Kato's class -> the tree's series)": "a change of generator by q: a loop, tag L, removed",
    "the Kummer / ES realisation of Theta_aux": "a realisation of L0's element (C4 PASS): a loop, tag G, removed",
    "the frame changes b_f+, X, Omega^+-, Gauss": "loops, tag G, removed",
    "the lattice indices": "loops, tag L, removed",
    "the partner factors": "loops, tag P, removed",
    "R0.5's divisors": "extraction / localization data on Psi_1..Psi_3, not edges"
  },
  "every_candidate_dispositioned": true,
  "II_carries_every_edge_disposition": true,
  "unknown_candidate": null,
  "complete": true,
  "agrees": true
}