 Reachability-total layering criterion

A positive-integer labeling with $a⇝b\Rightarrow \ell (a)\le \ell (b)$ and $a/⇝b\Rightarrow \ell (a)>\ell (b)$ exists exactly when the condensation graph is totally ordered by reachability. Mutual paths force equal labels, and equal labels force mutual paths. Two incomparable components would require strict inequalities in both directions. Conversely number the components in topological order; total comparability forces every earlier component to reach every later one, proving both conditions. Compute the labeling in linear time. Reachability here includes length-zero paths.