Finds every event/function entry (no incoming exec) in the graph.

Marks all nodes reachable via exec pins from those entries.

Walks the data‑pin graph until the first connected exec‑input is found.