Source vertex: 0. Each step runs one full relaxation pass over all edges. Blue nodes are reachable; green flashes indicate updates.