│ [Stage 3] Grp.java + Bfs.java — Requirement graph + BFS expansion HashMap<String, Set<String>> directed graph of domain dependencies BFS discovers all transitive requirements from detected domains ...