[Developer] #215 AC2/AC4/AC6 fixes after QA reject

QA 1차 (커밋 6ab4c0d 검증) 에서 3건 AC 미충족 → 03-Developer 반려.
본 커밋은 그 3건을 해결한다.

AC6 — _AiSuggestButton 가시성 분기 분리:
- optIn=false → 숨김 유지
- optIn=true && !ready → 노출 + disabled + Tooltip("AI 도움을 먼저 켜주세요")
- optIn=true && ready → enabled
AC5 보완: 후보의 c.level 직접 전달 (이전 "나는" 휴리스틱 제거).
FrameSuggestionDialog.show 반환 타입 String? → FrameCandidate?.

AC4 — L2:2 + L3:1 분포 강제:
- few_shot prompt 에 "정확히 L2 2개 + L3 1개" 명시
- suggestFrame 결과를 _shapeDistribution(l2Quota=2, l3Quota=1) 로 후처리
- 부족분은 패딩 X (graceful: UI 가 더 적은 카드만 표시)

AC2 — 다운로드 진행률 + 일시정지/재개 UI:
- ModelDownloadController (StateNotifier<DownloadProgress?>)
  · start() / pause() / resume() / cancel()
  · pause() 는 subscription 만 cancel, .tmp + meta_kv 유지 → resume 시 Range header 로 이어받음
- AiSettingsController.setOptIn(true) → controller.start() 자동 호출
- SettingsScreen 에 _DownloadProgressTile 추가
  · LinearProgressIndicator + bytes/total + 일시정지/재개/다시 시도 토글

회귀 테스트 9건 신규:
- test/ui/ai_suggest_button_visibility_test.dart (4): AC6 4상태 (hidden / disabled+tooltip × missing/downloading / enabled)
- test/state/model_download_controller_test.dart (3): opt-in→start, pause→paused, cancel→idle
- test/domain/ai/suggest_frame_test.dart (+3): AC4 분포 케이스 3개 (기존 take(3) 테스트 대체)

검증:
- flutter analyze → No issues found
- flutter test → 71 tests pass (62 → 71, +9 신규)
- flutter build apk --debug → 성공 (8.8s)

OQ-1 (모델 URL+SHA) 미해결 유지. MockLlmService 기본 주입 + placeholder URL 다운로드는 여전히 실패하지만, UI/스트림 wiring 은 모두 검증됨.

Refs #215

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

app/lib/domain/ai/few_shot_builder.dart

@@ -56,8 +56,8 @@ String buildFewShotPrompt(
   }
   buf.writeln();
   buf.writeln(
-    '위 raw_text 를 L2(조건부 긍정) 또는 L3(정체성) 후보 3개로 변환하세요. '
-    'emit_frame_candidates 함수로 호출하세요.',
+    '위 raw_text 를 정확히 L2(조건부 긍정) 2개 + L3(정체성) 1개, 총 3개 후보로 '
+    '변환하세요. 순서는 L2 → L2 → L3. emit_frame_candidates 함수로 호출하세요.',
   );
   return buf.toString();
 }

app/lib/domain/ai/suggest_frame.dart

@@ -1,6 +1,7 @@
 import '../../data/ai/llm_service.dart';
 import '../frame/validate_frame_level.dart';
 import '../models/frame_pattern.dart';
+import '../models/habit.dart';
 import 'few_shot_builder.dart';
 import 'frame_candidate.dart';
 import 'parse_response.dart';
@@ -77,7 +78,30 @@ Future<List<FrameCandidate>> suggestFrame(
     );
     if (result.status == FrameValidationStatus.reject) continue;
     validated.add(c);
-    if (validated.length >= 3) break;
   }
-  return validated;
+  // AC4: Enforce L2:2 + L3:1 distribution. Take L2 first (up to 2), then L3
+  // (up to 1). If a slot is short, leave it short rather than pad with the
+  // other level — graceful: caller sees fewer cards but never a wrong shape.
+  return _shapeDistribution(validated, l2Quota: 2, l3Quota: 1);
+}
+
+List<FrameCandidate> _shapeDistribution(
+  List<FrameCandidate> all, {
+  required int l2Quota,
+  required int l3Quota,
+}) {
+  final out = <FrameCandidate>[];
+  var l2Taken = 0;
+  var l3Taken = 0;
+  for (final c in all) {
+    if (c.level == FrameLevel.l2 && l2Taken < l2Quota) {
+      out.add(c);
+      l2Taken += 1;
+    } else if (c.level == FrameLevel.l3 && l3Taken < l3Quota) {
+      out.add(c);
+      l3Taken += 1;
+    }
+    if (l2Taken >= l2Quota && l3Taken >= l3Quota) break;
+  }
+  return out;
 }