pub fn check_app(root: &Path) -> Result<Vec<Finding>, GenError>
Generated files are rendered only from a model the rules accept, and dead code is judged only against current ones.