---
generated_at: 2026-03-01 00:00:00
metrics:
  claims_total: 58
  claims_with_evidence: 55
  claims_without_evidence: 3
confidence_derived: 0.95
---

# 根拠レポート：renderer-uia 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：55 / 58、根拠なし：3
- 優先レビュー（高）
  1. **C-56 (UT-UIA-056)**: ライフサイクル統合テストの期待結果はコード全体の動作フローから推測
  2. **C-57 (UT-UIA-057)**: Enable/Disable切り替え統合テストの期待結果の一部が推測に基づく
  3. **C-58 (UT-UIA-058)**: スレッド安全性に関するテストケースはコードコメントからの推測

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

- E-01: `src/renderer/uia/UiaRenderer.hpp` - UiaEngineクラスのヘッダファイル（クラス定義、メンバ変数、メソッド宣言）
- E-02: `src/renderer/uia/UiaRenderer.cpp` - UiaEngineクラスの実装ファイル（全メソッドの実装）
- E-03: `src/types/IUiaEventDispatcher.h` - IUiaEventDispatcherインターフェース定義
- E-04: `src/renderer/inc/RenderEngineBase.hpp` - RenderEngineBase基底クラス定義
- E-05: `src/renderer/uia/precomp.h` - プリコンパイル済みヘッダ

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | コンストラクタで有効なdispatcherポインタにより正常にインスタンスが生成される | E-02 (L16-26: コンストラクタ実装) | ○ |
| C-02 | コンストラクタでnullptr渡しにE_INVALIDARGがスローされる | E-02 (L17: THROW_HR_IF_NULL(E_INVALIDARG, dispatcher)) | ○ |
| C-03 | Enableで_isEnabledがtrueに設定される | E-02 (L34-38: Enable実装) | ○ |
| C-04 | Disable状態からEnableへの状態遷移 | E-02 (L34-38, L46-56: Enable/Disable実装) | ○ |
| C-05 | Disableで_isEnabledがfalseに設定される | E-02 (L46-56: Disable実装) | ○ |
| C-06 | Disable時に_newOutputがクリアされる | E-02 (L53: _newOutput = std::wstring{}) | ○ |
| C-07 | Invalidateで_textBufferChangedがtrueに設定される | E-02 (L65-69: Invalidate実装) | ○ |
| C-08 | InvalidateでpsrRegionが未使用である | E-02 (L65: /*psrRegion*/ コメントアウト) | ○ |
| C-09 | InvalidateCursorでカーソル位置変更時に_cursorChangedがtrueに設定される | E-02 (L78-91: InvalidateCursor実装、L84-88: 比較とフラグ設定) | ○ |
| C-10 | InvalidateCursorでカーソル位置が同じ場合_cursorChangedがfalseのまま | E-02 (L84: *psrRegion != _prevCursorRegion 条件分岐) | ○ |
| C-11 | InvalidateCursorでnullptr渡しにE_INVALIDARGが返却される | E-02 (L81: RETURN_HR_IF_NULL(E_INVALIDARG, psrRegion)) | ○ |
| C-12 | InvalidateSystemが常にS_FALSEを返す | E-02 (L100-103: 実装) | ○ |
| C-13 | InvalidateSelectionで_selectionChangedがtrueに設定される | E-02 (L112-118: 実装) | ○ |
| C-14 | InvalidateSelectionで空のspanでも_selectionChangedがtrueになる | E-02 (L112-118: rectanglesパラメータ未使用) | ○ |
| C-15 | InvalidateScrollが常にS_FALSEを返す | E-02 (L128-131: 実装) | ○ |
| C-16 | InvalidateAllで_textBufferChangedがtrueに設定される | E-02 (L141-145: 実装) | ○ |
| C-17 | NotifyNewTextで有効なテキストが_newOutputに追加される | E-02 (L147-162: 実装、L156-158) | ○ |
| C-18 | NotifyNewTextで複数回呼び出し時にテキストが連結される | E-02 (L156: _newOutput.append(newText)) | ○ |
| C-19 | NotifyNewTextで空文字列が渡された場合追加されない | E-02 (L154: if (!newText.empty())) | ○ |
| C-20 | NotifyNewTextでDisable状態時にS_FALSEが返却されバッファリングされない | E-02 (L152: RETURN_HR_IF(S_FALSE, !_isEnabled)) | ○ |
| C-21 | StartPaintで変更がある場合S_OKが返却され_isPaintingがtrueになる | E-02 (L170-182: 実装、L175, L180) | ○ |
| C-22 | StartPaintで_selectionChangedがtrueの場合ペイント開始 | E-02 (L175: somethingToDo計算) | ○ |
| C-23 | StartPaintで_cursorChangedがtrueの場合ペイント開始 | E-02 (L175: somethingToDo計算) | ○ |
| C-24 | StartPaintで_queuedOutputが空でない場合ペイント開始 | E-02 (L175: !_queuedOutput.empty()) | ○ |
| C-25 | StartPaintで無効状態時S_FALSEが返却される | E-02 (L172: RETURN_HR_IF(S_FALSE, !_isEnabled)) | ○ |
| C-26 | StartPaintで変更がない場合S_FALSEが返却される | E-02 (L178: RETURN_HR_IF(S_FALSE, !somethingToDo)) | ○ |
| C-27 | EndPaintで_newOutputが_queuedOutputにスワップされる | E-02 (L199: std::swap(_queuedOutput, _newOutput)) | ○ |
| C-28 | EndPaintで無効状態時S_FALSEが返却される | E-02 (L192: RETURN_HR_IF(S_FALSE, !_isEnabled)) | ○ |
| C-29 | EndPaintでペイント中でない場合E_INVALIDARGが返却される | E-02 (L193: RETURN_HR_IF(E_INVALIDARG, !_isPainting)) | ○ |
| C-30 | WaitUntilCanRenderが何も行わず即座に戻る | E-02 (L207-209: 空実装)、E-04 (L52: 基底クラスの宣言) | ○ |
| C-31 | PresentでSignalSelectionChangedが呼ばれる | E-02 (L224-231)、E-03 (L24: インターフェース定義) | ○ |
| C-32 | PresentでSignalTextChangedが呼ばれる | E-02 (L232-239)、E-03 (L25: インターフェース定義) | ○ |
| C-33 | PresentでSignalCursorChangedが呼ばれる | E-02 (L240-247)、E-03 (L26: インターフェース定義) | ○ |
| C-34 | Presentで1000文字以下の場合NotifyNewOutputが1回呼ばれる | E-02 (L253-258: sapiLimit=1000、ループ実装) | ○ |
| C-35 | Presentでちょうど1000文字の場合NotifyNewOutputが1回呼ばれる | E-02 (L253-258: ループ条件 offset < output.size()) | ○ |
| C-36 | Presentで1001文字以上の場合NotifyNewOutputが複数回呼ばれる | E-02 (L253-258: 1000文字ずつ分割のループ) | ○ |
| C-37 | Presentで_queuedOutputが空の場合NotifyNewOutputが呼ばれない | E-02 (L255: offset < output.size() で0の場合ループしない) | ○ |
| C-38 | Present完了後に全フラグがリセットされる | E-02 (L262-266: フラグリセット処理) | ○ |
| C-39 | Presentで無効状態時S_FALSEが返却されイベント未発火 | E-02 (L221: RETURN_HR_IF(S_FALSE, !_isEnabled)) | ○ |
| C-40 | SignalSelectionChangedが例外をスローしても処理が継続する | E-02 (L226-230: try/CATCH_LOG()パターン) | ○ |
| C-41 | ScrollFrameが常にS_FALSEを返す | E-02 (L277-280: 実装) | ○ |
| C-42 | PaintBackgroundが常にS_FALSEを返す | E-02 (L289-292: 実装) | ○ |
| C-43 | PaintBufferLineが常にS_FALSEを返す | E-02 (L303-309: 実装) | ○ |
| C-44 | PaintBufferGridLinesが常にS_FALSEを返す | E-02 (L322-329: 実装) | ○ |
| C-45 | PaintSelectionが常にS_FALSEを返す | E-02 (L340-343: 実装) | ○ |
| C-46 | PaintCursorが常にS_FALSEを返す | E-02 (L352-355: 実装) | ○ |
| C-47 | UpdateDrawingBrushesが常にS_FALSEを返す | E-02 (L368-375: 実装) | ○ |
| C-48 | UpdateFontが常にS_FALSEを返す | E-02 (L384-387: 実装) | ○ |
| C-49 | UpdateDpiが常にS_FALSEを返す | E-02 (L396-399: 実装) | ○ |
| C-50 | UpdateViewportが常にS_FALSEを返す | E-02 (L407-410: 実装) | ○ |
| C-51 | GetProposedFontが常にS_FALSEを返す | E-02 (L420-425: 実装) | ○ |
| C-52 | GetDirtyAreaが空のrectを含むspanを返す | E-02 (L434-441: static constexpr til::rect empty; area = { &empty, 1 }) | ○ |
| C-53 | GetFontSizeが常にS_FALSEを返す | E-02 (L449-452: 実装) | ○ |
| C-54 | IsGlyphWideByFontが常にS_FALSEを返す | E-02 (L461-464: 実装) | ○ |
| C-55 | _DoUpdateTitleが常にS_FALSEを返す | E-02 (L473-476: 実装) | ○ |
| C-56 | ライフサイクル統合テスト(StartPaint->EndPaint->Present)が正常動作する | E-02 (全体フロー) | △ |
| C-57 | Enable/Disable切り替え統合テストの動作 | E-02 (全体フロー) | △ |
| C-58 | EndPaintのstd::swapによるスレッド安全性設計 | E-02 (L196-200: コメント「Snap this now while we're still under lock」) | △ |

## 4) 不足情報（Unknown / Missing）
- C-56, C-57: 統合テストの期待結果は個々のメソッド実装からの推論であり、実際のレンダリングパイプラインにおけるメソッド呼び出し順序や前提条件に関するドキュメントが不足している
  - 候補：Rendererクラスの実装 / 既存の統合テスト / 設計ドキュメント
- C-58: スレッド安全性に関する主張はコードコメント（L196「while we're still under lock」）からの推測であり、ロック機構の実装はRendererクラス側にあるため、UiaEngine単体では検証が困難
  - 候補：`src/renderer/base/renderer.cpp` / ロック機構の実装 / スレッドモデル設計ドキュメント

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク - スタブメソッド群（ScrollFrame, PaintBackground, PaintBufferLine等）のテストケースは実装が自明であり、誤りの可能性は極めて低い
- 1: 中リスク - Present内のSAPI制限（1000文字分割）のテストケースは境界値の計算が正確であることを要確認
- 1: 中リスク - NotifyNewTextのGH#16217対応（Disable時のバッファリング防止）は仕様の解釈に依存する部分がある
- 2: 高リスク - 統合テスト（C-56, C-57, C-58）の期待結果は他モジュールとの連携に依存するため、単体テストとしての妥当性を要確認

## 6) レビュアーチェックリスト（最小）
- [ ] コンストラクタのnullチェック（UT-UIA-002）でTHROW_HR_IF_NULLの例外型がE_INVALIDARGであることを確認
- [ ] InvalidateCursorのnullチェック（UT-UIA-011）でRETURN_HR_IF_NULLのHRESULT値がE_INVALIDARGであることを確認
- [ ] Present内のSAPI制限1000文字分割ロジック（UT-UIA-035, UT-UIA-036）の境界値が正確であることを確認
- [ ] EndPaintの_isPainting=falseチェック（UT-UIA-029）がE_INVALIDARGを返すことの妥当性を確認
- [ ] 統合テスト（UT-UIA-056~058）が単体テストとして適切な粒度であるかを確認
- [ ] スタブメソッド群のテストケースが必要十分であるかを確認（テスト数 vs 実装の複雑さ）
