fix(flutter): 본문 없이 첨부만 있는 메일에서 읽기 화면 아래가 비고 첨부가 잘리던 것을 고친다

읽기 화면은 머리(제목 · 보낸 사람 · 안내 · 첨부)가 남은 높이의 절반까지만 쓰고
나머지는 본문 WebView 였다. 본문이 비면 아래 절반이 빈 칸으로 남고 첨부가 많으면
위 절반 안에서 잘렸다(11-12 배포 뒤 사용자 보고).

정화한 본문에 보이는 것(글자 · 주소가 남은 그림 · hr · li · details · q)이 없으면
상태 bodyEmpty 로 본문 칸을 두지 않고 머리가 화면 전체를 한 스크롤로 쓴다.
판정은 정화와 같은 길에서 내고(큰 본문은 isolate), 아래 막대가 없는 예약 메일은
머리 스크롤에 시스템 아래 여백을 더한다. 본문이 있는 메일은 그대로다.

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

flutter/lib/features/mail/domain/mail_html.dart

@@ -11,8 +11,11 @@
 ///
 /// 외부 이미지를 보일 때(서버가 중계 주소 `/api/mail-images/<표>` 로 바꿔 넣은 본문 — imagesShown)도 WebView 는 바깥에 나가지 않는다 —
 /// 앱이 Dio(Bearer)로 그림을 받아 `data:` 로 바꿔 넣는다([resolveProxiedImages]). 토큰이 WebView 에 가지 않는다.
+///
+/// 정화하며 본문에 보이는 것이 있는지도 함께 본다([SanitizedMailBody.hasVisibleContent]) — 없으면 읽기 화면이 본문 칸을 그리지 않는다.
 library;
 
+import 'package:arasystem_app/core/utils/visible_text.dart';
 import 'package:arasystem_app/features/mail/domain/mail_images.dart';
 import 'package:arasystem_app/features/mail/domain/search_highlight.dart';
 import 'package:html/dom.dart' as dom;
