Dijkstra Correctness Conditions

Dijkstra is correct iff all edge weights are non-negative; cycles (even directed) are irrelevant.