Floyd–Warshall as layer-by-layer min-plus relaxation
The same relaxation that fills a single distance label can fill the whole distance matrix — one allowed intermediate node at a time, until the matrix is the tropical closure W*.
Admit one intermediate node, then relax every pair through it. After admitting all of them, every entry is an all-pairs shortest distance.
—