Zero indegree is the executable frontier
Kahn's algorithm starts with nodes that have no remaining prerequisites. Removing one node decrements its outgoing neighbors; newly-zero neighbors join the frontier. If fewer than N nodes are emitted, a cycle prevents a topological order.