Making Type Coverage Visible in Dify's CI

A case study in adding Pyrefly reporting, diagnostic diffs, and backend coverage signals to a large Python codebase.