pub fn check_project(entry_path: &Path) -> Result<(), Vec<Diagnostic>>
Project-aware type-check from an entry point path. Resolves all modules (including std.*) and type-checks in dependency order.