Function distinct_classes 

pub fn distinct_classes(ports: &[ClassifiedPort]) -> HashSet<&'static str>

Set of all distinct PortClass discriminants seen in a corpus pass — helper for coverage assertions in the proof diagnostic.