Function proven_module_exports 

pub fn proven_module_exports(proven: &str) -> HashSet<String>

The callable surface of a bundled proven module: every pub fn name. The Forge emits proven functions, check_* predicates, and non-nullary enum constructors all as pub fns (a nullary constructor is a pub const, which is an identifier reference, not a call — outside this pass’s domain).