analyze

Builds the MainSequenceReport for graph given per-module type counts. Modules with no counted types (missing from abstractness or with zero total) are skipped - abstractness is undefined for them. Results are sorted worst-distance first.