---
generated_at: 2026-01-28 10:30:00
metrics:
  claims_total: 38
  claims_with_evidence: 36
  claims_without_evidence: 2
confidence_derived: 0.95
---

# 根拠レポート：main.csv

## 本レポートについて

### 目的
本レポートは、生成された設計書・ドキュメントの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

### チェック方法
以下の観点でドキュメントの内容（Claim：主張）を検証しています：

1. **根拠の有無確認**：各主張に対して、ソースコード・既存設計書・要件定義書などの根拠（Evidence）が存在するか
2. **根拠との整合性**：主張の内容が根拠と矛盾していないか
3. **網羅性**：参照すべき情報源を適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：根拠あり、「△」：根拠不足または要確認

### 本レポートの使い方
1. まず「サマリー」で全体の信頼度と優先レビュー項目を確認
2. 「Claims と根拠の対応」で △ の項目を重点的にレビュー
3. 「不足情報」で補完が必要な情報源を確認

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：36 / 38、根拠なし：2
- 優先レビュー（高）
  1. **UT-MAIN-003**：Firebase初期化失敗時の具体的なエラーハンドリング動作が未定義
  2. **UT-MAIN-007**：loadWebContent()のエラーハンドリングロジックが存在しない

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。抽出フェーズで付けたIDをそのまま出す。

- E-01: `lib/main.dart` (Line 45-68) - main()関数
- E-02: `lib/main.dart` (Line 34-36) - _firebaseMessagingBackgroundHandler()関数
- E-03: `lib/main.dart` (Line 70-72) - loadWebContent()関数
- E-04: `lib/main.dart` (Line 74-89) - hiveRegisterAdapter()関数
- E-05: `lib/main.dart` (Line 92-105) - RestartWidget class
- E-06: `lib/main.dart` (Line 107-122) - _RestartWidgetState class
- E-07: `lib/main.dart` (Line 124-133) - BagistoApp class
- E-08: `lib/main.dart` (Line 135-225) - _BagistoAppState class
- E-09: `lib/main.dart` (Line 228-235) - MyHttpOverrides class
- E-10: `lib/main.dart` (Line 38-44) - AndroidNotificationChannel / FlutterLocalNotificationsPlugin
- E-11: `lib/main.dart` (Line 32) - tokenグローバル変数

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | main()でアプリケーション初期化が正常に完了すること | E-01 | ○ |
| C-02 | 画面の向きがPortraitに固定されること | E-01 (Line 49-52) | ○ |
| C-03 | Firebase初期化失敗時のエラーハンドリング | E-01 | △ |
| C-04 | バックグラウンドメッセージ受信時にログ出力されること | E-02 | ○ |
| C-05 | 不正なRemoteMessage受信時の挙動 | E-02 | ○ |
| C-06 | CSSファイルが正常に読み込まれること | E-03 | ○ |
| C-07 | CSSファイルが存在しない場合のエラーハンドリング | E-03 | △ |
| C-08 | 全Hiveアダプターが正常に登録されること | E-04 | ○ |
| C-09 | アプリケーションドキュメントディレクトリが正しく取得されること | E-04 | ○ |
| C-10 | ドキュメントディレクトリ取得失敗時のエラーハンドリング | E-04 | ○ |
| C-11 | RestartWidget.restartAppでアプリが再起動されること | E-05 (Line 96-99) | ○ |
| C-12 | ancestorStateが見つからない場合の挙動 | E-05 | ○ |
| C-13 | _RestartWidgetState.restartAppでUniqueKeyが再生成されること | E-06 (Line 109-112) | ○ |
| C-14 | _RestartWidgetState.buildでKeyedSubtreeが正しく返却されること | E-06 (Line 116-121) | ○ |
| C-15 | BagistoApp constructorでselectedLanguageが正しく設定されること | E-07 | ○ |
| C-16 | selectedLanguageがnullの場合の挙動 | E-07 | ○ |
| C-17 | initStateでGlobalDataが正しく初期化されること | E-08 (Line 141-163) | ○ |
| C-18 | Localeがアンダースコア区切りで正しくパースされること | E-08 (Line 152-155) | ○ |
| C-19 | Localeがアンダースコアなしで正しくパースされること | E-08 (Line 156) | ○ |
| C-20 | ApiClient().getCoreConfigs()が呼び出されること | E-08 (Line 142-144) | ○ |
| C-21 | getCoreConfigs()失敗時にエラーログが出力されること | E-08 (Line 145-147) | ○ |
| C-22 | PushNotificationsManagerが設定されること | E-08 (Line 158) | ○ |
| C-23 | デバイス名がGlobalDataに設定されること | E-08 (Line 160-162) | ○ |
| C-24 | Androidデバイス名が正しく返却されること | E-08 (Line 166-178) | ○ |
| C-25 | iOSデバイス名が正しく返却されること | E-08 (Line 166-178) | ○ |
| C-26 | 未知のプラットフォームの場合の挙動 | E-08 (Line 176) | ○ |
| C-27 | 通知権限が拒否されている場合にリクエストされること | E-08 (Line 181-187) | ○ |
| C-28 | 通知権限が許可済みの場合はリクエストされないこと | E-08 (Line 181-187) | ○ |
| C-29 | MaterialAppが正しい設定で返却されること | E-08 (Line 191-224) | ○ |
| C-30 | OverlaySupportでラップされること | E-08 (Line 192) | ○ |
| C-31 | ThemeProviderがChangeNotifierProviderで提供されること | E-08 (Line 193-195) | ○ |
| C-32 | localeResolutionCallbackが正しく動作すること | E-08 (Line 212-219) | ○ |
| C-33 | localeResolutionCallbackでサポート外言語の場合 | E-08 (Line 219) | ○ |
| C-34 | debugShowCheckedModeBannerがfalseに設定されること | E-08 (Line 204) | ○ |
| C-35 | MyHttpOverrides.createHttpClientでHttpClientが生成されること | E-09 | ○ |
| C-36 | badCertificateCallbackが常にtrueを返すこと | E-09 (Line 232-233) | ○ |
| C-37 | AndroidNotificationChannelが正しく設定されること | E-10 | ○ |
| C-38 | tokenグローバル変数の初期値がnullであること | E-11 | ○ |

