Module cycles 

Cycle detection over information-flow edges (Kosaraju SCC). Edges count iff their kind is in flow_kinds (derived from EdgeKindSpec.flow); structural kinds like contains are excluded, so a mod foo; parent/child pair is not flagged as a false cycle.

Functions

annotate_cycles

Detect SCCs (≥ 2 members) over flow edges, write a cycle attribute on each participating node ("mutual" for a 2-node SCC, "chain" for 3+), and return the cycle groups.