@@ -67,6 +70,11 @@ const Set<String> _droppedWithContent = <String>{
 /// 내용이 없는 태그 — 닫는 태그를 쓰지 않는다
 const Set<String> _voidTags = <String>{'br', 'col', 'hr', 'img', 'wbr'};
 
+/// 남기는 태그 가운데 글 없이도 그려지는 것 — 가로줄 · 목록 표시(• · 1.) · 펼침 표시(▶ 와 기본 이름) · 따옴표.
+/// 그림(`img`)은 주소가 남았을 때만 보인다(주소를 지운 그림은 문서가 숨긴다 — [buildMailDocument]) — 따로 본다.
+/// 모양 속성(style · bgcolor · border)만으로 그린 상자 · 선 · 바탕과 빈 인용의 왼쪽 막대는 보이는 것으로 치지 않는다 — 글도 그림도 없는 꾸밈뿐이다
+const Set<String> _drawnWithoutText = <String>{'hr', 'li', 'details', 'q'};
+
 /// 어느 태그에나 남기는 속성 — 모양(style) · 표 · 글꼴의 옛 속성. 이벤트 처리기 · data-* · id · target · 외부 자원 속성은 없다
 const Set<String> _globalAttributes = <String>{
   'style', 'class', 'title', 'dir', 'lang', 'align', 'valign', 'width', //
@@ -109,6 +117,7 @@ class SanitizedMailBody {
   const SanitizedMailBody({
     required this.fragment,
     required this.proxiedTokens,
+    required this.hasVisibleContent,
     this.htmlOmitted = false,
   });
 
@@ -118,6 +127,12 @@ class SanitizedMailBody {
   /// 받아 넣을 중계 그림의 표 — 문서 차례 · 겹치지 않게 · [kMaxProxiedImages] 까지(외부 이미지를 보일 때만)
   final List<String> proxiedTokens;
 
+  /// 본문에 보이는 것이 있다 — 공백 · 보이지 않는 글자가 아닌 글자([hasVisibleText]), 주소가 남은 그림, 글 없이도 그려지는 태그
+  /// (가로줄 · 목록 표시 · 펼침 표시 · 따옴표). 거짓이면 읽기 화면이 본문 칸(WebView)을 그리지 않는다.
+  ///
+  /// 중계 그림은 받기 전에도 보이는 것으로 친다 — 하나도 받지 못하면 빈 본문 칸이 남는다(본문을 다시 보지 않는다)
+  final bool hasVisibleContent;
+
   /// 서식 본문이 앱의 정화 한도(길이 · 중첩)를 넘어 글자 본문을 보인다 — 화면은 서버의 생략과 같은 안내를 보인다
   final bool htmlOmitted;
 }
@@ -130,7 +145,10 @@ String? displayedHtmlBody(String? htmlBody) =>
 /// [imagesShown] 이면 서버의 중계 주소 그림을 남긴다(그 밖의 바깥 주소 · 상대 경로 그림은 어느 때나 지운다).
 /// 서식 본문이 길이 · 중첩 한도([kMaxSanitizedHtmlLength] · [kMaxHtmlNestingCost])를 넘으면 정화하지 않고 글자 본문을 보인다.
 /// [textHighlights] 는 글 본문의 검색에서 맞은 곳(검색 결과에서 연 메일 — 14단계) — 글 본문을 보일 때만 `<mark>` 로 넣는다
-/// (서식 본문은 서버가 정화한 뒤 맞은 글 조각에 `<mark>` 를 넣어 보냈고, 앱의 정화가 그대로 남긴다)
+/// (서식 본문은 서버가 정화한 뒤 맞은 글 조각에 `<mark>` 를 넣어 보냈고, 앱의 정화가 그대로 남긴다).
+///
+/// 고른 본문에 보이는 것이 있는지([SanitizedMailBody.hasVisibleContent])도 함께 낸다 — 고르는 규칙은 그대로다(서식 본문이 비어 보여도
+/// 글자 본문으로 바꾸지 않는다 — 웹 `displayedHtmlBody` 와 같은 본문을 보인다)
 SanitizedMailBody mailBodyFragment({
   required String? htmlBody,
   required String? textBody,
@@ -162,6 +180,7 @@ SanitizedMailBody _textFragment(
   fragment:
       '<div class="mail-text">${highlightedTextHtml(textBody ?? '', highlights)}</div>',
   proxiedTokens: const <String>[],
+  hasVisibleContent: hasVisibleText(textBody ?? ''),
   htmlOmitted: htmlOmitted,
 );
 
@@ -316,15 +335,22 @@ const Set<String> _htmlVoidTags = <String>{
 /// 허용 목록 밖의 태그는 태그만 지우고 글은 남긴다(`<o:p>` · `<form>` · `<button>` 등), [_droppedWithContent] 는 내용째 버린다.
 /// HTML 이 아닌 이름공간(SVG · MathML)은 내용째 버린다. 주석은 지운다. 깊은 중첩에도 스택이 넘치지 않게 되풀이로 돈다.
 /// 문서 전체로 읽어 `<body>` 아래만 쓴다 — 조각으로 읽으면(`parseFragment`) 맨 위 요소가 많을 때 파서가 옮기며 제곱으로 느려진다
-/// (2026-11-06 측정: 맨 위 span 4만 개 10초 → 문서로 0.3초). 머리에 들어가는 태그(meta · title · style 등)는 어차피 버린다
+/// (2026-11-06 측정: 맨 위 span 4만 개 10초 → 문서로 0.3초). 머리에 들어가는 태그(meta · title · style 등)는 어차피 버린다.
+/// 쓰는 동안 보이는 것이 있는지([SanitizedMailBody.hasVisibleContent])도 본다 — 남긴 글 · 주소가 남은 그림 · [_drawnWithoutText] 만
+/// (내용째 버린 것 · 주석은 보이지 않는다). 처음 찾으면 더 보지 않는다
 SanitizedMailBody sanitizeMailHtml(String html, {required bool imagesShown}) {
   final dom.Element? body = html_parser.parse(html).body;
   final StringBuffer out = StringBuffer();
   final List<String> tokens = <String>[];
   final Set<String> seen = <String>{};
   if (body == null) {
-    return const SanitizedMailBody(fragment: '', proxiedTokens: <String>[]);
+    return const SanitizedMailBody(
+      fragment: '',
+      proxiedTokens: <String>[],
+      hasVisibleContent: false,
+    );
   }
+  bool visible = false;
 
   // 되풀이 깊이 우선 — 닫는 태그는 글로 쌓는다
   final List<Object> stack = <Object>[..._reversed(body.nodes)];
@@ -337,6 +363,7 @@ SanitizedMailBody sanitizeMailHtml(String html, {required bool imagesShown}) {
     final dom.Node node = item as dom.Node;
     if (node is dom.Text) {
       out.write(escapeHtmlText(node.data));
+      if (!visible) visible = hasVisibleText(node.data);
       continue;
     }
     if (node is! dom.Element) continue;
@@ -348,24 +375,29 @@ SanitizedMailBody sanitizeMailHtml(String html, {required bool imagesShown}) {
       stack.addAll(_reversed(node.nodes));
       continue;
     }
+    final String attributes = _attributesOf(
+      node,
+      name,
+      imagesShown: imagesShown,
+      onProxied: (String token) {
+        if (seen.contains(token)) return true;
+        if (tokens.length >= kMaxProxiedImages) return false;
+        seen.add(token);
+        tokens.add(token);
+        return true;
+      },
+    );
     out
       ..write('<')
       ..write(name)
-      ..write(
-        _attributesOf(
-          node,
-          name,
-          imagesShown: imagesShown,
-          onProxied: (String token) {
-            if (seen.contains(token)) return true;
-            if (tokens.length >= kMaxProxiedImages) return false;
-            seen.add(token);
-            tokens.add(token);
-            return true;
-          },
-        ),
-      )
+      ..write(attributes)
       ..write('>');
+    // 그림은 주소가 남았을 때만 보인다 — 남긴 주소는 늘 맨 앞에 쓴다([_attributesOf])
+    if (!visible &&
+        (_drawnWithoutText.contains(name) ||
+            (name == 'img' && attributes.startsWith(' src=')))) {
+      visible = true;
+    }
     if (_voidTags.contains(name)) continue;
     stack
       ..add('</$name>')
@@ -374,6 +406,7 @@ SanitizedMailBody sanitizeMailHtml(String html, {required bool imagesShown}) {
   return SanitizedMailBody(
     fragment: out.toString(),
     proxiedTokens: List<String>.unmodifiable(tokens),
+    hasVisibleContent: visible,
   );
 }
 
@@ -381,7 +414,7 @@ const String _htmlNamespace = 'http://www.w3.org/1999/xhtml';
 
 Iterable<dom.Node> _reversed(List<dom.Node> nodes) => nodes.reversed;
 
-/// 남길 속성을 ` 이름="값"` 꼴로 — 그림은 `src` 를, 링크는 `href` 를 맨 앞에 쓴다.
+/// 남길 속성을 ` 이름="값"` 꼴로 — 그림은 `src` 를, 링크는 `href` 를 맨 앞에 쓴다(보이는 그림인지 가르기 · [resolveProxiedImages] 가 이 모양에 기댄다).
 /// [onProxied] 는 남길 중계 그림이면 참(한 통의 한도를 넘으면 거짓 — 그 그림은 주소를 지운다)
 String _attributesOf(
   dom.Element element,

flutter/lib/features/mail/presentation/pages/message_reader_page.dart

@@ -1,4 +1,5 @@
 import 'dart:async';
+import 'dart:math' as math;
 
 import 'package:arasystem_app/core/api/api_exception.dart';
 import 'package:arasystem_app/core/api/dio_provider.dart';
@@ -33,7 +34,8 @@ import 'package:flutter/material.dart';
 import 'package:flutter_riverpod/flutter_riverpod.dart';
 import 'package:go_router/go_router.dart';
 
-/// 머리(제목 · 보낸 사람 · 안내 줄 · 첨부)가 차지할 수 있는 최대 높이 — 남은 자리의 이만큼. 넘으면 머리 안에서 스크롤한다
+/// 머리(제목 · 보낸 사람 · 안내 줄 · 첨부)가 차지할 수 있는 최대 높이 — 남은 자리의 이만큼. 넘으면 머리 안에서 스크롤한다.
+/// 본문에 보이는 것이 없으면(본문 칸이 없다) 이 제한 없이 화면 전체를 쓴다
 const double kReaderHeadMaxFraction = 0.5;
 
 /// 메일 읽기 — 앱 보드 `App1Reader` (앱 디자인 README 「읽기」). 탭 막대 없는 전체 화면이다.
@@ -42,6 +44,8 @@ const double kReaderHeadMaxFraction = 0.5;
 ///   붙잡힌 메일(보내기 취소를 기다림 · 예약)에는 이동 · 스팸이 없고 [삭제]는 확인 뒤 발송을 취소하고 휴지통으로.
 /// - 머리는 앱 화면, 본문은 WebView(`MailBodyView`) — 머리 아래 남은 자리를 다 쓰고 본문은 그 안에서 스크롤한다.
 ///   머리가 길면(펼친 받는 사람 · 첨부 여럿) 남은 자리의 절반까지만 쓰고 머리 안에서 스크롤한다.
+///   **본문에 보이는 것이 없으면**(첨부만 있는 메일 등 — 상태의 `bodyEmpty`) 본문 칸을 두지 않고 머리가 화면 전체를 한 스크롤로 쓴다
+///   (2026-11-12 — 아래 절반이 빈 칸으로 남고 첨부 목록이 위 절반 안에서 잘렸다).
 /// - **첨부 목록은 머리 안(안내 줄 아래 · 본문 위)이다** — 보드는 본문 아래지만, 본문이 WebView 안에서 스크롤하므로 아래에 두면
 ///   늘 화면 아래 자리를 차지한다(쓰기 화면처럼 위에 둔다 — 앱에서 정함).
 /// - 아래 행동 막대: 답장 · 전체 답장 · 전달 — 쓰기 화면으로 그 메일 id 를 넘긴다(`MailRoutes.composeReply` 등). 예약한 메일에는 없다(웹과 같다).
@@ -349,7 +353,8 @@ List<ReaderMenuItem> readerMenuOf(
   ];
 }
 
-/// 받은 메일 — 머리(남은 자리의 절반까지 · 넘으면 그 안에서 스크롤) + 본문 WebView(남은 자리 전부)
+/// 받은 메일 — 머리(남은 자리의 절반까지 · 넘으면 그 안에서 스크롤) + 본문 WebView(남은 자리 전부).
+/// 본문에 보이는 것이 없으면 본문 칸 없이 머리만(화면 전체까지 · 넘으면 그 안에서 스크롤)
 class _ReaderContent extends ConsumerWidget {
   const _ReaderContent({
     required this.messageId,
@@ -383,16 +388,31 @@ class _ReaderContent extends ConsumerWidget {
     final String? myEmail = ref.watch(mailAccountProvider);
     final List<MessageAttachment> attachments = detail.listedAttachments;
     final String? document = reader.document;
+    // 본문 칸 — 보이는 것이 없는 본문이면 두지 않는다. 문서를 만드는 동안(document 가 null)은 아직 모르므로 지금처럼 진행 줄을 둔다
+    final bool bodyShown = !reader.bodyEmpty;
     return LayoutBuilder(
       builder: (BuildContext context, BoxConstraints constraints) {
+        // 본문 칸이 없으면 머리가 화면 전체를 쓴다 — 그림 받는 진행 막대가 머리 아래에 들 자리만 남긴다
+        final double headMaxHeight = bodyShown
+            ? constraints.maxHeight * kReaderHeadMaxFraction
+            : math.max(
+                0,
+                constraints.maxHeight -
+                    (reader.imagesLoading ? AppSize.progressBarHeight : 0),
+              );
+        // 머리가 화면 아래 끝까지 닿으면(본문 칸이 없다) 시스템 내비게이션 막대 몫을 머리 끝에 더한다 — 마지막 첨부가 그 밑에 남지 않게.
+        // 아래 행동 막대가 있으면 Scaffold 가 이 값을 이미 0 으로 만든다(예약 메일처럼 막대가 없을 때만 남는다)
+        final double headBottomInset = bodyShown
+            ? 0
+            : MediaQuery.paddingOf(context).bottom;
         return Column(
           crossAxisAlignment: CrossAxisAlignment.stretch,
           children: <Widget>[
+            // 머리는 두 짜임에서 같은 자리의 같은 위젯이다 — 빈 본문에서 [이미지 보기]로 본문 칸이 생겨도 펼친 받는 사람이 그대로 남는다
             ConstrainedBox(
-              constraints: BoxConstraints(
-                maxHeight: constraints.maxHeight * kReaderHeadMaxFraction,
-              ),
+              constraints: BoxConstraints(maxHeight: headMaxHeight),
               child: SingleChildScrollView(
+                padding: EdgeInsets.only(bottom: headBottomInset),
                 child: Column(
                   crossAxisAlignment: CrossAxisAlignment.stretch,
                   children: <Widget>[
@@ -438,14 +458,15 @@ class _ReaderContent extends ConsumerWidget {
                   minHeight: AppSize.progressBarHeight,
                 ),
               ),
-            Expanded(
-              child: document == null
-                  ? const _BodyLoading()
-                  : MailBodyView(
-                      document: document,
-                      onNavigation: onNavigation,
-                    ),
-            ),
+            if (bodyShown)
+              Expanded(
+                child: document == null
+                    ? const _BodyLoading()
+                    : MailBodyView(
+                        document: document,
+                        onNavigation: onNavigation,
+                      ),
+              ),
           ],
         );
       },

flutter/lib/features/mail/presentation/providers/message_reader_controller.dart

@@ -101,6 +101,7 @@ messageReaderProvider = NotifierProvider.autoDispose
 ///
 /// - 열면 안 읽은 메일을 읽음으로 바꾼다(화면 · 메일함 개수를 먼저 — 실패하면 알리지 않고 되돌린다).
 /// - 본문은 두 번째 정화 뒤 CSP 를 건 문서로 만든다(`mail_html.dart` — 짧고 얕은 본문만 그 자리에서, 길거나 깊은 본문은 다른 isolate 에서).
+///   정화가 함께 낸 "보이는 것이 없다"([MessageReaderState.bodyEmpty] — 첨부만 있는 메일 등)도 같은 차례에 싣는다 — 화면은 본문 칸을 두지 않는다.
 ///   외부 이미지를 보이는 본문이면(설정 · [이미지 보기]) 중계 그림을 Dio 로 받아(한 번에 [kMailImageConcurrency] 개 · 한도 `mail_images.dart`)
 ///   `data:` 로 넣고 문서를 한 번 더 만든다. 그림 받기는 화면이 사라지거나 본문이 바뀌면 끊는다(끊긴 그림은 숨기고 알리지 않는다).
 /// - 옮기기 · 스팸 · 휴지통은 응답을 받은 뒤 목록으로 돌아가고(부르는 쪽이), 알림에 [되돌리기](원래 메일함 — 스팸은 표시도 반대로).
@@ -279,6 +280,8 @@ class MessageReaderController extends Notifier<MessageReaderState> {
     state = state.copyWith(
       document: _document(),
       bodyOmitted: body.htmlOmitted,
+      // 보이는 것이 없는 본문이면 화면이 본문 칸을 두지 않는다 — 판정은 정화가 함께 냈다
+      bodyEmpty: !body.hasVisibleContent,
       imagesLoading: hasImages,
     );
     if (!hasImages) return;

flutter/lib/features/mail/presentation/providers/message_reader_state.dart

@@ -38,6 +38,7 @@ class MessageReaderState {
     this.error,
     this.document,
     this.bodyOmitted = false,
+    this.bodyEmpty = false,
     this.imagesLoading = false,
     this.busy,
     this.subjectHighlight,
@@ -52,6 +53,10 @@ class MessageReaderState {
   /// WebView 에 넣을 문서(정화 · CSP 를 마쳤다) — 만들기 전이면 null
   final String? document;
 
+  /// 보여 줄 본문에 보이는 것이 없다(첨부만 있는 메일 등 — 정화가 함께 낸 판정 `SanitizedMailBody.hasVisibleContent`).
+  /// 화면은 본문 칸(WebView)을 두지 않고 머리(제목 · 안내 줄 · 첨부)를 화면 전체에서 한 스크롤로 보인다. 문서를 만들기 전에는 거짓
+  final bool bodyEmpty;
+
   /// 서식 본문이 앱의 정화 한도를 넘어 글자 본문을 보인다 — 서버의 생략(`isHtmlBodyOmitted`)과 같은 안내를 보인다
   final bool bodyOmitted;
 
@@ -75,6 +80,7 @@ class MessageReaderState {
     MessageDetail? detail,
     String? document,
     bool? bodyOmitted,
+    bool? bodyEmpty,
     bool? imagesLoading,
     MessageReaderBusy? busy,
     bool clearBusy = false,
@@ -85,6 +91,7 @@ class MessageReaderState {
     error: error,
     document: document ?? this.document,
     bodyOmitted: bodyOmitted ?? this.bodyOmitted,
+    bodyEmpty: bodyEmpty ?? this.bodyEmpty,
     imagesLoading: imagesLoading ?? this.imagesLoading,
     busy: clearBusy ? null : (busy ?? this.busy),
     subjectHighlight: identical(subjectHighlight, _unset)

flutter/lib/features/mail/presentation/widgets/mail_body_view.dart

@@ -18,6 +18,7 @@ import 'package:webview_flutter_android/webview_flutter_android.dart';
 /// - 토큰은 WebView 에 가지 않는다(Bearer 는 Dio 만 — 그림 · 첨부는 앱이 받는다).
 ///
 /// 높이: 머리(앱 화면) 아래 남은 자리를 다 쓰고 본문은 이 안에서 스크롤한다(앱 디자인 결정 — 스크립트가 꺼져 내용 높이를 잴 수 없다).
+/// 그래서 보이는 것이 없는 본문(첨부만 있는 메일 등)이면 읽기 화면이 이 칸을 아예 두지 않는다(`SanitizedMailBody.hasVisibleContent`).
 class MailBodyView extends StatefulWidget {
   const MailBodyView({
     required this.document,