[리드관리 PR1] 리드 목록 + 퍼널 스코프

## 변경 사항
- `app/models/user.rb`: 퍼널 스코프/메서드 추가
- `FUNNEL_STAGES = %i[subscriber free paid applicant graduate]`
- fact 스코프: `marketing_subscribed`, `with_completed_diagnosis`, `with_paid_diagnosis`, `free_diagnosis_only`, `course_applicants`, `course_graduates`
- `at_funnel_stage(stage)`: 배지와 동일한 **상호배타 현재 단계** 필터
- `funnel_stage`(단건) / `self.funnel_stage_map(ids)`(배치, 목록 N+1 방지)
- `db/migrate/20260610065545_*`: `diagnosis_sessions.is_report_purchased` 부분 인덱스(`where is_report_purchased=true`, `algorithm: :concurrently`). migrate→rollback→migrate 3단계 검증 완료.
- `config/routes.rb`: `namespace :marketing { resources :leads, only: [:index] }`
- `app/controllers/admin/marketing/leads_controller.rb`: 검색(이름/이메일/전화)+퍼널 단계 필터+수신동의 필터+수동 페이지네이션. 페이지 단위 `funnel_stage_map`/진단수/last_active 일괄 조회.
- `app/views/admin/marketing/leads/index.html.erb`: 단계 칩 + 필터바 + 테이블(퍼널 배지/진단수/수신동의)
- `app/views/admin/shared/_sidebar.html.erb` + `_nav_item.html.erb`(funnel 아이콘) + `config/locales/ko.yml`(admin.nav.leads, admin.marketing.* — ko 전용)
- `docs/features/admin_lead_management.md`: 전체 기능 계획서

## 설계 결정
- 스코프를 denorm(`first_diagnosis_completed_at`)이 아닌 **실제 세션 기준**으로 산출 → 마케팅 오분류(잘못된 발송) 방지. 픽스처가 콜백을 안 거치는 점도 고려.
- `NOT IN (subquery)` NULL 함정을 `where.not(user_id: nil)`로 차단.
- PR1에서는 사이드바에 leads 메뉴만 추가(segments/campaigns 경로는 PR2/PR4에서 생성, 미존재 경로 참조 방지).

## 테스트
- 신규: `test/models/user_funnel_test.rb`(14), `test/controllers/admin/marketing/leads_controller_test.rb`(7)
- 회귀: `test/controllers/admin` + `test/models` 전체 **902 runs, 0 failures**
- Tailwind dev 빌드 재실행(새 배지 클래스 반영)

## 완료 기준 충족
어드민 사이드바 "리드 관리"에서 퍼널 단계별 필터·검색·페이지네이션 동작.