## 4) 不足情報（Unknown / Missing）
- **C-03 (UT-MAIN-003)**: Firebase初期化失敗時のエラーハンドリング
  - main()関数にはtry-catch構造が存在せず、Firebase.initializeApp()の失敗時の挙動が明示的に定義されていない
  - 候補：Flutter/Firebaseのデフォルトエラーハンドリング / アプリクラッシュ / エラー画面表示

- **C-07 (UT-MAIN-007)**: loadWebContent()のエラーハンドリング
  - loadWebContent()関数はasync voidであり、rootBundle.loadString()失敗時のエラー処理が存在しない
  - 候補：未処理例外 / GlobalData.styleがnull / アプリ動作継続

## 5) リスクフラグ（レビュー観点）
- **2 (高リスク)**: UT-MAIN-003 - Firebase初期化失敗はアプリ起動不可に直結するため、エラーハンドリングの実装確認が必要
- **1 (中リスク)**: UT-MAIN-007 - CSS読み込み失敗時のWebコンテンツ表示に影響する可能性
- **1 (中リスク)**: UT-MAIN-036 - MyHttpOverridesがSSL検証をバイパスしており、本番環境でのセキュリティリスク
- **0 (低リスク)**: その他のテストケースは明確なコード根拠が存在

## 6) レビュアーチェックリスト（最小）
- [ ] Firebase初期化失敗時のフォールバック動作が適切か確認
- [ ] loadWebContent()にエラーハンドリングを追加する必要があるか判断
- [ ] MyHttpOverridesのSSL検証バイパスが開発環境限定であることを確認
- [ ] Hiveアダプター登録順序の妥当性確認
- [ ] プッシュ通知権限リクエストのタイミングが適切か確認
- [ ] localeResolutionCallbackのフォールバックロジックが要件を満たしているか確認
