pub fn feature_report(app: &Application, platform: &str) -> FeatureReportExpand description
Evaluate every feature contract for platform: exemptions apply only
to their platform; missing and unproven features are errors (B201,
B203), manual guarantees warnings (B206) and exemptions notes (B205).