Type Alias CoverageProvider 

pub type CoverageProvider = Box<dyn Fn(&str) -> Vec<String> + Send + Sync>;

Required-coverage contributor (§124 item 26): symbol ids that MUST count as required (criticality 1.0), unioned with the engine’s required_ids base. E.g. a security plugin marks tainted sinks required so task ranking never demotes them.

Aliased Type

pub struct CoverageProvider(/* private fields */);