CSV export plan

1. Add a pure report-to-CSV formatter with unit tests.
2. Add a download adapter that uses the formatter.
3. Wire an Export button to the reports page.

Each task must be independently verified and committed before starting the next. Existing report filtering behavior must remain unchanged.