Why Dijkstra Fails with Negative Edges

A counterexample showing premature finalization

Click "Next Step" to run Dijkstra on a graph with a negative edge

Dijkstra's Result (d[])

True Shortest Distances

Source
Current
Finalized
Negative edge