Tidy graphviz diagrams

Match the shared diagram style: spacing between node title and subtitle, edge labels as rounded chips clear of their lines, and spline routing with separation. Sources and rendered PNGs regenerated.