Weights in [-5,9]; ∞ indicates no direct edge. k-iteration groups separate matrix states. Improved entries flash highlight. Negative cycle flagged if any dist[v][v] < 0 at end.