Function run 

pub fn run() -> u32

Run diagnostic checks and print colored results to stdout. Renders the full diagnostics board and returns how many checks need attention, so lean-ctx doctor can exit non-zero when something is wrong (a health gate must fail loudly, not silently exit 0).