- Do not leave linter warnings behind in edited files.
- Treat linter warnings as follow-up work to fix before considering a task complete.
- When adding new Lean files or changing existing ones, run an appropriate build/check and clean up warning output, not just errors.